---
title: Affine Stacky Curves
url: https://www.emergentmind.com/topics/affine-stacky-curves
type: topic
---

# Affine Stacky Curves

An affine stacky curve is a one-dimensional, smooth, irreducible Deligne–Mumford stack that is generically a scheme but features finitely many closed points with nontrivial finite inertia. Such objects generalize affine algebraic curves to naturally encode local orbifold and wild ramification data. Their structure, classification, and invariants substantially differ between characteristic zero (where all inertia is tame) and positive characteristic (where wild ramification emerges). The study of affine stacky curves integrates local root stack constructions, Artin–Schreier theory, and rigidified moduli spaces, and it enables increasingly fine-grained anabelian and arithmetic investigations.

## 1. Foundational Definitions: Affine Stacky Curves and Inertia

An affine stacky curve \(X\) over a field \(K\) is a smooth, separated, connected Deligne–Mumford stack of finite type, generically a scheme, admitting a global presentation as a quotient \([{\rm Spec}\,A / G]\), where \(A\) is a smooth one-dimensional \(K\)-algebra and \(G\) is a finite group scheme acting on \({\rm Spec}\,A\) and acting generically trivially [1910.03146]. The geometry of \(X\) is dictated by its coarse moduli space \(\overline{X}\) (a smooth affine curve) and by the collection of finite stack inertia groups \(I_{X,\bar{x}}\) attached to closed geometric points \(\bar{x} \rightarrow X\); the generic inertia \(I_{X,\eta}\) is the inertia group at the generic point and is the maximal finite normal subgroup of the étale fundamental group \(\pi_1^{\rm et}(X)\) [2605.02577].

Every affine stacky curve admits a rigidification \(X_{\rm rig}\), the maximal stack quotient where only non-generic inertia remains. This leads to the exact rigidification sequence:
\[
1 \longrightarrow I_{X,\eta} \longrightarrow \pi_1^{\rm et}(X) \longrightarrow \pi_1^{\rm et}(X_{\rm rig}) \longrightarrow 1 .
\]
Combined with the coarsification sequence, which relates to the full coarse moduli scheme, these structures enable detection of the stacky curve’s global and local inertia configurations.

## 2. Local and Global Constructions: Root Stacks and Artin–Schreier Theory

In characteristic zero (or when the order of inertia is invertible in the base field), affine stacky curves locally arise as quotient stacks by stabilizer groups \(\mu_r\) attached along divisors; these are constructed via cyclic (tame) root stacks,
\[
\sqrt[r]{(L,s)/X} \sim [{\rm Spec} A[T]/(T^r - s) / \mu_r] ,
\]
where \(L\) is a line bundle on the coarse curve \(X\), \(s\) is a global section, and \(\mu_r\) acts via \(T \mapsto \zeta_r T\), \(\zeta_r \in \mu_r\) [1910.03146].

In positive characteristic \(p\), tame root stacks fail: the map \(T \mapsto T^p\) is inseparable for \(\mu_p\), and the tame stack is not Deligne–Mumford. Instead, wild ramification of order \(p\) is parametrized through Artin–Schreier root stacks, given by the local model:
\[
B = A[T] / (T^p - T - f),\quad
X_f' = [{\rm Spec}\,B / \mathbb{Z}/p\mathbb{Z}] ,
\]
with the group action \(T \mapsto T + \alpha\) for \(\alpha \in \mathbb{Z}/p\mathbb{Z}\). This construction precisely encodes higher ramification data via the polynomial \(f\) and its valuations at zeros and poles, capturing wild ramification jumps undetectable by tame root stacks. These local Artin–Schreier covers glue globally through additive cocycles \(c_{ij} \in H^1(U_{ij}, \mathcal{O}_X)\), mirroring Kummer theory but with the Artin–Schreier additive structure [1910.03146].

## 3. Classification: Ramification Jumps, Stacky Points, and Isomorphism Types

The isomorphism class of an affine stacky curve with \(\mathbb{Z}/p\mathbb{Z}\) stabilizers at finitely many points is determined by the locations and ramification jumps of its stacky points. For a point \(x\) with inertia \(I \simeq \mathbb{Z}/p\mathbb{Z}\), the ramification filtration on \(I\) has a unique jump \(m > 0\): writing the extension locally as \(k((T)) / k((t))\), and \(T^p - T = a(t)\), the jump is \(m = -v_t(a)\). The global class is then dictated by the coarse curve and the multiset of positive integers \((m_1, \dots, m_r)\) at the stacky points, a classification much finer than that afforded by stabilizer order alone [1910.03146].

In characteristic zero, the analogous classification data is simpler: the order and location of each stacky point suffice, as all ramification is tame.

## 4. Canonical Divisors, Riemann–Roch, and Wild Ramification

