Related papers: Holonomic $\mathcal{D}$-modules of arithmetic type…

Let $V$ be a complete discrete valued ring of mixed characteristic $(0,p)$, $K$ its field of fractions, $k$ its residue field which is supposed to be perfect. Let $X$ be a separated $k$-scheme of finite type and $Y$ be a smooth open of $X$.…

Based on the recent progress in the irregular Riemann-Hilbert correspondence for holonomic D-modules, we show that the characteristic cycles of some standard irregular holonomic D-modules can be expressed as in the classical theorem of…

Let $\mathcal{V}$ be a mixed characteristic complete discrete valuation ring, $\mathcal{P}$ a separated smooth formal scheme over $\mathcal{V}$, $P$ its special fiber, $X$ a smooth closed subscheme of $P$, $T$ a divisor in $P$ such that…

We describe the category of regular holonomic modules over the ring D[[h]] of linear differential operators with a formal parameter h. In particular, we establish the Riemann-Hilbert correspondence and discuss the additional t-structure…

We develop a dimension theory for coadmissible D-cap-modules on rigid analytic spaces and study those which are of minimal dimension, in analogy to the theory of holonomic D-modules in the algebraic setting. We discuss a number of…

Let X be an algebraic curve. We study the problem of parametrizing geometric data over X, which is only generically defined. E.g., parametrizing generically defined (aka rational) maps from X to a fixed target scheme Y. There are three…

We give an answer to the abstract Capelli problem: Let $(G, V)$ be a multiplicity-free finite-dimensional representation of a connected reductive complex Lie group $G$ and $G'$ be its derived subgroup. Assume that the categorical quotient…

We extend Berthelot's theory of arithmetic D-modules to a class of morphisms that are not necessarily of finite type. As an application we give a new construction of the category of convergent isocrystals on a separated scheme of finite…

We develop the theory of relative regular holonomic D-modules with a smooth complex manifold S of arbitrary dimension as parameter space, together with their main functorial properties. In particular, we establish in this general setting…

In this paper we treat Grothendieck Duality for noetherian rings via rigid dualizing complexes. In particular, we prove that every ring, essentially finite type over a regular base ring, has a unique rigid dualizing complex. The rigid…

In this paper we generalize the classical Groebner basis technique to prove the existence and present a method of computation of a dimension polynomial in two variables associated with a finitely generated D-module, that is, a finitely…

Consider $(G, V)$ a finite-dimensional representation of a connected reductive complex Lie group $G$ and $\mathbb{P}\left( V\right) $ the projective space of $V$. Denote by $G'$ the derived subgroup of $G$ and assume that the categorical…

Tauchi provides an example illustrating the action of a real algebraic subgroup $H$ of $GL(2n, \mathbb{R})$ with finitely many orbits on $\mathbb{R}^{2n}$, while the dimension of the space of relative $H$-invariant distributions on…

In this manuscript we prove the Bernstein inequality and develop the theory of holonomic D-modules for rings of invariants of finite groups in characteristic zero, and for strongly F-regular finitely generated graded algebras with FFRT in…

For a smooth affine algebraic group $G$, one can attach various D-module categories to it that admit convolution monoidal structure. We consider the derived category of D-modules on $G$, the stack $G/G_{ad}$ and the category of…

This is the second in a series of two papers developing a moduli-theoretic framework for differential ideal sheaves associated with formally integrable, involutive systems of algebraic partial differential equations (PDEs). Building on…

This article is based on the 5th Takagi Lectures delivered at the University of Tokyo in 2008. We discuss a hypothetical correspondence between holonomic D-modules on an algebraic variety X defined over a field of zero characteristic, and…

Let R be a regular ring essentially of finite type over a perfect field k. An R-module M is called a unit R[F]-module if it comes equipped with an isomorphism F*M-->M where F denotes the Frobenius map on Spec R, and F* is the associated…

Gelfand's charecterization of a topological space M by the duality relationship of M and $\mathcal{A} = \mathcal{F}(M)$, the commutative algebra of functions on this space has deep implications including the development of spectral calculas…

These are expanded notes from some talks given during the fall 2002, about ``homotopical algebraic geometry'' (HAG) with special emphasis on its applications to ``derived algebraic geometry'' (DAG) and ``derived deformation theory''. We use…