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.

Part 1 of Martin’s Conjecture for order-preserving and measure-preserving functions

Part 1 of Martin's Conjecture for order-preserving and measure-preserving functions

Martin's conjecture for regressive functions on the hyperarithmetic degrees

A Pi(1)(1)-Uniformization Principle For Reals

The Stanley-Stembridge Conjecture for $\bf 2 + 1 +1$-avoiding unit interval orders: a diagrammatic proof

Marton's Conjecture in abelian groups with bounded torsion

A Π¹₁-uniformization Principle for Reals

Distinguishing Martin's axiom from its restrictions

On the Martin Boundary of Rank 1 Manifolds with Nonpositive Curvature

Borel Determinacy: A Streamlined Proof

A Note on a Conjecture of Sacks: It is Harder to Embed Height Three Partial Orders than Height Two Partial Orders

Good functions, measures, and the Kleinbock-Tomanov conjecture

On a conjecture of Marton

The Non-Cancelling Intersections Conjecture

The Main Conjecture of Modular Towers and its higher rank generalization

On order-preserving and order-reversing mappings defined on cones of convex functions

Martin's Axiom and Weak Kurepa Hypothesis

The grounded Martin's axiom

Measure theory and classifying spaces

Higher-Order Functions and Brouwer's Thesis

On Martin’s Pointed Tree Theorem