<p>We study the plus-pure threshold (<InlineEquation ID="IEq1"> <EquationSource Format="TEX">\({{\,\textrm{ppt}\,}}\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mspace width="0.166667em" /> <mtext>ppt</mtext> <mspace width="0.166667em" /> </mrow> </math></EquationSource> </InlineEquation>) of hypersurfaces in mixed characteristic. We show that the <InlineEquation ID="IEq2"> <EquationSource Format="TEX">\({{\,\textrm{ppt}\,}}\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mspace width="0.166667em" /> <mtext>ppt</mtext> <mspace width="0.166667em" /> </mrow> </math></EquationSource> </InlineEquation> limits to the <i>F</i>-pure threshold (fpt) as we ramify the base DVR. Additionally, we show that analogs of some positive characteristic extremal singularities cannot attain the same ‘extremal’ <InlineEquation ID="IEq3"> <EquationSource Format="TEX">\({{\,\textrm{ppt}\,}}\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mspace width="0.166667em" /> <mtext>ppt</mtext> <mspace width="0.166667em" /> </mrow> </math></EquationSource> </InlineEquation> values in the unramified setting. We also study equations which have controlled ramification when we adjoin their <i>p</i>-th roots as well as equations which admit <i>p</i>-th roots modulo <InlineEquation ID="IEq4"> <EquationSource Format="TEX">\(p^2\)</EquationSource> <EquationSource Format="MATHML"><math> <msup> <mi>p</mi> <mn>2</mn> </msup> </math></EquationSource> </InlineEquation> (or modulo other values), bounding their <InlineEquation ID="IEq5"> <EquationSource Format="TEX">\({{\,\textrm{ppt}\,}}\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mspace width="0.166667em" /> <mtext>ppt</mtext> <mspace width="0.166667em" /> </mrow> </math></EquationSource> </InlineEquation>s. In particular, given a complete unramified regular local ring of mixed characteristic <InlineEquation ID="IEq6"> <EquationSource Format="TEX">\(p&gt;0\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>p</mi> <mo>&gt;</mo> <mn>0</mn> </mrow> </math></EquationSource> </InlineEquation>, <InlineEquation ID="IEq7"> <EquationSource Format="TEX">\(f^p + p^2 g\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <msup> <mi>f</mi> <mi>p</mi> </msup> <mo>+</mo> <msup> <mi>p</mi> <mn>2</mn> </msup> <mi>g</mi> </mrow> </math></EquationSource> </InlineEquation> does not define a perfectoid pure singularity for any <i>f</i> and <i>g</i>. Finally, we compute bounds on the <InlineEquation ID="IEq8"> <EquationSource Format="TEX">\({{\,\textrm{ppt}\,}}\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mspace width="0.166667em" /> <mtext>ppt</mtext> <mspace width="0.166667em" /> </mrow> </math></EquationSource> </InlineEquation> of hypersurfaces related to elliptic curves. This gives examples where the <InlineEquation ID="IEq9"> <EquationSource Format="TEX">\({{\,\textrm{ppt}\,}}\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mspace width="0.166667em" /> <mtext>ppt</mtext> <mspace width="0.166667em" /> </mrow> </math></EquationSource> </InlineEquation> is neither the corresponding <InlineEquation ID="IEq10"> <EquationSource Format="TEX">\({{\,\textrm{fpt}\,}}\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mspace width="0.166667em" /> <mtext>fpt</mtext> <mspace width="0.166667em" /> </mrow> </math></EquationSource> </InlineEquation> in characteristic <InlineEquation ID="IEq11"> <EquationSource Format="TEX">\(p &gt; 0\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>p</mi> <mo>&gt;</mo> <mn>0</mn> </mrow> </math></EquationSource> </InlineEquation> nor the <InlineEquation ID="IEq12"> <EquationSource Format="TEX">\({{\,\textrm{lct}\,}}\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mspace width="0.166667em" /> <mtext>lct</mtext> <mspace width="0.166667em" /> </mrow> </math></EquationSource> </InlineEquation> in characteristic zero. This also provides examples where <i>p</i> times the <InlineEquation ID="IEq13"> <EquationSource Format="TEX">\({{\,\textrm{ppt}\,}}\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mspace width="0.166667em" /> <mtext>ppt</mtext> <mspace width="0.166667em" /> </mrow> </math></EquationSource> </InlineEquation> is not a jumping number, in stark contrast with the characteristic <InlineEquation ID="IEq14"> <EquationSource Format="TEX">\(p &gt; 0\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>p</mi> <mo>&gt;</mo> <mn>0</mn> </mrow> </math></EquationSource> </InlineEquation> picture.</p>

错误:搜索内容不能为空,请输入英文关键词
错误:关键词超出字数限制,请精简
高级检索

Bounds on the plus-pure thresholds of some hypersurfaces in (ramified) regular rings

  • Marta Benozzo,
  • Vignesh Jagathese,
  • Vaibhav Pandey,
  • Pedro Ramírez-Moreno,
  • Karl Schwede,
  • Prashanth Sridhar

摘要

We study the plus-pure threshold ( \({{\,\textrm{ppt}\,}}\) ppt ) of hypersurfaces in mixed characteristic. We show that the \({{\,\textrm{ppt}\,}}\) ppt limits to the F-pure threshold (fpt) as we ramify the base DVR. Additionally, we show that analogs of some positive characteristic extremal singularities cannot attain the same ‘extremal’ \({{\,\textrm{ppt}\,}}\) ppt values in the unramified setting. We also study equations which have controlled ramification when we adjoin their p-th roots as well as equations which admit p-th roots modulo \(p^2\) p 2 (or modulo other values), bounding their \({{\,\textrm{ppt}\,}}\) ppt s. In particular, given a complete unramified regular local ring of mixed characteristic \(p>0\) p > 0 , \(f^p + p^2 g\) f p + p 2 g does not define a perfectoid pure singularity for any f and g. Finally, we compute bounds on the \({{\,\textrm{ppt}\,}}\) ppt of hypersurfaces related to elliptic curves. This gives examples where the \({{\,\textrm{ppt}\,}}\) ppt is neither the corresponding \({{\,\textrm{fpt}\,}}\) fpt in characteristic \(p > 0\) p > 0 nor the \({{\,\textrm{lct}\,}}\) lct in characteristic zero. This also provides examples where p times the \({{\,\textrm{ppt}\,}}\) ppt is not a jumping number, in stark contrast with the characteristic \(p > 0\) p > 0 picture.