Euler system

Quality 0.50 · 4 views · Updated 2 months ago

Mathematical concept

title: "Euler system" type: doc version: 1 created: 2026-02-28 author: "Wikipedia contributors" status: active scope: public tags: ["algebraic-number-theory"] description: "Mathematical concept" topic_path: "science/mathematics" source: "https://en.wikipedia.org/wiki/Euler_system" license: "CC BY-SA 4.0" wikipedia_page_id: 0 wikipedia_revision_id: 0

::summary Mathematical concept ::

In mathematics, particularly number theory, an Euler system is a collection of compatible elements of Galois cohomology groups indexed by fields. They were introduced by in his work on Heegner points on modular elliptic curves, which was motivated by his earlier paper and the work of . Euler systems are named after Leonhard Euler because the factors relating different elements of an Euler system resemble the Euler factors of an Euler product.

Euler systems can be used to construct annihilators of ideal class groups or Selmer groups, thus giving bounds on their orders, which in turn has led to deep theorems such as the finiteness of some Tate-Shafarevich groups. This led to Karl Rubin's new proof of the main conjecture of Iwasawa theory, considered simpler than the original proof due to Barry Mazur and Andrew Wiles.

Definition

Although there are several definitions of special sorts of Euler system, there seems to be no published definition of an Euler system that covers all known cases. But it is possible to say roughly what an Euler system is, as follows:

  • An Euler system is given by collection of elements c**F. These elements are often indexed by certain number fields F containing some fixed number field K, or by something closely related such as square-free integers. The elements c**F are typically elements of some Galois cohomology group such as H1(F, T) where T is a p-adic representation of the absolute Galois group of K.
  • The most important condition is that the elements c**F and c**G for two different fields F ⊆ G are related by a simple formula, such as : {\rm cor}{G/F}(c_G) = \prod{q\in \Sigma(G/F)}P(\mathrm{Fr}_q^{-1}|{\rm Hom}_O(T,O(1));\mathrm{Fr}_q^{-1})c_F :Here the "Euler factor" P(τ|B;x) is defined to be the element det(1-τx|B) considered as an element of O[x], which when x happens to act on B is not the same as det(1-τx|B) considered as an element of O.
  • There may be other conditions that the c**F have to satisfy, such as congruence conditions.

Kazuya Kato refers to the elements in an Euler system as "arithmetic incarnations of zeta" and describes the property of being an Euler system as "an arithmetic reflection of the fact that these incarnations are related to special values of Euler products".

Examples

Cyclotomic units

For every square-free positive integer n pick an n-th root ζn of 1, with ζmn = ζmζn for m,n coprime. Then the cyclotomic Euler system is the set of numbers αn = 1 − ζn. These satisfy the relations :N_{Q(\zeta_{nl})/Q(\zeta_l)}(\alpha_{nl}) = \alpha_n^{F_l-1} :\alpha_{nl}\equiv\alpha_n modulo all primes above l where l is a prime not dividing n and F**l is a Frobenius automorphism with F**l(ζn) = ζ. Kolyvagin used this Euler system to give an elementary proof of the Gras conjecture.

Gauss sums

Elliptic units

Heegner points

Kolyvagin constructed an Euler system from the Heegner points of an elliptic curve, and used this to show that in some cases the Tate-Shafarevich group is finite.

Kato's Euler system

Kato's Euler system consists of certain elements occurring in the algebraic K-theory of modular curves. These elements—named Beilinson elements after Alexander Beilinson who introduced them in —were used by Kazuya Kato in to prove one divisibility in Barry Mazur's main conjecture of Iwasawa theory for elliptic curves.

Notes

References

  • {{Citation | last=Beilinson | first=Alexander | author-link=Alexander Beilinson | contribution=Higher regulators and values of L-functions | editor=R. V. Gamkrelidze | title=Current problems in mathematics | volume=24 | year=1984 | pages=181–238 | mr=0760999 | language=Russian
  • {{Citation | last=Kato | first=Kazuya | author-link=Kazuya Kato | contribution=p-adic Hodge theory and values of zeta functions of modular forms |editor=Pierre Berthelot |editor2=Jean-Marc Fontaine |editor3=Luc Illusie |editor4=Kazuya Kato |editor5=Michael Rapoport | title=Cohomologies p-adiques et applications arithmétiques. III. | year=2004 | publisher=Société Mathématique de France | location=Paris | series=Astérisque | volume=295 | pages=117–290 | mr=2104361
  • {{Citation | last=Kato | first=Kazuya | author-link=Kazuya Kato | contribution=Iwasawa theory and generalizations | editor1=Marta Sanz-Solé | editor1-link=Marta Sanz-Solé | editor2=Javier Soria | editor3=Juan Luis Varona |display-editors = 3 | editor4=Joan Verdera | title=International Congress of Mathematicians | year=2007 | publisher=European Mathematical Society | location=Zürich | volume=I | pages=335–357 | url=http://www.icm2006.org/proceedings/Vol_I/18.pdf | accessdate=2010-08-12 | mr=2334196

References

  1. {{harvnb. Kato. 2007
  2. {{harvnb. Kato. 2007

::callout[type=info title="Wikipedia Source"] This article was imported from Wikipedia and is available under the Creative Commons Attribution-ShareAlike 4.0 License. Content has been adapted to SurfDoc format. Original contributors can be found on the article history page. ::

algebraic-number-theory