Questions tagged [d-modules]
Modules over rings of differential operators.
265
questions
83
votes
2
answers
19k
views
Why is differential Galois theory not widely used?
E.R. Kolchin has developed the differential Galois theory in 1950s. And it seems powerful a tool which can decide the solvability and the form of solutions to a given differential equation.(e.g. ...
52
votes
1
answer
6k
views
D-modules, deRham spaces and microlocalization
Given a variety (or scheme, or stack, or presheaf on the category of rings), some geometers, myself included, like to study D-modules. The usual definition of a D-module is as sheaves of modules over ...
31
votes
4
answers
4k
views
Classification of PDE
Recently I have been attending a course on PDE's. I was totally ignorant of the subject and wasn't that motivated to be honest. But I was intrigued and felt I had to take the course seriously both for ...
28
votes
8
answers
4k
views
Applications of microlocal analysis?
What examples are there of striking applications of the ideas of microlocal analysis?
Ideally I'm looking for specific results in any of the relevant fields (PDE, algebraic/differential geometry/...
28
votes
3
answers
4k
views
How do I compare the different notions of Fourier transform for sheaves?
There is a close but not perfect relationship between algebraic D-modules on C^n, constructible sheaves on C^n in the analytic topology, and \ell-adic sheaves on an n-dimensional vector space over a ...
26
votes
2
answers
2k
views
Codimension of the range of certain linear operators
Assume that $P(x,y), Q(x,y) \in \mathbb{R}[x,y]$ are two polynomials. We define a linear map
$D$ on $\mathbb{R}[x,y]$ with $D(U)=PU_{x}+QU_{y}$. In fact $D$ is the differential operator corresponding ...
25
votes
0
answers
737
views
What is a Green's function in the language of $\mathcal{D}$-modules?
Let $P$ be an analytic linear differential operator defined on some open interval $X=(a,b)$ and $\mathcal{M}=\mathcal{D}_X / \mathcal{D}_X \bullet P$ the corresponding $\mathcal{D}$-module. I'm trying ...
23
votes
2
answers
2k
views
What are examples of D-modules that I should have in mind while learning the theory?
I've been reading about D-modules this summer in preparation for a learning seminar on intersection cohomology. Unfortunately, many of the ideas are not sticking while I learn about the theory. What ...
21
votes
0
answers
563
views
Is there a useful theory of D-modules on smooth (non-analytic) manifolds?
D-modules are related to flat connections on vector bundles, end hence local systems. The theory of D-modules (and related notions such as crystals etc.) seems to be very popular in complex analytic ...
20
votes
3
answers
4k
views
What is a twisted D-Module intuitively?
When I think about $\mathcal{D}$-Modules, I find it very often useful to envison them as vectorbundles endowed with a rule that decides whether a given section is flat. Or alternatively a notion of ...
20
votes
2
answers
3k
views
D-modules and Algebraic Solutions of PDEs
I am not certain if this is a complete question and I fear it might be shot down. Anyway, I try to pose it. My question is in connection to using D-modules to study PDEs (and systems of PDEs). When ...
19
votes
0
answers
865
views
Epsilon factors - a la Beilinson - What is it?
I understand, to some extent, Tate's thesis. Could somebody explain perhaps what are the epsilon factors in Beilinson's works, such as "$\epsilon$-factors for Gauss-Manin determinants", or "...
18
votes
1
answer
2k
views
The Infinitesimal topos in positive characteristic
This question was inspired by and is somewhat related to this question.
In his article "Crystals and the de Rham cohomology of schemes" in the collection "Dix exposes sur la cohomologie ...
18
votes
2
answers
1k
views
Equivalence of "Weyl Algebra" and "Crystalline" definitions of rings of differential operators between modules?
Let $B$ be a commutative $A$-algebra, and let $M$, $N$ be two $B$-modules. We can talk about the set of $A$-linear module homomorphisms $M \to N$, i.e. the set $\text{Hom}_A(M, N)$. Differential ...
17
votes
4
answers
2k
views
Examples for D-affine varieties?
A variety is called $\mathcal D$- affine if the global section functor induces an equivalence between quasi-coherent $\mathcal D$-modules and modules over $\Gamma(X,\mathcal D)$.
It is easy to see ...
17
votes
1
answer
1k
views
D-modules over algebraic curves VS differential Galois theory
Disclaimer: I know very little about both of the fields in question.
My question is pretty simple:
What's the relation between differential Galois theory and D-modules
over algebraic curves?
...
17
votes
0
answers
716
views
Is there an approach to Gabber's theorem from the singular support of coherent sheaves?
David BZ told me that the old theory of singular support of $D$-modules fits into the new theory of singular support of coherent sheaves, via the derived loop space. I wonder how to reconcile that ...
16
votes
2
answers
3k
views
The algebraic version of Riemann-Hilbert correspondence
It is well known that if I have a differentiable manifold (holomorphic manifold) $M$, then I have a functor from the category of vector bundles on $M$ with flat connections to the category of local ...
16
votes
1
answer
1k
views
$\mathcal{D}$-quasi-isomorphisms and coherent $\Omega$-modules
Let $X$ be a smooth $\mathbf{C}$-scheme of finite type. In section 7.2 of their preprint "Quantization of Hitchin's Integrable System and Hecke Eigensheaves", Beilinson and Drinfeld define an ...
16
votes
2
answers
1k
views
Does the Riemann-Hilbert Correspondence work at the DG level?
let $X$ denote a smooth complex algebraic variety. Let $D_{rh}(X)$ denote the category of regular holonomic $D$-modules on $X$ and $D_{rh}^b(D(X))$ denote the bounded derived category of $D$-modules ...
16
votes
2
answers
979
views
What is the motivation behind the characteristic variety of a D-module and what does it's geometry tell me about the D-module?
Given a smooth algebraic variety $X$, and an $\mathcal{M}\in \text{Mod}(D_X)$, there is the characteristic variety of $\mathcal{M}$ defined as
$$
\text{Char}(\mathcal{M}):= V\left(\sqrt{Ann(\mathcal{M}...
16
votes
1
answer
2k
views
What is the recent development of D-module and representation theory of Kac-Moody algebra?
I just started to collect the papers of this field and know little things. So if I make stupid mistake, please correct me.
It seems that there are several approaches to localize Kac-Moody algebra(in ...
15
votes
4
answers
2k
views
Why should the tensor product of $\mathcal{D}_X$-modules over $\mathcal{O}_X$ be a $\mathcal{D}_X$-module?
Let $R$ be a regular algebra over a field $k$ of char 0. Let $D$ be its corresponding algebra of differential operators.
As in the general setting of non-commutative algebra we can tensor right $D$-...
15
votes
2
answers
986
views
Examples of Stokes data
I'm trying to learn Stokes data but can't find an example to get my teeth into it.
Background. It's well-known that on a complex manifold $X$, there is the Riemann Hilbert equivalence
$$\text{regular ...
14
votes
1
answer
1k
views
Factorization and vertex algebra cohomology
A chiral algebra on a smooth curve $X$, in the sense of Beilinson-Drinfeld, is a right $D_{X}$-module with a chiral bracket, which is a map $\mathcal{V}^{\boxtimes 2}(\infty\Delta)\rightarrow \Delta_{*...
13
votes
4
answers
1k
views
D-modules supported on the nilpotent cone
I am reading some papers which involve D-modules on a Lie algebra g, which are supported on the nilpotent cone n. They are equivariant for the action of G. (In particular, I consider g=sl_n).
It ...
13
votes
2
answers
2k
views
Can we use Mann's six-functor formalism with D-modules?
In a recent course in Bonn, P. Scholze explains a formalization of a six-functor formalism due to L. Mann. In this axiomatization, three of the functors $f_!,f^*,\otimes$ are "constructed" (...
13
votes
2
answers
1k
views
Microlocalizing Hochschild homology
A recent paper of Ben-Zvi and Nadler gives a general formalism for understanding "dimensions" in sheaf theories. Without getting too far into details, amongst other things, this formalism allows us ...
13
votes
1
answer
837
views
On the definition of regularity
In the literature on D-modules, there are many definitions of regularity of holonomic D-modules.
(1) Bernstein first defines regularity on a curve then says a holonomic D-module is regular if its ...
13
votes
0
answers
811
views
Duality in category O vs. Duality of D-modules
Hello,
I omit in the following all the words "derived, twisted, holonomic, finitely-generated...".
We have the Bernstein-Beilinson equivalence between the category of $N$-equivariant $D$-modules on ...
12
votes
1
answer
785
views
What kind of algebraic object is $\mathcal{D}_X$? (algebra of diifferential operators). What's special about modules over it?
Let $R$ be a regular ring over a field of char 0. Let $X=Spec R$ and $D=\mathcal{D}_X$
the algebra of differential operators over it.
The overall vague question is what kind of algebraic object is $...
11
votes
3
answers
1k
views
Ring of differential operators of a quotient ring
All rings are assumed to have unity.
Let $k$ be a field. Recall the definition of Grothendieck's ring of ($k$-linear) differential operators $D(R;k)$ of a commutative $k$-algebra $R$:
Definition. ...
11
votes
1
answer
812
views
How does one interpret the naive t-structure on constructible sheaves as a t-structure on D-modules?
By the Riemann-Hilbert correspondence, there is an equivalence between
(1)
$\mathcal{D}\operatorname{-mod}(X)$
, the (derived) category of holonomic D-modules on a complex variety X, and
(2)
...
11
votes
1
answer
756
views
Bernstein-Sato polynomial (one variable)
Let $R = \mathbb{C}[x_1,...,x_n]$, $p \in R$. There exists a monic (of lowest degree) $b_p(x) \in \mathbb{C}[s]$ and a differential operator $D(s)$ such that
$$b_p(s) p^s = D(s)p^{s+1}.$$
The ...
11
votes
0
answers
226
views
When is cohomology of a finitely presented dg-algebra computable?
Given a smooth affine variety $X$ defined over $\mathbb{Q}$, its singular cohomology is isomorphic to the algebraic de Rham cohomology, which is the cohomology of the complex $\Omega_X^0\to\Omega_X^1\...
11
votes
0
answers
2k
views
Recommendation textbooks on D-module
I am going to take part in a seminar on D-modules and applications, the textbooks that will be used are : D-modules, Perverse Sheaves, and Representation Theory, A Primer of Algebraic D-Modules
...
10
votes
2
answers
1k
views
Relation between holonomic D-modules and perverse sheaves
Given a smooth complex algebraic variety, the Riemann-Hilbert-correspondence tells us, that the category of perverse sheaves is equivalent to the category of regular, holonomic D-modules.
However not ...
10
votes
3
answers
1k
views
Making D-modules on affine varieties more explicit
This is a follow up to my question about D-modules supported on the nilpotent cone. I got some good answers there but now I have a more basic question.
Consider an affine algebraic variety X, a ...
10
votes
1
answer
1k
views
Computation of vanishing cycles
Here's the problem I'm looking at:
$F$ is a perverse sheaf (or a regular holonomic D-module, or even a mixed hodge module) on $\mathbb{C}^2$ stratified by $z_1 = 0$, $z_2=0$. It can be caracterized ...
10
votes
0
answers
262
views
Is there a classification of differential equations over the field of fractions of formal power series? (characteristic 0)
Let $k$ be an algebraically closed field of characteristic 0. Consider the field of fractions of formal power series $K:= Frac(k[[T_1,...,T_n]])$. We have the corresponding algebra of differential ...
10
votes
0
answers
599
views
Is the formal neighborhood of the diagonal a generalization of the Jet bundle?
Let $f: X \to S$ be a morphism of locally ringed spaces and $\triangle: X \to X \times_S X$ the corresponding diagonal morphism with kernel sheaf $\mathcal{I} = \ker \triangle^{\flat}$.
Definition: ...
9
votes
2
answers
1k
views
Confusion about D-modules and functors
Given a morphism $f:X\rightarrow Y$ between smooth complex varieties, one can define functors from the bounded derived category with holonomic cohomology on $Y$ to the same category on $X$. The ...
9
votes
1
answer
763
views
Are these notions of strongly equivariant D-modules equivalent?
It seems that there are two notions of strongly equivaraint $D_X$- Modules and I would like to know if they are equivalent, or at least how they are related.
Let $\rho: G\times X \rightarrow X$ be an ...
9
votes
2
answers
783
views
What is integration along the fibers in D-module theory?
In Hotta, Takeuchi, Tanisaki's book on "D-modules, Perverse Sheaves, and Representation theory", for a morphism of smooth algebraic varieties $f:X \to Y$, they use the notation
$$
\int_f:D^b(D_X^{op}) ...
9
votes
0
answers
394
views
What's a holonomic D-module from the point of view of de Rham spaces?
Let $X$ be a smooth algebraic variety over $\mathbb{C}$. We can consider its de Rham space $X_\text{dR}$ as the sheaf on $(\textsf{Sch}/\mathbb{C})_\text{ét}$ defined by $X_\text{dR}(S):= X(S_\text{...
9
votes
0
answers
309
views
Understanding the mixed Hodge structure on D-modules on $\mathbb{C}$
Consider the category of regular D-modules on $\mathbb{C}$ (let's say as a complex manifold). It's a well-known fact that if you consider the subcategory of these where the singular support is the ...
9
votes
0
answers
538
views
Status of Borho and Brylinski's irreducibility conjectures?
In Differential Operators on Homogeneous Spaces, III, Section 6.7, Borho and Brylinski make a long series of equivalent conjectures which they show are all equivalent. Perhaps the easiest statement ...
8
votes
3
answers
1k
views
Characteristic Variety of the Principal Symbol solves PDE system?
In the study of partial differential equations, it is often considered enough to analyze the principal symbols and their characteristic variety (see for example, http://www.sciencedirect.com/science/...
8
votes
2
answers
2k
views
Relation between characteristic variety and support of D-Module
Given a coherent $\mathcal{D}_X$-Module $M$, one can assign to it its characteristic variety
$$ch(M)\subseteq T^*X$$
or one could look at its support
$$supp(M)\subseteq X$$
as an $\mathcal {O}_X$ ...
8
votes
4
answers
3k
views
Gluing perverse sheaves?
It might be a stupid question.
How to glue perverse sheaves? I am considering the following example. Flag variety of $sl_2$, which is $P^1$. Consider category of perverse sheaves on $P^1$. Denoted by $...