Difference Profinite Galois Groupoids

• Difference profinite Galois groupoids are internal groupoids with a difference endomorphism structure on profinite spaces that classify split extensions in difference algebra.
• They establish a categorical equivalence between split difference ring extensions and groupoid actions via the difference–Galois correspondence.
• They connect difference algebra, symbolic dynamics, and profinite group theory, underpinning studies in structure classification and dynamical entropy.

A difference profinite Galois groupoid is an internal groupoid equipped with a difference (endomorphism) structure in the category of profinite spaces, constructed to classify split extensions in difference algebra via their symmetries. This invariant generalizes the classical Galois group and fundamental groupoid, facilitating a categorical approach to the Galois theory of difference rings. As established in the work of Tomašić–Wibmer, the difference profinite Galois groupoid plays a central role in the equivalence between (certain) categories of difference ring extensions and categories of groupoid actions, and it interconnects difference algebra, symbolic dynamics, and the theory of profinite spaces (Tomasic et al., 2021).

1. Categorical Foundations and Definition

Let o-Rng denote the category of difference rings, i.e., commutative unital rings $R$ equipped with an endomorphism $\sigma_R:R\to R$. The opposite category is $A := (\text{o-Rng})^{\mathrm{op}}$, whose objects may be viewed as affine difference schemes. Let $P$ denote the category o-Prof of profinite (Boolean, compact, totally disconnected) spaces equipped with a continuous self-map—these are "difference profinite spaces."

The key adjunction involves the "difference Pierce spectrum" functor $S:A\to P$, sending a difference ring $(R, \sigma_R)$ to the profinite space of ultrafilters on its Boolean algebra of idempotents $E(R)$, equipped with the shift induced by $\sigma_R$. The right adjoint $C:P\to A$ assigns to a difference profinite space $(X, \sigma_X)$ the difference ring of continuous integer-valued functions $\sigma_R:R\to R$0 with endomorphism $\sigma_R:R\to R$1. This forms an adjunction $\sigma_R:R\to R$2.

A morphism $\sigma_R:R\to R$3 in $\sigma_R:R\to R$4 is of "relative Galois descent" if the ordinary ring map $\sigma_R:R\to R$5 is componentially locally strongly separable (clss) and auto-split. For such $\sigma_R:R\to R$6, the difference profinite Galois groupoid $\sigma_R:R\to R$7 is the internal groupoid in $\sigma_R:R\to R$8 given by:

$\sigma_R:R\to R$9

where the two face maps are induced by projection, and the groupoid operations are inherited from the tensor algebra structure (Tomasic et al., 2021).

2. Structural Properties and Internal Adjunctions

For a morphism $A := (\text{o-Rng})^{\mathrm{op}}$0 as above, the relevant slice categories $A := (\text{o-Rng})^{\mathrm{op}}$1 and $A := (\text{o-Rng})^{\mathrm{op}}$2 enable the definition of "split" objects: a $A := (\text{o-Rng})^{\mathrm{op}}$3-algebra $A := (\text{o-Rng})^{\mathrm{op}}$4 is split by $A := (\text{o-Rng})^{\mathrm{op}}$5 if, after pulling back along $A := (\text{o-Rng})^{\mathrm{op}}$6 and applying $A := (\text{o-Rng})^{\mathrm{op}}$7–$A := (\text{o-Rng})^{\mathrm{op}}$8, the resulting object matches $A := (\text{o-Rng})^{\mathrm{op}}$9. The internal adjunction on slices is

$P$0

An object $P$1 is split if the canonical unit $P$2 is invertible.

The groupoid $P$3 is then defined so that its objects and morphisms are profinite spaces with difference structure, and all structure maps commute with the endomorphisms, ensuring full compatibility with the difference algebra context.

3. The Difference–Galois Correspondence

The difference-Galois theorem asserts an equivalence:

$P$4

where $P$5 is the category of $P$6-algebras split by $P$7, and $P$8 is the category of internal functors (actions) of $P$9 in the topos $S:A\to P$0. The equivalence is concretely realized using the fiber-functor $S:A\to P$1, which yields profinite spaces over $S:A\to P$2 naturally equipped with a $S:A\to P$3-action.

