Related papers: Lagrangianity for log extendable overconvergent $F…

Let $M$ be a smooth projective variety and $\mathbf{D}$ an ample normal crossings divisor. From topological data associated to the pair $(M, \mathbf{D})$, we construct, under assumptions on Gromov-Witten invariants, a series of…

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…

Given a liftable smooth proper variety over $\mathbb{F}_p$, we construct the moduli stacks of crystals and isocrystals on it. We show that the former is a formal algebraic stack over $\mathbb{Z}_p$ and the latter is an adic stack -- Artin…

Let $X\to Y^0$ be an abelian prime-to-$p$ Galois covering of smooth schemes over a perfect field $k$ of characteristic $p>0$. Let $Y$ be a smooth compactification of $Y^0$ such that $Y-Y^0$ is a normal crossings divisor on $Y$. We describe…

We show that log canonical thresholds of fixed dimension are standardized. More precisely, we show that any sequence of log canonical thresholds in fixed dimension $d$ accumulates in a way which is i) either similar to how standard and…

Let f be a modular eigenform of even weight k>0 and new at a prime p dividing exactly the level, with respect to an indefinite quaternion algebra. The theory of Fontaine-Mazur allows to attach to f a monodromy module D_FM(f) and an…

The phenomenon of removable singularity is studied for overedetermined systems of differential equations. We show that the dimension of the characteristic variety plays a key role in the problem.

Let $k$ be a perfect field of characteristic $p>0$. Within Berthelot's theory of arithmetic $\mathcal{D}$-modules, we construct a $p$-adic formalism of Grothendieck's six operations for quasi-projective schemes over $\mathrm{Spec} k[[t]]$.

We establish an algebra-isomorphism between the complexified Grothendieck ring F of certain bimodule categories over a modular tensor category and the endomorphism algebra of appropriate morphism spaces of those bimodule categories. This…

We prove that the base space of a log smooth family of log canonical pairs of log general type is of log general type as well as algebraically degenerate, when the family admits a relative good minimal model over a Zariski open subset of…

We construct rational extensions of the Darboux-P\"oschl-Teller and isotonic potentials via two-step confluent Darboux transformations. The former are strictly isospectral to the initial potential, whereas the latter are only…

The present paper is concerned with differential forms on log canonical varieties. It is shown that any p-form defined on the smooth locus of a variety with canonical or klt singularities extends regularly to any resolution of…

In this paper, we prove that if the Frobenius traces agree at all but finitely many places, then two $l$-adic Galois representations, associated to rank-$2$ non-CM Drinfeld modules of generic characteristic, are isomorphic. As a…

Let $G$ be a simple algebraic group over an algebraically closed field of prime characteristic. If $M$ is a finite dimensional $G$-module that is projective over the Frobenius kernel of $G$, then its character is divisible by the character…

One proves a Beilinson-Bernstein theorem in the context of arithmetic D-modules introduced by Berthelot, for flag varieties. This generalizes in the arithmetic context previous results of Brylinski-Kashiwara and Beilinson-Bernstein in the…

Let $\V$ be a mixed characteristic complete discrete valuation ring with perfect residue field. Let $\X$ be a smooth formal scheme over $\V$. We prove than a $\D ^\dag_{\X,\Q} $-module which is overcoherent after any change of basis is an…

Given a formal map $F=(F_1...,F_n)$ of the form $z+\text{higher}$ order terms, we give tree expansion formulas and associated algorithms for the D-Log of F and the formal flow F_t. The coefficients which appear in these formulas can be…

We define a module that is an extension of the diagonal harmonics and whose graded Frobenius characteristic is conjectured to be the symmetric function expression which appears in `the Delta conjecture' of Haglund, Remmel and Wilson…

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 simply connected semisimple algebraic group over an algebraically closed field k of positive characteristic. We will untwist the structure of G-modules by a newly found splitting of the Frobenius endomorphism on the algebra of…