Cusps and boundaries of connected fundamental domains for $Γ_0(N)$

This paper further investigates the function $W$ used to construct a canonical connected fundamental domain for $\Gamma_0(N)$, establishing identities to match its cusps with known classes and detailing the domain's boundary arcs and gluing patterns to aid in understanding the modular curve $X_0(N)$.

The Gist

Imagine you are trying to tile an infinite, curved floor (mathematicians call this the "upper half-plane") with a specific set of unique, irregular tiles. Your goal is to create a single, connected room (a "fundamental domain") that, when you apply a specific set of folding and sliding rules (the group $\Gamma_0(N)$), covers the entire floor exactly once without any overlaps or gaps.

In a previous paper, the author and a colleague figured out how to build this room for a specific set of rules. They found that the room isn't just a simple shape; it's a complex, connected puzzle piece made by stitching together smaller triangular tiles.

This new paper is the "user manual" and "blueprint" for that room. It answers two big questions:

1. The Doors (Cusps): Where are the exits to infinity, and how wide are they?
2. The Walls (Boundaries): Which walls of the room get glued together to form the final shape?

Here is a breakdown of the paper's discoveries using everyday analogies.

1. The Magic Function $W$ (The "Door Width" Calculator)

The authors use a special mathematical function called $W$. Think of this function as a door-width calculator.

In their connected room, there are many "doors" leading to infinity (called cusps). Some doors are wide, some are narrow. The function $W$ tells you exactly how wide a specific door is based on a number $j$ associated with it.

• The Discovery: The author proves some neat math identities about these widths. For example, if you add up the widths of all the doors in the room, you get a specific number related to the prime factors of $N$ (like a total "door capacity").
• The Analogy: Imagine a hotel with many rooms. Some rooms have double doors, some have single doors. The author figured out that if you count the total width of all doors in the hotel, it always equals a specific formula based on the hotel's layout.

2. Matching the Doors to the Map (Cusp Classes)

In the world of modular curves, doors that look different might actually lead to the same "neighborhood" (they are equivalent).

• The Problem: The connected room the authors built produces many doors. Some of these doors are actually the same "class" of door (they lead to the same place in the mathematical universe), but they appear multiple times in the room.
• The Solution: The paper acts like a translator. It takes the list of doors generated by the room and matches them to the official "map" of the universe (the known cusp classes).
• The Result: It proves that if you take all the "duplicate" doors that belong to the same neighborhood and add up their widths, it perfectly matches the official width of that neighborhood. It's like realizing that three small side-doors in your house actually combine to form the width of the main front door on the city blueprint.

3. The Gluing Pattern (How the Walls Connect)

This is the most visual part of the paper. The connected room is made of many triangular tiles. To make the final shape (the modular curve $X_0(N)$), you have to glue the edges of these triangles together.

• The Challenge: For a general number $N$, there are thousands of edges. Trying to figure out which edge glues to which edge sounds like a nightmare.
• The Breakthrough: The authors found a simple, neat pattern for gluing.
  • The "Left and Right" Walls: The far-left wall of the room glues to the far-right wall (like wrapping a cylinder).
  • The "Base" Walls: The bottom edges of the triangles glue to other bottom edges in a specific, predictable way.
  • The "Side" Walls: The vertical edges glue to each other based on a simple math equation involving the numbers associated with the triangles.
• The Analogy: Imagine you have a sheet of paper with a complex drawing on it. You need to tape the edges together to make a 3D object. The authors discovered that instead of needing a chaotic instruction manual, there is a simple rule: "Tape edge A to edge B if their numbers satisfy this equation."

4. Why Does This Matter?

Why do we care about tiling floors and gluing walls?

