---
title: Pro-étale Site Overview
url: https://www.emergentmind.com/topics/pro-etale-site
type: topic
---

# Pro-étale Site Overview

The pro-étale site is a Grothendieck topology on schemes, introduced by Bhatt and Scholze, designed to reconcile infinite and non-finite type phenomena in étale cohomology and the theory of local systems. It generalizes the classical étale topology and its associated Galois theory, providing a framework for infinite Galois covers, perfectoid structures, and a refined theory of constructible sheaves, fundamental groups, and motives. The underlying morphisms and covering families are defined using weakly étale morphisms, and the associated pro-étale fundamental group sits strictly between the usual profinite étale and fppf/fpqc groups, capturing a broader category of geometric coverings, including infinite ones [1910.14015].

## 1. Definition and Construction of the Pro-étale Site

Let \( X \) be a scheme. The pro-étale site \( X_{\mathrm{pro\text{-}\acute e t}} \) is defined as follows:

- **Objects:** All weakly étale \( X \)-schemes, i.e., morphisms \( Y \to X \) such that \( Y \to X \) is flat and the diagonal \( \Delta: Y \to Y \times_X Y \) is flat [2202.05875]. This is equivalent to being an ind-étale morphism—filtered colimit of étale morphisms [1309.1198, 2601.07358].
- **Coverings:** A family \( \{Y_i \to Y\} \) is a covering if it is an fpqc cover that can be refined by families either arising from étale surjective families or as cofiltered limits of finite étale surjections (pro-finite covers) [2202.05875].
- **Morphisms:** \( X \)-morphisms between weakly étale \( X \)-schemes.

The pro-étale topology is strictly finer than the classical étale topology and much coarser than the fpqc site—only families built from weakly étale maps are allowed [1910.14015].

The site admits a subcanonical topology and all cofiltered limits of representable objects [2107.06761, 2601.07358]. There exists a basis of \( w \)-contractible affines, i.e., affines such that every weakly étale cover admits a section. This local contractibility property ensures the resulting topos is replete and supports well-behaved Postnikov towers and cohomological descent [1309.1198, 2601.07358].

## 2. Weakly Étale Morphisms: Properties and Relevance

A morphism \( f: Y \to X \) is weakly étale if it satisfies any (and hence all) of:

- Flatness of \( f \) and of its diagonal \( \Delta_f \);
- Flatness and formal unramifiedness;
- The Henselian lifting property: for any Henselian pair \( (A,I) \), every commutative square involving \( \Spec(A/I) \to Y \), \( \Spec(A) \to X \) lifts uniquely to \( \Spec(A) \to Y \) [2202.05875].

The Henselian descent theorem states that any weakly étale, faithfully flat cover enables descent for arbitrary schemes, paralleling fpqc descent but utilizing Henselizations [2202.05875]. Over excellent regular rings containing a field, all weakly étale algebras are ind-étale [2202.05875].

This lifting property is essential for ensuring the pro-étale site has enough points for cohomological effectiveness and for establishing comparison theorems with other sites (e.g., ind-étale and fpqc).

## 3. Locally Constant Sheaves and Geometric Coverings

On \( X_{\mathrm{pro\text{-}\acute e t}} \), a sheaf is locally constant if it becomes constant on some pro-étale cover. The category of locally constant sheaves coincides with the category of geometric coverings (\( \mathrm{Cov}_X \)), which comprise morphisms \( Y \to X \) that are étale (not necessarily of finite type) and satisfy the valuative criterion of properness [1910.14015, 2107.06761].

This generalizes the classical situation in which locally constant sheaves correspond to finite étale covers (profinite Galois theory). The pro-étale framework allows genuinely infinite étale covers (including covers of non-normal schemes and “universal covers”), vastly enlarging the class of geometric covers accessible to Galois-theoretic techniques [1309.1198, 1910.14015].

## 4. Pro-étale Fundamental Group and Infinite Galois Categories

The automorphism group of the fiber functor from the infinite Galois category \( (\mathrm{Cov}_X, F_x) \) is the pro-étale fundamental group \( \pi_1^{\mathrm{proet}}(X, x) \), which is a Noohi group—a Hausdorff topological group with a basis of open subgroups and Raïkov-complete topology [1910.14015, 2107.06761, 1309.1198].

This group satisfies key comparison properties:

