<p>We define a (perfectoid) mixed characteristic version of <InlineEquation ID="IEq1"> <EquationSource Format="MATHML"><math> <mi>F</mi> </math></EquationSource> <EquationSource Format="TEX">$F$</EquationSource> </InlineEquation>-signature and Hilbert-Kunz multiplicity by utilizing the perfectoidization functor of Bhatt-Scholze and Faltings’ normalized length (also developed in the work of Gabber-Ramero). We show that these definitions coincide with the classical theory in equal characteristic <InlineEquation ID="IEq2"> <EquationSource Format="MATHML"><math> <mi>p</mi> <mo>&gt;</mo> <mn>0</mn> </math></EquationSource> <EquationSource Format="TEX">$p &gt; 0$</EquationSource> </InlineEquation>. We prove that a ring is regular if and only if either its perfectoid signature or perfectoid Hilbert-Kunz multiplicity is 1 and we show that perfectoid Hilbert-Kunz multiplicity characterizes BCM closure and extended plus closure of <InlineEquation ID="IEq3"> <EquationSource Format="MATHML"><math> <mi mathvariant="fraktur">m</mi> </math></EquationSource> <EquationSource Format="TEX">$\mathfrak{m}$</EquationSource> </InlineEquation>-primary ideals. We demonstrate that perfectoid signature detects BCM-regularity and transforms similarly to <InlineEquation ID="IEq4"> <EquationSource Format="MATHML"><math> <mi>F</mi> </math></EquationSource> <EquationSource Format="TEX">$F$</EquationSource> </InlineEquation>-signature or normalized volume under quasi-étale maps. As a consequence, we prove that BCM-regular rings have finite local étale fundamental group and also finite torsion part of their divisor class groups. Finally, we also define a mixed characteristic version of relative rational signature, and show it characterizes BCM-rational singularities.</p>

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

Perfectoid signature, perfectoid Hilbert-Kunz multiplicity, and an application to local fundamental groups

  • Hanlin Cai,
  • Seungsu Lee,
  • Linquan Ma,
  • Karl Schwede,
  • Kevin Tucker

摘要

We define a (perfectoid) mixed characteristic version of F $F$ -signature and Hilbert-Kunz multiplicity by utilizing the perfectoidization functor of Bhatt-Scholze and Faltings’ normalized length (also developed in the work of Gabber-Ramero). We show that these definitions coincide with the classical theory in equal characteristic p > 0 $p > 0$ . We prove that a ring is regular if and only if either its perfectoid signature or perfectoid Hilbert-Kunz multiplicity is 1 and we show that perfectoid Hilbert-Kunz multiplicity characterizes BCM closure and extended plus closure of m $\mathfrak{m}$ -primary ideals. We demonstrate that perfectoid signature detects BCM-regularity and transforms similarly to F $F$ -signature or normalized volume under quasi-étale maps. As a consequence, we prove that BCM-regular rings have finite local étale fundamental group and also finite torsion part of their divisor class groups. Finally, we also define a mixed characteristic version of relative rational signature, and show it characterizes BCM-rational singularities.