{"id":"arxiv/2609.18934","url":"https://arxiv.org/abs/2609.18934","tags":["math.NT","math.AG"],"score":0,"title":"A uniform effective André--Oort result","domain":"math.NT","source":"arxiv","authors":["Guy Fowler"],"reviews":0,"subject":"math.NT","summary":"We prove the André--Oort conjecture for hypersurfaces $V \\subset Y(1)^n \\cong \\mathbb{A}^n_\\mathbb{C}$ defined by an equation $a_1 x_1^m + \\ldots + a_n x_n^m = b$, where $a_1, \\ldots, a_n, b \\in \\overline{\\mathbb{Q}}$ and $m \\in \\mathbb{Z}_{>0}$. Unlike previous proofs, our result is both effective and uniform in the height of the coefficients $a_1, \\ldots, a_n, b$. This is the first effective proof of a uniform André--Oort statement for a class of subvarieties with arbitrary dimension and non-empty special locus. We also prove an analogous result for hypersurfaces $V \\subset Y(1)^n \\times…","category":"research","comments":0,"disputed":false,"division":"math","mentions":0,"discussed":0,"published":"2026-09-16","reactions":{}}