Modules over rings of differential operators.

**5**

votes

**0**answers

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

**4**

votes

**1**answer

601 views

### The Weyl algebra modules which are also rings

Consider the space $C^\infty(\mathbb{R})$. We have on it a natural action of the Weyl algebra generated by $x$ and $d/dx$, where $x$ is the coordinate on $\mathbb{R}$, and there is plenty of Weyl ...

**7**

votes

**2**answers

94 views

### Differential operators between modules, $\mathcal{D}_A(M, M)$ necessarily a filtered, almost commutative ring?

See here. Does it follow immediately that $\mathcal{D}_A(M, M)$ as defined in the link is a filtered, almost commutative ring? How can I visualize this geometrically?

**21**

votes

**2**answers

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

**1**

vote

**0**answers

118 views

### Characterizations of regular holonomic D-modules

I'm looking for references for the various characterizations of regular holonomic D-modules, in particular proofs of their equivalence. For instance, some characterizations I've seen (in the analytic ...

**1**

vote

**1**answer

163 views

### Beilinson-Bernstein localization: $\mathfrak{g}$ action on $G$-equivariant sheaf

I have a few elementary questions related to Beilinson-Bernstein localization.
Let $G$ be a semisimple algebraic group over $\mathbb{C}$ with Lie algebra $\mathfrak{g}$. Consider the setup of ...

**6**

votes

**0**answers

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

**19**

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

**29**

votes

**1**answer

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

**5**

votes

**2**answers

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

**2**

votes

**0**answers

104 views

### What's the relation of the Hecke algebra of a pair and the flag variety?

Let $G$ be a real semisimple Lie group and $K$ a maximal compact subgroup. Let $\mathfrak{g}$ and $\mathfrak{k}$ be the complexified Lie algebra of $G$ and $K$, respectively.
Then the Hecke algebra ...

**8**

votes

**3**answers

436 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$:
...

**14**

votes

**2**answers

550 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 derivational operator correspond ...

**2**

votes

**1**answer

133 views

### Characteristic Varieties and Associated Varieties

Two notions that occur often in representation theory seem to be that of a "characteristic variety" and that of an "associated variety". The former term seems exclusive to D-module theory while the ...

**2**

votes

**1**answer

182 views

### Nearby cycles and specialisation - properties

I am looking for reference for properties of nearby cycles - specifically, commutation with non-characteristic pull-back (good enough - commutation with pull-back to closed subvariety which is ...

**2**

votes

**1**answer

103 views

### Sabbah b-functions factoring

Sabbah defined a version of b-functions for multiple functions in his 1987 paper here: http://archive.numdam.org/ARCHIVE/CM/CM_1987__62_3/CM_1987__62_3_283_0/CM_1987__62_3_283_0.pdf
According to ...

**2**

votes

**0**answers

95 views

### $D^{\infty}$ modules on analytic spaces

In Mebkhout's paper on Local Cohomology of Analytic Spaces, the following theorem is stated:
Let $X$ be a complex smooth manifold and $Y$ is an analytic subspace of $X$. Then ...

**12**

votes

**0**answers

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

**4**

votes

**1**answer

217 views

### Smooth mixed hodge modules - representations of fundamental group?

I do not know much about mixed Hodge modules. I would like to ask: Let $X$ be a smooth connected algebraic complex variety, with a chosen point. Could one describe smooth mixed Hodge modules on $X$ as ...

**2**

votes

**0**answers

98 views

### Algebraic methods in pde [duplicate]

I'm finding myself with a linear, very symetric system of first orders pde with polynomial coefficients. Wandering on the web, i learnt there is some nice alebraic way to deal with it involving ...

**1**

vote

**1**answer

59 views

### Projective volume form

Upon reading K. Costello's paper on Witten genus, I wonder when, on a smooth (quasi-)projective variety $X$, the canonical bundle $\omega_X$ admits a left $D$-module structure (other than the ...

**11**

votes

**2**answers

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

**1**

vote

**1**answer

181 views

### Most general “finiteness of de Rham cohomology” statement for holonomic $D$-modules in the algebraic case?

Let $X$ be a nonsingular algebraic variety over a field $k$ of characteristic zero. (We may assume $k$ algebraically closed if need be, but I want to avoid specifically demanding $k = \mathbb{C}$.) ...

**3**

votes

**0**answers

53 views

### Convolution of DQ-Modules

On page 92 of Deformation Quantization Modules Kashiwara and Schapira define two different convolution products for DQ-modules that differ by whether one uses $Rp_{13*}$ or $Rp_{13!}$ to push ...

**8**

votes

**1**answer

544 views

### what is the connection between D-modules and coordinate bundles?

Fix $n$ and a field $k$ of characteristic zero. Let $G$ be the pro-algebraic group of automorphims of $k[[x_1,...x_n]]$. Let $G_0$ be the subgroup of automorphisms preserving the closed point (note ...

**9**

votes

**1**answer

355 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(x)p^{s+1}.$$
The ...

**1**

vote

**0**answers

149 views

### The associated graded of a mixed Hodge module

Unfortunately this question will be a bit vague, since the question revolves around a memory of something I may have heard in a talk (long time ago).
Let $X$ be a smooth complex variety. Let $MHM(X)$ ...

**1**

vote

**0**answers

92 views

### Pull back of D-modules and Koszul resolution

Consider an holonomic D-module on a smooth algebraic variety $X$ over a field $k$ of caracteristic 0.
Let $i: Y \hookrightarrow X$ be a regular embedding.
$Li^* M = \mathcal{D}_{Y\to X} ...

**11**

votes

**1**answer

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

**4**

votes

**0**answers

105 views

### Is there an analogue of distributions in characteristic p?

Some motivation: When working over $\mathbb{C}$, distributions (in the sense of generalized functions) act as natural generators for $D$-modules (in the sense that any regular holonomic $D$-module is ...

**4**

votes

**0**answers

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

**2**

votes

**0**answers

122 views

### A nice rigid analytic model for local systems over an elliptic curve?

For $E$ an elliptic curve, let $LS(E)$ be the group of line bundles on $E$ with a flat connection. This is an $\mathbb{A}^1$-torsor over $E^\vee$. By Riemann-Hilbert (since the gauge group acts ...

**5**

votes

**1**answer

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

**2**

votes

**2**answers

310 views

### About “de-Rham” and “l-adic” local systems - comparison

Hello,
Suppose that $k$ is an algebraically closed field of char. 0.
Let $X$ be a smooth connected variety over $k$.
Then I have the category $A$ of Regular Singular smooth $D$-modules on $X$ (i.e. ...

**1**

vote

**0**answers

250 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

252 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

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

**4**

votes

**1**answer

473 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

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

**1**

vote

**0**answers

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

**6**

votes

**1**answer

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

**9**

votes

**0**answers

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

**4**

votes

**1**answer

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

**5**

votes

**1**answer

457 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} ...

**3**

votes

**1**answer

380 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

365 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

645 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

**2**answers

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

**4**

votes

**0**answers

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

**11**

votes

**1**answer

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