{"title":"阿贝尔封面和第二基本形式","authors":"Paola Frediani","doi":"10.1007/s00229-024-01556-0","DOIUrl":null,"url":null,"abstract":"<p>We give some conditions on a family of abelian covers of <span>\\({\\mathbb P}^1\\)</span> of genus <i>g</i> curves, that ensure that the family yields a subvariety of <span>\\({\\mathsf A}_g\\)</span> which is not totally geodesic, hence it is not Shimura. As a consequence, we show that for any abelian group <i>G</i>, there exists an integer <i>M</i> which only depends on <i>G</i> such that if <span>\\(g >M\\)</span>, then the family yields a subvariety of <span>\\({\\mathsf A}_g\\)</span> which is not totally geodesic. We prove then analogous results for families of abelian covers of <span>\\({\\tilde{C}}_t \\rightarrow {\\mathbb P}^1 = {\\tilde{C}}_t/{\\tilde{G}}\\)</span> with an abelian Galois group <span>\\({\\tilde{G}}\\)</span> of even order, proving that under some conditions, if <span>\\(\\sigma \\in {\\tilde{G}}\\)</span> is an involution, the family of Pryms associated with the covers <span>\\({\\tilde{C}}_t \\rightarrow C_t= {\\tilde{C}}_t/\\langle \\sigma \\rangle \\)</span> yields a subvariety of <span>\\({\\mathsf A}_{p}^{\\delta }\\)</span> which is not totally geodesic. As a consequence, we show that if <span>\\({\\tilde{G}}=(\\mathbb Z/N\\mathbb Z)^m\\)</span> with <i>N</i> even, and <span>\\(\\sigma \\)</span> is an involution in <span>\\({\\tilde{G}}\\)</span>, there exists an integer <i>M</i>(<i>N</i>) which only depends on <i>N</i> such that, if <span>\\({\\tilde{g}}= g({\\tilde{C}}_t) > M(N)\\)</span>, then the subvariety of the Prym locus in <span>\\({{\\mathsf A}}^{\\delta }_{p}\\)</span> induced by any such family is not totally geodesic (hence it is not Shimura).</p>","PeriodicalId":0,"journal":{"name":"","volume":null,"pages":null},"PeriodicalIF":0.0,"publicationDate":"2024-04-04","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"0","resultStr":"{\"title\":\"Abelian covers and the second fundamental form\",\"authors\":\"Paola Frediani\",\"doi\":\"10.1007/s00229-024-01556-0\",\"DOIUrl\":null,\"url\":null,\"abstract\":\"<p>We give some conditions on a family of abelian covers of <span>\\\\({\\\\mathbb P}^1\\\\)</span> of genus <i>g</i> curves, that ensure that the family yields a subvariety of <span>\\\\({\\\\mathsf A}_g\\\\)</span> which is not totally geodesic, hence it is not Shimura. As a consequence, we show that for any abelian group <i>G</i>, there exists an integer <i>M</i> which only depends on <i>G</i> such that if <span>\\\\(g >M\\\\)</span>, then the family yields a subvariety of <span>\\\\({\\\\mathsf A}_g\\\\)</span> which is not totally geodesic. We prove then analogous results for families of abelian covers of <span>\\\\({\\\\tilde{C}}_t \\\\rightarrow {\\\\mathbb P}^1 = {\\\\tilde{C}}_t/{\\\\tilde{G}}\\\\)</span> with an abelian Galois group <span>\\\\({\\\\tilde{G}}\\\\)</span> of even order, proving that under some conditions, if <span>\\\\(\\\\sigma \\\\in {\\\\tilde{G}}\\\\)</span> is an involution, the family of Pryms associated with the covers <span>\\\\({\\\\tilde{C}}_t \\\\rightarrow C_t= {\\\\tilde{C}}_t/\\\\langle \\\\sigma \\\\rangle \\\\)</span> yields a subvariety of <span>\\\\({\\\\mathsf A}_{p}^{\\\\delta }\\\\)</span> which is not totally geodesic. As a consequence, we show that if <span>\\\\({\\\\tilde{G}}=(\\\\mathbb Z/N\\\\mathbb Z)^m\\\\)</span> with <i>N</i> even, and <span>\\\\(\\\\sigma \\\\)</span> is an involution in <span>\\\\({\\\\tilde{G}}\\\\)</span>, there exists an integer <i>M</i>(<i>N</i>) which only depends on <i>N</i> such that, if <span>\\\\({\\\\tilde{g}}= g({\\\\tilde{C}}_t) > M(N)\\\\)</span>, then the subvariety of the Prym locus in <span>\\\\({{\\\\mathsf A}}^{\\\\delta }_{p}\\\\)</span> induced by any such family is not totally geodesic (hence it is not Shimura).</p>\",\"PeriodicalId\":0,\"journal\":{\"name\":\"\",\"volume\":null,\"pages\":null},\"PeriodicalIF\":0.0,\"publicationDate\":\"2024-04-04\",\"publicationTypes\":\"Journal Article\",\"fieldsOfStudy\":null,\"isOpenAccess\":false,\"openAccessPdf\":\"\",\"citationCount\":\"0\",\"resultStr\":null,\"platform\":\"Semanticscholar\",\"paperid\":null,\"PeriodicalName\":\"\",\"FirstCategoryId\":\"100\",\"ListUrlMain\":\"https://doi.org/10.1007/s00229-024-01556-0\",\"RegionNum\":0,\"RegionCategory\":null,\"ArticlePicture\":[],\"TitleCN\":null,\"AbstractTextCN\":null,\"PMCID\":null,\"EPubDate\":\"\",\"PubModel\":\"\",\"JCR\":\"\",\"JCRName\":\"\",\"Score\":null,\"Total\":0}","platform":"Semanticscholar","paperid":null,"PeriodicalName":"","FirstCategoryId":"100","ListUrlMain":"https://doi.org/10.1007/s00229-024-01556-0","RegionNum":0,"RegionCategory":null,"ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"","JCRName":"","Score":null,"Total":0}
We give some conditions on a family of abelian covers of \({\mathbb P}^1\) of genus g curves, that ensure that the family yields a subvariety of \({\mathsf A}_g\) which is not totally geodesic, hence it is not Shimura. As a consequence, we show that for any abelian group G, there exists an integer M which only depends on G such that if \(g >M\), then the family yields a subvariety of \({\mathsf A}_g\) which is not totally geodesic. We prove then analogous results for families of abelian covers of \({\tilde{C}}_t \rightarrow {\mathbb P}^1 = {\tilde{C}}_t/{\tilde{G}}\) with an abelian Galois group \({\tilde{G}}\) of even order, proving that under some conditions, if \(\sigma \in {\tilde{G}}\) is an involution, the family of Pryms associated with the covers \({\tilde{C}}_t \rightarrow C_t= {\tilde{C}}_t/\langle \sigma \rangle \) yields a subvariety of \({\mathsf A}_{p}^{\delta }\) which is not totally geodesic. As a consequence, we show that if \({\tilde{G}}=(\mathbb Z/N\mathbb Z)^m\) with N even, and \(\sigma \) is an involution in \({\tilde{G}}\), there exists an integer M(N) which only depends on N such that, if \({\tilde{g}}= g({\tilde{C}}_t) > M(N)\), then the subvariety of the Prym locus in \({{\mathsf A}}^{\delta }_{p}\) induced by any such family is not totally geodesic (hence it is not Shimura).