Mathematics Stack Exchange
Mathematics Stack Exchange

Questions tagged [d-modules]

This tag is for questions relating to -Modules.

The origin of -modules is in the work of the Japanese school of Mikio Sato in the mid-twentieth century on algebraic analysis. The aim of this program was to understand systems of linear partial differential equations on manifolds, and their generalizations, using the techniques of algebraic geometry and sheaf theory.

A -module on an (algebraic or complex analytic) variety X is the notion generalising the one of finite rank vector bundles with flat connection.

The theory of algebraic -modules provides a bridge from algebra to analysis and topology. It can be regarded as "mildly non-commutative algebra" in the sense that it is obtained by extending the methods of commutative algebra to non-commutative rings (or rather sheaves of rings) of algebraic differential operators on complex varieties. As such it gives a substitute in algebraic geometry for the theory of linear partial differential equations.

For more details see

https://en.wikipedia.org/wiki/D-module

https://www.encyclopediaofmath.org/index.php/D-module

88 questions
11
votes
1 answer

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 true for arbitrary $n$ it implies the Jacobian…
Daniel McLaury
  • 25,340
10
votes
1 answer

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 the category of perverse sheaves on $V$ (or, if you…
Stephen
  • 15,346
9
votes
1 answer

Is it true that $M\boxtimes N = p_1^* M\otimes_{\mathcal{O}_{X\times X}}p_2^* N$ for D-modules?

Let $X$ be a smooth algebraic variety over $\mathbb{C}$ and consider the projections $p_1,p_2:X\times X\to X$. If $M$ and $N$ are left $\mathcal{D}_X$-modules, their exterior tensor product is defined as $$M\boxtimes N := \mathcal{D}_{X\times…
Gabriel
  • 4,761
7
votes
1 answer

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, $x=(x_1,...,x_n)$ (using multi-index notation), $…
alphanzo
  • 193
7
votes
0 answers

D-modules on higher genus curves ($g>1$)?

After a search, I did not find much that has been said about $D$-modules on higher genus curve. I am curious if there is much known about them. Let me provide a summary of what is known first. I am focused on the algebraic setting of nonsingular…
user1515097
  • 361
  • 9
7
votes
0 answers

There aren't *left* $D$-modules on a singular variety?

In these notes one can read on page $5$: "it may seem surprising, but one cannot define left $D$-modules for non-smooth schemes". Could someone elaborate on it? If I'm not mistaken, to define $D$-modules on a singular scheme $Z$, we embed $Z$ into a…
curious
  • 841
7
votes
0 answers

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 However, I am a beginner in this theory and I…
trequartista
  • 1,377
6
votes
0 answers

Beilinson-Bernstein localization, equivariant modules

I have a question regarding the equivariance in the Beilinson-Bernstein localization. Let $G$ be an simply connected algebraic group over a field of charateristic $0$ and $K$ a closed subgroup of $G$ with corresponding lie algebras $\mathfrak{g},…
C.Niculescu
  • 571
5
votes
0 answers

It's true that $\mathrm{D}_{X\times Y}(M^\bullet\boxtimes N^\bullet)=\mathrm{D}_X(M^\bullet)\boxtimes \mathrm{D}_Y(N^\bullet)$ for D-modules?

Let $X,Y$ be smooth algebraic varieties over $\mathbb{C}$, $M^\bullet\in\mathsf{D}^b_{\text{coh}}(\mathcal{D}_X)$, $N^\bullet\in\mathsf{D}^b_{\text{coh}}(\mathcal{D}_Y)$, and denote by $\mathrm{D}_X$ the Verdier duality functor over $X$. I wonder if…
Gabriel
  • 4,761
5
votes
1 answer

Idea behind the definition of direct image of $\mathscr{D}$-modules

Let $f:X\to Y$ be a morphism of smooth algebraic varieties over $\mathbb{C}$. Since $\mathcal{D}_{X\to Y}$ is a $(\mathcal{D}_X,f^{-1}\mathcal{D}_Y)$-bimodule, given a right $\mathcal{D}_X$-module $M$, we have a natural right $\mathcal{D}_Y$-module…
Gabriel
  • 4,761
5
votes
0 answers

The relative de Rham complex

Here (at the bottom of page 13) it's stated that for a smooth map $f:X\to S$, the relative Spencer complex $$\Omega_{X/S}^\bullet \otimes_{f^{-1}\mathcal{O}_S} D_X$$ is a resolution of the transfer module $$D_{S\leftarrow X} \ = \ f^{-1}(D_S…
Meow
  • 6,623
5
votes
1 answer

“D-module” or “$D$-module”?

Disclaimer: This question is not transcendental at all, so go easy on me. Starting with a (for simplicity) commutative unital ring $R$, we define a $R$-module. Obviously, since the name of the ring was italicized, the same must be done each time we…
Matemáticos Chibchas
  • 6,271
4
votes
0 answers

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 that the $A_n$ module $K[X,p^{-1}] \otimes _{K[X]}…
CameronJWhitehead
  • 2,002
4
votes
0 answers

Formulation of "stack of $D$-modules over a fixed smooth variety $X$"

Does anyone know a reference that rigorously formulates the notion of a "stack of $D$-modules over a fixed smooth variety $X$"? Also, naturally, one can ask the question of whether or not holonomic $D$-modules form an stack and that they form in…
user1515097
  • 361
  • 9
4
votes
1 answer

Does Verdier Duality Fix Simple Perverse Sheaves?

Suppose you have a connected reductive algebraic group $G$ acting on a "nice" variety $X$, so that the orbits decompose $X$ into a Whitney stratification. Consider the category of Perverse Sheaves $\textbf{Per}(X)$ resulting from this…
James Steele
  • 131
1
2 3 4 5 6