Related papers: Lagrangianity for log extendable overconvergent $F…
Based on the logarithmic algebraic geometry and the theory of Deligne systems, we define an abelian category of $\ell$-adic sheaves with weight filtrations on a logarithmic scheme over a finite field, which is similar to the category of…
We compute the characters of the simple GL-equivariant holonomic D-modules on the vector spaces of general, symmetric and skew-symmetric matrices. We realize some of these D-modules explicitly as subquotients in the pole order filtration…
These notes provide an overview of various notions of hyperbolicity for varieties of log general type from the viewpoint of both arithmetic and birational geometry. The main results are based on our paper entitled "Hyperbolicity and…
In this article, we develop a positive characteristic analogue of the Bernstein--Sato theory for holonomic D-modules in the complex setting. We work with D-modules on a Noetherian regular $F$-finite $\mathbb{F}_p$-scheme $X$, and define…
We prove that an $F$-isocrystal over an abelian variety defined over a perfect field of positive characteristic has constant slopes. This recovers and extends a theorem of Tsuzuki for abelian varieties over finite fields. Our proof exploits…
We introduce a "limiting Frobenius structure" attached to any degeneration of projective varieties over a finite field of characteristic p which satisfies a p-adic lifting assumption. Our limiting Frobenius structure is shown to be…
We prove a generalised version of finiteness of skein modules for 3-manifolds by including boundary. We show that internal skein modules are holonomic modules over the internal skein algebra of the boundary - a property including finite…
We show that the Poincar\'e lemma we proved elsewhere in the context of crystalline cohomology of higher level behaves well with regard to the Hodge filtration. This allows us to prove the Poincar\'e lemma for transversal crystals of level…
We characterize the ideals $I$ of $\mathcal O_n$ of finite colength whose integral closure is equal to the integral closure of an ideal generated by pure monomials. This characterization, which is motivated by an inequality proven by…
We consider the category of modules over sheaves of Deformation-Quantization (DQ) algebras on bionic symplectic varieties. These spaces are equipped with both an elliptic $\mathbb{G}_m$-action and a Hamiltonian $\mathbb{G}_m$-action, with…
We study the convergence of a discretized Fourier orthogonal expansion in orthogonal polynomials on $B^2 \times [-1,1]$, where $B^2$ is the closed unit disk in $\RR^2$. The discretized expansion uses a finite set of Radon projections and…
In \cite{lafforgue2012chtoucas}, Vicent Lafforgue attaches a semisimple Langlands parameter (or, what amounts to the same thing, a $\hat{G}$-pseudocharacter) to every cuspidal automorphic representation of a reductive group $G$ over the…
We study a pair consisting of a smooth variety over a field of positive characteristic and a multi-ideal with a real exponent. We prove the finiteness of the set of minimal log discrepancies for a fixed exponent if the dimension is less…
We show that, over a nonarchimedean local field, the rigid refined local Langlands correspondence and associated endoscopic character identities for connected reductive $G$ follow if one only has them for all such $G$ with connected center.…
In the first part of this paper the projective dimension of the structural modules in the BGG category $\mathcal{O}$ is studied. This dimension is computed for simple, standard and costandard modules. For tilting and injective modules an…
Let k be a finite field of characteristic p>0. We construct a theory of weights for overholonomic complexes of arithmetic D-modules with Frobenius structure on varieties over k. The notion of weight behave like Deligne's one in the l-adic…
In this paper, we prove that, if Deligne's "petites camarades conjecture" holds, then a Langlands type correspondence holds also for $p$-adic coefficients on a smooth curve over a finite field. We also prove that any overconvergent…
In this article we prove the following boundedness result: Fix a DCC set $I\subset [0, 1]$. Let $\mathfrak{D}$ be the set of all log pairs $(X, \Delta)$ satisfying the following properties: (i) $X$ is a projective surface defined over an…
For central simple algebras of exponent $2$ over fields of characteristic $2$ and $2$-cohomological dimension equal to $2$, we study the adapted decomposition to some multiquadratic extensions of the base field. Several remarkable…
Given a logarithmic $1$-form on the snc locus of a log canonical surface pair $(X, D)$ over a perfect field of characteristic $p \ge 7$, we show that it extends with at worst logarithmic poles to any resolution of singularities. We also…