Simple Abelian Cycles

• Simple abelian cycles are algebraic cycles represented by a single irreducible subvariety on abelian varieties, forming fundamental building blocks in algebraic geometry.
• They underpin key aspects of Hodge theory and the structure of Chow rings by generating distinguished cohomology classes and aiding in the integral Hodge conjecture.
• Their applications extend to enumerating orbifold symmetries and constructing dual representations in gauge theory, facilitating strong coupling expansions in lattice models.

A simple abelian cycle is an algebraic cycle on an abelian variety that is represented by a single irreducible subvariety of the relevant codimension and serves as a foundational building block in the theory of algebraic cycles, symmetry enumeration, and dual gauge representations. In the context of abelian varieties, such cycles are closely tied to deep conjectures in Hodge theory, the structure of Chow rings, and the development of enumeration schemes for abelian orbifolds in algebraic geometry and mathematical physics. The concept of simple abelian cycles also underpins modern approaches to strong coupling expansions in lattice gauge theory, notably through “abelian color cycles” for non-abelian lattice models.

1. Simple Abelian Cycles in Algebraic Geometry

Let $A$ be a complex abelian variety of dimension $g$. An algebraic one-cycle on $A$ is a finite integer-linear combination $Z = \sum_i n_i [C_i] \in CH_1(A)$, where each $C_i$ is an integral (irreducible) curve in $A$ and $n_i\in\mathbb{Z}$. A cycle $Z$ is termed simple (or indecomposable) if $Z=[W]$ for some irreducible subvariety $W$. For simple abelian varieties, those with no proper nonzero abelian subvarieties, a simple abelian cycle is the push-forward class of a smooth curve $C\hookrightarrow A$ generating $A$ as a group (Beckmann et al., 2022, Marini, 2018). Higher codimension generalizations involve irreducible subvarieties of codimension $p$ underpinning the structure of $CH^p(A)$.

The cycle class map $cl: CH_1(A) \rightarrow H^{2g-2}(A,\mathbb{Z})$ links the world of algebraic cycles to Hodge theory, with simple abelian cycles playing a decisive role in representing distinguished cohomology classes.

2. The Integral Hodge Conjecture for One-Cycles

The integral Hodge conjecture ($\mathrm{IHC}_1$) posits that for a principally polarized abelian variety $(A,\Theta)$, every integral Hodge class of degree $2g-2$ is algebraic. Explicitly, the cycle class map

$$cl: CH_1(A) \twoheadrightarrow Hdg^{2g-2}(A,\mathbb{Z})$$

is surjective, where $Hdg^{2g-2}(A,\mathbb{Z})$ denotes the intersection $H^{2g-2}(A,\mathbb{Z})\cap H^{g-1,g-1}(A)$. In practice, simple abelian cycles constructed by push-forwards from curves inside simple factors of $A$ serve as generators for $H^{2g-2}$ and witnessing the conjecture. In simple cases, any nonzero curve class suffices to span the image, connecting the existence of such cycles directly to the algebraicity of minimal cohomology class $\gamma_\Theta = \Theta^{g-1}/(g-1)!$ (Beckmann et al., 2022).

3. Simple Abelian Cycles in Bloch's and Beauville's Frameworks

Bloch’s conjecture generalizes classical symmetry properties of divisors. It asserts the vanishing of the $(p+1)$-fold Pontryagin product of codimension-$p$ cycles by zero-cycles of degree zero: $I^{*(p+1)} * Y = 0 \quad \text{in} \ CH^p(A),$ where $I$ is the augmentation ideal of degree-zero zero-cycles. For divisors ($p=1$), this is the square theorem, while higher codimensions involve deeper vanishing statements. Simple cycles, represented by single irreducible subvarieties, are primary objects for which the conjecture’s vanishing can be tested, and infinitesimal methods demonstrate local versions for arbitrary codimension (Marini, 2018). Beauville’s Fourier-transform decomposition of $CH^p(A)$ connects the symmetries of cycles to the filtration underlying Bloch’s conjecture.