• Understanding Shapes: The final shape you get after gluing is a "Modular Curve." These shapes are fundamental in number theory (the study of integers and primes).
• Simplicity: By using a connected room (one big piece) instead of a scattered collection of triangles, the authors make it much easier to "feel" the shape of these curves.
• The Genus (Number of Holes): The way the walls glue together tells you how many "holes" (like a donut) the final shape has. For example, in the paper's example of $N=12$, the gluing pattern is so simple that the resulting shape has zero holes (it's like a sphere). This confirms a known mathematical fact but proves it in a new, visual way.

Summary

In short, this paper takes a complex mathematical construction (a connected fundamental domain) and provides the instruction manual for it.

1. It defines a function to measure the "doors."
2. It proves that these doors match the official map of the mathematical universe.
3. It provides a clear, simple list of instructions on how to glue the walls together to build the final 3D shape.

It turns a "hopeless task" of sorting through infinite possibilities into a neat, organized, and understandable process.

Technical Summary

Here is a detailed technical summary of the paper "Cusps and Boundaries of Connected Fundamental Domains for $\Gamma_0(N)$" by Zhaohu Nie.

1. Problem Statement

The paper addresses the construction and analysis of connected fundamental domains for the congruence subgroup $\Gamma_0(N)$ (where $N > 1$) acting on the upper half-plane $\mathbb{H}$.

• Context: Previous work by the author and a collaborator ([NP24]) established a canonical method to construct a connected fundamental domain for $\Gamma_0(N)$, contrasting with the traditional disconnected domains composed of ideal geodesic triangles.
• The Gap: While the construction exists, the specific properties of the resulting domain were not fully analyzed. Specifically:
  1. The domain produces "natural" cusps with specific widths defined by a function $W$. It was unclear how these natural cusps map to the known equivalence classes of cusps for $\Gamma_0(N)$.
  2. The boundary arcs of the domain and their gluing patterns (identifications under $\Gamma_0(N)$) were not explicitly listed or proven for general $N$.
• Goal: To rigorously characterize the cusps (matching them to standard cusp classes and reconciling widths) and to explicitly determine the boundary identifications (gluing patterns) of the connected fundamental domain.

2. Methodology

The author employs a combination of combinatorial number theory, group theory, and geometric analysis of the modular curve.

• The Function $W$: The core tool is a function $W: \mathbb{Z}/N\mathbb{Z} \to \mathbb{N}$ defined as:
  $$W_j = \min \{ m \in \mathbb{N} \mid mj - 1 \in (\mathbb{Z}/N\mathbb{Z})^\times \}$$
  This function determines the "height" or extent of the fundamental domain components associated with residue classes $j$ where $\gcd(j, N) > 1$.
• Coset Representatives: The fundamental domain is constructed using a specific set of right coset representatives $\Theta$ for $\Gamma_0(N) \backslash \Gamma(1)$:
  $$\Theta = \{ ST^i \mid i \in A \} \cup \{ ST^j ST^m \mid j \in A, \gcd(j, N) > 1, 0 \le m \le M_j \}$$
  where $M_j = W_j - 1$, $S = \begin{pmatrix} 0 & -1 \\ 1 & 0 \end{pmatrix}$, $T = \begin{pmatrix} 1 & 1 \\ 0 & 1 \end{pmatrix}$, and $A$ is a set of consecutive residue representatives.
• Projective Line Geometry: The analysis relies heavily on the geometry of the projective line over the ring of integers modulo $N$, denoted $\mathbb{P}^1(\mathbb{Z}/N\mathbb{Z})$. The author utilizes a bijection between the coset space and $\mathbb{P}^1(\mathbb{Z}/N\mathbb{Z})$ to classify cusps and verify boundary identifications.
• Combinatorial Proofs: The proofs involve detailed combinatorial arguments regarding the distribution of units in $\mathbb{Z}/N\mathbb{Z}$ and the properties of the function $W$ relative to divisors of $N$.

3. Key Contributions and Results

A. Properties of the Function $W$

The author establishes several fundamental identities for the function $W$:

