Questions tagged [d-modules]
Modules over rings of differential operators.
120
questions with no upvoted or accepted answers
25
votes
0
answers
738
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 ...
21
votes
0
answers
565
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 ...
19
votes
0
answers
866
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 "...
17
votes
0
answers
720
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 ...
13
votes
0
answers
821
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 ...
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
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
601
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
0
answers
398
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
310
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
0
answers
413
views
$K$-theory of $D$-modules
I have to admit I don't know much about topics appearing in this question, I just see very rough connections between these objects:
According to this page 23, a different $t$-structure on $D^b(\text{...
8
votes
0
answers
357
views
Proof of Kashiwara's constructibility theorem for algebraic D-modules
I am trying to understand the proof of Kashiwara's constructibility theorem for algebraic D-modules, following either the book "D-modules, Perverse sheaves, and representation theory" by Hotta, ...
7
votes
0
answers
196
views
A reference for Bernstein's approach to KL conjectures
The exposition in the famous J. Bernstein's lecture notes on D-modules is rather sketchy.
Fortunately, there are many other sources for the information from this text (like Hotta's excellent "D-...
7
votes
0
answers
340
views
Tensor-hom adjunction for $\mathcal{D}$-modules
Let $X$ be a smooth equidimensional scheme over $\mathbb{C}$. Given two left $\mathcal{D}_X$-modules $M$ and $N$, we endow their tensor product (as $\mathcal{O}_X$-modules) $M\otimes_{\mathcal{O}_X} N$...
7
votes
0
answers
250
views
$D(\mathcal{O}(n))$ via generators and relations
Let $V$ be a complex vector space. Consider the algebra $D(\mathbb{P}(V),\mathcal{O}(n)))$ of global differential operators from line bundle $\mathcal{O}(n)$ to itself, here $n \in \mathbb{Z}_{\...
7
votes
0
answers
243
views
About an algebraic construction of a sheaf of formal microdifferential operators
While reading these notes by Victor Ginzburg on $D$-modules I found a certain construction of Microlocailzation in the algebraic setting which unfortunately doesn't seem to be elaborated on a lot in ...
7
votes
0
answers
237
views
Computing the constant D-module on an intersection
Let $M$ be a smooth variety, say over the complex numbers, and let $i:W \hookrightarrow M, j: Z \hookrightarrow M$ be smooth subvarieties. Let $i_{+},j_{+}$ denote (derived) pushforward of D-modules, $...
6
votes
0
answers
298
views
D-modules on singular varieties; forgetful functors, and t-structures
Let $Z$ be a singular variety over the complex numbers with a closed embedding $i: Z \hookrightarrow X$ into a smooth variety $X$. One can define the derived category $\mathcal{D}(Z)$ of D-modules on $...
6
votes
0
answers
391
views
Definition of the tensor product of $D$-modules
Let $\mathsf{D}^b_h(X)$ be the full subcategory of $\mathsf{D}^b(D_X\textsf{-Mod})$ (the bounded derived category of left $D_X$-modules) consisting of the complexes with holonomic cohomology. The ...
6
votes
0
answers
258
views
The geometric "hands-on" vs. algebraic approach to nearby cycles
Feel free to skip to the question below; the following is just context and discussion:
An interesting, but seemingly less used result in the theory of nearby cycles of constructible sheaves is (...
6
votes
0
answers
207
views
BRST cohomology and vanishing cycles
Consider the $\mathbb{C}$-variety $\mathbb{A}^{1}$, equipped with the potential (ie global function) $P:=\frac{z^{n+1}}{n+1}$. We can form the twisted de Rham complex $H_{dR}(\mathbb{A}^{1},P)$ which ...
6
votes
0
answers
257
views
Naïve pushforward of D-modules and Gauss–Manin connection
Suppose that $f\colon X\to Y$ is a morphism of smooth quasi-projective varieties over a field of characteristic $0$. We then have a naïve pullback functor $f^\circ:=\mathcal D_{X\to Y}\otimes_{f^{-1}\...
6
votes
0
answers
200
views
Relations between $\mathcal D$-modules and Exterior Differential Systems?
As a followup of this answer, I wonder relations between $\mathcal D$-modules and Exterior Differential Systems, both of which could be used to describe systems of PDEs. If I understand correctly, $\...
6
votes
0
answers
690
views
On Grothendieck's abstract definition of differential operators
I have heard that there is the following abstract definition due to Grothendieck of differential operators on a module $M$ over a commutative associative unital algebra $A$ over a field of ...
6
votes
0
answers
219
views
Prime spectrum of the derived category of holonomic $\mathcal{D}$-modules?
Let $X$ be a smooth algebraic (/projective if it simplifies things considerably) variety over $\mathbb{C}$ and consider the derived category $\mathcal{C}=D_h^b(\mathcal{D}_X)$ of bounded complexes of $...
6
votes
0
answers
230
views
$q$-crystals - is there such a thing?
There are several important facts that I first heard about here on MO. One of the most enlightening of these is that $\mathscr D$-modules on a scheme $X$ may be viewed as sheaves on the groupoid of ...
6
votes
0
answers
223
views
$\mathcal{M}(\mathcal{D}_X)$ and $\mathcal{M}^r(\mathcal{D}_X)$ have natural tensor category structures?
Write $\mathcal{M}^\ell(\mathcal{D}_{X/S}) = \mathcal{M}(\mathcal{D}_{X/S})$ for the category of left $\mathcal{D}$-modules over $X$ and $\mathcal{M}^r(\mathcal{D}_{X/S})$ for the category of right $\...
6
votes
0
answers
226
views
Toric Degenerations and Nearby Cycles
Suppose that $f: X \to \mathbb{A}^1$ is a toric degeneration in the sense of Nishinou-Siebert. In other words let X be a (possibly singular) toric variety equipped with a (not necessarily proper) ...
6
votes
0
answers
694
views
Characteristic Cycles and Nearby Cycles
Let $Y$ be a smooth algebraic variety over $\mathbb{C}$, let $X = Y \times \mathbb{C}$ and let $f: X \to \mathbb{C}$ be the projection. Let $M$ be a (not necessarily regular) holonomic $D_X$-module ...
6
votes
0
answers
307
views
$D$-modules and quasi-projective varieties?
Until recently I was under the impression, that for any morphism $f:X\rightarrow Y$ of smooth complex varieties there exist functors six functors $f^*,f_{*},...$ between the derived categories of $\...
6
votes
0
answers
375
views
Non-characteristic maps (ala D-modules)
I am trying to understand a `well known' fact (see Kashiwara'sIntroduction to microlocal analysis page 63, remark 4.8) about non-characteristic morphisms. Here is ...
6
votes
0
answers
390
views
Blow ups and Characteristic varieties
Let $f:Y\to X$ be a morphism of smooth varieties (complex analytic or algebraic as you wish). We have
$$
T^* Y \overset{f_d}{\longleftarrow} Y\times_X T^*X \overset{f_\pi}{\longrightarrow} T^* X
$$...
6
votes
0
answers
593
views
V-filtration of D-modules associated to a monomial
Hi
In Mixed Hodge modules Saito computes the Verdier specialisation of a D-modules with respect to a monomial $g = x_1^{m_1}\ldots x_n^{m_n}$. This is a very nice result as I find such explicit ...
5
votes
0
answers
146
views
Concrete computation of pullback of the $D$-module $\mathbb{C}[t,t^{-1}]$
I have some problems in calculating some example explicitly. Consider
$$ \{0\} \overset{i}{\rightarrow} \mathbb{C} \overset{j}{\leftarrow} \mathbb{C}^*.$$
Then $Rj_+\mathbb{C}[t,t^{-1}] = \mathbb{C}[t,...
5
votes
0
answers
199
views
Geometric interpretation of $\mathbb{C}^{\times}$-gerbes
Let $X$ be a (nice enough, e.g. smooth etc.) variety over the complex numbers, and let $\mathcal{G}$ be a gerbe on $X$. Then $\mathcal{G}$ is classified by a cohomology class in $\alpha \in H^2(X, \...
5
votes
0
answers
177
views
Solutions to holonomic $D$-modules: when are they square-integrable?
I want to apply the theory of $D$-modules to solve operator equations of several variables in the Bargmann space
$$\mathcal H :=\bigg\{\psi \in \mathcal O^\text{an}_{\mathbb{C}^n}\,\,\bigg|\,\,\,\...
5
votes
0
answers
212
views
Can we reconstruct a regular variety from its $D$-$\mathrm{mod}$?
The famous Gabriel-Rosenberg reconstruction theorem states that the pre-additive category of quasi-coherent sheaves on a quasi-separated scheme contains enough information to recover the scheme.
One ...
5
votes
0
answers
335
views
Equivalence of categories of $D$-modules on a singular $X$
Is $D^b(Mod_{qc}(D_X)) \to D^b_{qc}(D_X)$ an equivalence of categories for singular $X$? Where $Mod_{qc}(D_X)$ is the category of quasi-coherent modules on $X$ and $D^b_{qc}(D_X)$ is the full ...
5
votes
0
answers
170
views
Functoriality and proofs
Recently, I began to study $\mathcal{D}$-modules and one of the major problems I encountered is that many natural transformations on the (derived) category of $\mathcal{D}$-modules are defined as the ...
5
votes
0
answers
260
views
Is there a Lie group Fourier transform for D-modules?
Given a D-module $\mathcal{M}$ on $\mathbb{C}^n$, its Fourier transform $\widehat{\mathcal{M}}$ is equal to $\mathcal{M}$ as a set, but its module structure over $\mathbb{C}[x_1,...,x_n,\partial_1,...,...
5
votes
0
answers
147
views
$\mathscr{D}$-module external tensor product and analytification
Let $X$ and $Y$ be smooth complex varieties and $M\in D^b_{\mathrm{hol}}(\mathscr{D}_X)$ resp. $N\in D^b_{\mathrm{hol}}(\mathscr{D}_Y)$ holonomic $\mathscr{D}$-modules (resp. complexes with holonomic ...
5
votes
0
answers
429
views
The minimal injective $R$-resolution of a $D$-module
The most general version of the question I want to ask is:
Let $R$ be a regular (commutative, Noetherian) ring containing a field $k$ of characteristic $0$, let $D = D(R,k)$ be the ring of $k$-...
5
votes
0
answers
263
views
Do almost commutative flat degenerations induce equality in K-theory? (Or: Is the characteristic variety actually a support of a class in $K$-theory?)
I intentionally phrased the title to match a different question which is almost identical to the one i'm asking. However similar, the answer there, which uses commutative algebraic geometry, is not ...
5
votes
0
answers
315
views
Weyl algebra acting on a polynomial ring
Let $\mathbb K$ be a characteristic-$0$ field, $R=\mathbb K[x_1,\ldots,
x_n]$ be a polynomial ring, and $W=\mathbb K[x_1,\ldots,x_n,\partial_1,\ldots \partial_n]$ be the Weyl
algebra. As usual $W$ ...
5
votes
0
answers
191
views
Computations in Weyl algebra with rational function coefficients
I am looking for a software to perform calculations with modules over the algebra $R_n=\mathbb{C}(x_1\ldots x_n)\langle \partial_1\ldots\partial_n\rangle$ of differential operators with rational ...
5
votes
0
answers
618
views
singular support of D-module smooth w.r.t. a stratification
(1) Suppose that $X$ is a smooth complex algebraic variety, stratified by some nice smooth stratification $S$. Let $M$ be a $D$-module on $X$, s.t. its shriek-pullback (or star... whatever is ...
4
votes
0
answers
181
views
D-modules generated by derivatives of Delta function
We consider D-modules over the affine line $\mathbb{A}_{\mathbb{C}}^{1}$, i.e. modules of Weyl algebra $A_1(\mathbb{C})=\mathbb{C}[x,\partial]$. There is a set of microfunctions (ref. A Primer of ...
4
votes
0
answers
96
views
Confusion about D-affineness and jet sheaves on projective line
I have encountered what feels like a very basic confusion relating to the Beilinson Bersnstein localisation theorem.
This theorem in particular states that if $F$ is a $D_{\mathbb{P}^{1}}$ module, ...