Total $p$-differentials on schemes over $Z/p^2$

Taylor Dupuy; Eric Katz; Joseph Rabinoff; David Zureick-Brown

Home/Archive/arXiv

arXiv · 1712.09487

Total $p$-differentials on schemes over $Z/p^2$

Taylor Dupuy·Eric Katz·Joseph Rabinoff·David Zureick-Brown

View original source ↗Read source document ↗Export metadata ↓

Abstract

For a scheme $X$ defined over the length $2$ $p$-typical Witt vectors $W_2(k)$ of a characteristic $p$ field, we introduce total $p$-differentials which interpolate between Frobenius-twisted differentials and Buium's $p$-differentials. They form a sheaf over the reduction $X_0$, and behave as if they were the sheaf of differentials of $X$ over a deeper base below $W_2(k)$. This allows us to construct the analogues of Gauss-Manin connections and Kodaira-Spencer classes as in the Katz-Oda formalism. We make connections to Frobenius lifts, Borger-Weiland's biring formalism, and Deligne--Illusie classes.

Explore related subjects

math.AG math.NT

Keep this discovery

Explore connections, maps & timelines

BibTeX RIS

Taylor Dupuy, Eric Katz, Joseph Rabinoff, David Zureick-Brown. 2017-12-27. Total $p$-differentials on schemes over $Z/p^2$. https://arxiv.org/abs/1712.09487

Cite the original work for its findings. Save a collection to share your selection of sources.

KEEP EXPLORING

Related papers

arXiv2026

K-stable Fano 3-folds in the families 2.18 and 3.4

We prove that smooth Fano 3-folds in the families 2.18 and 3.4 are K-stable.

math.AG↗

arXiv2026

G3-Criteria and Applications

The G3-property of a subvariety was introduced by Hironaka-Matsumura, and plays an important role for deducing connectedness and extension results. Unfortunately, it's a rather elusive notion, which is not always easy to establish. Most of the existing work is concentrated on subvarieties of homogeneous varieties. The first goal of this article is to show that mobility assumptions on the subvariety, considered in works of Badescu, Chow, Debarre, Voisin, yield a certain partial positivity property, slightly stronger than G3, previously introduced by the author. Second, we apply the result to prove that, in numerous situations, the splitting of the normal bundle of a smooth two-codimensional subvariety implies that it is a complete intersection.

math.AG↗

arXiv2026

Nodal degeneration of chiral algebras I: Global structure and gluing formula

We define a natural extension of a universal factorization algebra $\mathcal{A}$ to families of stable punctured curves, by integrating over all semistable modifications. We prove that the resulting sheaf of factorization homology satisfies a natural gluing formula, by tensoring over a certain derived associative algebra $\mathfrak{Z}_{\mathcal{A}}^0$, generalizing the Verlinde formula for gluing of conformal blocks.

math.AG↗