正特征曲面的斯登布林克型消失

IF 0.8 3区数学 Q2 MATHEMATICS Bulletin of the London Mathematical Society Pub Date : 2024-09-12 DOI:10.1112/blms.13146

Tatsuro Kawakami

{"title":"正特征曲面的斯登布林克型消失","authors":"Tatsuro Kawakami","doi":"10.1112/blms.13146","DOIUrl":null,"url":null,"abstract":"Let <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 <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 <math>\n <semantics>\n <mi>Q</mi>\n <annotation>$\\mathbb {Q}$</annotation>\n </semantics></math>-divisor <math>\n <semantics>\n <mi>B</mi>\n <annotation>$B$</annotation>\n </semantics></math> on <math>\n <semantics>\n <mi>X</mi>\n <annotation>$X$</annotation>\n </semantics></math>. We prove that Steenbrink-type vanishing holds for <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 <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 <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 <math>\n <semantics>\n <mi>F</mi>\n <annotation>$F$</annotation>\n </semantics></math>-injective.","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":"{\"title\":\"Steenbrink-type vanishing for surfaces in positive characteristic\",\"authors\":\"Tatsuro Kawakami\",\"doi\":\"10.1112/blms.13146\",\"DOIUrl\":null,\"url\":null,\"abstract\":\"Let <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 <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 <math>\\n <semantics>\\n <mi>Q</mi>\\n <annotation>$\\\\mathbb {Q}$</annotation>\\n </semantics></math>-divisor <math>\\n <semantics>\\n <mi>B</mi>\\n <annotation>$B$</annotation>\\n </semantics></math> on <math>\\n <semantics>\\n <mi>X</mi>\\n <annotation>$X$</annotation>\\n </semantics></math>. We prove that Steenbrink-type vanishing holds for <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 <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 <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 <math>\\n <semantics>\\n <mi>F</mi>\\n <annotation>$F$</annotation>\\n </semantics></math>-injective.\",\"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}","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

摘要

让 ( 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$ -注入的。

本文章由计算机程序翻译，如有差异，请以英文原文为准。

查看原文

微信好友朋友圈 QQ好友复制链接

本刊更多论文

Steenbrink-type vanishing for surfaces in positive characteristic

Let $(X, B)$ be a pair of a normal surface over a perfect field of characteristic $p > 0$ and an effective $Q$ -divisor $B$ on $X$ . We prove that Steenbrink-type vanishing holds for $(X, B)$ if it is log canonical and $p > 5$ , or it is $F$ -pure. We also show that rational surface singularities satisfying the vanishing are $F$ -injective.