${\mathbb Z}_{k}^{m}$-actions of signature $(0;k,\stackrel{n+1}{\ldots},k)$

This paper classifies, up to topological equivalence, the actions of the abelian group $G = \mathbb{Z}_k^m$ on compact Riemann surfaces of genus $g \geq 2$ that yield a quotient of genus zero with a signature consisting of $n+1$ branch points of order $k$.

The Gist

Imagine you have a piece of dough shaped like a donut with many holes (mathematicians call this a Riemann surface). Now, imagine you have a set of "magic hands" (a group) that can twist, flip, and rotate this dough without tearing it.

This paper is a massive cataloging project. The authors, Rubén A. Hidalgo and Sebastián Reyes-Carrocca, are trying to answer a very specific question: "If we have a specific type of magic hand (an abelian group called $Z_m^k$), how many distinct ways can we use it to twist our dough, and what do those twisted shapes look like?"

Here is the breakdown of their journey, using everyday analogies.

1. The Setup: The Dough and the Stamps

Think of the Riemann surface as a complex, multi-holed doughnut.

• The Action: When the "magic hands" (the group) twist the dough, they leave behind a pattern. Some points on the dough get stuck in place while the rest spin around them. These stuck points are called cone points.
• The Signature: The authors describe the pattern of these twists using a "signature." Imagine a barcode. This barcode tells you:
  • How many holes the resulting shape has after twisting (the quotient genus).
  • How many cone points there are.
  • How "tight" the twist is at each point (the branch order).

In this paper, they are looking at a very specific barcode: (0; k, k, ..., k). This means the resulting shape is a simple sphere (0 holes), and there are many cone points, all twisted with the same tightness ($k$).

2. The Problem: Counting the Twists

The authors want to know: How many different ways can we arrange these twists?

• Topological Equivalence: Two twists are considered "the same" if you can stretch or squish one doughnut into the other without cutting it, and the pattern of twists matches up perfectly.
• The Challenge: Usually, counting these is like trying to count every possible way to fold a piece of paper into a crane. It's messy and infinite.

3. The Breakthrough: The "Fiber Product" Machine

To solve this, the authors use a clever trick. Instead of trying to twist the complex dough directly, they realize these shapes can be built by stitching together simpler shapes.

• The Analogy: Imagine you have two simple sheets of paper (curves). You punch holes in them and glue them together at specific points. The result is a complex 3D shape.
• The Math: They show that these complex surfaces are actually fiber products of simpler "cyclic" curves. Think of it like a loom weaving two threads together to make a complex fabric. This allows them to write down exact algebraic formulas (equations) for these shapes, rather than just guessing.

4. The "Orbit" Game: Sorting the Twins

Once they have all the possible ways to twist the dough, they need to sort them.

• The Symmetry Group: Imagine you have a box of different colored marbles (the different twists). You have a machine (the Symmetric Group) that can swap the positions of the cone points.
• The Goal: If Machine A turns Marble Set X into Marble Set Y, then X and Y are actually the "same" twist, just viewed from a different angle.
• The Result: The authors calculate exactly how many unique sets of marbles (topological classes) remain after the machine has done all its swapping. They provide a formula to count these unique classes for any size of the group.

5. Special Cases: The "Super-Shape" Surfaces

The paper doesn't just count them; it finds "special" shapes that have extra magic hands.

• The Analogy: Most twisted doughnuts have a standard set of moves. But some special doughnuts are so symmetrical that they can be twisted in more ways than expected.
• The Discovery: They identify specific families of these surfaces (like the Kuribayashi-Komiya curves) that act like "super-symmetrical" objects. They show how these shapes relate to famous mathematical objects like the Fermat quartic (a shape defined by $x^4 + y^4 + z^4 = 0$).

6. Why Does This Matter?

You might ask, "Why count twisted doughnuts?"

• The Map of Shapes: Mathematicians have a giant map (called Moduli Space) of all possible shapes. This map has "cities" (smooth shapes) and "singularities" (shapes with twists).
• The Application: By understanding exactly how these twists work, the authors are mapping out the "cities" on this map. This helps other mathematicians understand the geometry of the universe, the behavior of complex equations, and even aspects of number theory.

Summary

In short, this paper is a master key for a specific type of mathematical lock.

