Generalized Verschiebung Map

• Generalized Verschiebung map is a family of constructions that extend classical Witt-vector operations to arithmetic, geometric, and K-theoretic settings.
• It underpins explicit formulas and degree computations in relative K-theory, moduli of vector bundles, and arithmetic jet spaces.
• The construction interacts with Frobenius, projection, and trace maps, offering clear combinatorial and cohomological insights.

The generalized Verschiebung map is a family of constructions that extend the classical Verschiebung $V$ from Witt vectors and de Rham–Witt theory to new arithmetic, geometric, and $K$-theoretic contexts. In the sources considered here, the term refers in particular to maps on relative $K$-groups of truncated polynomial algebras induced by $x \mapsto x^n$, to natural transformations on arithmetic jet spaces of $\pi$-formal group schemes, and to rational maps on moduli spaces of stable bundles induced by Frobenius pullback. A common structural theme is that these maps are organized together with Frobenius, projection, or trace maps, and that their behavior is modeled on the classical Witt-vector formalism (Horiuchi, 2017, Mishra et al., 30 Jan 2026, Zhang, 24 Jun 2026).

1. Classical Witt-vector origin

In the classical Witt-vector setting, the Frobenius map $F : W(A) \to W(A)$ shifts coordinates and raises entries to the $p^{\text{th}}$ power, while the Verschiebung map $V : W(A) \to W(A)$ is an additive endomorphism that shifts entries one place to the right and multiplies by $p$. These maps satisfy

$F \circ V = V \circ F = p$

on Witt vectors. For $K$0-typical Witt vectors of length $K$1, the classical formula is

$K$2

and for $K$3-typical Witt vectors the same construction is described as “insert a $K$4 at the head” and multiply by $K$5 as appropriate (Mishra et al., 30 Jan 2026).

The same background also motivates multiplicative analogues. For big Witt vectors $K$6, the norm map $K$7 is introduced as a multiplicative version of Verschiebung. It is characterized by

$K$8

in contrast with the classical identity

$K$9

This places generalized Verschiebung constructions within a broader collection of Frobenius-compatible operators on Witt vectors and related objects (Angeltveit, 2014).

2. Relative $K$0-theory of truncated polynomial algebras

A central appearance of the generalized Verschiebung map is in the relative $K$1-theory of truncated polynomial algebras. Let $K$2 be a prime number, and let $K$3 be a ring in which $K$4 is nilpotent. The map under study is

$K$5

induced by the ring homomorphism

$K$6

These maps generalize the classical Verschiebung maps known from the theory of Witt vectors and de Rham–Witt complexes. For general $K$7, they are evaluated, up to extension, in terms of topological Hochschild homology, and for regular $K$8-algebras they are evaluated in terms of groups of de Rham–Witt forms. Under the de Rham–Witt interpretation, the map

$K$9

precisely corresponds to the classical Verschiebung

$x \mapsto x^n$0

(Horiuchi, 2017).

The construction is mediated by topological Hochschild homology and its cyclotomic variants $x \mapsto x^n$1. For $x \mapsto x^n$2 with $x \mapsto x^n$3 nilpotent, the identification

$x \mapsto x^n$4

is used, and the cyclic bar construction of pointed commutative monoids associated to $x \mapsto x^n$5 supplies the relevant maps at the level of spectra. The generalized Verschiebung then appears in long exact sequences relating relative $x \mapsto x^n$6-groups to $x \mapsto x^n$7-groups and, for regular $x \mapsto x^n$8-algebras, to big de Rham–Witt groups $x \mapsto x^n$9 (Horiuchi, 2017).

This framework also yields explicit computations. If $\pi$0 is a perfect field of characteristic $\pi$1, then

$\pi$2

The same machinery is applied to certain perfectoid fields $\pi$3, leading to formulas of the form

$\pi$4

In this setting, the generalized Verschiebung is not merely formal: it is the organizing map in an explicit, functorial, and computationally effective system parallel to Witt-vector and de Rham–Witt theory (Horiuchi, 2017).

3. Arithmetic jet spaces and $\pi$5-formal group schemes

