The fiber product of the Torelli map with any product $\mathcal{A}_{g_1}\times \dots \times \mathcal{A}_{g_k}\to\mathcal{A}_g$ is reduced

Fuente: arXiv
Guardado en:
Detalles Bibliográficos
Autor principal: Drakengren, Lycka
Formato: Preprint
Publicado: 2026
Materias:
Acceso en línea:
Etiquetas: Agregar Etiqueta
Sin Etiquetas, Sea el primero en etiquetar este registro!
_version_ 1866912804370382848
author Drakengren, Lycka
author_facet Drakengren, Lycka
contents We prove that the fiber product of the Torelli map $t\colon \mathcal{M}^{ct}_g \to \mathcal{A}_g$ with any product $\mathcal{A}_{g_1}\times\dots\times \mathcal{A}_{g_k} \to \mathcal{A}_g$ for $g=g_1+\dots+g_k$ has a reduced scheme structure. As a consequence, letting $d=\text{codim}(t^*[\mathcal{A}_{g_1}\times\dots\times \mathcal{A}_{g_k}])$, we find that the class $t^*[\mathcal{A}_{g_1}\times\dots\times \mathcal{A}_{g_k}]\in \mathsf{CH}^{d}(\mathcal{M}^{ct}_g)$ is tautological. In particular, we obtain $t^*[\mathcal{A}_{g_1}\times\dots\times \mathcal{A}_{g_k}] = 0$ for $d > 2g-3.$
format Preprint
id arxiv_https___arxiv_org_abs_2601_02592
institution arXiv
publishDate 2026
record_format arxiv
spellingShingle The fiber product of the Torelli map with any product $\mathcal{A}_{g_1}\times \dots \times \mathcal{A}_{g_k}\to\mathcal{A}_g$ is reduced
Drakengren, Lycka
Algebraic Geometry
14C17, 32G20, 14H10, 14K10
We prove that the fiber product of the Torelli map $t\colon \mathcal{M}^{ct}_g \to \mathcal{A}_g$ with any product $\mathcal{A}_{g_1}\times\dots\times \mathcal{A}_{g_k} \to \mathcal{A}_g$ for $g=g_1+\dots+g_k$ has a reduced scheme structure. As a consequence, letting $d=\text{codim}(t^*[\mathcal{A}_{g_1}\times\dots\times \mathcal{A}_{g_k}])$, we find that the class $t^*[\mathcal{A}_{g_1}\times\dots\times \mathcal{A}_{g_k}]\in \mathsf{CH}^{d}(\mathcal{M}^{ct}_g)$ is tautological. In particular, we obtain $t^*[\mathcal{A}_{g_1}\times\dots\times \mathcal{A}_{g_k}] = 0$ for $d > 2g-3.$
title The fiber product of the Torelli map with any product $\mathcal{A}_{g_1}\times \dots \times \mathcal{A}_{g_k}\to\mathcal{A}_g$ is reduced
topic Algebraic Geometry
14C17, 32G20, 14H10, 14K10
url https://arxiv.org/abs/2601.02592