-
Crystalline prisms: Reflections and diffractions, present and past
Authors:
Arthur Ogus
Abstract:
Let $Y/S$ be a $p$-completely smooth morphism of $p$-torsion free $p$-adic formal schemes endowed with a Frobenius lift, and let $\overline Y/\overline S$ denote its reduction modulo $p$. We show that the category of crystals on the prismatic site of $\overline Y/S$ is equivalent to the category of $O_Y$-modules with integrable and quasi-nilpotent $p$-connection, and that the cohomology of such a…
▽ More
Let $Y/S$ be a $p$-completely smooth morphism of $p$-torsion free $p$-adic formal schemes endowed with a Frobenius lift, and let $\overline Y/\overline S$ denote its reduction modulo $p$. We show that the category of crystals on the prismatic site of $\overline Y/S$ is equivalent to the category of $O_Y$-modules with integrable and quasi-nilpotent $p$-connection, and that the cohomology of such a crystal is computed by the associated $p$-de Rham complex. More generally, if $X$ is a closed subscheme of $\overline Y$, smooth over $\overline S$, then the prismatic envelope $Δ_X(Y)$ of $X$ in $Y$ admits such a $p$-connection, the category of prismatic crystals on $X/S$ is equivalent to the category of $O_ {Δ_X(Y)}$-modules with compatible integrable and quasi-nilpotent $p$-connection, and the cohomology of such a crystal is again computed by its $p$-de Rham complex. We also give a geometric construction of the ``prismatic Sen operator.'' Namely, we show that a lifting of $X$ (mod $p^2$) in $Y$ defines a vector field on the reduction modulo $p$ of $Δ_X(Y)$ and on a ``diffracted'' Higgs complex which calculates the mod $p$ prismatic and de Rham cohomologies of $X$. Surprisingly, this complex is not the reduction modulo $p$ of the afore-mentioned $p$-de Rham complexbut is rather its ``$α$-transform.'' As a consequence, we get a fairly explicit description of the action of the group scheme $G^γ$ on $RΓ(X, Ω^\bullet_{X/S})$, Drinfeld's strengthening of the Deligne-Illusie decomposition theorem. We also explain how earlier work by several authors relating Higgs fields, $p$-connections, and connections can be placed in the prismatic context.
△ Less
Submitted 17 May, 2024; v1 submitted 13 April, 2022;
originally announced April 2022.
-
Monodromy and Log Geometry
Authors:
Piotr Achinger,
Arthur Ogus
Abstract:
A now classical construction due to Kato and Nakayama attaches a topological space (the "Betti realization") to a log scheme over $\mathbf{C}$. We show that in the case of a log smooth degeneration over the standard log disc, this construction allows one to recover the topology of the germ of the family from the log special fiber alone. We go on to give combinatorial formulas for the monodromy and…
▽ More
A now classical construction due to Kato and Nakayama attaches a topological space (the "Betti realization") to a log scheme over $\mathbf{C}$. We show that in the case of a log smooth degeneration over the standard log disc, this construction allows one to recover the topology of the germ of the family from the log special fiber alone. We go on to give combinatorial formulas for the monodromy and the $d^2$ differentials acting on the nearby cycle complex in terms of the log structures. We also provide variants of these results for the Kummer etale topology. In the case of curves, these data are essentially equivalent to those encoded by the dual graph of a semistable degeneration, including the monodromy pairing and the Picard-Lefschetz formula.
△ Less
Submitted 19 June, 2019; v1 submitted 6 February, 2018;
originally announced February 2018.
-
Hodge cohomology of invertible sheaves
Authors:
Hélène Esnault,
Arthur Ogus
Abstract:
v2: We improved a little bit according to the referee's wishes.
v1: On $X$ projective smooth over a field $k$, Pink and Roessler conjecture that the dimension of the Hodge cohomology of an invertible $n$-torsion sheaf $L$ is the same as the one of its $a$-th power $L^a$ if $a$ is prime to $n$, under the assumptions that $X$ lifts to $W_2(k)$ and $dim X\le p$, if $k$ has characteristic $p>0$. T…
▽ More
v2: We improved a little bit according to the referee's wishes.
v1: On $X$ projective smooth over a field $k$, Pink and Roessler conjecture that the dimension of the Hodge cohomology of an invertible $n$-torsion sheaf $L$ is the same as the one of its $a$-th power $L^a$ if $a$ is prime to $n$, under the assumptions that $X$ lifts to $W_2(k)$ and $dim X\le p$, if $k$ has characteristic $p>0$. They show this if $k$ has characteristic 0 and if $n$ is prime to $p$ in characteristic $p>0$. We show the conjecture in characteristic $p>0$ if $n=p$ assuming in addition that $X$ is ordinary (in the sense of Bloch-Kato).
△ Less
Submitted 28 February, 2008; v1 submitted 21 September, 2007;
originally announced September 2007.
-
Nonabelian Hodge Theory in Characteristic p
Authors:
Arthur Ogus,
Vadim Vologodsky
Abstract:
Given a scheme in characteristic p together with a lifting modulo p^2, we construct a functor from a category of suitably nilpotent modules with connection to the category of Higgs modules. We use this functor to generalize the decomposition theorem of Deligne-Illusie to the case of de Rham cohomology with coefficients.
Given a scheme in characteristic p together with a lifting modulo p^2, we construct a functor from a category of suitably nilpotent modules with connection to the category of Higgs modules. We use this functor to generalize the decomposition theorem of Deligne-Illusie to the case of de Rham cohomology with coefficients.
△ Less
Submitted 29 July, 2007; v1 submitted 22 July, 2005;
originally announced July 2005.
