Stack Exchange Network

Stack Exchange network consists of 175 Q&A communities including Stack Overflow, the largest, most trusted online community for developers to learn, share their knowledge, and build their careers.

Visit Stack Exchange

Questions tagged [d-modules]

Modules over rings of differential operators.

5
votes
0answers
142 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 over $D_X$ and $D^b_{qc}(D_X)$ is the category ...
5
votes
1answer
238 views

Confusion on summand of Hochschild homology of D-modules

I've encountered the following confusion. Start with the category of perfect D-modules on $\mathbb{A} ^{1}$, which I'll denote $D$. We have the object $\mathcal{O}$, which is exceptional in the sense ...
4
votes
1answer
74 views

Riemann Hilbert Correspondence with fixed stractification

Riemann Hilbert Correspondence states for complex manifold $X$, the bounded derived category of $D$ modules on $X$ with cohomology being regular holonomic is equivalent to the bounded derived category ...
1
vote
0answers
34 views

Holonomic D-module is locally artinian, what about the other implication?

Let $X$ be a complex manifold, and $M$ a coherent $\mathcal{D}_X$-module. Suppose that for all $x\in X$, the stalk $M_x$ is an artinian $\mathcal{D}_{X,x}$-module. Does it follow that $M$ is holonomic?...
5
votes
1answer
196 views

Bernstein-Sato polynomial

Let $f$ be a polynomial. It is well-known that there exits a polynomial $b_f(s)$, such that $P\cdot f^{s+1}=b_f(s)f^s$ for some differential operator $P$. The polynomial $b_f(s)$ has been studied very ...
7
votes
1answer
212 views

Remark 12.8.8 in Arinkin--Gaitsgory

I can not understand Remark 12.8.8 in the preprint "SINGULAR SUPPORT OF COHERENT SHEAVES AND THE GEOMETRIC LANGLANDS CONJECTURE". I am somewhat embarrased by the degree of my confusion, hopefully ...
1
vote
0answers
105 views

Intuition behind characteristic variety [closed]

Given a $D$-module $M$ on variety $X$, one could define $ch(M)$, the characteristic variety of $M$ as the support of $gr(M)$ inside the cotangent bundle of $X$. What is the intuition behind this ...
0
votes
0answers
48 views

Differential operator of globally unbounded order on connected complex manifold?

Let $X$ be a connected complex manifold. Consider the module $\mathcal{D}_X$. I recall hearing somewhere that one has to be careful with regards to differential operators that are not globally of ...
3
votes
1answer
90 views

Interesting (non) examples of singular support

I'm trying to better understand singular support of sheaves on smooth manifolds---to this end: What are examples of conical subsets of $T^*X$ that cannot arise as the singular support of a sheaf on $...
1
vote
1answer
108 views

Example of tensor category with non-simple unit $J\to \mathbb{1} \to Q$ and suitably extension $Q\to M\to J$

Edit: Thanx very much to Neil Strickland for quickly explaining to us that the following cannot be realized over finite commutative $\mathbb{C}$-algebras, as I had originally asked. I know that there ...
4
votes
1answer
91 views

Regular integrable connections and regular holonomic modules

I am trying to prove the following $\mathrm{Conn}^{\mathrm{reg}}(X) = \mathrm{Conn}(X) \cap \mathrm{Mod}_{rh}(\mathcal{D}_X)$. Here an integrable connection on a smooth algebraic variety $X$ is a $\...
5
votes
0answers
110 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 ...
4
votes
0answers
90 views

Regular holonomic $\mathcal{D}$-modules

An holonomic $\mathcal{D}_X$-module on a smooth algebraic variety over $\mathbb{C}$ is called regular if all its composition factors are minimal extensions of the form $L(Y,N)$, where $N$ is a regular ...
6
votes
1answer
123 views

Additivity of characteristic cycle of holonomic D-module

Let $\mathcal{M}$ be a holonomic D-module on a complex analytic (or alternatively, algebraic) manifold $X$. One can attach to it (using a good filtration) a characteristic cycle $Ch(\mathcal{M})$ ...
3
votes
1answer
125 views