A different generalization arises in arithmetic jet spaces. For any $\pi$6-formal group scheme $\pi$7, the Frobenius morphism between arithmetic jet spaces restricts to generalized kernels of the projection map, and this morphism is induced by a natural ring map between shifted $\pi$8-typical Witt vectors. The arithmetic jet space of level $\pi$9 is described by the functor

$F : W(A) \to W(A)$0

and these jet spaces form a tower

$F : W(A) \to W(A)$1

Within this tower, the generalized Verschiebung is a natural transformation

$F : W(A) \to W(A)$2

induced by the Verschiebung on $F : W(A) \to W(A)$3-typical Witt vectors (Mishra et al., 30 Jan 2026).

The classical Frobenius–Verschiebung relation persists in modified form: $F : W(A) \to W(A)$4 The projections $F : W(A) \to W(A)$5 commute with both $F : W(A) \to W(A)$6 and $F : W(A) \to W(A)$7, so the tower of arithmetic jet spaces carries the same formal pattern as the Witt-vector system. The paper emphasizes that the arithmetic jet spaces and generalized kernels of any $F : W(A) \to W(A)$8-formal group scheme, together with their maps and identities, form a generalization of the case of the Witt vector scheme with maps such as the Frobenius, Verschiebung, and multiplication by $F : W(A) \to W(A)$9 (Mishra et al., 30 Jan 2026).

The case $p^{\text{th}}$0 is the basic model. Here, the arithmetic jet space and the generalized kernels are affine $p^{\text{th}}$1-formal planes with Witt vector addition as the group law, and the Frobenius-induced morphism becomes the multiplication by $p^{\text{th}}$2 map on Witt vector schemes. This specialization shows that the general formalism is not merely analogous to the Witt-vector case but recovers it exactly in the additive formal-group example (Mishra et al., 30 Jan 2026).

4. Moduli of vector bundles and degree formulas

In the geometry of vector-bundle moduli in positive characteristic, the generalized Verschiebung is a rational map induced by Frobenius pullback. Let $p^{\text{th}}$3 be a smooth, projective curve over an algebraically closed field $p^{\text{th}}$4 of characteristic $p^{\text{th}}$5, and let $p^{\text{th}}$6 denote the moduli space of stable rank $p^{\text{th}}$7 vector bundles with trivial determinant. If $p^{\text{th}}$8 is the relative Frobenius morphism, the generalized Verschiebung map is

$p^{\text{th}}$9

This map is generically finite. For a general curve of genus $V : W(A) \to W(A)$0, its degree is

$V : W(A) \to W(A)$1

where $V : W(A) \to W(A)$2 is a universal rational polynomial of degree $V : W(A) \to W(A)$3, written explicitly in terms of Bernoulli numbers $V : W(A) \to W(A)$4 and Laurent coefficients $V : W(A) \to W(A)$5. In genus $V : W(A) \to W(A)$6, this recovers

$V : W(A) \to W(A)$7

A key point is that a degree previously known only to be a quasi-polynomial in $V : W(A) \to W(A)$8 is shown to be a genuine polynomial (Zhang, 24 Jun 2026).

The rank-two case is also treated through a combinatorial description involving higher-level dormant $V : W(A) \to W(A)$9-opers. In the notation $p$0 for the rational map on the moduli space $p$1 of stable rank $p$2 bundles with trivial determinant, there is a precise equivalence of categories between maximally $p$3-destabilized stable rank $p$4 bundles and dormant $p$5-opers, together with a corresponding identification of tangent spaces. For a trivalent graph $p$6 of genus $p$7, the generic degree is computed by balanced edge numberings: $p$8 For genus $p$9, direct enumeration gives

$F \circ V = V \circ F = p$0

This shows that the generic degree of the generalized Verschiebung can be reduced to an explicit finite combinatorial counting problem (Kondo et al., 4 Sep 2025).

