The Base Change Of Fundamental Group Schemes

Let $k$ be a field, $K/k$ a field extension, $X$ a connected scheme proper over $k$, $x_K\in X_K(K)$ lying over $x\in X(k)$, $\mathcal{C}X$ and $\mathcal{C}{X_K}$ the Tannakian categories over $X$ and $X_K$ respectively, $π(\mathcal{C}X,x)$ and $π(\mathcal{C}{X_K},x_K)$ the corresponding Tannaka group schemes respectively. We give equivalent conditions to the isomorphisms of fundamental group schemes $$π(\mathcal{C}_{X_K},x_K)\xrightarrow{\cong} π(\mathcal{C}_X,x)_K.$$ As application, we generalize the base change of certain fundamental group schemes under separable extension and extension of algebraically closed fields, such as S, Nori, EN, F, Étale, Loc, ELoc and Unipotent fundamental group schemes.

💡 Research Summary

The paper “Base Change of Fundamental Group Schemes” investigates when the fundamental group scheme of a connected proper scheme X over a field k behaves well under a field extension K/k. The authors work in the Tannakian formalism: for a Tannakian category C_X of vector bundles on X with fiber functor given by evaluation at a rational point x∈X(k), the associated affine group scheme is denoted π(C_X,x). After base change to K, one obtains a Tannakian category C_{X_K} on X_K and its group scheme π(C_{X_K},x_K). The central question is under what conditions the natural morphism

  π(C_{X_K},x_K) → π(C_X,x)_K

is an isomorphism.

The authors first construct a universal principal π(C_X,x)-bundle P → X and, after base change, a functor

  η_{P_K}: Rep_K(π(C_X,x)_K) → Vect(X_K), V ↦ ((O_P ⊗_k K) ⊗_K V)^{π(C_X,x)_K}.

They prove that η_{P_K} is fully faithful in general, and that its essential image consists precisely of those vector bundles on X_K which admit a presentation by objects coming from C_X after tensoring with K. This yields a canonical homomorphism of group schemes as above.

Four equivalent characterizations of the isomorphism property are then established:

1. Faithful flatness of the morphism (i.e., the map is surjective and flat).
2. Observability of η_{P_K}: every rank‑1 subobject of an image can be lifted (up to a power) to an object of C_X.
3. Generation condition: the K‑base changes of objects of C_X generate C_{X_K} as a Tannakian subcategory, i.e. C_{X_K}=⟨{E⊗_k K | E∈C_X}⟩.
4. Exactness of pull‑back: for every object E∈C_{X_K}, there exists an object F∈C_X together with a surjection F⊗_k K → E.

When K/k is a finite Galois extension, the authors add two natural conditions: (i) the direct image p_*E of any object E∈C_{X_K} lies in C_X, and (ii) the Galois group acts on C_{X_K} preserving the subcategory. Under these hypotheses the above four conditions are all equivalent and guarantee that the base‑change morphism is an isomorphism.

For extensions of algebraically closed fields, the morphism is always faithfully flat; it becomes an isomorphism precisely when the generation condition holds. The paper also introduces the notion of a saturated Tannakian category (every finite‑dimensional representation of the group scheme belongs to the category). If both π(C_X,x) and π(C_{X_K},x_K) are saturated, the generation condition reduces to a simple statement about irreducible objects: every irreducible object of C_{X_K} must be the K‑base change of an irreducible object of C_X.

Using this general framework, the authors systematically treat a wide range of fundamental group schemes:

• S‑fundamental group scheme (π^S) – defined via numerically flat bundles. For separable extensions the base‑change map is an isomorphism; for algebraically closed extensions it is only faithfully flat in general.
• Nori’s fundamental group scheme (π^N) – defined via essentially finite bundles. The classical result of Nori (isomorphism for separable extensions) follows from the general criteria; the paper clarifies why the map may fail for algebraically closed extensions (counter‑examples of Mehta‑Subramanian and Pauly).
• EN‑fundamental group scheme (π^{EN}) – built from semi‑finite bundles. The map is an isomorphism for algebraic closures, reproducing Ota‑be’s theorem.
• F‑fundamental group scheme (π^F) – generated by Frobenius‑finite bundles. The same pattern as for Nori’s group appears: isomorphism for separable extensions, failure for algebraically closed extensions.
• Local fundamental group scheme (π^{Loc}) and its extended version (π^{ELoc}) – defined via Frobenius‑trivial bundles. The authors recover Mehta‑Subramanian’s criteria: the base‑change map is an isomorphism for separable extensions and under a Galois‑stability condition; otherwise it may fail.
• Étale fundamental group scheme (π^{ét}) – Grothendieck’s classical case. The base‑change map is an isomorphism for any algebraically closed extension, consistent with Grothendieck’s original theorem.
• Unipotent fundamental group scheme (π^{uni}) – defined via unipotent bundles. Nori’s result that the map is always an isomorphism for arbitrary extensions is recovered as a special case of the general theory.

A key negative result (Proposition 4.12, 5.53, Corollary 5.54) states that if the base‑change morphism fails to be an isomorphism for a given Tannakian subcategory C_X, then it also fails for any larger Tannakian subcategory containing C_X. Consequently, failure for π^{Loc} propagates to π^{F}, π^{N}, π^{S}, etc., explaining the numerous counter‑examples in the literature.

The paper concludes with a conjecture concerning the behavior of base change for yet more general Tannakian categories and suggests that the three pillars—observability, generation, and saturation—should provide a unified language for future investigations.

Overall, the work offers a comprehensive, conceptually unified set of criteria for base change of fundamental group schemes, subsuming many known results and clarifying the precise mechanisms behind both positive and negative phenomena.