- Its profinite completion recovers the classical étale fundamental group \( \pi_1^{\mathrm{et}}(X, x) \) of SGA1.
- Its pro-discrete completion recovers the SGA3 fppf/fpqc fundamental group.
- In particular, \( \pi_1^{\mathrm{proet}}(X, x) \) canonically interpolates between existing fundamental groups and goes strictly beyond them, controlling all locally constant sheaves and infinite local systems (e.g., ℓ-adic sheaves on non-normal schemes) [1910.14015, 1309.1198].

The theory includes an explicit homotopy exact sequence for geometrically connected schemes \( X \) of finite type over a field \( k \), generalizing the classical Galois sequence:
\[
1 \longrightarrow \pi_1^{\mathrm{proet}}(X_{\bar{k}}) \hookrightarrow \pi_1^{\mathrm{proet}}(X) \rightarrow \mathrm{Gal}_k \longrightarrow 1
\]
with the left map a topological embedding and the right map a surjective open quotient, connecting the geometric and arithmetic fundamental groups [1910.14015].

The van Kampen theorem and Künneth formula generalize to the pro-étale context, with the van Kampen theorem expressing \( \pi_1^{\mathrm{proet}}(X, x) \) as a Noohi free product of the fundamental groups of covering pieces, modulo relations encoding compatibility and cocycle conditions [1910.14015].

## 5. Derived Categories, Constructible Sheaves, and Functorial Tools

The pro-étale site supports a robust theory of derived categories, particularly for constructible and ℓ-adic sheaves. On \( X_{\mathrm{pro\text{-}\acute e t}} \), one can define sheaves with coefficients in \( \overline{\mathbb{Q}_\ell} \), \( \mathbb{Z}_\ell \), or adèles directly, with locally constant and adically complete objects forming the constructible derived category. There is a full six-functor formalism (pullback, pushforward, proper and exceptional functors, internal Hom, tensor product, dualizing complexes), and unbounded cohomological descent always converges [1309.1198, 2601.07358].

For motivic categories, the pro-étale site allows the definition of pro-étale motives and pro-étale motivic spectra, with coefficients in any condensed ring spectrum [2601.07358]. The pro-étale motivic stable homotopy category \( \mathrm{SH}_{\mathrm{proét}}(X) \) enhances classical motivic homotopy theory, embedding étale motivic spectra fully faithfully over locally étale bounded schemes.

Solidification processes connect the pro-étale motives to the abelian category of solid sheaves (in the sense of Fargues–Scholze), yielding rigidity theorems and a “solid realization” functor that recovers the classical ℓ-adic realization while remaining within presentable categories [2601.07358].

## 6. Comparison with Other Fundamental Groups and Specialization

The pro-étale fundamental group functorially fits into specialization sequences when relating generic and special fibers of formal schemes—crucially, the construction of the specialization map
\[
\pi_1^{\mathrm{dJ}}(\mathfrak{X}_\eta) \to \pi_1^{\mathrm{proet}}(\mathfrak{X}_k)
\]
relates de Jong’s rigid fundamental group to the Bhatt-Scholze pro-étale group on the special fiber, extending the classical profinite specialization [2107.06761]. The specialization map is constructed using admissible blowups, normalizations, and Berthelot tubes; under normality assumptions, the image is dense.

In tame situations (e.g., over discretely valued fields with residue characteristic zero), every finite étale cover in the rigid setting extends to a de Jong covering space, leading to exact compatibility with pro-étale descent [2107.06761].

## 7. Applications and Examples

The pro-étale site underlies contemporary developments in:

- **Cohomology Theory:** Recovery of Galois cohomology, p-adic Hodge theory, perfectoid cohomology, and a natural setting for constructing ℓ-adic and adèle-valued sheaves [2202.05875, 1309.1198].
- **Motivic Theory:** Construction of pro-étale motives, solid realization functors, full six-functor formalisms on solid sheaves, and comparison with classical motivic categories [2601.07358].
- **Infinite Coverings:** Pro-étale covers naturally include infinite Galois towers and perfectoid towers, which are not accessible via finite étale or even fpqc topologies.
- **Homotopy Theory and Fundamental Groups:** Expression of profinite and prodiscrete homotopy types, explicit computation for singular, non-normal, or nodal curves—yielding more refined local systems than are visible from the profinite viewpoint [1309.1198, 1910.14015].

In summary, the pro-étale site provides a comprehensive unifying framework, subsuming existing Galois-theoretic, cohomological, and motivic tools, and proving suitable for both finite and infinite constructions encountered in modern arithmetic geometry and homotopy theory [1910.14015, 2107.06761, 2202.05875, 1309.1198, 2601.07358].

Source: https://www.emergentmind.com/topics/pro-etale-site