Related papers: D-modules and finite maps

We prove a Decomposition Theorem for the direct image of an irreducible local system on a smooth complex projective variety under a morphism with values in another smooth complex projective variety. For this purpose, we construct a category…

Let U be a smooth quasi-projective variety over a field k that is finite, the algebraic closure of a finite field or algebraically closed of characteristic 0. Let X be a suitable projective compactification of U, and D an effective divisor…

M. Kontsevich conjectured and T. Bitoun proved that if M is a nonzero holonomic D-module then the p-support of a generic reduction of M to characteristic p>0 is Lagrangian. We provide a new elementary proof of this theorem and also…

Let $V$ be a symmetric space over a connected reductive Lie algebra $G$, with Lie algebra $\mathfrak{g}$ and discriminant $\delta\in \mathbb{C}[V]$. A fundamental object is the invariant holonomic system $\mathcal{G} =\mathcal{D}(V)\Big/…

For a coherent filtered D-module we show that the dual of each graded piece over the structure sheaf is isomorphic to a certain graded piece of the ring-theoretic local cohomology complex of the graded quotient of the dual of the filtered…

We study the category of holonomic $\mathscr{D}_{X}$-modules for a quasi-compact, quasi-separated, smooth rigid analytic variety $X$ over the field $\mathbb{C}(\!(t)\!)$. In particular, we prove finiteness of the de Rham cohomology for such…

In this short note we show that the homotopy category of smooth compactifications of smooth algebraic varieties is equivalent to the homotopy category of smooth varieties over a field of characteristic zero. As an application we show that…

For a projective variety V in P^n over a field of characteristic zero, with homogeneous ideal I in A = k[x0,x1,...,xn], we consider the local cohomology modules H^i_I(A). These have a structure of holonomic D-module over A, and we…

We show that the natural map from the syntomification of a ring $R$ to the stack of $R$-algebra stacks is fully faithful, answering a question of Drinfeld, and we describe its essential image in terms of underlying monoid stacks. We also…

Given a smooth algebraic variety X with an action of a connected reductive linear algebraic group G, and an equivariant D-module M, we study the G-decompositions of the associated V-, Hodge, and weight filtrations. If M is the localization…

The two main theorems proved here are as follows: If $A$ is a finite dimensional algebra over an algebraically closed field, the identity component of the algebraic group of outer automorphisms of $A$ is invariant under derived equivalence.…

We study D-modules and related invariants on the space of 2 x 2 x n hypermatrices for n >= 3, which has finitely many orbits under the action of G = GL_2 x GL_2 x GL_n. We describe the category of coherent G-equivariant D-modules as the…

Let A be a basic connected finite dimensional algebra over an algebraically closed field, let G be a group, let T be a basic tilting A-module and let B the endomorphism algebra of T. Under a hypothesis on T, we establish a correspondence…

Given a singular connection $D$ on a vector bundle $E$ over an irreducible smooth projective curve $X$, defined over an algebraically closed field, we show that there is a unique maximal subsheaf of $E$ on which $D$ induces a nonsingular…

The aim of this paper is to explain how to get a complex of smooth representations out of the dual vector space to a smooth representation of a p-adic Lie group, in natural characteristic. The construction does not depend on any…

Let X be a proper scheme and Z a prestack over X equipped with a flat connection. We give a local-to-global description of D-modules on the prestack S(Z) of flat sections of Z. Examples of S(Z) include the moduli stacks of principal…

Let X be a separated finite type scheme over a noetherian base ring K. There is a complex C(X) of topological O_X-modules on X, called the complete Hochschild chain complex of X. To any O_X-module M - not necessarily quasi-coherent - we…

Let X be a noetherian scheme defined over an algebraically closed field of positive characteristic p, and G be a finite group, of order divisible by p, acting on X. We introduce a refinement of the equivariant K-theory of X to take into…

We study interactions between the categories of $\D$-modules on smooth and singular varieties. For a large class of singular varieties $Y$, we use an extension of the Grothendieck--Sato formula to show that $\D_Y$-modules are equivalent to…

We study (i) asymptotic behaviour of wild harmonic bundles, (ii) the relation between semisimple meromorphic flat connections and wild harmonic bundles, (iii) the relation between wild harmonic bundles and polarized wild pure twistor…