The proof proceeds via the reduction to Magid’s classical Galois theory (using Janelidze’s categorical Galois framework), the behavior of adjunctions with respect to the forgetful functor to ordinary rings, Beck’s monadicity conditions, and the structure of internal groupoid actions in a topos (Tomasic et al., 2021).

4. The Difference Fundamental Groupoid

For any difference ring $S:A\to P$4, the difference fundamental groupoid is defined as:

$S:A\to P$5

This arises via extension of $S:A\to P$6 to a separable closure $S:A\to P$7, noting that $S:A\to P$8 can be equipped with an extension of $S:A\to P$9 to make $(R, \sigma_R)$0 a difference ring extension (existence guaranteed, uniqueness up to $(R, \sigma_R)$1-automorphism not). The main classification is that the category of locally étale difference $(R, \sigma_R)$2-algebras (those becoming ind-étale upon base change to $(R, \sigma_R)$3) is anti-equivalent to the category of profinite difference spaces equipped with a $(R, \sigma_R)$4-action (Tomasic et al., 2021).

5. Illustrative Examples

• Galois extensions of difference fields: For a Galois extension $(R, \sigma_R)$5 in the difference-field sense, $(R, \sigma_R)$6 and the groupoid reduces to a one-object groupoid with automorphism group $(R, \sigma_R)$7, equipped with the endomorphism $(R, \sigma_R)$8.
• The two-point case: For $(R, \sigma_R)$9 with $E(R)$0, $E(R)$1 consists of two points with a swap-map, $E(R)$2 is four points, and $E(R)$3 becomes a two-object groupoid with $E(R)$4 morphisms, illustrating the handling of finite difference symmetry.

These examples highlight the extension of classical Galois theory to the difference algebraic setting and the explicit combinatorial structure of the associated groupoids (Tomasic et al., 2021).

6. Connections to Symbolic Dynamics and Applications

A substantial application is the interplay between difference algebra and symbolic dynamics. If $E(R)$5 is a difference field with separable closure $E(R)$6, every finitely $E(R)$7-generated étale $E(R)$8-algebra $E(R)$9 corresponds (via the groupoid correspondence) to a subshift $\sigma_R$0 (difference profinite set) equipped with a $\sigma_R$1-action. Furthermore, $\sigma_R$2 is finitely $\sigma_R$3-presented if and only if $\sigma_R$4 is a subshift of finite type.

The maximal strongly $\sigma_R$5-étale subalgebra (the "strong core") of $\sigma_R$6 corresponds to the maximal finite union of periodic $\sigma_R$7-orbits in $\sigma_R$8. The entropy $\sigma_R$9 of $C:P\to A$0 becomes the topological entropy of the associated subshift, with the notable result that $C:P\to A$1 for $C:P\to A$2 a finitely $C:P\to A$3-generated Galois extension, where $C:P\to A$4 denotes the classical limit degree.

Further, for $C:P\to A$5, the difference zeta function associated to $C:P\to A$6,

$C:P\to A$7

with $C:P\to A$8, has a logarithmic derivative that is a rational function. Thus, $C:P\to A$9 is "near-rational," reflecting the interaction between the combinatorics of difference equations and properties of subshifts (Tomasic et al., 2021).

7. Relationship to Higher and Profinite Galois Groupoids

Difference profinite Galois groupoids reside within the broader framework of profinite and higher groupoids. Analogously, in higher topos theory, the profinite Galois groupoid $(X, \sigma_X)$0 represents finite locally constant sheaves, and in the case of a difference ring, the difference fundamental groupoid $(X, \sigma_X)$1 classifies $(X, \sigma_X)$2-locally étale covers.

For schemes, the profinite Galois groupoid of the étale topos recovers the étale homotopy types of Artin–Mazur and Friedlander, situating the difference profinite Galois groupoid within contemporary categorical and homotopical Galois theory frameworks (Hoyois, 2015). This relationship underscores the unifying role these constructions play in linking difference algebra, toposic Galois theory, and topological dynamics.

---

References:

• Tomašić, I., Wibmer, M. "Difference Galois theory and dynamics" (Tomasic et al., 2021)
• Hoyois, M. "Higher Galois theory" (Hoyois, 2015)