arxiv: 2604.23376 · v1 · submitted 2026-04-25 · 🧮 math.NT · math.AG

Recognition: unknown

Hybrid Conjecture in a Mixed Shimura variety

Rodolphe Richard , Andrei Yafaev

Authors on Pith no claims yet

Pith reviewed 2026-05-08 07:11 UTC · model grok-4.3

classification 🧮 math.NT math.AG

keywords hybrid conjecturemixed Shimura varietiesuniversal abelian schemeAndré-Oort conjectureManin-Mumford conjectureMordell-Lang conjectureequidistributiono-minimality

0 comments

The pith

The hybrid conjecture holds for the universal abelian scheme over the moduli space of abelian varieties.

A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.

The paper establishes the hybrid conjecture for mixed Shimura varieties by proving it in the prime case of the universal abelian scheme over A_g. This unifies the André-Pink-Zannier conjecture and the André-Oort conjecture in that setting. The result also covers the mixed André-Oort conjecture for the universal abelian scheme and the Manin-Mumford conjecture for every abelian variety. The authors reach the conclusion by reducing the mixed hybrid conjecture to its mordellic part through equidistribution and o-minimality applied to the geometry of the scheme, and they obtain additional uniform Galois-theoretic statements on Kummer theory and Serre's theorem.

Core claim

The authors prove the hybrid conjecture in the mixed Shimura variety given by the universal abelian scheme A_g over A_g. This strictly includes the hybrid conjecture for A_g, the mixed André-Oort conjecture for A_g, and the Manin-Mumford conjecture for arbitrary abelian varieties. The mixed hybrid conjecture in A_g is reduced to its mordellic part, yielding an analogue of the Manin-Mumford conjecture in an arithmetic pencil for abelian schemes over a variety and encompassing the Mordell-Lang conjecture.

What carries the argument

The reduction of the mixed hybrid conjecture for A_g to its mordellic part, carried out via equidistribution and o-minimality in the geometry of the universal abelian scheme.

If this is right

The André-Pink-Zannier and André-Oort conjectures hold for A_g.
The mixed André-Oort conjecture holds for the universal abelian scheme A_g.
The Manin-Mumford conjecture holds for arbitrary abelian varieties.
An analogue of the Manin-Mumford conjecture in an arithmetic pencil holds for abelian schemes over a variety.
The mixed hybrid conjecture encompasses the Mordell-Lang conjecture.

Where Pith is reading between the lines

These are editorial extensions of the paper, not claims the author makes directly.

The equidistribution-o-minimality reduction may extend to other mixed Shimura varieties where the base is a Shimura variety of abelian type.
The uniform Ribet Kummer theory and Serre-type results could apply to Galois images in families of abelian varieties over number fields.
The approach suggests that similar reductions might simplify proofs of finiteness statements in Diophantine geometry for higher-dimensional Shimura data.

Load-bearing premise

Equidistribution and o-minimality techniques apply directly to the geometry of the universal abelian scheme without hidden dependencies on the base field or the particular abelian variety.

What would settle it

An infinite set of points in the universal abelian scheme A_g whose Galois orbits grow too slowly or whose heights violate the predicted bounds while remaining Zariski dense in a positive-dimensional subvariety would falsify the claim.

read the original abstract

The authors previously formulated the hybrid conjecture, unifying Andr\'e-Pink-Zannier and Andr\'e-Oort conjectures, and proved it in Shimura varieties of abelian type. We study its analogue for mixed Shimura varieties, and consider the prime example, the universal abelian scheme $\mathcal{A}_g\to \mathbb{A}_g$. In a radical departure from the Pila-Zannier strategy, typically applied to such questions, we employ instead a combination of equidistribution and o-minimality Our main result strictly includes the following: the Hybrid Conjecture, in particular the Andr\'e-Pink-Zannier and Andr\'e-Oort conjectures, for $\mathbb{A}_g$; the mixed Andr\'e-Oort conjecture for $\mathcal{A}_g$; and Manin-Mumford conjecture for arbitrary abelian varieties. It also yields an analogue of the ``Manin-Mumford in arithmetic pencil", a result of Baldi-Richard-Ullmo, for abelian schemes over a variety. The mixed hybrid conjecture in $\mathcal{A}_g$ also encompasses the Mordell-Lang conjecture. We actually reduce the mixed hybrid conjecture for $\mathbb{A}_g$ to its "mordellic" part. We also prove, Galois-theoretic results: uniform variants on the Ribet's Kummer theory of Abelian varieties, and Serre's theorem on Lang's conjecture.

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, simulated authors' rebuttal, and a circularity audit. Tearing a paper down is the easy half of reading it; the pith above is the substance, this is the friction.