4. Enumeration of Simple Abelian Cycles in Orbifold Symmetry

In the context of abelian orbifolds $\mathbb{C}^D/\Gamma$, “simple abelian cycles” refers to conjugacy classes consisting of a single $k$-cycle in the cycle index $Z(S_D)$ of the symmetric group $S_D$. Technically, a simple abelian $k$-cycle corresponds to the indicator variable $x_k$ in $Z(S_D)$ and geometrically corresponds to cyclic permutation of $k$ complex coordinates. These cycles are instrumental in Polya enumeration, dictating which orbifold actions have Hermite Normal Forms invariant under such permutations (Hanany et al., 2010).

The enumeration via generating functions proceeds by associating multiplicative sequences $a_{p^\alpha}(k,D)$ to each $k$-cycle. These count the number of $\Gamma\subset U(1)^D$ of order $N$ whose HNF is invariant under the relevant $k$-cycle. The generating function for a fixed $k$ and $D$ is

$$G_{k,D}(t) = \sum_{N=1}^\infty \mathsf{g}_{x_k}(N)t^N,$$

where $\mathsf{g}_{x_k}(N)$ is the aforementioned count. These partial generating functions are then assembled via Polya’s theorem to enumerate all distinct abelian orbifolds according to their symmetry properties.

5. Abelian Color Cycles and Dual Representation in Gauge Theory

In lattice gauge theory, the notion of “abelian color cycles” (ACC) extends the simple abelian cycle concept to non-abelian contexts (Gattringer et al., 2016). An ACC on an oriented plaquette is labeled by four color indices and is constructed as a product of gauge matrix elements forming a closed loop in color space: $$U_{x,\mu}^{ab} U_{x+\hat\mu,\nu}^{bc} (U_{x+\hat\nu,\mu}^{dc})^* (U_{x,\nu}^{ad})^*$$ Each ACC is a complex number and commutes with all others. Rewriting the Wilson action as a sum over ACCs allows for a strong-coupling expansion in terms of cycle occupation numbers $p_{x,\mu\nu}^{abcd}$. Integration over the gauge links translates the problem into combinatorial flux constraints and factorial weights, leading to an exact discrete dual representation. This approach generalizes to the inclusion of staggered fermions and higher gauge groups such as SU(3), with cycle structure and associated constraints scaling accordingly.

6. Density, Classification, and Moduli Space

The locus in the moduli space of principally polarized abelian varieties where the minimal class $\gamma_\Theta$ is algebraic—and, equivalently, where $\mathrm{IHC}_1$ holds—is dense in both analytic and Zariski topology. This locus is a countable union of algebraic subvarieties, notably Hecke orbits of products of Jacobians (Beckmann et al., 2022). The existence of simple abelian cycles in families over a connected base is an open condition, implying generic presence throughout the dense locus in moduli. The equivalence of algebraicity of $\gamma_\Theta$, integral Fourier liftability, and the validity of $\mathrm{IHC}_1$ provides a practical classification framework for abelian varieties admitting simple cycles spanning their middle cohomology.

7. Technical Implications and Generalizations

Simple abelian cycles operate as fundamental generators across both algebraic and combinatorial regimes, participating in the realization of cycle-theoretic, motivic, and Hodge theoretic correspondences. In enumeration theory, their multiplicative sequences encapsulate symmetry invariants for orbifolds and generalize to arbitrary dimension and group structure. In gauge theory models, their commutative structure enables closed-form dual representations applicable to strong-coupling expansions, with direct analogies to abelian settings.

A plausible implication is that further development of the interplay between analytic neighborhoods (as in infinitesimal vanishing results) and algebraic cycle decompositions may ultimately yield comprehensive proofs of longstanding conjectures (e.g., Bloch, Hodge) for simple abelian cycles of all codimensions, and extend enumerative schemes to new classes of symmetric structures in mathematical physics and geometry.