Frobenius Actions in Cohomology

• Frobenius actions in cohomology are defined as the operations induced by the Frobenius endomorphism on schemes over fields of positive characteristic, offering deep structural insights.
• They enable explicit computations and decompositions in étale, crystalline, rigid, and prismatic cohomology, with significant implications in representation and arithmetic geometry.
• These actions are instrumental in detecting singularities and guiding deformation theory through properties like injectivity, nilpotence, and slope symmetry in various cohomological frameworks.

A Frobenius action in cohomology refers to the natural operations induced by the Frobenius endomorphism (or its iterates) on cohomological objects over schemes (or stacks) defined over fields of positive characteristic. These actions appear throughout algebraic geometry, representation theory, and arithmetic geometry, with deep structural, arithmetic, and deformation-theoretic consequences.

1. Frobenius Endomorphisms and Their Induced Cohomological Actions

Let $k$ be a field of characteristic $p > 0$. For any $k$-scheme $X$, the (absolute) Frobenius morphism is the map $F_X: X \to X$ which acts as the identity on points and as $f \mapsto f^p$ on the structure sheaf. Its iterates $F^r$ provide a fundamental tool for defining various “Frobenius-twisted” objects.

This structure induces natural operations on cohomology. For any reasonable cohomology theory $H^i$, there are endomorphisms

$F^*, \quad (\text{or } \varphi)$

on $H^i$ via pull-backs or the induced functors on the underlying abelian categories or derived categories.

In the context of (étale, crystalline, rigid, or prismatic) cohomology, or over stacks ($\ell$-adic cohomology of moduli stacks), the specifics of this action depend on the precise definition of Frobenius in that cohomological context, but a unifying feature is the interplay of $F$ with the tensor, module, and filtration structures on the cohomology, and with the arithmetic of the underlying field.

2. Frobenius Actions on Group, Lie Algebra, and Scheme Cohomology

Frobenius morphisms have a central role in the cohomological representation theory of algebraic and finite groups in characteristic $p$. For a connected reductive group $G$, the Frobenius morphism $\operatorname{Fr}: G \to G$ gives rise to a tower of infinitesimal group schemes $G_r = \ker(\operatorname{Fr}^r)$, the Frobenius kernels. Cohomology theories (Ext, Hochschild, etc.) for $G_r$-modules (and their analogues for Borel subgroups $B_r$, etc.) have explicit Frobenius actions, and the structure of these cohomologies reflects the presence of the Frobenius. For example, under standard hypotheses, first cohomology groups $H^1(G_r, M)$ vanish for modules arising from conjugation or adjoint actions on coordinate rings and Lie algebras (Tange, 2017).

Spectral sequences (Lyndon–Hochschild–Serre), Steinberg tensor product theorems, and good filtration results allow the computation of the effect of Frobenius on module decompositions and cohomology groups (Nakano, 2014). Moreover, the fixed-point functor for $G_r$ coincides with the invariants under the $p^r$-power operation, connecting Frobenius actions closely with invariant theory.

3. Frobenius Actions in Geometric and Arithmetic Contexts

In geometric settings, Frobenius plays a crucial role in the structure of various algebraic and topological invariants:

• In étale cohomology over finite fields, the action of geometric Frobenius $\Phi$ is semisimple. This is a consequence of the Weil conjectures and the formalism of Adams operations on $E(1)$-localized K-theory (Morteo, 2010).
• The Newton polygon of Frobenius acting on crystalline cohomology of smooth proper varieties is symmetric, in the sense that slopes appear in pairs summing to the middle degree, a phenomenon controlled by Poincaré duality and Hard Lefschetz (Suh, 2024).
• In the rigid and prismatic cohomological frameworks, Frobenius acts via explicit endomorphisms, whose slopes, heights, and divisibility by powers of $p$ encode subtle arithmetic and geometric information (Wan et al., 2022, Guo et al., 2023).

The following table provides a schematic comparison of some cohomological settings and the nature of the Frobenius action:

