相关论文: D\'evissages des F-complexes de D-modules arithm\'…
This paper applies G. Lyubeznik's notion of $F$-finite modules to describe in a very down-to-earth manner certain annihilator submodules of some top local cohomology modules over Gorenstein rings. As a consequence we obtain an explicit…
We provide a certain direct-sum decomposition of reflexive modules over (one-dimensional) Arf local rings. We also see the equivalence of three notions, say, integrally closed ideals, trace ideals, and reflexive modules of rank one (i.e.,…
Berthelot's conjecture predicts that under a proper and smooth morphism of schemes in characteristic $p$, the higher direct images of an overconvergent $F$-isocrystal are overconvergent $F$-isocrystals. In this paper we prove that this is…
Using combinatorics of Young tableaux, we give an explicit construction of irreducible graded modules over Khovanov-Lauda-Rouquier algebras $R$ and their cyclotomic quotients $R^{\lambda}$ of type $A_{n}$. Our construction is compatible…
We study Soergel modules for arbitrary Coxeter groups. For infinite Coxeter groups, we show that the homomorphisms between Soergel modules are in general more than those coming from morphisms of Soergel bimodules. This result provides a…
We study the $p$-adic analogue of the $\ell$-adic hypergeometric sheaves for reductive groups, called the hypergeometric $\mathscr{D}^{\dagger}(\infty)$-modules. They are overholonomic objects in the derived category of arithmetic…
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…
Here we show that, given a finite homological system $({\cal P},\leq,\{\Delta_u\}_{u\in {\cal P}})$ for a finite-dimensional algebra $\Lambda$ over an algebraically closed field, the category ${\cal F}(\Delta)$ of $\Delta$-filtered modules…
Let U be a smooth geometrically connected affine curve over $\mathbb{F}_p$ with compactification X. Following Dwork and Katz, a $p$-adic representation $\rho$ of $\pi_1(U)$ corresponds to an \'etale $F$-isocrystal. By work of Tsuzuki and…
We prove that algebraic de Rham cohomology as a functor defined on smooth $\mathbb{F}_p$-algebras is formally \'etale in a precise sense. This result shows that given de Rham cohomology, one automatically obtains the theory of crystalline…
We prove that rigid cohomology can be computed as the cohomology of a site analogous to the crystalline site. Berthelot designed rigid cohomology as a common generalization of crystalline and Monsky-Washnitzer cohomology. Unfortunately,…
We construct the $\Lambda$-adic crystalline and Dieudonn\'e analogues of Hida's ordinary $\Lambda$-adic \'etale cohomology, and employ integral $p$-adic Hodge theory to prove $\Lambda$-adic comparison isomorphisms between these cohomologies…
This article is the second one of a series of three articles devoted to direct images of isocrystals: here we consider convergent isocrystals with Frobenius structure. Let V be a complete discrete valuation ring, with residue field k = V/m…
The aim of the present paper is to study arithmetic properties of $\mathcal{D}$-modules on an algebraic variety over the field of algebraic numbers. We first provide a framework for extending a class of $G$-connections (resp., globally…
Let g=g_{0} \oplus g_{1} be a classical Lie superalgebra and F be the category of finite dimensional g-supermodules which are semisimple over g_{0}. In this paper we investigate the homological properties of the category F. In particular we…
We introduce a new family of real analytic modular forms on the upper half plane. They are arguably the simplest class of `mixed' versions of modular forms of level one and are constructed out of real and imaginary parts of iterated…
Let $I \subset R = \mathbb{F}[x_1,x_2]$ be a height two ideal minimally generated by three homogeneous polynomials of the same degree $d$, where $\mathbb{F}$ is a field of characteristic zero. We use the theory of $D$-modules to deduce…
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…
Given a complex manifold endowed with a $\mathbb{C}^\times$-action and a DQ-algebra equipped with a compatible holomorphic Frobenius action (F-action), we prove that if the $\mathbb{C}^\times$-action is free and proper, then the category of…
We study the relation between module and Hochschild cohomology groups of Banach algebras with a compatible module structure. More precisely, we show that for every commutative Banach $ \mathcal{A} $-$ \mathfrak{A}$-bimodule $ X $ and every…