Finite Étale Algebras

• Finite étale algebras are commutative, finite-dimensional separable algebras over a ring or scheme that, over a field, decompose into products of separable field extensions.
• They are characterized by a nondegenerate trace form and an invertible discriminant, ensuring unramifiedness and reducedness in the algebra.
• Their structure underpins essential results in algebraic geometry, number theory, and cohomology, enabling effective descent and Galois theory applications.

A finite étale algebra is a commutative finite-dimensional separable algebra over a ring or scheme, characterized by a suite of equivalent algebraic, module-theoretic, and geometric properties. Over a field $K$, finite étale $K$-algebras are precisely finite products of finite separable field extensions of $K$. The theory of finite étale algebras is central in algebraic geometry, algebraic number theory, and arithmetic geometry, underpinning unramifiedness, separability, and a range of cohomological and descent phenomena.

1. Foundational Definitions and Characterizations

A finite étale algebra over a base ring $R$ is a commutative $R$-algebra $S$ which is finitely generated projective as an $R$-module and separable over $R$ (Shukla et al., 2019). For a base field $K$, a finite étale $K$-algebra $A$ is equivalently:

• a finite-dimensional separable $K$-algebra,
• a finite product $\prod_{i=1}^r K_i$ of finite separable field extensions $K_i/K$,
• reduced and unramified: $\Omega_{A/K}=0$, the module of Kähler differentials vanishes, and $A$ is reduced,
• tracically étale: the discriminant $\disc(A/K)$ is invertible, making the trace pairing nondegenerate (Lombardi, 8 Jun 2025).

This equivalence, over a discrete field, is formalized by the theorem: a finite unramified algebra over a discrete field is tracically étale, and hence étale (Lombardi, 8 Jun 2025).

2. Trace Form, Discriminant, and Separability

Given $A$ finite free over $K$ with basis $\{ e_i \}$, the trace map $\Tr_{A/K}(a)$ is defined as the trace of left multiplication by $a$ on $A$. The associated trace pairing $\langle x, y \rangle = \Tr_{A/K}(x y)$ is symmetric and bilinear. The discriminant of $A$ with respect to the basis is $\disc(A/K) = \det(\Tr_{A/K}(e_i e_j))$ (Lombardi, 8 Jun 2025).

• If $\disc(A/K)$ is invertible, the trace form is nondegenerate, characterizing separable $A$.
• $A$ is étale if and only if its trace form is nondegenerate (tracically étale) (Quitté et al., 4 Jun 2025).

Explicitly, for $A = K[x]/(f)$ with $f$ separable, $\disc(A/K) = \prod_{i<j} (\alpha_i - \alpha_j)^2$, where $\alpha_i$ are the roots of $f$ (Lombardi, 8 Jun 2025).

3. Unramifiedness, Kähler Differentials, and Algebraic Identities

A finite $K$-algebra $A$ is unramified (also called "net" in French terminology) if the module of Kähler differentials $\Omega_{A/K}$ vanishes (Lombardi, 8 Jun 2025). Over a field, vanishing of $\Omega_{A/K}$ is equivalent to separability. For a finite free algebra $B$ over a commutative ring $A$:

• The discriminant is a divisor of norms determined by explicit matrix identities involving the trace and multiplication maps (Quitté et al., 4 Jun 2025).
• If $\Omega_{B/A}=0$ ("B is neat"), the discriminant is a unit and the trace form is perfect, so $B$ is automatically étale (Quitté et al., 4 Jun 2025).

Matrix algebra identities, such as those involving Bezoutians and Jacobians of polynomials, formalize the link between vanishing Kähler differentials and discriminant invertibility (Quitté et al., 4 Jun 2025).

4. Structure Theorems and Decompositions

Finite étale algebras over a field $K$ admit canonical decompositions:

• Every finite étale $K$-algebra is isomorphic to a finite product of finite separable field extensions,
• Central orthogonal idempotents partition $A$ uniquely into its field factors,
• The primitive element theorem ensures that, over infinite fields, each field factor can be presented as $K[x]/(f(x))$ for a separable polynomial $f$ (Lombardi, 8 Jun 2025).

If $A \cong \prod_{i=1}^r K_i$, then $A$ inherits the Galois action from the embeddings $K_i \rightarrow K^{\mathrm{sep}}$, and each idempotent corresponds to a field component (O'Dorney, 12 Jun 2025).

5. Étale Algebras in Cohomology and Galois Theory

Étale algebras index various cohomological invariants:

• $H^1(K, M)$ for a finite Galois module $M$ classifies isomorphism classes of étale $K$-algebras of rank $|M|$ together with certain Galois-theoretic data (O'Dorney, 12 Jun 2025).
• The construction proceeds via the holomorph $$\operatorname{Hol} M = M \rtimes \operatorname{Aut} M$$ and Galois descent, associating to a cocycle $\sigma$ an étale algebra by a twisted fixed ring construction.

For explicit structures (cubic and quartic), parametric forms relate the cohomological data directly to the structure constants of associated étale algebras:

• Cubic and quartic algebras are classified up to isomorphism by norm and trace data, with canonical parametrizations via Tate duality and Galois cohomology (O'Dorney, 12 Jun 2025).
• Applications include Selmer group parametrizations, explicit description of the Tate pairing, and the study of central simple algebras via étale descent (O'Dorney, 12 Jun 2025).

6. Finite Étale Extensions over Rings and Schemes

Over a general base $R$, a finite étale algebra $S$ is a finitely presented, projective, separable $R$-algebra, so that $$\operatorname{Spec} S \rightarrow \operatorname{Spec} R$$ is finite, unramified, and flat (Shukla et al., 2019). Locally in the Zariski (or étale) topology, $S$ is a free module, often split as a sum of rank-1 factors.

Generation by global sections is central for moduli:

• For a given finite étale algebra $S$ of degree $n$, its minimal number of generators as an $R$-algebra is bounded above by $d+1$, $d = \dim R$ (Forster–Reichstein bound), and this bound is sharp in general (Shukla et al., 2019).
• Moduli schemes $B(r; A^n)$ classify degree-$n$ finite étale algebras with $r$ generators, with universal properties and connections to classifying stacks and A¹-homotopy theory (Shukla et al., 2019).

7. Étale Algebras in Analytic and Perfectoid Settings

In the context of Tate rings and perfectoid theory, finite étale algebras play a critical role:

• If $A$ is a Tate ring and $B$ a finite étale $A$-algebra, the trace form is nondegenerate, and $B$ is again a Tate ring (Nakazato et al., 2020).
• The trace pairing $B \rightarrow \operatorname{Hom}_A(B, A)$ is an isomorphism of $B$-modules for finite étale extensions (Nakazato et al., 2020).
• Almost purity and decompletion results for Witt-perfect rings and Fontaine–Scholze perfectoid algebras fundamentally use the behavior of finite étale algebras under completion and adic separation (Nakazato et al., 2020).

---

In summary, for a commutative ring or scheme $R$, finite étale $R$-algebras are those algebras that are finitely presented, projective, separable, and flat, generalizing the notion of separable field extensions to much broader contexts. Their structure is reflected in trace/discriminant criteria, idempotent decompositions, cohomological classifications, and deformation-theoretic properties. Over a field, the equivalence between unramifiedness (vanishing Kähler differentials), reducedness, separability, and the nondegeneracy of the trace form is established by elementary algebraic identities and structure theorems (Lombardi, 8 Jun 2025, Quitté et al., 4 Jun 2025, O'Dorney, 12 Jun 2025, Shukla et al., 2019, Nakazato et al., 2020).