Taken together, these results identify two complementary features of the moduli-theoretic generalized Verschiebung. One is enumerative: the degree is governed by graph-theoretic counting formulas and dormant oper moduli. The other is asymptotic and explicit: the resulting function of $F \circ V = V \circ F = p$1 is polynomial, with a closed formula involving Verlinde-type sums and Bernoulli-number expressions (Zhang, 24 Jun 2026, Kondo et al., 4 Sep 2025).

5. Kernels of iterated Verschiebung and isogeny graphs

For elliptic curves in characteristic $F \circ V = V \circ F = p$2, the classical Verschiebung isogeny itself can be used to define level structures. If $F \circ V = V \circ F = p$3 is an elliptic curve, the Verschiebung

$F \circ V = V \circ F = p$4

is the dual isogeny to Frobenius, and its $F \circ V = V \circ F = p$5-fold iterate $F \circ V = V \circ F = p$6 has kernel $F \circ V = V \circ F = p$7, a finite flat group scheme of rank $F \circ V = V \circ F = p$8 whose geometric points form a cyclic group of order $F \circ V = V \circ F = p$9. This leads to level structures defined by triples $K$00, where $K$01 is a geometric point of order $K$02 and $K$03 is a generator of $K$04 (Lei et al., 7 Jan 2025).

Using these data, one defines the directed isogeny graph $K$05. Its vertices are isomorphism classes of triples $K$06, and its edges are degree-$K$07 isogenies respecting the level structure. The natural projection

$K$08

gives graph coverings

$K$09

of degree $K$10, and iterating these coverings yields a tower

$K$11

For sufficiently large $K$12, connected components form a $K$13-tower of graph coverings, with each covering Galois with Galois group $K$14, and projectively the tower has Galois group $K$15 (Lei et al., 7 Jan 2025).

A key structural point is that this level structure is defined via the kernel of iterates of Verschiebung rather than geometric $K$16-torsion points. The paper states that this works for both ordinary and supersingular elliptic curves, because the kernel of $K$17 is a canonical finite flat subgroup scheme present on every elliptic curve over characteristic $K$18. The connected components of the resulting graphs display a volcanic structure: if $K$19 splits in the CM field $K$20, the component is an undirected tectonic $K$21-volcano; if $K$22 ramifies, it is an undirected $K$23-volcano with cycle-graph crater; if $K$24 is inert, it is an undirected $K$25-volcano with disconnected crater (Lei et al., 7 Jan 2025).

6. Lifts to endomorphism $K$26-theory and cohomological uses

The Frobenius–Verschiebung formalism also extends to reduced $K$27-theory of endomorphisms. For the category $K$28 of twisted endomorphisms, one defines generalized Frobenius and Verschiebung maps on

$K$29

The generalized Verschiebung is

$K$30

under the condition $K$31 or $K$32. These maps satisfy

$K$33

After applying the iterated trace map, the effect of $K$34 mirrors the ghost-coordinate behavior familiar from Witt vectors: the image has zeros in positions not divisible by $K$35, while divisible positions are filled by transfers of trace terms. This provides a noncommutative and twisted lift of Witt-vector Frobenius and Verschiebung operations (Agarwal et al., 8 Jul 2025).

A different use of Verschiebung appears in the cohomology of generalized Artin–Schreier curves. For a smooth projective curve $K$36, the first crystalline cohomology $K$37 carries Frobenius $K$38 and Verschiebung $K$39, satisfying

$K$40

For generalized Artin–Schreier curves $K$41, the first slope of the Newton polygon is characterized by the divisibility condition

$K$42

for all $K$43, where $K$44 is a certain lattice in de Rham cohomology. Explicit formulas for iterated Verschiebung on basis forms convert slope estimates into $K$45-adic divisibility statements, yielding improved Hasse–Weil bounds and supersingularity criteria. In this setting, iterated Verschiebung functions as a precise divisibility probe for the Frobenius spectrum (Yılmaz et al., 2016).

These developments suggest that “generalized Verschiebung map” is not a single construction but a recurrent structural pattern. In every case recorded here, the map extends a Witt-vector operation, interacts rigidly with Frobenius, and organizes towers, exact sequences, or degree formulas that would otherwise be opaque.