Modules over rings of differential operators.

**4**

votes

**1**answer

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

**1**

vote

**0**answers

109 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

151 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

505 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

765 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

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

**7**

votes

**3**answers

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

**13**

votes

**2**answers

530 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

132 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

162 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

102 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

91 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

265 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

208 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

96 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

537 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

175 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

535 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

321 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

140 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

87 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

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

**3**

votes

**0**answers

102 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

209 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

120 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

424 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

305 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

242 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

251 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

266 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

468 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

365 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

181 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

937 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

308 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

342 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

448 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

376 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

641 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

750 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

222 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

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

**1**

vote

**0**answers

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

**6**

votes

**0**answers

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

**12**

votes

**3**answers

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