◆ ETALE PRO-FINITE PI1

ARTIN-MAZUR ETALE HOMOTOPY // PROFINITE COMPLETION // GALOIS REPRESENTATIONS

I. ETALE FUNDAMENTAL GROUP

For a connected scheme X with geometric point x, the etale fundamental group pi_1^et(X, x) is the automorphism group of the fiber functor on finite etale covers. It is a profinite group — the inverse limit of the Galois groups of all finite connected etale covers of X.

pi_1^et(X, x) = lim_<-- Aut(Y/X) over finite etale Y -> X

For X = Spec(k), this recovers Gal(k^sep/k). For X a smooth variety over C, pi_1^et(X, x) is the profinite completion of the topological pi_1. The passage from topology to arithmetic is the essence of Grothendieck's vision.

II. ARTIN-MAZUR HOMOTOPY

Artin and Mazur defined the etale homotopy type of a scheme as a pro-object in the homotopy category of simplicial sets. The etale homotopy type captures all etale cohomological information: its profinite completion determines the etale cohomology with finite coefficients.

Et(X) in pro-Ho(sSet), pi_n(Et(X)) profinite for all n

For number fields, the etale homotopy type of Spec(O_K) is a K(pi,1) — a classifying space for the absolute Galois group with pro-finite higher homotopy groups vanishing. This is the algebraic analog of asphericity.

III. THE EXACT SEQUENCE

For X a geometrically connected variety over a field k, the fundamental exact sequence is:

1 -> pi_1^et(X_kbar, x) -> pi_1^et(X, x) -> Gal(kbar/k) -> 1

The geometric fundamental group pi_1^et(X_kbar) is the "shape" of X, while Gal(kbar/k) is the arithmetic. The extension class encodes how arithmetic acts on geometry — this is the outer Galois representation that anabelian geometry studies. Sections of this sequence correspond to rational points (the section conjecture).

IV. L-ADIC REPRESENTATIONS

Continuous representations rho: pi_1^et(X, x) -> GL_n(Q_l) are l-adic local systems. They arise from l-adic cohomology of families, and their L-functions encode deep arithmetic. The Weil conjectures are statements about eigenvalues of Frobenius acting on such representations.

rho: pi_1^et(X) -> GL_n(Q_l) continuous

V. PROFINITE COMPLETION

The profinite completion of a discrete group G is G^ = lim G/N over finite-index normal N. For pi_1 of curves over Q, the profinite completion is incredibly rich — it determines the curve (Neukirch-Uchida for number fields, Mochizuki for hyperbolic curves). This rigidity is the heart of anabelian geometry.

G^ = lim_{N normal, [G:N]
C445 // ETALE PRO-FINITE PI1 // GROTHENDIECK ANABELIA