Frobenius endomorphism

Frobenius endomorphism
Name	Frobenius endomorphism
Field	Algebraic geometry, Commutative algebra, Number theory
Introduced	19th century
Notable	Ferdinand Georg Frobenius

Frobenius endomorphism is a canonical endomorphism arising in structures defined over fields of prime characteristic p, named after Ferdinand Georg Frobenius, and central to modern work in David Hilbert-inspired algebraic geometry, Alexander Grothendieck's scheme theory, and Emmy Noether-style commutative algebra. It provides a link between arithmetic studied by Carl Friedrich Gauss and structural properties investigated by Jean-Pierre Serre, John Tate, and Alexander Grothendieck, and it underpins algorithms used in computational work by researchers associated with Andrew Wiles and Manjul Bhargava.

Definition and basic properties

In a ring R of characteristic p, the map x ↦ x^p defines an endomorphism of R that preserves addition and multiplication, a fact historically connected to results of Évariste Galois and formalized by Ferdinand Georg Frobenius, which has immediate implications for structures considered by Henri Poincaré, Bernhard Riemann, and David Mumford. For fields such as finite fields studied by Évariste Galois and Richard Dedekind, this endomorphism is an automorphism with order related to the degree of extension, and its fixed field relationships reflect themes investigated by Galois theory proponents like Évariste Galois and Emmy Noether. The map interacts with module structures in ways explored by Noether and later by Alexander Grothendieck in the context of morphisms of schemes and by Jean-Pierre Serre in cohomological investigations.

Frobenius endomorphism in rings and schemes

For a commutative ring R of characteristic p the Frobenius endomorphism F: R → R given by r ↦ r^p is a ring homomorphism that appears in the work of Noether and informs notions of reducedness and nilpotence central to studies by Oscar Zariski and Pierre Samuel. In the scheme language of Alexander Grothendieck the absolute Frobenius morphism of a scheme X over Spec of a field of characteristic p acts as the identity on the underlying topological space while raising sections to the pth power, a construction foundational to the approaches of Grothendieck and Jean-Pierre Serre to cohomology and descent. Relative Frobenius morphisms and their factorization arise in contexts explored by Grothendieck and Michael Artin and are crucial in the study of morphisms between schemes used by Grothendieck in the development of the Éléments de géométrie algébrique program.

Frobenius morphism in algebraic geometry

The Frobenius morphism plays a central role in the classification of varieties in characteristic p, influencing notions of smoothness, étale maps, and inseparability that were studied by Alexander Grothendieck, Jean-Pierre Serre, and Pierre Deligne. In the study of curves and surfaces influenced by work of Oscar Zariski, André Weil, and Armand Borel, Frobenius affects Hodge-type decompositions and the behavior of the Picard scheme, linking to research by Pierre Deligne on the Weil conjectures and by John Tate on endomorphisms of abelian varieties. The morphism is instrumental in formulating and proving results about crystalline cohomology developed by Grothendieck and Alexander Grothendieck's collaborators, and it connects to moduli problems pursued by David Mumford and Michael Artin.

Applications in number theory and finite fields

In number theory, Frobenius elements in Galois groups associated with primes, as studied by Évariste Galois and later by Andre Weil and John Tate, encode arithmetic information of extensions and are central to the statements and proofs of reciprocity laws considered by Emil Artin and Andrew Wiles. For finite fields such as those used by Évariste Galois and Claude Shannon in coding theory, the Frobenius automorphism generates the Galois group and underlies counting points on varieties as in the work of André Weil and Pierre Deligne, with consequences for explicit algorithms developed in computational projects led by Ronald Rivest and Adi Shamir. Frobenius traces appear in L-functions and are fundamental to the approaches of Pierre Deligne and Robert Langlands in the formulation of reciprocity and modularity conjectures.

Frobenius in commutative algebra and modules

In commutative algebra, Frobenius induces operations on modules that inform concepts like tight closure, test ideals, and F-regularity introduced by researchers building on ideas of Emmy Noether and David Rees, and further developed in the school of Mel Hochster and Craig Huneke. Properties such as F-purity and F-splitting are detected via Frobenius actions and play roles in classification problems investigated by Melvin Hochster and contemporaries, influencing singularity theory studied by Oscar Zariski and Heisuke Hironaka. The behavior of Frobenius on local cohomology and injective modules connects to homological conjectures addressed by Jean-Pierre Serre and others in commutative algebra traditions.

Iterates, splitting, and Frobenius actions on cohomology

Iterates of Frobenius and their splittings yield structural information used in the proof strategies of major results by Pierre Deligne on the Weil conjectures and by Nicholas Katz and Gerd Faltings in p-adic cohomology studies; the action on étale, crystalline, and de Rham cohomology groups provides eigenvalues whose properties are central to work by André Weil, Pierre Deligne, and John Tate. Splitting behaviors under iteration define F-splitting and F-regularity notions applied in the research programs of Mel Hochster, Craig Huneke, and Karen Smith, and Frobenius-linear maps are exploited in derived-category techniques popularized by Alexander Grothendieck and expanded in modern projects led by Maxim Kontsevich. Understanding Frobenius actions remains pivotal in contemporary collaborations connecting arithmetic geometry pursued by Robert Langlands and geometric approaches advanced by David Mumford.

Category:Algebraic geometry