Universally irreducible subvarieties of Siegel moduli spaces (Q6145331)

Le revêtement universel au sens des orbifoldes de l'espace des modules des variétés abéliennes \(\mathcal{A}_{g}\) est le demi-espace supérieur de Siegel \(\mathbb{H}_{g}\). Le quotient est donné par l'action de \(\Gamma_{g}=\mathrm{Sp}_{2g}(\mathbb{Z})\) et chaque sous-groupe \(\Gamma\) de \(\Gamma_{g}\) détermine un revêtement fini étale \(\mathcal{A}_{g}(\Gamma) = \mathbb{H}_{g}/\Gamma\) de \(\mathcal{A}_{g}\). Motivés par l'étude des formes modulaires, voir [\textit{E. Freitag}, Singular modular forms and theta relations. Berlin etc.: Springer-Verlag (1991; Zbl 0744.11024)], les auteurs introduisent les notions de varietés universellement et absolument irreductibles. Une sous variété de \(\mathcal{A}_{g}(\Gamma)\) est absolument irréductible si sa préimage dans tout revêtement fini étale (au sens des orbifoldes) de \(\mathcal{A}_{g}(\Gamma)\) est irréductible. Elle est universellement irréductible si sa préimage dans le revêtement universel \(\mathbb{H}_{g}\) est irréductible. Les auteurs montrent en autres les résultats suivants pour tout \(g \geq 3\). La préimage d'un diviseur effectif de \(\mathcal{A}_{g}(\Gamma)\) dans \(\mathbb{H}_{g}\) est connexe. De plus, s'il est localmente irréductible, alors il est universellement irréductible. Par ailleurs, la préimage d'une intersection complète de codimension \(\leq g-2\) de \(\mathcal{A}_{g}(\Gamma)\) dans \(\mathbb{H}_{g}\) possède au plus un nombre fini de composantes. Finalement, les auteurs donnent un critère pour la connectivité et l'irréductibilité de la préimage dans \(\mathbb{H}_{g}\) d'une sous-variété de \(\mathcal{A}_{g}(\Gamma)\) en considérant son intersection avec les jacobiennes de courbes algébriques.