{"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}
引用次数: 0
Abstract
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.