Is direct image of simple $D$-module is also simple?

(I have asked the question The commutativity of minimal extension $\cdots$ and I simplify this question to the next simple question:) Let $X$ be a rational variety over $\mathbb{C}$, $\phi : \hat{X} \...
2
votes
1answer
69 views

The commutativity of minimal extension and direct image by blowing-down

Let $X$ be a sooth algebraic variety over $\mathbb{C}$. Let us assume that there exists the commutative diagram $\require{AMScd}$ \begin{CD} U @>{i}>> \hat{X}\\ @| @VV{\phi}V\\ U @>{j}>&...
6
votes
1answer
251 views

Kozsul resolution of $\mathcal{O}_X$

Let $i: X \hookrightarrow Y$ be a closed embedding of smooth algebraic varieties. In the book D-modules, perverse sheaves and representation theory the authors say that there exists a locally free ...
4
votes
0answers
110 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,...,...
3
votes
0answers
55 views

Canonical map in the direct image of $\mathscr{D}_X$

Let $f : X \to Y$ be a proper holomorphic map between holomorphic manifolds. We work with $\mathscr{D}$-modules. Consider the transfer bi-modules $\mathscr{D}_{Y\leftarrow X}.$ Can one find a ...
4
votes
1answer
90 views

Isomorphism classes of rings of differential operators

Let $X$ be your "favourite" kind of space, and let $\mathcal{D}_X$ be the (sheaf of) ring(s) of differential operators on $X$. What does the ring $\mathcal{D}_X$ tell us about $X$? I know this might ...
4
votes
1answer
288 views

Characteristic variety of a D-module

Let $X$ be an algebraic variety, $M \in Mod(\mathcal{D}_X)$. I am studying the characteristic variety associated to this module, and I am trying to understand why all the different definitions ...
8
votes
1answer
195 views

Differential operators and quasi-finite morphisms

Let $ X, Y $ be smooth affine varieties over $ \mathbb C $. Let $ T : X \rightarrow Y $ be a dominant quasi-finite morphism and let $ T^\# : \mathbb C[Y] \rightarrow \mathbb C[X] $ be the resulting ...
2
votes
1answer
136 views

A canonical isomorphism in derived categories of D-modules

I am learning D-modules recently, and my question might be technical. It arises from Lemma 2.6.13 in Hotta-Takeuchi-Tanisaki's book, which states that there exists a canonical isomorphism $$ R\mathcal ...
4
votes
1answer
158 views

Derived category of $\mathcal{D}_X$ modules

