Quadratic period relations and Shimura subvarieties for CM abelian varieties

Let AA be a CM abelian variety of dimension g1g\geq 1, let [o]Ag(Q)[o]\in\mathbb{A}_g(\overline{\mathbb{Q}}) parametrize AA, and set [o]:=([o],,[o])[\mathbf{o}]:=([o],\ldots,[o]). An elementary quadratic relation is a non-trivial elementary algebraic relation of degree two between the holomorphic periods of AA. A root space is a root space of the tangent space T[o]AgT_{[o]}\mathbb{A}_g. The Shimura-subvariety conjecture. The following are equivalent: (i) there exist non-trivial elementary quadratic relations between the holomorphic periods of AA; (ii) there exist r1r\geq 1 and a Shimura subvariety SS of Agr\mathbb{A}_{gr} such that SS contains [o][\mathbf{o}] and

T[o]ST_{[\mathbf{o}]}S

is not the direct sum of root spaces of T[o]AgT_{[o]}\mathbb{A}_g. The equivalence would connect quadratic period relations with exceptional tangent subspaces on Shimura varieties; the supplied text gives no resolution, so the conjecture remains open.

Sources & referencesView supporting material

Primary source

Ziyang Gao and Emmanuel Ullmo, “Hodge cycles and quadratic relations between holomorphic periods on CM abelian varieties”, arXiv:2411.12249 (2025).

Progress summary

Never refreshed

Nothing recorded yet. Refresh searches the literature and the public web for attempts on this problem, and writes the first summary here.

Solutions 0

No solutions have been posted yet.