The Main Conjecture of Modular Towers and its higher rank generalization

Michael D. Fried
DOI: https://doi.org/10.48550/arXiv.math/0611594
2006-11-20
Abstract:The genus of projective curves discretely separates decidedly different two variable algebraic relations. So, we can focus on the connected moduli M_g of genus g curves. Yet, modern applications require a data variable (function) on such curves. The resulting spaces are versions, depending on our need from this data variable, of Hurwitz spaces. A Nielsen class is a set defined by r \ge 3 conjugacy classes C in the data variable monodromy G. It gives a striking genus analog. Using Frattini covers of G, every Nielsen class produces a projective system of related Nielsen classes for any prime p dividing |G|. A nonempty (infinite) projective system of braid orbits in these Nielsen classes is an infinite (G,C) component (tree) branch. These correspond to projective systems of irreducible (dim r-3) components from {H(G_{p,k}(G),C)}_{k=0}^{\infty}, the (G,C,p) Modular Tower (MT). The classical modular curve towers {Y_1(p^{k+1})}_{k=0}^\infty (simplest case: G is dihedral, r=4, C are involution classes) are an avatar. The (weak) Main Conjecture says, if G is p-perfect, there are no rational points at high levels of a component branch. When r=4, MT levels (minus their cusps) are upper half plane quotients covering the j-line. Our topics. * Identifying component branches on a MT from g-p', p and Weigel cusp branches using the MT generalization of spin structures. * Listing cusp branch properties that imply the (weak) Main Conjecture and extracting the small list of towers that could possibly fail the conjecture. * Formulating a (strong) Main Conjecture for higher rank MTs (with examples): almost all primes produce a modular curve-like system.
Number Theory
What problem does this paper attempt to address?
The main problems that this paper attempts to solve focus on the geometric and algebraic structures of Modular Towers (MTs), especially the existence problem of rational points related to these structures. Specifically, the paper explores the following aspects: 1. **Main Conjecture of Modular Towers**: - **Weak Main Conjecture**: If \(G_0\) is a \(p\)-perfect group and \(K\) is a number field, then there cannot exist \(K\)-rational points on each layer of the modular tower. This means that in order to realize all regular Galois extensions of \(G_k\) over \(K\), an unbounded number of ramification points are required. - **Strong Main Conjecture**: For modular towers of higher ranks, almost all prime numbers \(p\) will produce systems similar to modular curves. 2. **Study of Cusps**: - The paper studies in detail different types of cusps in the modular tower, such as \(g - p'\) cusps and \(o - p'\) cusps, and explores their properties and their influence on the structure of the modular tower. - In particular, the paper focuses on whether Weigel cusp branches exist and identifies these branches by generalizing spin structures. 3. **Applications and Significance of Modular Towers**: - The study of modular towers is helpful for understanding the Inverse Galois Problem, that is, which finite groups can be Galois groups over a certain number field. - Modular towers are also related to other profound mathematical problems, such as the relationship between the Strong Torsion Conjecture and Siegel's upper half - space. 4. **Specific Calculations and Examples**: - The paper provides many specific examples and calculation methods to illustrate how to calculate on different layers of the modular tower, including how to use tools such as Nielsen classes and Hurwitz monodromy groups to calculate cusp widths and elliptic ramifications. ### Formula Summary - **Formula Representation of the Weak Main Conjecture**: \[ \text{If } G_0 \text{ is a } p\text{-perfect group and } K \text{ is a number field, then there are no } K\text{-rational points on each layer of the modular tower.} \] - **Formula Representation of the Strong Main Conjecture**: \[ \text{For modular towers of higher ranks, almost all prime numbers } p \text{ will produce systems similar to modular curves.} \] - **Cusp Types**: \[ \text{Cusps are divided into two types, } g - p'\text{ and } o - p'\text{, where } g - p'\text{ cusps have a special connection with modular curves.} \] Through the study of these problems, the paper not only deepens the understanding of modular towers but also provides new perspectives and tools for solving the Inverse Galois Problem and other related problems.