Frobenius extension

Frobenius extension
Name	Frobenius extension
Type	Ring extension
Introduced	20th century

Frobenius extension A Frobenius extension is a particular class of ring extension studied in algebra that generalizes properties of Frobenius algebras and connects with representation theory, homological algebra, and category theory. It arises in contexts ranging from classical invariant theory to modern quantum algebra, linking structures studied by figures such as Emmy Noether, Richard Brauer, Issai Schur, George Mackey, and Nathan Jacobson. The notion interacts with concepts investigated at institutions like the Institut des Hautes Études Scientifiques, Institute for Advanced Study, Massachusetts Institute of Technology, University of Cambridge, and Princeton University.

Definition and basic properties

A Frobenius extension is an extension of rings R ⊆ S equipped with an S-bimodule isomorphism between S and Hom_R(S,R) that mirrors the duality present in Frobenius algebras; this definition builds on work by Georges Reiman, Robert Kadison, and Michio Suzuki. Basic properties include conditions on projectivity and finiteness that echo statements by Emmy Noether and Hermann Weyl in invariant settings. Important invariants and structural constraints connect to modules considered by Jacob Lurie and functors studied by Saunders Mac Lane. Historically relevant results tie to the program of David Hilbert on finiteness and to classification problems addressed by Alonzo Church and Andrey Kolmogorov in different contexts. Typical consequences include transfer of injectivity and projectivity studied by Israel Gelfand and applications in contexts addressed at École Normale Supérieure seminars.

Examples and classes

Key examples include finite group algebra extensions k ⊆ kG for a field k and a finite group G, studied by Évariste Galois antecedents and by William Burnside and Friedrich Schur. Matrix algebras M_n(R) over a base ring R form canonical Frobenius extensions, examples familiar to researchers at University of Göttingen and University of Chicago. Hopf algebra actions produce extensions treated by Heinz Hopf's intellectual descendants and by Susan Montgomery and Shahn Majid. Crossed product extensions and skew group rings connect to constructions by I. Schur and Richard Brauer. Commutative examples include integral extensions that satisfy trace forms analyzed alongside work by David Mumford and Bernhard Riemann in algebraic geometry traditions. Endomorphism ring extensions End_R(M) over a subring relate to Morita theory developed by Kiiti Morita and elaborated by John Milnor and Hyman Bass.

Characterizations and equivalent conditions

Equivalent characterizations include existence of a Frobenius homomorphism, bimodule isomorphisms, or nondegenerate associative bilinear forms; these perspectives trace to analyses by Emmy Noether, Richard Brauer, and modern expositions by Masaki Kashiwara and Pierre Deligne. Alternate criteria use trace maps and Nakayama automorphisms reminiscent of studies by Tadasi Nakayama and Goro Shimura. Categorical equivalences with adjointness properties reflect ideas from Saunders Mac Lane and Alexander Grothendieck, while homological characterizations reference resolutions and Ext groups treated by Henri Cartan and Samuel Eilenberg. Spectral and representation-theoretic conditions link to methods used by John von Neumann and Alfred Tarski in operator settings.

Frobenius homomorphism and bilinear forms

The Frobenius homomorphism is an R-linear map with properties that produce a nondegenerate associative bilinear form S × S → R; constructions parallel trace forms in the work of André Weil and bilinear pairings studied by Emil Artin and Helmut Hasse. The Nakayama automorphism associated to a Frobenius homomorphism has been investigated in contexts related to results by Masayoshi Nagata and Oscar Zariski. In Hopf-theoretic examples, integrals and cointegrals studied by Pierre Cartier and Shahn Majid realize Frobenius functionals; their nondegeneracy conditions echo classical pairings considered by David Hilbert and Jean-Pierre Serre.

Module-theoretic and categorical aspects

From the module-theoretic viewpoint, Frobenius extensions yield equivalences between categories of relative projective and injective modules reminiscent of Morita equivalence frameworks advanced by Kiiti Morita and Jacobson. They produce Frobenius functors exhibiting both left and right adjoints, a phenomenon deeply connected to duality theories developed by Grothendieck and Serre. Monoidal category perspectives connect to tensor categories studied by André Joyal and Ross Street and to modular categories considered by researchers at Mathematical Institute, Oxford and Perimeter Institute. Derived category and triangulated category approaches link to work by Bernhard Keller and Amnon Neeman.

Connections to Frobenius algebras and applications

Frobenius extensions generalize Frobenius algebra structures appearing in topological quantum field theory discussions by Edward Witten and in conformal field theory studied by Graeme Segal and Konrad Waldorf. Applications include representation theory of finite groups as developed by William Burnside and Richard Brauer, quantum group constructions influenced by Vladimir Drinfeld and Michio Jimbo, and invariants in low-dimensional topology investigated by Louis Kauffman and Vaughan Jones. Further applied directions reach algebraic geometry contexts studied by Alexander Grothendieck and Pierre Deligne, and noncommutative geometry influenced by Alain Connes.

Category:Ring theory