Skip to main content

All Questions

Filter by
Sorted by
Tagged with
30 votes
8 answers
4k views

Applications of microlocal analysis?

What examples are there of striking applications of the ideas of microlocal analysis? Ideally I'm looking for specific results in any of the relevant fields (PDE, algebraic/differential geometry/...
Saal Hardali's user avatar
  • 7,789
11 votes
1 answer
837 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) ...
Hiro Lee Tanaka's user avatar
9 votes
0 answers
446 views

$K$-theory of $D$-modules

I have to admit I don't know much about topics appearing in this question, I just see very rough connections between these objects: According to this page 23, a different $t$-structure on $D^b(\text{...
user127776's user avatar
  • 5,901
7 votes
1 answer
884 views

Localization of vanishing cycles

Consider a regular holonomic D-module (or a perverse sheaf) $M$ on a smooth variety $X$. Let $f:X\to A^1$ be a polynomial (or holomorphic) function. Question: Is it true that the $\lambda \in A^1$ ...
AFK's user avatar
  • 7,527
6 votes
1 answer
237 views

Additivity of characteristic cycle of holonomic D-module

Let $\mathcal{M}$ be a holonomic D-module on a complex analytic (or alternatively, algebraic) manifold $X$. One can attach to it (using a good filtration) a characteristic cycle $Ch(\mathcal{M})$ ...
asv's user avatar
  • 21.8k
6 votes
0 answers
230 views

Fourier transform for perverse sheaves

I am interested in studying the Fourier transform for perverse sheaves on "nice" spaces, say affine complex space stratified by the action of an algebraic group into finitely many orbits. In ...
James Steele's user avatar
6 votes
0 answers
275 views

The geometric "hands-on" vs. algebraic approach to nearby cycles

Feel free to skip to the question below; the following is just context and discussion: An interesting, but seemingly less used result in the theory of nearby cycles of constructible sheaves is (...
Mathmank's user avatar
  • 272
5 votes
1 answer
317 views

Operations on perverse sheaves on disk

The category of perverse sheaves on the disk is isomorphic to the category of diagrams $$E\substack{\substack{c\\\to}\\\substack{v\\\leftarrow}}F$$ With $E,V$ finite dimensional vector spaces, and ...
user2520938's user avatar
  • 2,788
4 votes
1 answer
437 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 ...
Sasha's user avatar
  • 5,562
4 votes
0 answers
200 views

D-modules generated by derivatives of Delta function

We consider D-modules over the affine line $\mathbb{A}_{\mathbb{C}}^{1}$, i.e. modules of Weyl algebra $A_1(\mathbb{C})=\mathbb{C}[x,\partial]$. There is a set of microfunctions (ref. A Primer of ...
Martin Tang's user avatar
4 votes
0 answers
344 views

Absolute purity for intersection cohomology

If $i:Z\hookrightarrow X$ is a closed embedding of codimension $c$, then $$i^*k_X\ =\ k_Z , \ \ \ i^!k_X\ \stackrel{(\star)}{=}\ k_Z[2c]$$ where $(\star)$ is true when $i$ is in addition regular. Here ...
Pulcinella's user avatar
  • 5,701
3 votes
1 answer
282 views

Artin vanishing for D-modules (i.e., when is $f_+$ t-exact?)

Let $f:X\to S$ be a morphism between algebraic varieties which are smooth over a field of characteristic zero. We define the (derived) direct image functor $f_+:\mathsf{D}^b(\mathcal{D}_X)\to \mathsf{...
Gabriel's user avatar
  • 711
1 vote
0 answers
172 views

When does a $D$-module think it’s a pullback along a smooth morphism?

Let $X$ and $Y$ be two algebraic varieties, and let $f: X \to Y$ be a morphism. Suppose $A$ is a holonomic $D$-module on $Y$. In this situation we can pull $A$ back to $X$ using either the $!$ or $*$ ...
Exit path's user avatar
  • 3,019