1. It defines a specific type of twist (signature).
2. It builds a machine to generate all possible twisted shapes (fiber products).
3. It sorts them into unique categories (topological equivalence).
4. It finds the "super-shapes" that have extra symmetry.

The authors have turned a chaotic, infinite problem into a clean, countable list, providing a roadmap for anyone else who wants to explore this corner of the mathematical universe.

Technical Summary

Here is a detailed technical summary of the paper "Z$_k^m$-Actions of Signature (0; k, n+1, ..., k)" by Rubén A. Hidalgo and Sebastián Reyes-Carrocca.

1. Problem Statement

The paper addresses the classification of topological actions of finite abelian groups on compact Riemann surfaces. Specifically, it focuses on the group $G = \mathbb{Z}_k^m$ (the direct product of $m$ copies of the cyclic group of order $k$) acting on a surface $S$ of genus $g \ge 2$.

The core problem is to determine the number of topologically distinct actions for a fixed signature $(\gamma; k_1, \dots, k_r)$. Two actions $(S_1, G_1)$ and $(S_2, G_2)$ are topologically equivalent if there exists an orientation-preserving homeomorphism $\phi: S_1 \to S_2$ such that $\phi G_1 \phi^{-1} = G_2$.

• The Challenge: Generally, determining the number of such actions involves analyzing the set of torsion-free normal subgroups of a Fuchsian group $\Gamma$ with signature $(\gamma; k_1, \dots, k_r)$ modulo the action of the infinite group of geometric automorphisms $B_\Gamma$. This is computationally intractable for general groups.
• Specific Focus: The authors restrict the study to:
  • Abelian groups: $G = \mathbb{Z}_k^m$.
  • Quotient genus: $\gamma = 0$.
  • Signature: $(0; k, \dots, k)$ with $n+1$ entries (denoted as $(0; k^{n+1})$).
  • Constraints: $n, k \ge 2$, $1 \le m \le n$, and$(n-1)(k-1) > 2$ (the hyperbolic case).

2. Methodology

The authors employ a combination of geometric group theory, the theory of Fuchsian groups, and algebraic geometry.

1. Reduction to Homology Covers:

   • Using the Maclachlan condition and properties of abelian actions, they establish that any $\mathbb{Z}_k^m$-action of signature $(0; k^{n+1})$ is topologically equivalent to an action on a specific Riemann surface $C_\Gamma = \mathbb{H}/\Gamma'$, where $\Gamma'$ is the commutator subgroup of the Fuchsian group $\Gamma$.
   • The surface $C_\Gamma$ is the homology cover of the orbifold $\mathbb{H}/\Gamma$. The group acting on it is the abelianization $H_\Gamma = \Gamma/\Gamma' \cong \mathbb{Z}_k^{n+1}$ (modulo relations).
   • The problem reduces to classifying subgroups $K \le H_\Gamma$ such that $H_\Gamma/K \cong \mathbb{Z}_k^m$ and $K$ acts freely on $C_\Gamma$.

2. Generalized Fermat Curves:

   • The authors utilize the theory of Generalized Fermat curves of type $(k, n)$. These are curves $C_k(\Lambda)$ defined by specific systems of equations in $\mathbb{P}^n$, admitting a group of automorphisms $H \cong \mathbb{Z}_k^n$.
   • They prove that the surface $S$ in the action is biholomorphic to a quotient $C_k(\Lambda)/K$, where $K$ is a specific subgroup of $H$.

3. Geometric Automorphisms and Permutations:

   • A crucial step is characterizing the group of geometric automorphisms $Aut_g(H)$. The authors prove that $Aut_g(H)$ is isomorphic to the symmetric group $S_{n+1}$.
   • This isomorphism arises because geometric automorphisms correspond to permutations of the $n+1$ cone points of the quotient orbifold.
   • The classification of topological actions becomes a combinatorial problem: counting the orbits of the set of valid subgroups $\mathcal{F}(k, n, m)$ under the action of $S_{n+1}$.

4. Algebraic Models and Fiber Products:

   • For the case $m=2$, the authors provide explicit algebraic descriptions of the surfaces $S$ as fiber products of cyclic $k$-gonal curves.
   • They derive explicit equations for these surfaces in terms of branch values.

3. Key Contributions and Results

