The tag has no wiki summary.

learn more… | top users | synonyms

3
votes
0answers
29 views

Tensor product of $A_n$ modules/ localisation at ring of differentials

I'm working through Coutinho's "A Primer of Algebraic D-Modules" and I've gotten stuck on the following question: Let $p \in K[x_1, \ldots ,x_n]$ be non-zero, and let $A_n$ be the Weyl Algebra. Show ...
0
votes
1answer
30 views

Space of polynomial solutions of $P(f) = 0$ for $P \in A_1 (\mathbb{C})$ has finite dimension

I've been trying to work through Coutinho's Primer on Algebraic D-Modules and I'm having trouble with proving the following exercise: Let $P \in A_1 (\mathbb{C})$, the first Weyl Algebra over ...
0
votes
0answers
12 views

Direct limit of holomic modules

Let $\left\{M_{\lambda}\right\}$ be a direct system of holonomic modules over the Weyl algebra $A_n(K)$. Is the direct limit, $\varinjlim M_{\lambda} $ holonomic ? Thanks
0
votes
0answers
21 views

Multiplicity of the tensor product of $A_n$-modules

In Coutinho, A Primer of Algebraic D-Modules, Theorem 13.4.1 (p. 128), I read: Theorem. Let $M$ be a finitely generated $A_m$-module, $N$ a finitely-generated $A_n$-module. $d(M ...
5
votes
1answer
56 views

holonomic D-modules

I am trying to develop an intuition about holonomic D-modules and find the literature formidable (I study physics). My question is, given a linear differential operator in n-variables, ...
2
votes
1answer
208 views

A problem in elementary calculus

Let $P(x), Q(x)$ be two polynomials with real coefficients and set $F(x) = \frac{P(x)}{Q(x)}$. Consider a table which has the function $e^{\int_0^x F \, dx}$ on it. The table has the set of rules that ...
10
votes
1answer
128 views

Is it really unknown that every endomorphism of the Weyl algebra $A_1$ is an isomorphism?

Here $A_1 := K\{x\cdot-, \frac{d}{dx}\} \subset \operatorname{End}_K(K[x])$ for some characteristic-zero field $K$. I found this claim in Coutinho's "A Primer of Algebraic D-Modules." If this is ...
4
votes
0answers
90 views

Perverse sheaves (or D-modules) on vector spaces, constructible with respect to a hyperplane arrangement

Let $V$ be a finite dimensional complex vector space and let $\mathcal{A}$ be a finite collection of hyperplanes in $V$. Stratify $V$ by the intersections of elements of $\mathcal{A}$, and consider ...
4
votes
0answers
147 views

Recommendation textbooks on D-module

I am going to take part in a seminar on D-module and applications, the textbooks that will be used are : D-modules, Perverse Sheaves, and Representation Theory, and A Primer of Algebraic D-Modules ...
3
votes
0answers
143 views

Holonomic ideals and D-finite power series

I would like to understand the connection between the term D-finite power series (in n variables) and the term of a holonomic module over the Weyl algebra A_n. A power series $f \in K[[x_1,...,x_n]]$ ...
0
votes
1answer
231 views

questions about coroot

I am reading the lecture notes of geometric representation theory: http://www.math.harvard.edu/~gaitsgde/267y/catO.pdf. I have a question on coroot. In general, if we have a root $\alpha$, then the ...
3
votes
1answer
187 views

What theorem of Serre's is being referenced?

I am reading Joseph Bernstein's notes on D-modules which are available online here In section 1 (page 1 of the pdf) Bernstein writes "By Serre's theorem this condition is local." I was wondering to ...