Special subvarieties in Mumford-Tate varieties

TL;DR

This paper develops new numerical criteria to identify special subvarieties within Mumford-Tate varieties, generalizing concepts from Shimura varieties and contributing to the understanding of the Andre-Oort conjecture.

Contribution

It introduces a new formulation of the relative proportionality condition for special subvarieties in Mumford-Tate varieties, providing necessary and sufficient criteria.

Findings

Established criteria for special subvarieties in Mumford-Tate varieties.

Applied the criteria to the moduli space of abelian varieties.

Connected the criteria to the Andre-Oort conjecture.

Abstract

Let X be a Mumford-Tate variety, i.e., a quotient of a Mumford-Tate domain D by a discrete subgroup. Mumford-Tate varieties are generalizations of Shimura varieties. We define the notion of a special subvariety Y in X (of Shimura type), and formulate necessary criteria for Y to be special. Our method consists in looking at finitely many compactified special curves C_i in Y, and testing whether the inclusion of the union of all C_i in Y satisfies certain properties. One of them is the so-called relative proportionality condition. In this paper, we give a new formulation of this numerical criterion in the case of Mumford-Tate varieties X. In this way, we give necessary and sufficient criteria for a subvariety Y of X to be a special subvariety in the sense of the Andre-Oort conjecture. We discuss in detail the important case where X=A_g, the moduli space of principally polarized abelian varieties.