{"title":"${\\mathbb P}^1上椭圆曲面模空间的Chow环$","authors":"Samir Canning, Bochao Kong","doi":"10.14231/ag-2023-016","DOIUrl":null,"url":null,"abstract":"Let $E_N$ denote the coarse moduli space of smooth elliptic surfaces over $\\mathbb{P}^1$ with fundamental invariant $N$. We compute the Chow ring $A^*(E_N)$ for $N\\geq 2$. For each $N\\geq 2$, $A^*(E_N)$ is Gorenstein with socle in codimension $16$, which is surprising in light of the fact that the dimension of $E_N$ is $10N-2$. As an application, we show that the maximal dimension of a complete subvariety of $E_N$ is $16$. When $N=2$, the corresponding elliptic surfaces are K3 surfaces polarized by a hyperbolic lattice $U$. We show that the generators for $A^*(E_2)$ are tautological classes on the moduli space $\\mathcal{F}_{U}$ of $U$-polarized K3 surfaces, which provides evidence for a conjecture of Oprea and Pandharipande on the tautological rings of moduli spaces of lattice polarized K3 surfaces.","PeriodicalId":48564,"journal":{"name":"Algebraic Geometry","volume":" ","pages":""},"PeriodicalIF":1.2000,"publicationDate":"2021-10-10","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"1","resultStr":"{\"title\":\"The Chow rings of moduli spaces of elliptic surfaces over ${\\\\mathbb P}^1$\",\"authors\":\"Samir Canning, Bochao Kong\",\"doi\":\"10.14231/ag-2023-016\",\"DOIUrl\":null,\"url\":null,\"abstract\":\"Let $E_N$ denote the coarse moduli space of smooth elliptic surfaces over $\\\\mathbb{P}^1$ with fundamental invariant $N$. We compute the Chow ring $A^*(E_N)$ for $N\\\\geq 2$. For each $N\\\\geq 2$, $A^*(E_N)$ is Gorenstein with socle in codimension $16$, which is surprising in light of the fact that the dimension of $E_N$ is $10N-2$. As an application, we show that the maximal dimension of a complete subvariety of $E_N$ is $16$. When $N=2$, the corresponding elliptic surfaces are K3 surfaces polarized by a hyperbolic lattice $U$. We show that the generators for $A^*(E_2)$ are tautological classes on the moduli space $\\\\mathcal{F}_{U}$ of $U$-polarized K3 surfaces, which provides evidence for a conjecture of Oprea and Pandharipande on the tautological rings of moduli spaces of lattice polarized K3 surfaces.\",\"PeriodicalId\":48564,\"journal\":{\"name\":\"Algebraic Geometry\",\"volume\":\" \",\"pages\":\"\"},\"PeriodicalIF\":1.2000,\"publicationDate\":\"2021-10-10\",\"publicationTypes\":\"Journal Article\",\"fieldsOfStudy\":null,\"isOpenAccess\":false,\"openAccessPdf\":\"\",\"citationCount\":\"1\",\"resultStr\":null,\"platform\":\"Semanticscholar\",\"paperid\":null,\"PeriodicalName\":\"Algebraic Geometry\",\"FirstCategoryId\":\"100\",\"ListUrlMain\":\"https://doi.org/10.14231/ag-2023-016\",\"RegionNum\":1,\"RegionCategory\":\"数学\",\"ArticlePicture\":[],\"TitleCN\":null,\"AbstractTextCN\":null,\"PMCID\":null,\"EPubDate\":\"\",\"PubModel\":\"\",\"JCR\":\"Q1\",\"JCRName\":\"MATHEMATICS\",\"Score\":null,\"Total\":0}","platform":"Semanticscholar","paperid":null,"PeriodicalName":"Algebraic Geometry","FirstCategoryId":"100","ListUrlMain":"https://doi.org/10.14231/ag-2023-016","RegionNum":1,"RegionCategory":"数学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"Q1","JCRName":"MATHEMATICS","Score":null,"Total":0}
The Chow rings of moduli spaces of elliptic surfaces over ${\mathbb P}^1$
Let $E_N$ denote the coarse moduli space of smooth elliptic surfaces over $\mathbb{P}^1$ with fundamental invariant $N$. We compute the Chow ring $A^*(E_N)$ for $N\geq 2$. For each $N\geq 2$, $A^*(E_N)$ is Gorenstein with socle in codimension $16$, which is surprising in light of the fact that the dimension of $E_N$ is $10N-2$. As an application, we show that the maximal dimension of a complete subvariety of $E_N$ is $16$. When $N=2$, the corresponding elliptic surfaces are K3 surfaces polarized by a hyperbolic lattice $U$. We show that the generators for $A^*(E_2)$ are tautological classes on the moduli space $\mathcal{F}_{U}$ of $U$-polarized K3 surfaces, which provides evidence for a conjecture of Oprea and Pandharipande on the tautological rings of moduli spaces of lattice polarized K3 surfaces.
期刊介绍:
This journal is an open access journal owned by the Foundation Compositio Mathematica. The purpose of the journal is to publish first-class research papers in algebraic geometry and related fields. All contributions are required to meet high standards of quality and originality and are carefully screened by experts in the field.