{"title":"结构剪切的前推和虚拟全局生成","authors":"Indranil Biswas, Manish Kumar, A. J. Parameswaran","doi":"10.1017/s001309152400021x","DOIUrl":null,"url":null,"abstract":"<p>Let <span><span><img data-mimesubtype=\"png\" data-type=\"\" src=\"https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20240417123522473-0871:S001309152400021X:S001309152400021X_inline1.png\"><span data-mathjax-type=\"texmath\"><span>$f\\,:\\,X\\,\\longrightarrow \\,Y$</span></span></img></span></span> be a generically smooth morphism between irreducible smooth projective curves over an algebraically closed field of arbitrary characteristic. We prove that the vector bundle <span><span><img data-mimesubtype=\"png\" data-type=\"\" src=\"https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20240417123522473-0871:S001309152400021X:S001309152400021X_inline2.png\"><span data-mathjax-type=\"texmath\"><span>$((f_*{\\mathcal O}_X)/{\\mathcal O}_Y)^*$</span></span></img></span></span> is virtually globally generated. Moreover, <span><span><img data-mimesubtype=\"png\" data-type=\"\" src=\"https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20240417123522473-0871:S001309152400021X:S001309152400021X_inline3.png\"><span data-mathjax-type=\"texmath\"><span>$((f_*{\\mathcal O}_X)/{\\mathcal O}_Y)^*$</span></span></img></span></span> is ample if and only if <span>f</span> is genuinely ramified.</p>","PeriodicalId":20586,"journal":{"name":"Proceedings of the Edinburgh Mathematical Society","volume":"49 1","pages":""},"PeriodicalIF":0.7000,"publicationDate":"2024-04-18","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"0","resultStr":"{\"title\":\"Pushforward of structure sheaf and virtual global generation\",\"authors\":\"Indranil Biswas, Manish Kumar, A. J. Parameswaran\",\"doi\":\"10.1017/s001309152400021x\",\"DOIUrl\":null,\"url\":null,\"abstract\":\"<p>Let <span><span><img data-mimesubtype=\\\"png\\\" data-type=\\\"\\\" src=\\\"https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20240417123522473-0871:S001309152400021X:S001309152400021X_inline1.png\\\"><span data-mathjax-type=\\\"texmath\\\"><span>$f\\\\,:\\\\,X\\\\,\\\\longrightarrow \\\\,Y$</span></span></img></span></span> be a generically smooth morphism between irreducible smooth projective curves over an algebraically closed field of arbitrary characteristic. We prove that the vector bundle <span><span><img data-mimesubtype=\\\"png\\\" data-type=\\\"\\\" src=\\\"https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20240417123522473-0871:S001309152400021X:S001309152400021X_inline2.png\\\"><span data-mathjax-type=\\\"texmath\\\"><span>$((f_*{\\\\mathcal O}_X)/{\\\\mathcal O}_Y)^*$</span></span></img></span></span> is virtually globally generated. Moreover, <span><span><img data-mimesubtype=\\\"png\\\" data-type=\\\"\\\" src=\\\"https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20240417123522473-0871:S001309152400021X:S001309152400021X_inline3.png\\\"><span data-mathjax-type=\\\"texmath\\\"><span>$((f_*{\\\\mathcal O}_X)/{\\\\mathcal O}_Y)^*$</span></span></img></span></span> is ample if and only if <span>f</span> is genuinely ramified.</p>\",\"PeriodicalId\":20586,\"journal\":{\"name\":\"Proceedings of the Edinburgh Mathematical Society\",\"volume\":\"49 1\",\"pages\":\"\"},\"PeriodicalIF\":0.7000,\"publicationDate\":\"2024-04-18\",\"publicationTypes\":\"Journal Article\",\"fieldsOfStudy\":null,\"isOpenAccess\":false,\"openAccessPdf\":\"\",\"citationCount\":\"0\",\"resultStr\":null,\"platform\":\"Semanticscholar\",\"paperid\":null,\"PeriodicalName\":\"Proceedings of the Edinburgh Mathematical Society\",\"FirstCategoryId\":\"100\",\"ListUrlMain\":\"https://doi.org/10.1017/s001309152400021x\",\"RegionNum\":3,\"RegionCategory\":\"数学\",\"ArticlePicture\":[],\"TitleCN\":null,\"AbstractTextCN\":null,\"PMCID\":null,\"EPubDate\":\"\",\"PubModel\":\"\",\"JCR\":\"Q2\",\"JCRName\":\"MATHEMATICS\",\"Score\":null,\"Total\":0}","platform":"Semanticscholar","paperid":null,"PeriodicalName":"Proceedings of the Edinburgh Mathematical Society","FirstCategoryId":"100","ListUrlMain":"https://doi.org/10.1017/s001309152400021x","RegionNum":3,"RegionCategory":"数学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"Q2","JCRName":"MATHEMATICS","Score":null,"Total":0}
Pushforward of structure sheaf and virtual global generation
Let $f\,:\,X\,\longrightarrow \,Y$ be a generically smooth morphism between irreducible smooth projective curves over an algebraically closed field of arbitrary characteristic. We prove that the vector bundle $((f_*{\mathcal O}_X)/{\mathcal O}_Y)^*$ is virtually globally generated. Moreover, $((f_*{\mathcal O}_X)/{\mathcal O}_Y)^*$ is ample if and only if f is genuinely ramified.
期刊介绍:
The Edinburgh Mathematical Society was founded in 1883 and over the years, has evolved into the principal society for the promotion of mathematics research in Scotland. The Society has published its Proceedings since 1884. This journal contains research papers on topics in a broad range of pure and applied mathematics, together with a number of topical book reviews.