{"title":"Steenbrink-type vanishing for surfaces in positive characteristic","authors":"Tatsuro Kawakami","doi":"10.1112/blms.13146","DOIUrl":null,"url":null,"abstract":"<p>Let <span></span><math>\n <semantics>\n <mrow>\n <mo>(</mo>\n <mi>X</mi>\n <mo>,</mo>\n <mi>B</mi>\n <mo>)</mo>\n </mrow>\n <annotation>$(X,B)$</annotation>\n </semantics></math> be a pair of a normal surface over a perfect field of characteristic <span></span><math>\n <semantics>\n <mrow>\n <mi>p</mi>\n <mo>></mo>\n <mn>0</mn>\n </mrow>\n <annotation>$p&gt;0$</annotation>\n </semantics></math> and an effective <span></span><math>\n <semantics>\n <mi>Q</mi>\n <annotation>$\\mathbb {Q}$</annotation>\n </semantics></math>-divisor <span></span><math>\n <semantics>\n <mi>B</mi>\n <annotation>$B$</annotation>\n </semantics></math> on <span></span><math>\n <semantics>\n <mi>X</mi>\n <annotation>$X$</annotation>\n </semantics></math>. We prove that Steenbrink-type vanishing holds for <span></span><math>\n <semantics>\n <mrow>\n <mo>(</mo>\n <mi>X</mi>\n <mo>,</mo>\n <mi>B</mi>\n <mo>)</mo>\n </mrow>\n <annotation>$(X,B)$</annotation>\n </semantics></math> if it is log canonical and <span></span><math>\n <semantics>\n <mrow>\n <mi>p</mi>\n <mo>></mo>\n <mn>5</mn>\n </mrow>\n <annotation>$p&gt;5$</annotation>\n </semantics></math>, or it is <span></span><math>\n <semantics>\n <mi>F</mi>\n <annotation>$F$</annotation>\n </semantics></math>-pure. We also show that rational surface singularities satisfying the vanishing are <span></span><math>\n <semantics>\n <mi>F</mi>\n <annotation>$F$</annotation>\n </semantics></math>-injective.</p>","PeriodicalId":55298,"journal":{"name":"Bulletin of the London Mathematical Society","volume":"56 11","pages":"3484-3501"},"PeriodicalIF":0.8000,"publicationDate":"2024-09-12","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"0","resultStr":null,"platform":"Semanticscholar","paperid":null,"PeriodicalName":"Bulletin of the London Mathematical Society","FirstCategoryId":"100","ListUrlMain":"https://onlinelibrary.wiley.com/doi/10.1112/blms.13146","RegionNum":3,"RegionCategory":"数学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"Q2","JCRName":"MATHEMATICS","Score":null,"Total":0}
引用次数: 0
Abstract
Let be a pair of a normal surface over a perfect field of characteristic and an effective -divisor on . We prove that Steenbrink-type vanishing holds for if it is log canonical and , or it is -pure. We also show that rational surface singularities satisfying the vanishing are -injective.
让 ( X , B ) $(X,B)$ 是一对在特性 p > 0 $p>0$ 的完全域上的法向面和在 X $X$ 上的有效 Q $\mathbb {Q}$ -divisor B $B$ 。我们证明,如果 ( X , B ) $(X,B)$ 是 log canonical 且 p > 5 $p>5$ 或它是 F $F$ 纯的,则 Steenbrink 型消失成立。我们还证明了满足消失的有理曲面奇点是 F $F$ -注入的。