The canonical divisor on an affine stacky curve incorporates both ordinary and stacky contributions. In the Artin–Schreier setting, wild ramification ensures that the canonical divisor \(K_{X'}\) is a \(\mathbb{Q}\)-divisor, typically expressed as:
\[
K_{X'} = T^*K_{\overline{X}} + \sum_{x\in S} \sum_{i\ge0} (|I_{x,i}|-1)\,x',
\]
where \(S\) is the set of stacky points, \(I_{x,i}\) are terms in the ramification filtration, and multiplicities depend on the particular jump profile [1910.03146]. The degree of \(K_{X'}\) can reflect fractional contributions, unlike the tame case. Cohomological invariants such as \(h^0(X', \mathcal{O}(D))\), for \(D\) a divisor, are computed via the “floor” of the \(\mathbb{Q}\)-divisor, restoring classical results in the tame case but with refined behavior for wild ramification.

Explicit calculations (e.g., for \(p=3\), \(f(x)=1/x^2\) on \(\mathbb{P}^1_k\)) exhibit stacky curves whose geometric genus, as determined by these invariants, differs from the coarse genus. For instance, a stacky curve above \(\mathbb{P}^1\) with two order-3 stacky points of jump \(m=2\) has “stacky genus” one, aligning its space of global differentials with that of an elliptic curve [1910.03146].

## 5. Anabelian Reconstruction: Fundamental Groups and Stepwise Detection

Affine Deligne–Mumford curves are completely classified, up to isomorphism over finitely generated fields, by their étale fundamental groups modulo the fifth term of their derived series (\(5\)-step solvable quotients) [2605.02577]. Gross features such as hyperbolicity and affineness are detectable at the \(3\)-step level:

- **Hyperbolicity:** Defined via the orbifold Euler characteristic,
  \[
  \chi_{\rm orb}(X) = \frac{1}{|I_{X,\eta}|}(2 - 2g_X - r_X - \sum_{i}(1-1/n_i)),
  \]
  hyperbolicity is characterized by its negativity and can be read off from \(\pi_1^{\rm et}(X_{\rm rig})^3\) [2605.02577].

- **Affineness:** Affine curves correspond to those with at least one “cusp” (\(r_X \ge 1\)), equivalently when \(X_{\rm rig}\) is affine. This property is likewise deduced from the solvable \(3\)-step quotient.

- **Full isomorphism class:** The \(5\)-step quotient \(\Pi_X^{\Delta\mhyphen5}\) recovers both stack inertia and the extension/gerbe class over the rigidification. The subsets of torsion cycles in \(\pi_1^{(1)}\) encode local periods, while higher steps kill nontrivial extension classes to canonically specify the stack data.

This anabelian theory generalizes the program of Tamagawa, Mochizuki, and Oda–Tamagawa, showing that the functor from affine stacky curves to their \(5\)-step fundamental group quotients is fully faithful and essentially surjective in the hyperbolic, affine case [2605.02577].

## 6. Examples: Weighted Projective Lines and Cyclic Inertia

Examples highlight the algorithm. For an affine stacky curve structure on \(\mathbb{P}^1\) with two orbifold points of order \(n\) and a cusp, the fundamental group’s abelianization is \(\mathbb{Z}/n\mathbb{Z} \times \mathbb{Z}\); affineness is detected at the \(3\)-step level; the gerbe class vanishes at the \(5\)-step level, uniquely specifying the stack structure [2605.02577].

Weighted projective lines \(\mathbb{P}^1(a,b)\) provide non-affine, orbifold examples. Their fundamental group is the profinite completion of the triangle group \(\langle \delta_1, \delta_2 \mid \delta_1^a=\delta_2^b=(\delta_1\delta_2)^\infty=1\rangle\). All stacky data—the periods \(a, b\), the absence of cusps, and the extension class—are extracted iteratively from the derived series quotients of the fundamental group.

## 7. Application and Future Directions

The rigidification and coarsification sequences of affine stacky curves provide a complete functorial package of their stack-theoretic and arithmetic structure for applications in anabelian geometry, moduli of curves, and the study of wild ramification. The \(5\)-step anabelian correspondence yields a weak Grothendieck conjecture for stacks: isomorphism classes over a number field correspond to isomorphism classes of the \(5\)-step fundamental group quotients as Galois representations [2605.02577]. Extension of these results to higher-dimensional moduli stacks and log–Fano orbifolds is anticipated, with foundational implications for the arithmetic and moduli theory of stacks and configurations spaces.

The interplay between local Artin–Schreier data and global stack cohomology, combined with solvable-step anabelian results, positions affine stacky curves as a robust framework for both wild ramification theory in positive characteristic and fine arithmetic invariants over number fields.

Source: https://www.emergentmind.com/topics/affine-stacky-curves