Related papers: Lagrangianity for log extendable overconvergent $F…

We consider polynomials that are orthogonal over an analytic Jordan curve L with respect to a positive analytic weight, and show that each such polynomial of sufficiently large degree can be expanded in a series of certain integral…

We investigate injective dimension of $F$-finite $F$-modules in characteristic $p$ and holonomic $D$-modules in characteristic 0. One of our main results is the following. If, either $R$ is a regular ring of finite type over an infinite…

Given a natural number $m$ and a log smooth integral morphism $X\to S$ of fine log schemes of characteristic $p>0$ with a lifting of its Frobenius pull-back $X'\to S$ modulo $p^{2}$, we use indexed algebras ${\cal A}_{X}^{gp}$, ${\cal…

We propose in this paper an approach to Breuil's conjecture on a Langlands correspondence between $p$-adic Galois representations and representations of $p$-adic Lie groups in $p$-adic topological vector spaces. We suggest that Berthelot's…

Let $K$ be a mixed characteristic complete discrete valuation field with perfect residue field $k$. Let $X$ be a variety over $k$, $Y$ be an open of $X$, $Y'$ be an open of $Y$ dense in $X$. We extend Kedlaya's full faithfulness as follows…

Building on ideas of Berthelot, we develop a crystalline cohomology formalism over divided power rings $(A, I_0, \eta)$ for any ring $A$, allowing $\mathbf{Z}$-flat $A$. For a smooth $A$-scheme $Y$ and a closed subscheme $X$ of $Y$ for…

We construct the Frobenius structure on a rigid connection $\mathrm{Be}_{\check{G}}$ on $\mathbb{G}_m$ for a split reductive group $\check{G}$ introduced by Frenkel-Gross. These data form a $\check{G}$-valued overconvergent $F$-isocrystal…

In non-archimedean setting, we establish a Lehto--Virtanen-type theorem for a morphism from the punctured Berkovich closed unit disk $\overline{\mathsf{D}}\setminus\{0\}$ in the Berkovich affine line to the Berkovich projective line…

The Lichtenbaum-Quillen conjecture for smooth complex varieties states that algebraic and topological K-theory with finite coefficients become isomorphic in high degrees. We define the "Lichtenbaum-Quillen dimension" of a variety in terms…

We develop a new cohomology theory in characteristic p>0, the so called F-gauge cohomology, a cohomology with values in the category of so-called F-gauges, which refines the cristalline cohomology. In this first paper we mainly discuss the…

A fundamental question, first raised by Langlands, is to know whether the Rankin-Selberg product of two (not necessarily holomorphic) cusp forms f and g is modular, i.e., if there exists an automorphic form f box g on GL(4)/Q whose standard…

We establish a geometric criterion for local microlocal holonomies to be globally regular on the moduli space of Lagrangian fillings. This local-to-global regularity result holds for arbitrary Legendrian links and it is a key input for the…

We generalize the Cartier transform of Ogus and Vologodsky to log smooth schemes. More precisely, we generalize a local version of this transform, due to Shiho, and a topos-theoretic version, due to Oyama. Let $k$ be a perfect field of…

Let $f$ be a real polynomial of $x = (x_1,\dots,x_n)$ and $\varphi$ be a locally integrable function of $x$ which satisfies a holonomic system of linear differential equations. We study the distribution $f_+^\lambda\varphi$ with a…

The codimension-three conjecture states that any regular holonomic module extends uniquely beyond an analytic subset with codimension equal to or larger than three. We give a proof of this conjecture.

The superamalgamation property is a strong form of the amalgamation property which applies to ordered structures; it has found many applications in algebraic logic. We show that superamalgamation has some interest also from the pure…

We give a general result of finiteness for holomorphic families of Brieskorn modules constructed from a holomorphic family of one parameter degeneration of compact complex manifolds acquiring (general) singularities.

We develop a theory of G-dimension for modules over local homomorphisms which encompasses the classical theory of G-dimension for finite modules over local rings. As an application, we prove that a local ring R of characteristic p is…

In this note we classify two-dimensional continued fractions for cubic irrationalities constructed by matrices with not large norm ($|*| \le 6$). The classification is based on the following new result: the class of matrices with an…

Let X be a smooth variety over a field of characteristic p>0. We prove that the forgetful functor from the category of overconvergent F-isocrystals on X to the category of convergent F-isocrystals is fully faithful. The argument uses the…