A. Classification of $\mathbb{Z}_k^m$-Actions (Theorems 6 & 4)

The paper provides a complete topological classification for $\mathbb{Z}_k^m$-actions of signature $(0; k^{n+1})$.

• Theorem 6: Two actions corresponding to subgroups $K_1, K_2 \in \mathcal{F}(k, n, m)$ are topologically equivalent if and only if there exists a geometric automorphism $\Phi \in Aut_g(H) \cong S_{n+1}$ such that $\Phi(K_1) = K_2$.
• Corollary 4: The number of topologically distinct actions is the cardinality of the quotient set $\mathcal{F}(k, n, m) / S_{n+1}$.
• Explicit Description: Theorem 5 gives a precise algebraic characterization of the subgroups $K$ in terms of generators and integer parameters satisfying specific modular arithmetic conditions.

B. Classification of Triples with Extra Automorphisms (Theorem 7)

The authors extend the classification to triples $(S, N, G)$ where $N \cong \mathbb{Z}_k^m$ is a normal subgroup of a larger automorphism group $G \le Aut(S)$.

• They define a subset $\mathcal{C}_k(Q_{S,G})$ of subgroups invariant under the induced permutation action of $G/N$.
• Theorem 7: The number of topologically distinct triples is the cardinality of $\mathcal{C}_k(Q_{S,G}) / N_{QS,G}$, where $N_{QS,G}$ is the normalizer of the permutation group in $S_{n+1}$.

C. Case Study: $m=2$ and $k=p$ (Prime)

The paper provides detailed analysis for the case where the group is $\mathbb{Z}_p^2$ and $p$ is a prime.

• Algebraic Models: Proposition 5 gives explicit equations for the surfaces as fiber products of two cyclic covers.
• Jacobian Decomposition: Theorem 9 proves that for $m=2$, the Jacobian variety $J_S$ decomposes (up to isogeny) into the product of Jacobians of the quotient curves $S/L$ where $L$ runs over subgroups of $N$ isomorphic to $\mathbb{Z}_p$. This confirms a conjecture for this specific case.
• Orbit Counts: The authors compute the number of topological classes for small primes ($p=3, 5, 7, \dots$) using computational tools (GAP), providing a table of orbit counts for $n=3$.

D. Specific Examples and Families

• **Case $n=3$ (Signature $0; p^4$):** The authors analyze the family of surfaces of genus$(p-1)^2$. They identify four topological classes for$p=5$and discuss surfaces with extra automorphisms (e.g., those admitting a$D_4$or$A_4$ action).
• Case $n=5$ (Signature $0; p^6$): This section connects the abstract classification to the Kuribayashi-Komiya pencil of curves.
  • They study actions where the quotient group $G/N$ is isomorphic to the Dihedral group $D_3$ or the Klein four-group $Z_2^2$.
  • Theorem 10 & 11: They calculate the exact number of topological classes for these specific extensions.
  • Proposition 9 & 12: They prove that any complex one-dimensional family of genus $(p-1)(2p-1)$ with automorphism group $\mathbb{Z}_p^2 \rtimes D_3$ is isomorphic to the Kuribayashi-Komiya family.

4. Significance

• Solving a Computational Bottleneck: The paper demonstrates that for abelian groups with quotient genus 0, the infinite group of geometric automorphisms can be replaced by a finite symmetric group $S_{n+1}$. This transforms a difficult analytic problem into a tractable combinatorial one.
• Moduli Space Stratification: The results provide a rigorous stratification of the moduli space $\mathcal{M}_g$. By identifying the number of topological components for specific signatures, the authors help map the singular locus of the moduli space (where surfaces have non-trivial automorphisms).
• Explicit Algebraic Models: The paper moves beyond abstract existence proofs to provide concrete algebraic equations (fiber products) for these surfaces, facilitating further study of their Jacobians and arithmetic properties.
• Recovery and Extension: The work recovers classical results (e.g., for hyperelliptic curves and specific $p$-gonal families) and extends them to higher-rank abelian groups and families with extra symmetries, such as the Kuribayashi-Komiya curves.

In summary, this paper provides a comprehensive framework for classifying $\mathbb{Z}_k^m$-actions on Riemann surfaces, bridging the gap between the topological classification of group actions and the explicit algebraic geometry of the resulting surfaces.