Desk Editor's Note private letter to a colleague

Richard and Yafaev reduce the mixed hybrid conjecture for the universal abelian scheme to its Mordellic part via equidistribution and o-minimality, claiming this covers the hybrid conjecture, mixed André-Oort, and Manin-Mumford in that setting.

read the letter

The main point is that this paper takes the hybrid conjecture the authors already proved for abelian-type Shimura varieties and extends it to the mixed case, with the universal abelian scheme over A_g as the main example. They reduce the full mixed hybrid statement to its Mordellic part and handle that part with equidistribution combined with o-minimality, which is a deliberate shift away from the Pila-Zannier strategy that dominates most work on these problems. They also record some uniform Galois-theoretic results on Ribet’s Kummer theory and Serre’s theorem on Lang’s conjecture, which stand on their own as usable statements. The reduction step is presented as independent of the target conjecture and built on prior equidistribution and o-minimality theorems, so the logic is at least internally consistent on the page. The soft spot is exactly the one the stress-test flags: whether equidistribution and o-minimality apply uniformly to the geometry of the universal abelian scheme without hidden dependence on the base field or the specific abelian variety. If that uniformity fails for some families, the claimed coverage of arbitrary abelian varieties and the mixed André-Oort conjecture would shrink. The abstract does not give the error controls or the precise invocation of those tools, so the reduction needs direct inspection. This is for people already tracking André-Oort, Manin-Mumford, and special-point problems in moduli spaces. It is worth sending to a serious referee because the conjectures are central and the method is different enough that the details matter.

Referee Report

2 major / 2 minor

Summary. The paper formulates the hybrid conjecture unifying André-Pink-Zannier and André-Oort for mixed Shimura varieties, with the prime example being the universal abelian scheme A_g over A_g. It proves the mixed hybrid conjecture in this setting by reducing it to its mordellic part via equidistribution and o-minimality (departing from Pila-Zannier), yielding as corollaries the Hybrid Conjecture (hence APZ and AO) for A_g, the mixed André-Oort conjecture for A_g, Manin-Mumford for arbitrary abelian varieties, and an analogue of Manin-Mumford in arithmetic pencils for abelian schemes. It also proves uniform Galois-theoretic results on Ribet's Kummer theory and Serre's theorem on Lang's conjecture.

Significance. If the central reduction and applications hold, this would constitute a significant advance in arithmetic geometry by providing a unified treatment of several major conjectures in the mixed Shimura setting using equidistribution and o-minimality. The broad corollaries, including Manin-Mumford for arbitrary abelian varieties and the mixed AO conjecture, would strengthen the evidence for these statements and offer new methodological tools with potential for wider use in o-minimal geometry and equidistribution on Shimura varieties.

major comments (2)

[Reduction to the mordellic part] The reduction of the mixed hybrid conjecture for A_g to its mordellic part (stated in the abstract and used to derive all headline inclusions) is load-bearing. The manuscript must explicitly verify that equidistribution and o-minimality apply uniformly to the geometry of the universal abelian scheme A_g → A_g without hidden dependencies on the base field or the specific abelian variety, beyond the cited Galois results on Ribet and Serre. If this uniformity fails for some families, the claims for arbitrary abelian varieties and the mixed AO conjecture weaken.
[Main result and corollaries] The claim that the main result 'strictly includes' the Hybrid Conjecture for A_g, mixed AO for A_g, and Manin-Mumford for arbitrary AVs requires a precise delineation of what is directly proved versus what follows from the reduction; the current abstract phrasing risks overstating the scope if the reduction step contains any conditional assumptions.

minor comments (2)

The abstract's use of 'strictly includes' could be clarified to 'implies the following as special cases' for precision.
Notation for the universal abelian scheme (A_g → A_g) and related mixed Shimura data should be checked for consistency in all statements of theorems and reductions.

Simulated Author's Rebuttal

2 responses · 0 unresolved

We thank the referee for the careful and constructive report. We address the two major comments point by point below, agreeing that greater explicitness will strengthen the manuscript. We plan to incorporate the suggested clarifications in a revised version.

read point-by-point responses

Referee: [Reduction to the mordellic part] The reduction of the mixed hybrid conjecture for A_g to its mordellic part (stated in the abstract and used to derive all headline inclusions) is load-bearing. The manuscript must explicitly verify that equidistribution and o-minimality apply uniformly to the geometry of the universal abelian scheme A_g → A_g without hidden dependencies on the base field or the specific abelian variety, beyond the cited Galois results on Ribet and Serre. If this uniformity fails for some families, the claims for arbitrary abelian varieties and the mixed AO conjecture weaken.

