Nori Fundamental Gerbe Overview

• The Nori fundamental gerbe is a universal profinite gerbe that refines classical algebraic fundamental groups using groupoid and Tannakian methods.
• It is uniquely defined by its universal property, wherein every morphism from an inflexible category to a finite gerbe factors through a unique quotient.
• Generalizations of the gerbe yield natural étale and tame quotients that underpin modern approaches to torsor theory, Galois closures, and the section conjecture.

The Nori fundamental gerbe is a universal profinite gerbe associated to a category fibered in groupoids over a field, extending Nori’s fundamental group scheme and providing a groupoid-theoretic/tannakian refinement of Grothendieck's approach to the algebraic fundamental group. It enables the uniform study of fundamental group-like structures across stacks, schemes, and more general fibered categories, and plays a central role in the Tannakian formalism for essentially finite bundles and their torsor theory (Borne et al., 2012, Borne et al., 2016, Antei et al., 2017, Biswas et al., 2015, Tonini et al., 2016).

1. Definition and Universal Property

Let $k$ be a field and $X$ a category fibered in groupoids over $Aff_k$. A profinite gerbe over $k$ is an fpqc gerbe $\Gamma$ admitting a presentation as a 2-limit $\Gamma \simeq \varprojlim_i \Gamma_i$ with each $\Gamma_i$ a finite gerbe over $k$ (i.e., an fpqc gerbe banded by a finite group scheme) (Borne et al., 2012). The Nori fundamental gerbe $\Pi_{X/k}$ of $X$ is a profinite gerbe with a morphism $f_X: X \to \Pi_{X/k}$ characterized by the universal property: for every finite gerbe (finite fppf stack) $\Gamma$ over $k$, the pullback induces an equivalence

$$Hom_k(\Pi_{X/k},\Gamma) \overset{\sim}{\to} Hom_k(X,\Gamma).$$

Equivalently, $\Pi_{X/k}$ is initial among all profinite gerbes receiving a morphism from $X$. When it exists, $\Pi_{X/k}$ is unique up to unique equivalence (Borne et al., 2012, Antei et al., 2017).

2. Existence, Inflexibility, and Tannakian Formalism

For existence, $X$ must be inflexible, meaning that for every morphism $\varphi: X \to \Gamma$ to a finite fppf stack, the scheme-theoretic image $\operatorname{Im} \varphi\subset \Gamma$ is itself a gerbe (Borne et al., 2012, Tonini et al., 2016). In other words, every map $X \to \Gamma$ factors uniquely through a closed subgerbe. The fundamental gerbe exists if and only if $X$ is inflexible (Borne et al., 2012, Borne et al., 2016).

When $X$ is inflexible and pseudo-proper (i.e., admits a representable faithfully flat qcqs cover by a scheme $U$ and $H^0(X,E)$ is finite-dimensional for all locally free $E$ of finite rank), the category $EFin\,X$ of essentially finite bundles on $X$ (objects that are kernels of morphisms between finite bundles) forms a neutral Tannakian category over $k$. The pullback functor identifies $\operatorname{Rep} \Pi_{X/k} \simeq EFin\,X$ as rigid tensor categories. In characteristic $0$, every essentially finite bundle is finite (Borne et al., 2012, Antei et al., 2017, Biswas et al., 2015).

3. Structure, Quotients, and Functoriality

The Nori fundamental gerbe has well-behaved functoriality and base change properties and admits several natural quotients:

