Delta Characters and Filtered Isocrystals

Lance Gurney; Sudip Pandit; and Arnab Saha

En palabras de los autores

Given an abelian scheme $A$ over a $p$ -adic ring $R$ , Borger and Saha constructed a filtered module ${H_{δ} (A) \supset X_{p r im} (A) \supset {0}}$ with a semilinear operator $f^{*}$ on $H_{δ} (A)$ using the theory of arithmetic jet spaces. The above object admits a canonical map $Φ$ to the Hodge sequence ${H_{d R}^{1} (A) \supset H^{0} (A, Ω_{A}) \supset {0}}$ of $A$ in the category of filtered modules. As a result, by restricting $Φ$ , we obtain a natural $R$ -linear map $Υ : X_{p r im} (A) \to H^{0} (A, Ω_{A})$ . In this paper, we show that the map $Υ$ is an isomorphism of vector spaces over $K$ , the field of fractions of $R$ . As a consequence, we will show that for all abelian schemes $A$ , the operator $f^{*}$ on $H_{δ} (A)_{K}$ is a bijection, and our object ${H_{δ} (A)_{K} \supset X_{p r im} (A)_{K} \supset {0}}$ becomes a filtered isocrystal. In fact, the above results admit a generalization to the setting of semi-abelian schemes. The elements of $X_{p r im} (A)$ are represented by primitive additive characters of the arithmetic jet spaces attached to $A$ . Hence, our isomorphism given by $Υ$ provides an interesting character-theoretic interpretation of $H^{0} (A, Ω_{A})$ in terms of primitive delta characters. As a result, to any $1$ -form $ω$ , the above isomorphism associates a canonical numerical invariant that depends on deformation theoretic data of $A$ . Furthermore, we also extend a comparison theorem between $H_{δ} (A)_{K}$ and the first crystalline cohomology $H_{cr i s}^{1} (A)_{K}$ in the general case when the elliptic curve $A$ is defined over the ring of integers of a $p$ -adic field $K$ that is a finite extension of $Q_{p}$ .

Resultado principalLimitación que admiten los autores

Delta Characters and Filtered Isocrystals

En palabras de los autores

Más de Álgebra y teoría de números ese día

A separably representable counterexample to Naimark's problem in ZFC

Some Infinite Families of Arithmetic Symplectic Hypergeometric Groups

The Kazhdan-Lusztig category of osp1∣2n​ at irrational levels

Degrees and directional defects of embedded algebraic vector bundles

Euler characteristics of strata of k-differentials

The Kazhdan-Lusztig category of $osp_{1∣2 n}$ at irrational levels

Euler characteristics of strata of $k$ -differentials