Authors: We agree that the uniformity of the equidistribution and o-minimality arguments is essential and must be stated explicitly. The uniform Galois-theoretic results we prove (uniform Ribet Kummer theory and uniform Serre theorem on Lang's conjecture) are formulated precisely to remove any dependence on the choice of abelian variety or base field; these results are proved in full generality for the universal family and are invoked throughout the reduction. To make the application transparent, we will insert a dedicated paragraph (or short subsection) immediately after the statement of the main theorem that recalls the uniformity statements from our Galois results and confirms that the cited equidistribution theorems (in the mixed Shimura setting) and o-minimality results apply verbatim to A_g → A_g with no further restrictions. This addition will also explicitly address the consequences for arbitrary abelian varieties and the mixed André-Oort conjecture. revision: yes
Referee: [Main result and corollaries] The claim that the main result 'strictly includes' the Hybrid Conjecture for A_g, mixed AO for A_g, and Manin-Mumford for arbitrary AVs requires a precise delineation of what is directly proved versus what follows from the reduction; the current abstract phrasing risks overstating the scope if the reduction step contains any conditional assumptions.

Authors: We accept that the abstract phrasing could be made more precise. The central theorem proves the mixed hybrid conjecture for A_g by reducing it to its mordellic part; the Hybrid Conjecture (hence APZ and AO) for A_g, the mixed André-Oort conjecture for A_g, and Manin-Mumford for arbitrary abelian varieties are then immediate corollaries of this reduction together with the uniform Galois results already established in the paper. There are no additional conditional assumptions. We will revise the abstract (and the corresponding paragraph in the introduction) to state explicitly: (i) the direct theorem is the reduction of the mixed hybrid conjecture to its mordellic part, and (ii) the listed statements are corollaries obtained by combining the reduction with the Galois uniformity and previously known equivalences. This change removes any ambiguity about scope. revision: yes

Circularity Check

0 steps flagged

Minor self-citation to prior hybrid conjecture; reduction to mordellic part uses independent equidistribution/o-minimality techniques.

full rationale

The paper cites the authors' earlier formulation and proof of the hybrid conjecture for abelian-type Shimura varieties to define the target statement, but this is not load-bearing for the new claims. The central step reduces the mixed hybrid conjecture for A_g to its mordellic part via equidistribution and o-minimality applied to the universal abelian scheme, departing from Pila-Zannier; this reduction is presented as a fresh argument and does not reduce by construction to the inputs or prior results. The inclusions (Hybrid Conjecture for A_g, mixed AO, Manin-Mumford for arbitrary abelian varieties) follow from this independent content. No self-definitional, fitted-prediction, or uniqueness-imported circularity is exhibited.

Axiom & Free-Parameter Ledger

0 free parameters · 3 axioms · 0 invented entities

The proof relies on background theorems from o-minimality, equidistribution in homogeneous spaces, and standard properties of mixed Shimura varieties; no new free parameters or invented entities are introduced in the abstract.

axioms (3)

domain assumption Standard properties of mixed Shimura varieties and the universal abelian scheme
Invoked as the geometric setting for the hybrid conjecture.
standard math Equidistribution theorems for orbits in homogeneous spaces
Used as the main tool in place of Pila-Zannier counting.
standard math O-minimality of relevant structures
Combined with equidistribution to control special points.

pith-pipeline@v0.9.0 · 5553 in / 1400 out tokens · 40321 ms · 2026-05-08T07:11:29.896874+00:00 · methodology

discussion (0)

Reference graph

Works this paper leans on

31 extracted references · 20 canonical work pages · 1 internal anchor

[1]

Andreatta, E

F. Andreatta, E. Goren, B. Howard, K. Madapusi Pera,Faltings heights of abelian varieties with complex multiplication, Annals of Mathematics, 187 (2018), 391–531.https://doi.org/10.4007/annals.2018.187.2.3

work page doi:10.4007/annals.2018.187.2.3 2018
[2]

Baldi, R

G. Baldi, R. Richard, E. Ullmo,Manin-Mumford in arithmetic pencils.https: //arxiv.org/2105.12027v2

work page arXiv
[3]

Bertrand,Galois Representations and Transcendental Numbers, New ad- vances in transcendence theory (Durham, 1986), 37–55

D. Bertrand,Galois Representations and Transcendental Numbers, New ad- vances in transcendence theory (Durham, 1986), 37–55. Cambridge University Press, Cambridge, 1988

1986
[4]

Reliable evaluation of adversarial robustness with an ensemble of diverse parameter-free attacks

S. Checcoli and G. A. Dill,New evidence for R´ emond’s generalisation of Lehmer’s conjecture, June 24, 2025https://doi.org/10.48550/arXiv. 2506.18776

work page internal anchor Pith review doi:10.48550/arxiv
[5]

Clozel, E

L. Clozel, E. UllmoEquidistribution de sous-vari´ et´ es sp´ eciales, Annals of Math- ematics, 161 (2005), 1571–1588

2005
[6]

Deligne,Preuve des conjectures de Tate et de Shafarevitch.S´ em

P. Deligne,Preuve des conjectures de Tate et de Shafarevitch.S´ em. Bourbaki 1983/84, Exp. 616, Ast´ erisque 121-122, 25–41 (1985).https://www.numdam. org/item/SB_1983-1984__26__25_0/

1983
[7]

Duke,Hyperbolic distribution problems and half-integral weight Maass forms, Invent

W. Duke,Hyperbolic distribution problems and half-integral weight Maass forms, Invent. math. 92 (1988), 73–90.https://doi.org/10.1007/ BF01393215

1988
[8]

Faltings,Diophantine Approximation on Abelian Varieties, Annals of Math- ematics, 133 (1991), 549–576.https://doi.org/10.2307/2944319

G. Faltings,Diophantine Approximation on Abelian Varieties, Annals of Math- ematics, 133 (1991), 549–576.https://doi.org/10.2307/2944319

work page doi:10.2307/2944319 1991
[9]

Gao,Towards the Andr´ e–Oort conjecture for mixed Shimura varieties: The Ax–Lindemann theorem and lower bounds for Galois orbits of special points, J

Z. Gao,Towards the Andr´ e–Oort conjecture for mixed Shimura varieties: The Ax–Lindemann theorem and lower bounds for Galois orbits of special points, J. reine angew. Math. (Crelles Journal), 732 (2017), 85–146.https://doi.org/ 10.1515/crelle-2014-0127

work page doi:10.1515/crelle-2014-0127 2017
[10]

Hindry,Autour d’une conjecture de Serge Lang, Invent

M. Hindry,Autour d’une conjecture de Serge Lang, Invent. math. 94, 575-603 (1988)

1988
[11]

Khayutin,Joint equidistribution of CM points, Annals of Mathematics, 189 (2019), 145–276.https://doi.org/10.4007/annals.2019.189.1.4

I. Khayutin,Joint equidistribution of CM points, Annals of Mathematics, 189 (2019), 145–276.https://doi.org/10.4007/annals.2019.189.1.4

work page doi:10.4007/annals.2019.189.1.4 2019
[12]

S. Lang, A. N´ eron,Rational Points of Abelian Varieties Over Function Fields. Amer. J. Math. 81, 95–118 (1959).https://doi.org/10.2307/2372851 HYBRID CONJECTURE IN A MIXED SHIMURA V ARIETY 49

work page doi:10.2307/2372851 1959
[13]

McQuillan,Division points on semi-abelian varieties.Invent

M. McQuillan,Division points on semi-abelian varieties.Invent. math. 120, 143–159 (1995).https://doi.org/10.1007/BF01241125

work page doi:10.1007/bf01241125 1995
[14]

Peterzil, S

Y. Peterzil, S. StarchenkoDefinability of restricted theta functions and families of abelian varieties, Duke Math. J., Tome 162, no 4 (2013), p. 731-765.https: //doi.org/10.1215/00127094-2080018

work page doi:10.1215/00127094-2080018 2013
[15]

J. Pila, J. Tsimerman,Ax-Lindemann forA g, Annals of Mathematics, 179 (2014), 659–681.https://doi.org/10.4007/annals.2014.179.2.4

work page doi:10.4007/annals.2014.179.2.4 2014
[16]

Pink,A combination of the conjectures of Mordell-Lang and Andr´ e-Oort

R. Pink,A combination of the conjectures of Mordell-Lang and Andr´ e-Oort. Progr. Math. 235, 251–282 (2005)

2005
[17]

K. A. Ribet,Kummer Theory on Extensions of Abelian Varieties by Tori, Duke Mathematical Journal Vol. 46, No. 4 December 1979

1979
[18]

Richard,Manin-Mumford par le crit` ere de WeylJournal of Number Theory Volume 239, October 2022, Pages 137-150https://doi.org/10.1016/j.jnt

R. Richard,Manin-Mumford par le crit` ere de WeylJournal of Number Theory Volume 239, October 2022, Pages 137-150https://doi.org/10.1016/j.jnt. 2021.11.007

work page doi:10.1016/j.jnt 2022
[19]

Richard, E

R. Richard, E. Ullmo ´Equidistribution de sous-vari´ et´ es faiblement sp´ eciales et o-minimalit´ e: Andr´ e-Oort g´ eom´ etrique, Ann. Inst. Fourier, Grenoble, Tome 74, no 6 (2024), p. 2667-2721.https://doi.org/10.5802/aif.3644

work page doi:10.5802/aif.3644 2024
[20]

Richard, A

R. Richard, A. Yafaev,A Common Generalisation of the Andr´ e-Oort and Andr´ e-Pink-Zannier Conjectures.Preprint, arXiv:2401.03528 (2024).https: //doi.org/10.48550/arXiv.2401.03528

work page doi:10.48550/arxiv.2401.03528 2024
[21]

Richard, A

R. Richard, A. Yafaev,Generalised Andr´ e-Pink-Zannier conjecture for Shimura varieties of Abelian type.Publ. math. IHES 141, 249–331 (2025). https://doi.org/10.1007/s10240-025-00154-4

work page doi:10.1007/s10240-025-00154-4 2025
[22]

Richard, A

R. Richard, A. Yafaev,Heights on ’Hybrid orbits’ in Shimura va- rieties.Preprint, arXiv:2406.20013 (2024).https://doi.org/10.48550/ arXiv.2406.20013

work page arXiv 2024
[23]

Richard, A

R. Richard, A. Yafaev,Inner Galois Equidistribution in S-Hecke orbits, preprint (2017).https://doi.org/10.48550/arXiv.1711.03009

work page doi:10.48550/arxiv.1711.03009 2017
[24]

Serre,Cohomologie galoisienne.Fifth edition Lecture Notes in Math., 5

J.-P. Serre,Cohomologie galoisienne.Fifth edition Lecture Notes in Math., 5. Springer-Verlag, Berlin, 1994

1994
[25]

Serre,Lectures on the Mordell-Weil Theorem.3rd edn

J.-P. Serre,Lectures on the Mordell-Weil Theorem.3rd edn. Aspects of Math- ematics, Vieweg+Teubner Verlag Wiesbaden (1997).https://doi.org/10. 1007/978-3-663-10632-6

1997
[26]

Serre,Oeuvres – Collected Papers IV: 1985 – 1998.Springer Collected Works in Mathematics, Springer Berlin, Heidelberg (2000)

J.-P. Serre,Oeuvres – Collected Papers IV: 1985 – 1998.Springer Collected Works in Mathematics, Springer Berlin, Heidelberg (2000)

1985
[27]

Tsimerman,The Andr´ e-Oort conjecture forAg, Annals of Mathematics, 187 (2018), 379–390.https://doi.org/10.4007/annals.2018.187.2.2

J. Tsimerman,The Andr´ e-Oort conjecture forAg, Annals of Mathematics, 187 (2018), 379–390.https://doi.org/10.4007/annals.2018.187.2.2

work page doi:10.4007/annals.2018.187.2.2 2018
[28]

Ullmo,Manin-Mumford, Andr´e-Oort, the equidistribution point of view

E. Ullmo,Manin-Mumford, Andr´e-Oort, the equidistribution point of view. In: Granville, A., Rudnick, Z. (eds) Equidistribution in Number Theory, An Introduction. NATO Science Series, vol 237. Springer, Dordrecht.https:// doi.org/10.1007/978-1-4020-5404-4_7(2007)

work page doi:10.1007/978-1-4020-5404-4_7(2007 2007
[29]

Ullmo, A

E. Ullmo, A. Yafaev,Galois orbits and equidistribution of special subvari- eties: towards the Andr´ e-Oort conjecture, Annals of Mathematics 180 (2014), 823–865http://dx.doi.org/10.4007/annals.2014.180.3.1

work page doi:10.4007/annals.2014.180.3.1 2014
[30]

Van den Dries,Tame Topology and O-Minimal Structures.Cambridge Uni- versity Press; 1998

L. Van den Dries,Tame Topology and O-Minimal Structures.Cambridge Uni- versity Press; 1998. 50 RODOLPHE RICHARD AND ANDREI YAF AEV

1998
[31]

Yuan, S.-W

X. Yuan, S.-W. Zhang,On the averaged Colmez conjecture, Annals of Mathe- matics, 187 (2018), 533–638.https://doi.org/10.4007/annals.2018.187. 2.4 Email address:Rodolphe.Richard@normalesup.org The University of Manchester, Alan Turing Building, Oxford Rd, Manchester M13 9PL, UK Email address:a.yafaev@ucl.ac.uk UCL, Department of Mathematics, Gower Street, ...

work page doi:10.4007/annals.2018.187 2018