# Tagged Questions

Modules over rings of differential operators.

98 views

### On the category of $D$-modules

Let $X$ be a smooth variety over an algebraically closed field $k$ of char. $0$. 1) Is the abelian category $M(X)$ of $D$-modules on $X$, which are quasi-coherent as $O$-modules, a Grothendieck ...
125 views

### Weyl algebra acting on a polynomial ring

Let $\mathbb K$ be a characteristic-$0$ field, $R=\mathbb K[x_1,\ldots, x_n]$ be a polynomial ring, and $W=\mathbb K[x_1,\ldots,x_n,\partial_1,\ldots \partial_n]$ be the Weyl algebra. As usual $W$ ...
99 views

### Reference request: Principal series are equal in the Grothendieck group

In the usual setup, consider the category of Harish-Chandra $(\mathfrak{g},K)$-modules with given central character (if the central character is regular, this is equivalent to $K$-equivariant $D$-...
39 views

### Computing intersection of Weyl algebra ideal with certain subring

Let $D=k [x_1,\ldots, x_n, \partial_1,\ldots, \partial_n]$ be the nth Weyl algebra over the characteristic zero field $k$. Set $\theta_i=x_i\partial_i$. Let $I$ be a left ideal in $D$. Is there a ...
81 views

### Groebner bases for differential operators with field coefficients (reference request)

Let $K$ be a field, $\partial_i$ be commuting derivations on $K$, and consider the ring $R=K[\partial_1\ldots \partial_n]$ (it is implicitly assumed that the derivations do not commute with elements ...
27 views

### Does the support of a regular holonomic D-module always have finitely many orbits?

I am learning about $D$-module theory and came across a theorem that says that coherent equivariant $D$-modules whose support has finitely many orbits are automatically regular holonomic. Are there ...
67 views

### Computations in Weyl algebra with rational function coefficients

I am looking for a software to perform calculations with modules over the algebra $R_n=\mathbb{C}(x_1\ldots x_n)\langle \partial_1\ldots\partial_n\rangle$ of differential operators with rational ...
78 views

### How can I prove that this D-module is free?

I have the following setup, I expect that it is studied in the theory of $D$-modules, and I apologize in advance if I am wrong. First, I have an algebra $A$ of differential operators on $n$ ...
210 views

### Relationship between $\mathcal{D}$ - modules, Tannakian formalism and Galois theory of monodromy representations

Is there a relationship between $\mathcal{D}$ - modules, Tannakian formalism and Galois theory of monodromy representations ? Thanks in advance for your help.
116 views

### Homological contractibility of a prestack

This question is in reference to Gaitsgory's preprint Contractibility of the space of rational maps. On p. 5 of the preprint, Gaitsgory defines a prestack $\mathscr{Y}$ (say over affine $\mathbb{C}$-...
212 views

### Is the formal neighborhood of the diagonal a generalization of the Jet bundle?

Let $f: X \to S$ be a morphism of locally ringed spaces and $\triangle: X \to X \times_S X$ the corresponding diagonal morphism with kernel sheaf $\mathcal{I} = \ker \triangle^{\flat}$. Definition:...
791 views

### Unifying (& “justifying”) the various definitions for differential operators

Reading about differential operators in different sources I've picked up several definitions which are not obviously equivalent (to me). Here they are: Definition 1 ("naive"): Let $X$ be a (real) ...
288 views

### Is there an approach to Gabber's theorem from the singular support of coherent sheaves?

David BZ told me that the old theory of singular support of $D$-modules fits into the new theory of singular support of coherent sheaves, via the derived loop space. I wonder how to reconcile that ...
40 views

### Restriction of irreducible integrable connections

Let $X$ be a complex analytic manifold and let $\mathcal{M}$ be an integrable connection on $X$, i.e. a $\mathcal{D}_X$-module which happens to be coherent as an $\mathcal{O}_X$-module. If $U$ is any ...
203 views

156 views

180 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 ...
119 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?
611 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 ...
168 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 ...
208 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 ...
129 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 ...
650 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$: Definition....
146 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 ...
225 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 ...
112 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 ...
106 views

108 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 ...
312 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 ...
128 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 ...
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. ...