Modules over rings of differential operators.

**1**

vote

**0**answers

282 views

### D-modules as quantization of modules on cotangent bundle

If we have filtration on D-module compatible with some good filtration on differential operators sheaf then adjoint graded module is module over functions on cotangent bundle. So morally D-module is ...

**2**

votes

**1**answer

265 views

### D-affine morphisms and composition

I am just a beginner in $D$-module, so this could be a stupid question, but I can't find an easy reference for it. I would like to define the notion of $D$-affine morphism. The most obvious way would ...

**1**

vote

**0**answers

317 views

### Weight decomposition and eigenspaces Euler vector field

Let $V$ be a finite dimensional vector space over $\mathbb{C}$, denote $V^{\times} = V -0$ and let $\pi : V^{\times} \rightarrow \mathbb{P}(V)$ be the quotient by the natural action of $\mathbb{C}^{\...

**4**

votes

**1**answer

509 views

### Analogues of D-modules and constructible sheaves

For a smooth complex variety, one can consider the category of say holonomic $\mathcal D$ modules on it. It is equipped with the deRham functor, which turns a $\cal D$-module into a constructible ...

**6**

votes

**2**answers

390 views

### D-module that is coherent as O-module

Suppose that $X$ is an algebraic variety over $\mathbb C$, not necessarily smooth. Is it still true that each $\mathcal D_X$-module ($\mathcal D_X$ is of course the sheaf of differential operators) ...

**2**

votes

**0**answers

203 views

### Non-characteristic is to pullback as (blank) is to pushforward.

Suppose $f:X\to Y$ is a map of smooth complex algebraic varieties. There is a pushforward functor
$f_\ast : D(X) \to D(Y)$
on the derived category of $D$-modules. This certainly does not preserve ...

**10**

votes

**0**answers

383 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 ...

**5**

votes

**1**answer

440 views

### Tensor product of $\mathcal{D}$-modules and constructible sheaves

The Riemann-Hilbert correspondence, as proved by Kashiwara and Mebkhout, says that for X a smooth algebraic variety over $\mathbb{C}$ there is an equivalence of triangulated categories
$D^b_c(X,\...

**3**

votes

**1**answer

421 views

### Polarizable variations of (mixed) Hodge structures

I am trying to come to grips with Saito's theory of mixed Hodge modules (slightly) beyond just the basic axiomatic formalism. I will take my Hodge structures and sheaves to be rational, but I would be ...

**1**

vote

**0**answers

372 views

### An equivalence between $(\mathcal{D}_X^m)-\text{mod}$ and $(\mathcal{D}_X^{m+1})-\text{mod}$

This question is related to my other question. Consider a scheme $X$ over $S=\text{Spec}(\mathbb{k})$ where $\mathbb{k}=\overline{\mathbb{F}_p})$; let $F: X \rightarrow X$ be the Frobenius $p$-th ...

**5**

votes

**1**answer

672 views

### $\mathcal{D}$-modules of level m

My question is regarding the definition of $\mathcal{D}$-modules of level $m$ given in this paper. As an example, let $X=\mathbb{A}^1$ over $S=\text{Spec }\overline{\mathbb{F}_p}$; I was told that a $\...

**9**

votes

**0**answers

615 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
...

**5**

votes

**0**answers

238 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 $\...

**5**

votes

**1**answer

457 views

### What kind of algebra has geometric realization as in “Geometric Methods in Representation Theory of Hecke Algebras and Quantum Groups”

In Chriss and Ginzburg's book "Representation Theory and Complex Geometry" as well as the paper "Geometric Methods in Representation Theory of Hecke Algebras and Quantum Groups", the group algebra $\...

**1**

vote

**0**answers

168 views

### Characteristic variety of a D-module along smooth pullback

All varieties are over the complex numbers. Given a smooth variety $X$, write $T^* X$ for its cotangent bundle.
For a morphism of smooth varieties $f: X \to Y$ write $f_{\pi}: T^*Y \times_Y X \to T^*Y$...

**6**

votes

**0**answers

241 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 ...

**11**

votes

**1**answer

712 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 ...

**7**

votes

**1**answer

239 views

### Distinguished triangle of closed - open partition, for D-modules

Hello,
I am sorry if this question is not appropriate for MO.
Suppose $X$ is the affine line, $i:Z\to X$ is the origin, and $j: U \to X$ is the complement to $Z$ in $X$.
I then have a distinguished ...

**3**

votes

**0**answers

205 views

### Induced D-modules

According to the usual definition, an induced D-module on a complex manifold $X$ is a right D-module of the form $L \otimes_{\mathscr{O}_X} \mathscr{D}_X$, for $L$ a coherent sheaf of $\mathscr{O}_X$-...

**12**

votes

**2**answers

837 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 ...

**5**

votes

**0**answers

183 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, $...

**4**

votes

**2**answers

638 views

### How is this observation related to Koszul duality?

Let $X$ be a smooth variety, $\mathcal D$ the sheaf of algebraic differentail operators, $\Omega$ the algebraic deRham complex and $\mathcal M$ a quasi coherent $\mathcal O_X$-module.
Now there is a ...

**5**

votes

**1**answer

472 views

### Localizability of differential operators a la Grothendieck

Hello,
Maybe this question is trivial, so sorry
Let $A$ be a (comm. with 1) $k$-algebra, where $k$ is a ring (comm. with 1).
Then we can define the module of differential operators $D^{\leq n} (A)$,...

**1**

vote

**1**answer

395 views

### existence of global good filtration for D-modules?

Let $X$ be a smooth algebraic variety over $\mathbb{C}$ (or a field of characteristic zero). We have $D_X$ the sheaf of differential operators on $X$, which is a coherent sheaf of rings, and it ...

**7**

votes

**1**answer

486 views

### l-adic Turrittin

What would be an l-adic analogue of the Turrittin-Levelt decomposition theorem?
Turrittin-Levelt is a structure theorem of meromorphic connections on a complex curve in the formal neighbourhood of a ...

**2**

votes

**1**answer

600 views

### Is base affine space a trivial fibration?

I am very confused about the base affine space. Let $G$ be a complex reductive algebraic group and $H=B/U$ the abstract torus.
If I understand it correctly (Edit: which turns out not to be the case! ...

**14**

votes

**4**answers

1k 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 ...

**3**

votes

**0**answers

160 views

### Characteristic cycle of irreducible holonomic modules

Let $i:A\rightarrow X$ be an affine locally closed inclusion of smooth complex varieties. What can be said about the characteristic cycle of the minimal extension $i_{*!}\mathcal{O}_A$?
How would one ...

**14**

votes

**2**answers

1k 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 ...

**3**

votes

**1**answer

364 views

### Base change for the Gauss-Manin sheaf

I want to see the following thing:
$\ \ $If $X$ is a smooth geometrically connected scheme over a field $k$ of characteristic 0, $U\subseteq X$ is a non-empty open, $(E,\nabla)$ is an integrable ...

**0**

votes

**0**answers

197 views

### Does regularity of a D-module for an unusual filtration imply regularity for the usual one?

One definition of regular D-modules on affine space is that a D-module is regular if it has a filtration compatible with the order filtration on differential operators whose associated graded is ...

**3**

votes

**0**answers

170 views

### The hypergeometric pullback conjecture

Here arXiv:math/0510287, Golishev proposed the following conjecture:
The hypergeometric pullback conjecture. Let $X$ be a Fano variety. Then,for any constituent $C$ of the quantum D-module $Q$ there ...

**11**

votes

**1**answer

684 views

### On the definition of regularity

In the litterature 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 ...

**7**

votes

**2**answers

845 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 ...

**4**

votes

**1**answer

319 views

### Direct image of Lagrangian subspaces of the co-tangent bundle:

Let p:X \to Y be a map of smooth algebraic varieties.
Let $C \subset T^\* X$ be a (locally closed) submanifold. Denote by $p_\*(C) \subset T^\* Y$ the following set:
$\ \ \ \ \ \ \ \ \ \ \ \ \ \ \...

**21**

votes

**4**answers

2k 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 ...

**12**

votes

**2**answers

1k views

### The algebraic Version of Riemann Hilbert Correspondence

It is well known that if I have a differentialable manifold (holomorphic maniford) $M$, then I have a functor from the categroy of vector bundles on $M$ with flat connections to the categroy of local ...

**6**

votes

**1**answer

250 views

### D-modules on affine space that are regular at infinity

If I have a D-module $M$ on $\mathbb{A}^n$ (which is essentially the same thing as a module over the Weyl algebra), then I can push this D-module forward to $\mathbb{P}^n$ to get a D-module $j_*M$ on ...

**6**

votes

**3**answers

905 views

### For quasi-coherent D-Modules

It is well-know that the category of coherent D-modules over a smooth algebraic $k$-scheme is a Tannakian category. So it is equivalent to the category of finite representations of some affine group ...

**2**

votes

**1**answer

303 views

### Descriptions of projectives (injectives) in category of D-modules

Is there any work describing (indecomposable)projectives, injectives in category of D-modules on some flag variety?
I wonder whether someone has used quivers(say Auslander-Reiten sequences)to ...

**5**

votes

**0**answers

331 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
$$...

**7**

votes

**0**answers

445 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 ...

**5**

votes

**1**answer

773 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 ...

**8**

votes

**1**answer

547 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)
...

**6**

votes

**1**answer

997 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 ...

**12**

votes

**3**answers

2k 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 ...

**6**

votes

**2**answers

1k 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$ ...

**6**

votes

**1**answer

495 views

### Reconstruction from category of D-modules on variety

Arinkin has a theorem which says that an abelian variety can be reconstructed from its derived category of coherent D-modules.
D.Orlov conjectured that this theorem is true for any variety.
My ...

**2**

votes

**1**answer

675 views

### Is simple non-holonomic D-module a local concept?

It is well known that we can use the Riemann-Hilbert correspondence to describe holonomic D-modules in terms of a category of perverse sheaves on some variety $X$. And $U|\rightarrow Perv(U)$ is a ...

**8**

votes

**4**answers

2k 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 ...