Cohomology Type	Nature of Frobenius Action	Structural Consequence
Étale ($\ell$-adic)	Semisimple, eigenvalues of Weil type	Purity, direct sum decompositions; motivic interpretation (Morteo, 2010)
Crystalline	Slope decomposition, Newton polygons	Slope symmetry; even Betti numbers in odd degree (Suh, 2024)
Prismatic/rigid	q-divisibility of eigenvalues, height bounds	Refined Ax–Katz bounds; visibility in zeta functions (Wan et al., 2022, Guo et al., 2023)
Group/Lie algebra	Vanishing in low-degree cohomology	Rigidity, no new 1-cocycles under Frobenius kernels (Tange, 2017)

4. Frobenius Actions on Local and Formal Cohomology: Singularity and Deformation Theory

Frobenius actions on local cohomology modules underpin a rich theory of singularities in commutative algebra and algebraic geometry. The properties of these actions (e.g., nilpotence, injectivity, fullness, anti-nilpotence) define and detect various classes of singularities and guide their deformation behavior (Ma et al., 2016, Polstra et al., 2018, Eghbali, 2018):

• F-injective: Frobenius acts injectively on all local cohomology modules.
• F-full and F-anti-nilpotent: Strengthenings of F-injectivity, characterized by surjectivity and anti-nilpotence properties of the action on $H^i_\mathfrak{m}(R)$ (Ma et al., 2016).
• F-nilpotent: Frobenius acts nilpotently on local cohomology up to (but not including) the top degree; characterization in terms of tight and Frobenius closures (Polstra et al., 2018).

These properties are closely related to formal invariants such as Frobenius depth, which can be compared with the formal grade and depth of the ring (Eghbali, 2018). Deformation theorems show how these Frobenius-action properties persist or fail under passage to quotient rings by regular elements, with explicit criteria and counterexamples provided.

5. Explicit Formulas, Automorphisms, and Moduli Interpretations

Recent work has introduced moduli-theoretic perspectives on automorphisms of Frobenius-twisted cohomology theories. For example, the functor of automorphisms of Frobenius-twisted de Rham cohomology is representable by $\mathbb{G}_m$, and the unique nontrivial automorphism acts with weight $i$ on degree $i$ cohomology (Li et al., 21 Sep 2025). This induces a functorial splitting and encodes weight gradings analogous to Hodge–Tate filtrations, and facilitates systematic reconstructions of classical results such as Deligne–Illusie splittings.

In the setting of moduli stacks, various arithmetic and geometric Frobenius morphisms (absolute, induced, geometric, and their iterates) act explicitly on generators of the $\ell$-adic cohomology ring, with eigenvalues determined by Chern classes, Weil numbers, and roots of unity associated to the group structure (Castorena et al., 2024).

6. Slope, Height, Visibility, and Arithmetic Constraints

In prismatic and rigid cohomology, Frobenius actions are constrained by slope bounds (height of Frobenius), visibility and divisibility conditions:

• Frobenius eigenvalues in rigid cohomology can be “witnessed” by zeta functions of related open pieces, and their divisibility in terms of power of $q$ can exceed what is accessible in $\ell$-adic theories (Wan et al., 2022).
• Under prismatic pushforward, the “height” of the Frobenius is controlled for each cohomological degree and satisfies precise bounds that govern the change in Frobenius exponents under smooth proper maps (Guo et al., 2023).
• These results point towards a prismatic uniformity: weight and slope filtrations on prismatic objects provide a method to control Frobenius in any $p$-adic cohomology theory admitting a prismatic model.

7. Open Problems and Directions

Open directions identified in the literature include:

• Determination of higher cohomology groups for Frobenius kernels $G_r$ and their vanishing or non-vanishing patterns (Tange, 2017).
• Extending vanishing theorems to broader classes of modules or sheaves, e.g., beyond those with good filtrations or to singular orbits.
• Optimizing and computing sharp bounds for injectivity and nilpotence of Frobenius actions in various geometric or singularity settings.
• Generalization of moduli-theoretic and automorphism group descriptions of Frobenius-twisted cohomologies to prismatic, crystalline, and other cohomological frameworks (Li et al., 21 Sep 2025, Guo et al., 2023).
• Further elucidation of the connection between Frobenius actions, support varieties, detection theorems, and arithmetic invariants of schemes and stacks.

The study of Frobenius actions in cohomology thus constitutes a central theme linking the structure of algebraic varieties and their moduli, representation theory, arithmetic, and deformation theory across characteristic $p$ contexts.