Zilber-Pink in a product of modular curves assuming multiplicative degeneration

Christopher Daw,Martin Orr
2024-04-17
Abstract:We prove the Zilber--Pink conjecture for curves in $Y(1)^n$ whose Zariski closure in $(\mathbb{P}^1)^n$ passes through the point $(\infty, \ldots, \infty)$, going beyond the asymmetry condition of Habegger and Pila. Our proof is based on a height bound following André's G-functions method. The principal novelty is that we exploit relations between evaluations of G-functions at unboundedly many non-archimedean places.
Number Theory,Algebraic Geometry
What problem does this paper attempt to address?
The problem that this paper attempts to solve is to prove the validity of the Zilber–Pink conjecture for a specific class of curves, which are located in the product of modular curves and transcend the asymmetric condition proposed by Habegger and Pila through the condition of "meeting at the point at infinity". Specifically, the author attempts to prove the following theorem: **Theorem 1.3**: Let \(C\) be an irreducible curve in \(Y(1)^n\), which meets at the point at infinity and is defined over \(\mathbb{Q}\). If \(C\) is not contained in a special sub - variety of positive codimension, then the intersection of \(C\) with the union of all special sub - varieties of codimension at least 2 is finite. ### Key issues 1. **Zilber–Pink conjecture**: - The Zilber–Pink conjecture is an important conjecture regarding the problem of impossible intersections in Shimura varieties. Specifically, for an irreducible sub - variety \(V\) of a Shimura variety \(S\), if \(V\) is not contained in a special sub - variety of positive codimension, then the union of \(V\) with all special sub - varieties of codimension greater than \(\dim(V)\) is not dense in the Zariski topology. 2. **Removal of the asymmetric condition**: - Habegger and Pila introduced an asymmetric condition in their work to deal with certain types of curves. One of the goals of this paper is to remove this asymmetric condition, thereby expanding the scope of application. 3. **Proof of height bounds and Galois orbit bounds**: - By introducing new methods and using the relationship between G - function evaluations at non - Archimedean places, the author proves new height bounds and Galois orbit bounds. This enables them to deal with curves that meet at the point at infinity. ### Main contributions - **New method**: The author uses André's method to study the case where the fibers of an Abelian variety family have a large endomorphism ring, based on G - functions. The key new contribution is to use the relationship between G - function evaluations at non - Archimedean places to obtain a lower bound for the Galois orbit. - **Height bound**: A weaker height bound (Theorem 1.7) is proved. Although it is not as strong as that in Conjecture 1.6, it is sufficient to derive the required Galois orbit bound (Theorem 1.5). ### Conclusion Through the above methods, the author successfully proves the validity of the Zilber–Pink conjecture for curves that meet at the point at infinity, thereby expanding previous results and providing new tools and ideas for future research.