# Tagged Questions

Modules over rings of differential operators.

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 ...
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 ...
317 views

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 ...
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 ...
672 views

457 views

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 ...
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)$,...
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 ...
486 views

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