1. Summation Identity: $\sum_{j \in \mathbb{Z}/N} W_j = \psi(N) = \prod_{p|N} (1 + \frac{1}{p})$.
2. Unit Sum: $\sum_{j \in (\mathbb{Z}/N)^\times} W_j = N$.
3. Non-unit Sum: $\sum_{\gcd(j, N) > 1} W_j = \psi(N) - N$.
   These identities are proven using the structure of the projective line $\mathbb{P}^1(\mathbb{Z}/N\mathbb{Z})$ and direct combinatorial arguments involving the gaps between units in $\mathbb{Z}/N\mathbb{Z}$.

B. Cusp Classification and Width Matching

The paper resolves the relationship between the "natural" cusps generated by the domain construction and the standard cusp classes of $\Gamma_0(N)$.

• Standard Cusp Classes: The number of cusp classes is given by $\sum_{d|N} \phi(\gcd(d, N/d))$. Each class is represented by a pair $(d, b)$ where $d|N$ and $b \in (\mathbb{Z}/d'')^\times$ (with $d'' = \gcd(d, N/d)$). The width of such a class is $\tilde{d} = (N/d)/d''$.
• Natural Cusps: The construction generates cusps of the form $-1/j$ with width $W_j$.
• Main Theorem on Widths (Theorem 1.16): The author proves that the width of a standard cusp class $(d, b)$ is exactly the sum of the widths $W_j$ of all natural cusps $1/j$ that map to that class.
  $$\tilde{d} = \sum_{k \in K_b} W_{dk}$$
  This confirms that the connected fundamental domain correctly accounts for the total "area" and cusp structure of the modular curve.

C. Boundary Arcs and Gluing Patterns

The paper provides a complete list of the boundary arcs of the fundamental domain and the explicit elements of $\Gamma_0(N)$ that identify them.

• Arc Classification: The boundary consists of:
  1. Vertical rays at the ends of the residue range ($ST^{N_2}L$ and $ST^{-N_1}R$).
  2. Images of the base arc $B$ for units ($ST^i B$ where $\gcd(i, N)=1$).
  3. Images of vertical rays and base arcs for non-units ($ST^j SR$, $ST^j ST^{M_j} L$, and $ST^j ST^m B$).
• Gluing Theorem (Theorem 1.21): The author derives explicit congruence conditions for when two boundary arcs are equivalent:
  • Vertical Rays: Identified via translation $T$.
  • Base Arcs (Units): $ST^i B \sim ST^{\widehat{-i^{-1}}} B$.
  • Base Arcs (Non-units): $ST^j ST^m B \sim ST^{j'} ST^{m'} B$ if $jj' + (jm-1)(j'm'-1) \equiv 0 \pmod N$.
  • Vertical/Slanted Rays: Specific identifications involving $W_j$ are derived.
• Significance of Gluing: These patterns allow for the topological reconstruction of the modular curve $X_0(N)$. For example, the paper notes that for $N=12$, the gluing pattern is simple enough to confirm the curve has genus 0.

4. Significance

• Geometric Clarity: The paper moves beyond abstract existence proofs to provide a concrete, connected geometric picture of $\Gamma_0(N)$. This is crucial for visualizing and understanding the topology of modular curves.
• Algorithmic Utility: The explicit formulas for $W_j$ and the gluing patterns provide an algorithmic framework for computing fundamental domains and their topological invariants (like genus) for any $N$.
• Unification: It successfully bridges the gap between the combinatorial construction of the domain (via coset representatives) and the classical arithmetic theory of cusps (via cusp classes and widths), proving that the new construction is consistent with established modular form theory.
• Foundation for Future Work: By listing the boundary arcs and gluing patterns, the paper lays the groundwork for further studies on the topology of $X_0(N)$, such as computing homology or studying the action of Hecke operators on the fundamental domain.

In summary, Zhaohu Nie's paper transforms a previously constructed canonical fundamental domain into a fully analyzed geometric object, providing rigorous proofs for its cusp structure and boundary identifications, thereby offering a powerful new tool for the study of modular curves.