# Unramified F-divided objects and the \'etale fundamental pro-groupoid in positive characteristic

## TL;DR

This paper establishes a deep connection between the étale fundamental pro-groupoid of a scheme in positive characteristic and the stack of F-divided objects, enabling recovery of connected components and fundamental gerbes.

## Contribution

It introduces a bifunctorial isomorphism linking the étale fundamental pro-groupoid and F-divided objects, and studies relative perfection in characteristic p.

## Key findings

- Isomorphism between hom-stacks and F-divided objects stacks
- Recovery of connected components via Frobenius system
- Analysis of relative perfection in characteristic p

## Abstract

Fix a scheme $S$ of characteristic $p$. Let $\mathscr{M}$ be an $S$-algebraic stack and let $\mbox{Fdiv}(\mathscr{M})$ be the stack of $\mbox{F}$-divided objects, that is sequences of objects $x_i\in\mathscr{M}$ with isomorphisms $\sigma_i:x_i\to \mbox{F}^*x_{i+1}$. Let $\mathscr{X}$ be a flat, finitely presented $S$-algebraic stack and $\mathscr{X}\to \Pi_1(\mathscr{X}/S)$ the \'etale fundamental pro-groupoid, constructed in the present text. We prove that if $\mathscr{M}$ is a quasi-separated Deligne-Mumford stack and $\mathscr{X}\to S$ has geometrically reduced fibres, there is a bifunctorial isomorphism of stacks \[\mathscr{H}\!om(\Pi_1(\mathscr{X}/S),\mathscr{M}) \simeq \mathscr{H}\!om(\mathscr{X},\mbox{Fdiv}(\mathscr{M})).\] In particular, the system of relative Frobenius morphisms $\mathscr{X}\to \mathscr{X}^{p/S}\to \mathscr{X}^{p^2/S}\to\dots$ allows to recover the space of connected components $\pi_0(\mathscr{X}/S)$ and the relative \'etale fundamental gerbe. In order to obtain these results, we study the existence and properties of relative perfection for algebras in characteristic $p$.