Zhibek Kadyrsizova, J. Kenkel, Janet Page, J. Singh, Karen E. Smith, Adela Vraciu, E. Witt
{"title":"Lower bounds on the F-pure threshold and extremal singularities","authors":"Zhibek Kadyrsizova, J. Kenkel, Janet Page, J. Singh, Karen E. Smith, Adela Vraciu, E. Witt","doi":"10.1090/btran/106","DOIUrl":null,"url":null,"abstract":"<p>We prove that if <inline-formula content-type=\"math/mathml\">\n<mml:math xmlns:mml=\"http://www.w3.org/1998/Math/MathML\" alttext=\"f\">\n <mml:semantics>\n <mml:mi>f</mml:mi>\n <mml:annotation encoding=\"application/x-tex\">f</mml:annotation>\n </mml:semantics>\n</mml:math>\n</inline-formula> is a reduced homogeneous polynomial of degree <inline-formula content-type=\"math/mathml\">\n<mml:math xmlns:mml=\"http://www.w3.org/1998/Math/MathML\" alttext=\"d\">\n <mml:semantics>\n <mml:mi>d</mml:mi>\n <mml:annotation encoding=\"application/x-tex\">d</mml:annotation>\n </mml:semantics>\n</mml:math>\n</inline-formula>, then its <inline-formula content-type=\"math/mathml\">\n<mml:math xmlns:mml=\"http://www.w3.org/1998/Math/MathML\" alttext=\"upper F\">\n <mml:semantics>\n <mml:mi>F</mml:mi>\n <mml:annotation encoding=\"application/x-tex\">F</mml:annotation>\n </mml:semantics>\n</mml:math>\n</inline-formula>-pure threshold at the unique homogeneous maximal ideal is at least <inline-formula content-type=\"math/mathml\">\n<mml:math xmlns:mml=\"http://www.w3.org/1998/Math/MathML\" alttext=\"StartFraction 1 Over d minus 1 EndFraction\">\n <mml:semantics>\n <mml:mfrac>\n <mml:mn>1</mml:mn>\n <mml:mrow>\n <mml:mi>d</mml:mi>\n <mml:mo>−<!-- − --></mml:mo>\n <mml:mn>1</mml:mn>\n </mml:mrow>\n </mml:mfrac>\n <mml:annotation encoding=\"application/x-tex\">\\frac {1}{d-1}</mml:annotation>\n </mml:semantics>\n</mml:math>\n</inline-formula>. We show, furthermore, that its <inline-formula content-type=\"math/mathml\">\n<mml:math xmlns:mml=\"http://www.w3.org/1998/Math/MathML\" alttext=\"upper F\">\n <mml:semantics>\n <mml:mi>F</mml:mi>\n <mml:annotation encoding=\"application/x-tex\">F</mml:annotation>\n </mml:semantics>\n</mml:math>\n</inline-formula>-pure threshold equals <inline-formula content-type=\"math/mathml\">\n<mml:math xmlns:mml=\"http://www.w3.org/1998/Math/MathML\" alttext=\"StartFraction 1 Over d minus 1 EndFraction\">\n <mml:semantics>\n <mml:mfrac>\n <mml:mn>1</mml:mn>\n <mml:mrow>\n <mml:mi>d</mml:mi>\n <mml:mo>−<!-- − --></mml:mo>\n <mml:mn>1</mml:mn>\n </mml:mrow>\n </mml:mfrac>\n <mml:annotation encoding=\"application/x-tex\">\\frac {1}{d-1}</mml:annotation>\n </mml:semantics>\n</mml:math>\n</inline-formula> if and only if <inline-formula content-type=\"math/mathml\">\n<mml:math xmlns:mml=\"http://www.w3.org/1998/Math/MathML\" alttext=\"f element-of German m Superscript left-bracket q right-bracket\">\n <mml:semantics>\n <mml:mrow>\n <mml:mi>f</mml:mi>\n <mml:mo>∈<!-- ∈ --></mml:mo>\n <mml:msup>\n <mml:mrow class=\"MJX-TeXAtom-ORD\">\n <mml:mi mathvariant=\"fraktur\">m</mml:mi>\n </mml:mrow>\n <mml:mrow class=\"MJX-TeXAtom-ORD\">\n <mml:mo stretchy=\"false\">[</mml:mo>\n <mml:mi>q</mml:mi>\n <mml:mo stretchy=\"false\">]</mml:mo>\n </mml:mrow>\n </mml:msup>\n </mml:mrow>\n <mml:annotation encoding=\"application/x-tex\">f\\in \\mathfrak m^{[q]}</mml:annotation>\n </mml:semantics>\n</mml:math>\n</inline-formula> and <inline-formula content-type=\"math/mathml\">\n<mml:math xmlns:mml=\"http://www.w3.org/1998/Math/MathML\" alttext=\"d equals q plus 1\">\n <mml:semantics>\n <mml:mrow>\n <mml:mi>d</mml:mi>\n <mml:mo>=</mml:mo>\n <mml:mi>q</mml:mi>\n <mml:mo>+</mml:mo>\n <mml:mn>1</mml:mn>\n </mml:mrow>\n <mml:annotation encoding=\"application/x-tex\">d=q+1</mml:annotation>\n </mml:semantics>\n</mml:math>\n</inline-formula>, where <inline-formula content-type=\"math/mathml\">\n<mml:math xmlns:mml=\"http://www.w3.org/1998/Math/MathML\" alttext=\"q\">\n <mml:semantics>\n <mml:mi>q</mml:mi>\n <mml:annotation encoding=\"application/x-tex\">q</mml:annotation>\n </mml:semantics>\n</mml:math>\n</inline-formula> is a power of <inline-formula content-type=\"math/mathml\">\n<mml:math xmlns:mml=\"http://www.w3.org/1998/Math/MathML\" alttext=\"p\">\n <mml:semantics>\n <mml:mi>p</mml:mi>\n <mml:annotation encoding=\"application/x-tex\">p</mml:annotation>\n </mml:semantics>\n</mml:math>\n</inline-formula>. Up to linear changes of coordinates (over a fixed algebraically closed field), we classify such “extremal singularities”, and show that there is at most one with isolated singularity. Finally, we indicate several ways in which the projective hypersurfaces defined by such forms are “extremal”, for example, in terms of the configurations of lines they can contain.</p>","PeriodicalId":377306,"journal":{"name":"Transactions of the American Mathematical Society, Series B","volume":"66 1","pages":"0"},"PeriodicalIF":0.0000,"publicationDate":"2020-09-28","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"5","resultStr":null,"platform":"Semanticscholar","paperid":null,"PeriodicalName":"Transactions of the American Mathematical Society, Series B","FirstCategoryId":"1085","ListUrlMain":"https://doi.org/10.1090/btran/106","RegionNum":0,"RegionCategory":null,"ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"","JCRName":"","Score":null,"Total":0}
引用次数: 5
Abstract
We prove that if ff is a reduced homogeneous polynomial of degree dd, then its FF-pure threshold at the unique homogeneous maximal ideal is at least 1d−1\frac {1}{d-1}. We show, furthermore, that its FF-pure threshold equals 1d−1\frac {1}{d-1} if and only if f∈m[q]f\in \mathfrak m^{[q]} and d=q+1d=q+1, where qq is a power of pp. Up to linear changes of coordinates (over a fixed algebraically closed field), we classify such “extremal singularities”, and show that there is at most one with isolated singularity. Finally, we indicate several ways in which the projective hypersurfaces defined by such forms are “extremal”, for example, in terms of the configurations of lines they can contain.