• A morphism $X \to Y$ of inflexible pseudo-proper fibered categories induces $\Pi_{X/k} \to \Pi_{Y/k}$.
• For a separable extension $k'/k$, if $X_{k'}$ is pseudo-proper, then $$\Pi_{X_{k'}/k'} \simeq \operatorname{Spec} k' \times_{\operatorname{Spec} k} \Pi_{X/k}$$.
• Étale fundamental gerbe: Restricting to finite étale gerbes yields the étale fundamental gerbe $\Pi_{X/k}^{\mathrm{ét}}$, which generalizes Deligne’s fundamental groupoid and correlates rational points of the gerbe to sections of Grothendieck’s exact sequence (Borne et al., 2012).
• Tame (semisimple) quotient: Restricting to finite stacks with linearly reductive automorphism groups yields the "tame" quotient $\Pi_{X/k}^{\mathrm{tame}}$; its representations correspond to those essentially finite bundles with semisimple behavior under tensor powers (Borne et al., 2012).

In the context of stacks with good moduli spaces, the Nori fundamental gerbe of the coarse moduli space $Y$ is a quotient of that of the stack $X$ by the inertia gerbes of residual points, with explicit Tannakian descriptions for the induced subcategories (Biswas et al., 2015).

4. Generalizations: $\mathcal{C}$-Fundamental Gerbes

The construction admits a substantial generalization to classes $\mathcal{C}$ of affine group schemes of finite type. For any stable class $\mathcal{C}$ (closed under field extensions, isomorphisms, products, subgroups, quotients, and inner forms), there is a notion of a $\mathcal{C}$-fundamental gerbe $\Pi_X^{\mathcal{C}}$ as the universal pro-$\mathcal{C}$-gerbe admitting a morphism from $X$, provided $X$ is inflexible and satisfies a concentration and mild finiteness conditions (Borne et al., 2016). If $X$ carries a $k$-point, this construction recovers Nori’s profinite group scheme when $\mathcal{C}$ is the class of finite group schemes.

Well-foundedness of $\mathcal{C}$ (virtual nilpotence of all objects) ensures the existence of $\Pi_X^{\mathcal{C}}$. Examples of $\mathcal{C}$ include finite, unipotent, virtually unipotent, abelian, nilpotent, or multiplicative type group schemes, yielding a tower of gerbes interpolating between various group-theoretic invariants (Borne et al., 2016).

5. Relationship With Tannakian Categories and Galois Theory

The Nori fundamental gerbe is Tannakian in origin: the category of its representations is equivalent to the abelian rigid tensor category of essentially finite bundles, or, in generalizations, to categories of F-divided sheaves, stratified bundles, or infinitesimal crystals, depending on the geometry of $X$ and the class $\mathcal{C}$ (Borne et al., 2012, Antei et al., 2017, Tonini et al., 2016). For a proper, geometrically connected, reduced stack $X$, essentially finite covers—finite, flat covers $f:Y\to X$ with $f_*\mathcal{O}_Y$ essentially finite—are classified by finite quotients of $\Pi_{X/k}$. The monodromy gerbe attached to such a cover governs Galois closure phenomena for towers of torsors, generalizing classical Galois theory to the context of torsors under finite group schemes (Antei et al., 2017).

6. Applications and Interaction with the Section Conjecture

The Nori fundamental gerbe formalism allows an intrinsic reformulation of the section conjecture for arithmetic curves: for a proper, smooth, geometrically connected curve of genus at least $2$ over a finitely generated field $k\subset\mathbb{Q}$, the set of $k$-points $X(k)$ may be identified with the set of $k$-points of the étale Nori fundamental gerbe $\Pi_{X/k}^{\mathrm{ét}}(k)$, recasting Grothendieck's classical conjecture in this gerbe-theoretic language. This approach extends to positive characteristic by considering the full Nori gerbe (Borne et al., 2012).

7. Examples, Uniformization, and Further Developments

For classifying stacks $X=BG$ with finite $G$, $\Pi^N_{BG/k}=BG$, and the essentially finite bundles correspond to finite-dimensional representations of $G$ (Biswas et al., 2015). In quotient stacks with tame stabilizer behavior, one can identify the quotient of the Nori gerbe of the stack by the Nori gerbe of its coarse space via the inertia gerbes at closed points, yielding explicit control over descent and uniformization questions.

A stack is Nori-uniformizable if it admits a representable map to a finite gerbe, characterized via the representability of the structure map to $\Pi^N_{X/k}$. The uniformization theory and Galois closure constructions reveal subtleties that do not appear in classical étale uniformization, including the existence of non-étale finite cover stacks that are nevertheless Nori-uniformizable in positive characteristic (Biswas et al., 2015, Antei et al., 2017).

The Nori fundamental gerbe paradigm has been incorporated into the broader Tannakian framework, interlinking with stratified bundles, crystals, and F-divided sheaves, and generalizing fundamental group constructions to substantively non-smooth or non-pseudo-proper settings (Tonini et al., 2016). This suggests the Nori fundamental gerbe is a key object for organizing non-abelian and differential fundamental group data in both geometric and arithmetic contexts.