{"title":"恩里克曲面上奇异曲线的高斯映射","authors":"Dario Faro","doi":"10.1007/s13348-024-00442-y","DOIUrl":null,"url":null,"abstract":"<p>A marked Prym curve is a triple <span>\\((C,\\alpha ,T_d)\\)</span> where <i>C</i> is a smooth algebraic curve, <span>\\(\\alpha \\)</span> is a <span>\\(2-\\)</span>torsion line bundle on <i>C</i>, and <span>\\(T_d\\)</span> is a divisor of degree <i>d</i>. We give obstructions—in terms of Gaussian maps—for a marked Prym curve <span>\\((C,\\alpha ,T_d)\\)</span> to admit a singular model lying on an Enriques surface with only one ordinary singular point of multiplicity <i>d</i>, such that <span>\\(T_d\\)</span> is the pull-back of the singular point by the normalization map. More precisely, let (<i>S</i>, <i>H</i>) be a polarized Enriques surface and let (<i>C</i>, <i>f</i>) be a smooth curve together with a morphism <span>\\(f:C \\rightarrow S\\)</span> birational onto its image and such that <span>\\(f(C) \\in |H|\\)</span>, <i>f</i>(<i>C</i>) has exactly one ordinary singular point of multiplicity <i>d</i>. Let <span>\\(\\alpha =f^*\\omega _S\\)</span> and <span>\\(T_d\\)</span> be the divisor over the singular point of <i>f</i>(<i>C</i>). We show that if <i>H</i> is sufficiently positive then certain natural Gaussian maps on <i>C</i>, associated with <span>\\(\\omega _C\\)</span>, <span>\\(\\alpha \\)</span>, and <span>\\(T_d\\)</span> are not surjective. On the contrary, we show that for the general triple in the moduli space of marked Prym curves <span>\\((C,\\alpha ,T_d)\\)</span>, the same Gaussian maps are surjective.</p>","PeriodicalId":50993,"journal":{"name":"Collectanea Mathematica","volume":null,"pages":null},"PeriodicalIF":0.7000,"publicationDate":"2024-04-30","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"0","resultStr":"{\"title\":\"Gaussian maps for singular curves on Enriques surfaces\",\"authors\":\"Dario Faro\",\"doi\":\"10.1007/s13348-024-00442-y\",\"DOIUrl\":null,\"url\":null,\"abstract\":\"<p>A marked Prym curve is a triple <span>\\\\((C,\\\\alpha ,T_d)\\\\)</span> where <i>C</i> is a smooth algebraic curve, <span>\\\\(\\\\alpha \\\\)</span> is a <span>\\\\(2-\\\\)</span>torsion line bundle on <i>C</i>, and <span>\\\\(T_d\\\\)</span> is a divisor of degree <i>d</i>. We give obstructions—in terms of Gaussian maps—for a marked Prym curve <span>\\\\((C,\\\\alpha ,T_d)\\\\)</span> to admit a singular model lying on an Enriques surface with only one ordinary singular point of multiplicity <i>d</i>, such that <span>\\\\(T_d\\\\)</span> is the pull-back of the singular point by the normalization map. More precisely, let (<i>S</i>, <i>H</i>) be a polarized Enriques surface and let (<i>C</i>, <i>f</i>) be a smooth curve together with a morphism <span>\\\\(f:C \\\\rightarrow S\\\\)</span> birational onto its image and such that <span>\\\\(f(C) \\\\in |H|\\\\)</span>, <i>f</i>(<i>C</i>) has exactly one ordinary singular point of multiplicity <i>d</i>. Let <span>\\\\(\\\\alpha =f^*\\\\omega _S\\\\)</span> and <span>\\\\(T_d\\\\)</span> be the divisor over the singular point of <i>f</i>(<i>C</i>). We show that if <i>H</i> is sufficiently positive then certain natural Gaussian maps on <i>C</i>, associated with <span>\\\\(\\\\omega _C\\\\)</span>, <span>\\\\(\\\\alpha \\\\)</span>, and <span>\\\\(T_d\\\\)</span> are not surjective. On the contrary, we show that for the general triple in the moduli space of marked Prym curves <span>\\\\((C,\\\\alpha ,T_d)\\\\)</span>, the same Gaussian maps are surjective.</p>\",\"PeriodicalId\":50993,\"journal\":{\"name\":\"Collectanea Mathematica\",\"volume\":null,\"pages\":null},\"PeriodicalIF\":0.7000,\"publicationDate\":\"2024-04-30\",\"publicationTypes\":\"Journal Article\",\"fieldsOfStudy\":null,\"isOpenAccess\":false,\"openAccessPdf\":\"\",\"citationCount\":\"0\",\"resultStr\":null,\"platform\":\"Semanticscholar\",\"paperid\":null,\"PeriodicalName\":\"Collectanea Mathematica\",\"FirstCategoryId\":\"100\",\"ListUrlMain\":\"https://doi.org/10.1007/s13348-024-00442-y\",\"RegionNum\":2,\"RegionCategory\":\"数学\",\"ArticlePicture\":[],\"TitleCN\":null,\"AbstractTextCN\":null,\"PMCID\":null,\"EPubDate\":\"\",\"PubModel\":\"\",\"JCR\":\"Q2\",\"JCRName\":\"MATHEMATICS\",\"Score\":null,\"Total\":0}","platform":"Semanticscholar","paperid":null,"PeriodicalName":"Collectanea Mathematica","FirstCategoryId":"100","ListUrlMain":"https://doi.org/10.1007/s13348-024-00442-y","RegionNum":2,"RegionCategory":"数学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"Q2","JCRName":"MATHEMATICS","Score":null,"Total":0}
引用次数: 0
摘要
有标记的普赖姆曲线是一个三元组(((C,\alpha ,T_d)\),其中 C 是一条光滑的代数曲线,\(\alpha \)是 C 上的\(2-\)扭转线束,\(T_d\)是阶数为 d 的除数。我们用高斯映射给出了有标记的普赖姆曲线 \((C,\alpha ,T_d)\)在恩里克斯曲面上的奇点模型的障碍,该奇点模型只有一个乘数为 d 的普通奇点,这样 \(T_d\)就是奇点在归一化映射作用下的回拉。更确切地说,让(S, H)是一个极化的恩里克斯曲面,让(C, f)是一条光滑曲线,同时有一个态(f:C \rightarrow S\ )双向到它的像上,并且使得 \(f(C) \in |H|\),f(C) 恰好有一个乘数为 d 的普通奇异点。让 \(\alpha =f^*\omega _S\) 和 \(T_d\) 是 f(C) 奇点上的除数。我们证明,如果 H 是足够正的,那么 C 上与\(\omega _C\)、\(\alpha \)和\(T_d\)相关的某些自然高斯映射就不是投射性的。相反,我们证明了对于有标记的普赖姆曲线的模空间中的一般三元组 \((C,\alpha ,T_d)\),同样的高斯映射都是可射的。
Gaussian maps for singular curves on Enriques surfaces
A marked Prym curve is a triple \((C,\alpha ,T_d)\) where C is a smooth algebraic curve, \(\alpha \) is a \(2-\)torsion line bundle on C, and \(T_d\) is a divisor of degree d. We give obstructions—in terms of Gaussian maps—for a marked Prym curve \((C,\alpha ,T_d)\) to admit a singular model lying on an Enriques surface with only one ordinary singular point of multiplicity d, such that \(T_d\) is the pull-back of the singular point by the normalization map. More precisely, let (S, H) be a polarized Enriques surface and let (C, f) be a smooth curve together with a morphism \(f:C \rightarrow S\) birational onto its image and such that \(f(C) \in |H|\), f(C) has exactly one ordinary singular point of multiplicity d. Let \(\alpha =f^*\omega _S\) and \(T_d\) be the divisor over the singular point of f(C). We show that if H is sufficiently positive then certain natural Gaussian maps on C, associated with \(\omega _C\), \(\alpha \), and \(T_d\) are not surjective. On the contrary, we show that for the general triple in the moduli space of marked Prym curves \((C,\alpha ,T_d)\), the same Gaussian maps are surjective.
期刊介绍:
Collectanea Mathematica publishes original research peer reviewed papers of high quality in all fields of pure and applied mathematics. It is an international journal of the University of Barcelona and the oldest mathematical journal in Spain. It was founded in 1948 by José M. Orts. Previously self-published by the Institut de Matemàtica (IMUB) of the Universitat de Barcelona, as of 2011 it is published by Springer.