Iwasawa theory of Frobenius-torsion class group schemes

We establish a new Iwasawa theory for the kernel of Frobenius on Jacobians of curves in geometric ${\mathbf{Z}}_p$-towers over the projective line in characteristic $p$, thereby proving several of the main conjectures of [arXiv:2107.12555].