91Ó°ÊÓ

For any curve \(X,\) the algebraic fundamental group \(\pi_{1}(X)\) is defined as \(\lim \operatorname{Gal}\left(K^{\prime} / K\right),\) where \(K\) is the function field of \(X,\) and \(K^{\prime}\) runs over all Galois extensions of \(K\) such that the corresponding curve \(X^{\prime}\) is étale over \(X(\mathrm{III}, \mathrm{Ex} .10 .3)\) Thus, for example, \(\pi_{1}\left(\mathbf{P}^{1}\right)=1(2.5 .3) .\) Show that for an elliptic curve \(X\) \(\pi_{1}(X)=\prod_{\text {prime }} \mathbf{Z}_{l} \times \mathbf{Z}_{l} \quad \text { if char } k=0\) \(\pi_{1}(X)=\prod_{l \neq p} \mathbf{Z}_{l} \times \mathbf{Z}_{l}\) if char \(k=p\) and Hasse \(X=0\) \(\pi_{1}(X)=\mathbf{Z}_{p} \times \prod_{l \neq p} \mathbf{Z}_{l} \times \mathbf{Z}_{l} \quad\) if char \(k=p\) and Hasse \(X \neq 0\) where \(\mathbf{Z}_{l}=\lim \mathbf{Z} / l^{n}\) is the \(l\) -adic integers. [Hints: Any Galois étale cover \(X^{\text {' }}\) of an elliptic curve is again an elliptic curve If the degree of \(X\) ' over \(X\) is relatively prime to \(p\), then \(X\) ' can be dominated by the cover \(n_{X}: X \rightarrow X\) for some integer \(n\) with \((n, p)=1 .\) The Galois group of the covering \(n_{X}\) is \(\mathbf{Z}\) in \(\times \mathbf{Z}\),n. Etale covers of degree divisible by \(p\) can occur only if the Hasse invariant of \(X\) is not zero. Note: More generally, Grothendieck has shown [SGA 1, X, 2.6, p. 272] that the algebraic fundamental group of any curve of genus \(g\) is isomorphic to a quotient of the completion, with respect to subgroups of finite index, of the ordinary topological fundamental group of a compact Riemann surface of genus \(g,\) i.e., a group with \(2 g\) generators \(a_{1}, \ldots, a_{q}, b_{1}, \ldots, b_{q}\) and the relation \(\left(a_{1} b_{1} a_{1}^{-1} b_{1}^{-1}\right) \cdots\) \(\left(a_{q} b_{q} a_{q}^{-1} b_{q}^{-1}\right)=1.\)

Step by step solution

01

Handling the General Case: Base Field of Characteristic 0

To solve this, consider the covers \(n_{X}: X \rightarrow X\) for various integers n. For each n, the Galois group of the covering space is \(\mathbf{Z}/n\mathbf{Z} \times \mathbf{Z}/n\mathbf{Z}\). It follows that the algebraic fundamental group of the curve will be the inverse limit of these groups as n varies over all prime numbers. Hence, \(\pi_{1}(X)=\prod_{\text {prime }} \mathbf{Z}_{l} \times \mathbf{Z}_{l}\) for a curve defined over a field of characteristic 0.

02

Handling the Case: Base Field of Characteristic \(p\) and Hasse \(X=0\)

Observe here that at this level covers of degree divisible by \(p\) are excluded. This immediately means that the \(p\)-component from the fundamental group must be missing, leading to the conclusion that \(\pi_{1}(X)=\prod_{l \neq p} \mathbf{Z}_{l} \times \mathbf{Z}_{l}\).

03

Handling the Case: Base Field of Characteristic \(p\) and Hasse \(X \neq 0\)

For this case, étale covers of degree divisible by \(p\) are allowed and thus the \(p\)-component of the fundamental group is present. This results in the conclusion that \(\pi_{1}(X)=\mathbf{Z}_{p} \times \prod_{l \neq p} \mathbf{Z}_{l} \times \mathbf{Z}_{l}\).

Unlock Step-by-Step Solutions & Ace Your Exams!

• Full Textbook Solutions

  Get detailed explanations and key concepts

• Unlimited Al creation

  Al flashcards, explanations, exams and more...

• Ads-free access

  To over 500 millions flashcards

• Money-back guarantee

  We refund you if you fail your exam.

Over 30 million students worldwide already upgrade their learning with 91Ó°ÊÓ!

Key Concepts

These are the key concepts you need to understand to accurately answer the question.

Galois Extensions

In algebraic geometry and number theory, a **Galois extension** is a field extension that is both normal and separable. This means that the field extension includes all of the roots of any polynomial whose coefficients are in the base field, and that these roots are distinct. Galois extensions are fundamental in understanding the symmetry and structure of algebraic equations.
As per the problem, the algebraic fundamental group \( \pi_{1}(X) \) relates to Galois extensions in the sense that it limits over the Galois groups of function field extensions for the curves. This provides a deeper understanding of the symmetries present in the curves through these field extensions.
When working with Galois extensions:

• Explore the symmetries of polynomial solutions.
• Understand which field automorphisms can map the roots of a polynomial to each other.
• Gain insight into how Galois groups describe field extensions in terms of group theory.

Galois theory helps bridge algebraic and geometric features, highlighting how algebraic properties capture geometric transformations.

Elliptic Curve

An **elliptic curve** is a type of curve represented by an equation of the form \( y^2 = x^3 + ax + b \) which satisfies certain non-singularity conditions. These curves find substantial applications in number theory, algebraic geometry, and cryptography.
In this exercise, the elliptic curve's algebraic fundamental group depends on its base field characteristics. Elliptic curves are particularly intriguing because they can serve as the covering spaces in étale Galois covers, aligning with the concepts of symmetry described through algebraic fundamental groups.
Key properties of elliptic curves include:

• The ability to form a group structure via the chord-tangent method, essentially adding points on the curve.
• Applications spanning from solving equations to providing tools for encryption in cryptography.
• Rich interactions with field arithmetic characteristics, influencing their behavior in various field characteristics.

Understanding elliptic curves is crucial as they merge polynomial equations, algebra, and geometry, creating a unique lens to study structures.

Étale Cover

An **étale cover** is a type of morphism between algebraic varieties that is flat and unramified. In simpler terms, it does not introduce extra complexities or overlaps into the structure of the variety, keeping it smooth and well-behaved even at infinitesimal levels.
Étale covers are central in algebraic geometry as they preserve the local structure of the curve while allowing exploration of its global properties. They ensure that the geometric invariants of the variety remain unchanged.
For the problem, an étale cover of a curve relates directly to its algebraic fundamental group, as it helps in the classification and understanding of various covers through Galois extensions. Key points include:

• They extend algebraic objects without adding singularities.
• Provide a tool to examine complex varieties by looking at simpler, covering structures.
• Form the backbone for understanding various geometric and arithmetic properties of curves in relation to fundamental groups.

Étale covers are indispensable in making algebraic geometry accessible by maintaining the integrity and properties of the covered objects.

Characteristic of a Field

The **characteristic of a field** is a number that measures the extent to which a field resembles the field of rational numbers as a subset or extension. This is determined by the smallest number of times the unit element must be added to itself to get zero (or infinity if the sum never leads to zero).
The characteristic profoundly impacts the structure and properties of a field. In fields with zero characteristic, arithmetic behaves like that of the rational numbers. Fields with prime characteristic \( p \) incorporate the concepts of modular arithmetic, affecting polynomials, factorizations, and extensions.
In the exercise, understanding the characteristic is crucial since it influences the algebraic fundamental group of an elliptic curve by either allowing or excluding certain covers based on whether the characteristic divides their degree. Key insights include:

• Determines the type of arithmetic operations permissible in the field.
• Shapes the behavior of polynomials, possibly leading to different solution structures.
• Influences the type of Galois and étale extensions permissible with respect to the field.

Recognizing the field characteristic offers a clearer view of algebraic equations' solutions and their links to geometric structures.