Define $D^{\text{#}}_{\bullet}(Mod(\mathcal{D}_X))$ to be the full subcategory of the derived category $D^{\text{#}}(Mod(\mathcal{D}_X))$ of complexes of $\mathcal{D}_X$-modules whose cohomology ...
1
vote
0answers
98 views

How to exchange left and right $\mathcal{D}_X$-modules when $X$ is not smooth?

When $X$ is a smooth scheme (over something of characteristic $0$), one can exchange left and right $\mathcal{D}_X$-modules ($\mathcal{D}_X$ means the sheaf of differential operators) by tensor with (...
3
votes
0answers
62 views

Transfer modules and Weyl algebra

Let $V$ be a $\mathbb{C}$-vectorial space of dimension $n$ and $V^*$ the complex dual space. I would like to understand the following isomorphism $$D_{V^* \leftarrow V \times V^*} \overset{L}\otimes_{...
5
votes
1answer
218 views

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 discrete valuation ring $R$ of mixed characteristic $(0,p)$ ...
1
vote
0answers
68 views

Holonomic modules and Holonomic functions

Let $$f_{d}(h):=\sum_{k=1}^{d}(-1)^k\binom{d-1}{k-1}\prod_{i=1}^{d}G((i-k)h) . $$ I have proved that $ F(x):=\sum_{d=1}f_{d}\frac{x^{d}}{d!}\in \mathbb{C}(h)[[x]]$ is holonomic and arrive at a ...
5
votes
0answers
161 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 ...
5
votes
0answers
91 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
0answers
317 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
2answers
491 views

Riemann-Hilbert correspondence for non-flat connections

First of all, let me warn that my knowledge of the correspondence is rather superficial, and I apologize for any technical inaccuracies below. Setting Let $X$ be a smooth complex algebraic variety, ...
5
votes
0answers
199 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 $...
3
votes
1answer
207 views

Who are the compact generators in the derived category of $\mathcal{D}_X$-modules?

Let $X$ be a smooth affine variety over $\mathbb{C}$ and let $\mathcal{D}_X$ be its algebra of differential operators. Consider $\mathcal{C}=\mathcal{D}_X$-$\text{mod}$, the stable $\infty$ category ...
5
votes
1answer
185 views

Regular holonomic D-modules as generalisation of regular singular points

I'm trying to understand why the definition of a regular holonomic D-module is a good generalisation of the usual definition of a regular singular point for a differential equation. More precisely, ...
5
votes
0answers
232 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 ...
21
votes
0answers
497 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 ...
2
votes
0answers
43 views

Relation between the b-function of a holonomic module and the b-function of its corresponding holonomic dual

Let $D=k[x_1,\ldots, x_n, \partial_1, \ldots, \partial_n]$ be the Weyl algebra with $k$ a field of characteristic zero. Given a holonomic D-module $M$ we know that its holonomic dual $M^{'}=\text{Ext}...
3
votes
0answers
101 views

Algorithm for holonomic sequence

A sequence $(a_n)_{n\geq 0}$ of complex numbers is called polynomially recursive (P-recursive) or holonomic if there exists a number $r$ and rational functions $P_1(n), \ldots, P_r(n)$ such that $a_n =...
-1
votes
1answer
203 views

Is $\mathbb{P}^1$ the only smooth projective curve with a locally split tangent lie algebroid?

Let $C$ be a smooth projective curve over an algebraically closed field $k$. The tangent lie algeborid $\mathcal{T}_C$ of $C$ is just sheaf of vector fields on $C$ equipped with the usual lie ...
6
votes
1answer
586 views

Deligne's Canonical Extension in Algebraic Varieties?

Suppose $C/\mathbb{Q}$ is an algebraic curve (not necessarily complete) defined over $\mathbb{Q}$, and $p$ is a $\mathbb{Q}$ valued point of $C$. Suppose there is a algebraic fibration \begin{equation}...
5
votes
0answers
213 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 ...
2
votes
0answers
88 views

A global geometric formulation of the fundamental theorem of Picard Vessiot theory?

Let $X$ be a smooth curve over an algebraically closed field of characteristic 0. The category of quasi-coherent $D$-modules $\mathcal{D}_X$-$Mod$ is a symmetric monoidal abelian category. We can ...
17
votes
0answers
328 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 ...
0
votes
1answer
97 views

Are simple Poisson $A$-modules finitely generated as $A$-modules?

Let $A$ be a Poisson $\mathbb{C}$-algebra: $A$ has a the structure of a complex commutative algebra and at the same time it carries the structure of a Lie algebra, with Lie bracket $\{\cdot, \cdot\}$. ...
4
votes
1answer
341 views

Bernstein's theorem

In the book "An introduction to the theory of local zeta functions" prof. Igusa presents Bernstein's theorem as follows: Let $K_0$ be a field, and write $K=K_0(s)$. Let $f\in K_0[x_1,\dots,x_n]\...
6
votes
1answer
304 views

Example of non-holonomic D-module and explicit computation of characteristic variety

I'm currently trying to have a better understanding of the concepts of characteristic variety and holonomic $D$-modules (let us assume that they are coherent) on a holomorphic manifold $X$. I know ...
20
votes
7answers
2k 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/...
7
votes
1answer
233 views

How can I construct D-modules over projective space using explicit differential equations?

Over $\mathbb{A}^n$, it is easy to construct D-modules by writing down an explicit linear system of PDE's and then writing a presentation of the associated D-module $$ \mathcal{D}^n \xrightarrow{} \...
11
votes
1answer
569 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 $...