相关论文: On the $p$-supports of a holonomic $\mathcal{D}$-m…

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…

Let $X=\mathbb{A}^{n}$ be complex affine space, and let $T^{*}X$ be its cotangent bundle. For any exact Lagrangian $L\subset T^{*}X$, we define a new invariant, A, living in $ \text{Div}_{\mathbb{Q}/\mathbb{Z}}(L)$. We call this invariant…

In this Part II, D(10.2), of D(10), we take D(10.1) (arXiv:1302.2054 [math.AG]) as the foundation to define the notion of $Z$-semistable morphisms from general Azumaya nodal curves, of genus $\ge 2$, with a fundamental module to a…

In this continuation of [L-Y1], [L-L-S-Y], [L-Y2], and [L-Y3] (arXiv:0709.1515 [math.AG], arXiv:0809.2121 [math.AG], arXiv:0901.0342 [math.AG], arXiv:0907.0268 [math.AG]), we study D-branes in a target-space with a fixed $B$-field…

We study the Fourier-Mukai transform for holonomic D-modules on complex abelian varieties. Among other things, we show that the cohomology support loci of a holonomic D-module are finite unions of linear subvarieties, which go through…

We study cohomology support loci of regular holonomic D-modules on complex abelian varieties, and obtain conditions under which each irreducible component of such a locus contains a torsion point. One case is that both the D-module and the…

The p-cohomology of an algebraic variety in characteristic p lies naturally in the category $D_{c}^{b}(R)$ of coherent complexes of graded modules over the Raynaud ring (Ekedahl-Illusie-Raynaud). We study homological algebra in this…

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…

We study the ring of differential operators D(X) on the basic affine space X=G/U of a complex semisimple group G with maximal unipotent subgroup U. One of the main results shows that the cohomology group H^*(X,O_X) decomposes as a finite…

For a smooth toric variety X over a field of positive characteristic, a T-equivariant \'{e}tale cover Y \rightarrow T^*X^{(1)} trivializing the sheaf of crystalline differential operators on X is constructed. This trivialization is used to…

We consider rational representations of a connected linear algebraic group $\mathbb G$ over a field $k$ of positive characteristic $p > 0$. We introduce a natural extension $M \mapsto \Pi(\mathbb G)_M$ to $\mathbb G$-modules of the…

Let G be a $p$-adic Lie group. We develop a dimension theory for coadmissible G-equivariant $\mathcal{D}$-modules on smooth rigid analytic spaces. We introduce the category of weakly holonomic G-equivariant $\mathcal{D}$-modules, study its…

The p-support of a holonomic D-module was introduced by Kontsevich. Thomas Bitoun in his PhD thesis proved several properties of p-support conjectured by Kontsevich. In this note we give an alternative proof for involutivity by reducing it…

Let $G$ be a reductive algebraic group scheme defined over $\mathbb{F}_p$ and let $G_1$ denote the Frobenius kernel of $G$. To each finite-dimensional $G$-module $M$, one can define the support variety $V_{G_1}(M)$, which can be regarded as…

We define the $p^m$-curvature map on the sheaf of differential operators of level $m$ on a scheme of positive characteristic $p$ as dual to some divided power map on infinitesimal neighborhhods. This leads to the notion of $p^m$-curvature…

In our previous paper, given an integral log smooth morphism $X\to S$ of fine log schemes of characteristic $p>0$, we studied the Azumaya nature of the sheaf of log differential operators of higher level and constructed a splitting module…

The crystalline differential operators on a smooth variety X give rise to a non-split Azumaya algebra over the cotangent bundle of the Frobenius twist X'. In some cases, this Azumaya algebra splits when restricted to finite covers of X'. In…

Let $G$ be a simply-connected semisimple algebraic group over an algebraically closed field of characteristic $p$, assumed to be larger than the Coxeter number. The "support variety" of a $G$-module $M$ is a certain closed subvariety of the…

In this paper, we study the holonomic $D$-modules when $D$ is the ring of $k$-linear differential operators on $A = k[\Gamma]$, the coordinate ring of an affine monomial curve over the complex numbers $k = \mathbb C$. In particular, we…

For any module $M$ over small quantum group one defines the support variety using construction from the theory of restricted Lie algebras. It is a closed conical subset of nilpotent cone of the corresponding Lie algebra. If module $M$ is a…