Equivariant Tamagawa Number Conjecture

Equivariant Tamagawa Number Conjecture
Name	Equivariant Tamagawa Number Conjecture
Field	Number theory
Contributors	John Tate; David Burns; Matthias Flach; Christopher D. Breuil; Kazuya Kato
Dates	1990s–present
Related	Tamagawa number conjecture; Birch and Swinnerton-Dyer conjecture; Bloch–Kato conjecture

Equivariant Tamagawa Number Conjecture The Equivariant Tamagawa Number Conjecture (ETNC) is a far-reaching conjecture in arithmetic algebraic geometry and algebraic number theory that refines the Tamagawa number conjecture by incorporating group actions from Galois groups and noncommutative coefficient rings. It proposes precise relationships between special values of L-functions attached to motives with symmetries and arithmetic invariants expressed in algebraic K-theory and étale cohomology. The conjecture connects threads from the work of pioneers such as John Tate, Alexander Grothendieck, Pierre Deligne, Srinivasa Ramanujan, and André Weil through modern developments by Barry Mazur, Jean-Pierre Serre, Kazuya Kato, Matthias Flach, and David Burns.

Introduction

ETNC arises from efforts to generalize conjectures linking L-values to arithmetic invariants, notably the Birch and Swinnerton-Dyer conjecture for elliptic curves, the Beilinson conjectures for motivic cohomology, and the Bloch–Kato conjecture for Galois representations. It refines the Tamagawa number conjecture by incorporating actions of finite groups such as Galois groups of extensions like Galois extensions and equivariant structures studied by Emil Artin, Richard Brauer, and Jean-Pierre Serre. The formulation uses tools from algebraic K-theory, Iwasawa theory, etale cohomology, and derived categories developed in the work of Alexander Grothendieck and Jean-Louis Verdier.

Statement of the Conjecture

In its general form, ETNC predicts an equality in relative algebraic K-groups for a motive M over a number field F with an action of a finite group G such as a Galois group of an extension E/F. The conjecture relates the leading term of the equivariant L-function L(M, s) at an integer s_0 to a canonical element constructed from determinants of cohomology, regulator maps of Beilinson regulator type, and local Euler factors involving Weil groups and Frobenius automorphisms. Precise formulations use relative K_0 and K_1 groups appearing in the work of Daniel Quillen and Herbert Bass, along with exact sequences like those used by John Milnor. The conjecture includes compatibilities with local epsilon-factors studied by Peter Deligne and global Tamagawa measures introduced by Serre and André Weil.

Special Cases and Known Results

Proven instances include abelian extensions where class number formulas proven by Bernhard Riemann-inspired techniques and the Herbrand–Ribet theorem for cyclotomic fields offer evidence; works of Coates–Sinnott and John Coates connected special values for Dirichlet L-series and cyclotomic field arithmetic. For motives attached to Artin representations, partial results of Tate, Deligne, and Burns handle equivariant refinements in the Artin L-function setting. Iwasawa-theoretic formulations by Andrew Wiles and Ken Ribet yield verifications in certain p-adic L-function families, building on results of Barry Mazur and Kazuya Kato for modular motives. Numerical verification for special motives uses computations by researchers influenced by John Cremona and William Stein.

Relation to Other Conjectures and Theories

ETNC refines and implies instances of the Birch and Swinnerton-Dyer conjecture, the Bloch–Kato conjecture, and the Beilinson conjectures when specialized to appropriate motives such as elliptic curve motives, modular form motives, and Artin motives. It interfaces with Iwasawa Main Conjecture formulations of Iwasawa theory by Kenkichi Iwasawa as extended by Ralph Greenberg and Masato Kurihara. Relations to class field theory developed by Emil Artin and Helmut Hasse appear through equivariant class number formulas of François Taussky and Richard Schoof. Connections to noncommutative Iwasawa theory have been explored by John Coates, Mahesh Kakde, and David Burns.

Techniques and Approaches to Proofs

Approaches combine algebraic K-theory techniques from Quillen with Euler system methods pioneered by Kolyvagin and Victor Kolyvagin, and the use of p-adic Hodge theory advanced by Jean-Marc Fontaine and Gerd Faltings. Derived categories and triangulated functors from Verdier and Grothendieck underpin cohomological constructions, while regulator computations invoke ideas of Beilinson and Bloch. Modular methods stemming from Andrew Wiles and Richard Taylor inform cases for modular motives, and noncommutative algebra techniques from William Fulton and Iain Gordon help manage group-ring complications. Computational evidence often uses algorithms developed by John Cremona, William Stein, and computational packages influenced by SageMath contributors.

Examples and Computations

Concrete examples include the ETNC for Tate motives over abelian extensions of Q where classical Dirichlet's class number formula and cyclotomic unit computations validate special cases; one finds explicit regulator determinants for cyclotomic fields and Gauss sum relations examined by Leopoldt and Sinnott. For motives of weight one attached to Artin representations, computations relate to Artin L-function leading terms studied by Cassels and Fröhlich. For elliptic curves with complex multiplication by orders in imaginary quadratic fields investigated by Heegner-related theories, numerical verification engages works of Gross–Zagier and Kolyvagin.

Open Problems and Current Research Directions

Major open problems include proving ETNC in nonabelian settings for general motives, extending evidence in noncommutative Iwasawa theory and verifying compatibility with the full scope of the Bloch–Kato conjecture for higher-rank motives. Current research by groups around Kazuya Kato, Matthias Flach, David Burns, Mahesh Kakde, Francesc Castella, and Christian Wuthrich targets equivariant Euler systems, noncommutative Main Conjectures, and effective computational criteria influenced by John Coates and Andrew Wiles. Interactions with p-adic Langlands programs associated with Pierre Colmez, Richard Taylor, and Peter Scholze suggest new avenues, while computational advances by teams using software inspired by John Cremona and William Stein continue to produce test cases.

Category:Number theory