[論文レビュー] F-purity versus log canonicity for polynomials

Daniel J. Hernández|arXiv (Cornell University)|Dec 12, 2011

Commutative Algebra and Its Applications参考文献 13被引用数 14

ひとこと要約

本稿では、単項式集合 $\mathscr{M}$ のニュートン多面体から導かれる新しい有理多面体 $\boldsymbol{P}$ を用いて、複素数上の多項式の $F$-純度閾値がその対数正則閾値に等しくなる条件を確立する。主な結果は、非常に一般な係数を持つ場合に、分裂多面体 $\boldsymbol{P}$ が一意な最大点を持つ、または $p-1$ 倍した閾値に関して特定の整数性条件を満たすとき、$F$-純度と対数正則性が同値であることを示している。

ABSTRACT

In this article, we consider the conjectured relationship between F-purity and log canonicity for polynomials over the complex numbers. We associate to a collection M of n monomials a rational polytope P contained in [0,1]^n. Using P and the Newton polyhedron associated to M, we define a non-degeneracy condition under which log canonicity and dense F-pure type are equivalent for all linear combinations of the monomials in M. We also show that log canonicity corresponds to F-purity for very general polynomials. Our methods rely on showing that the F-pure and log canonical threshold agree for infinitely primes, and we accomplish this by comparing these thresholds with the thresholds associated to their monomial ideals.

研究の動機と目的

• 複素多項式における $F$-純度と対数正則性の予想される同値性を調査すること。
• 多項式の $F$-純度閾値がその対数正則閾値に等しくなる条件を特定すること。
• 単項式集合のニュートン多面体と関連付ける新しい幾何的不変量「分裂多面体 $\boldsymbol{P}$」を導入すること。
• 分裂多面体 $\boldsymbol{P}$ が一意な最大点を持つ場合に、非常に一般な係数のもとで $F$-純度と対数正則性が一致することを示すこと。

提案手法

• 単項式の集合 $\mathscr{M}$ から、$\boldsymbol{P} \subseteq [0,1]^n$ である有理多面体（分裂多面体）を構成する。
• $\mathscr{M}$ の $F$-純度閾値を、多面体 $\boldsymbol{P}$ の幾何と $\mathscr{M}$ のニュートン多面体 $\mathbf{N}$ と関連付ける。
• 座標和が最大である点 $\eta \in \boldsymbol{P}$ を最大点と定義し、これを用いて閾値の等式を分析する。
• $\boldsymbol{P}$ が一意な最大点を持ち、$(p-1)\eta \in \mathbb{N}^n$ を満たすとき、不等式 $\operatorname{fpt}_{\mathfrak{m}}(f) \leq \min\{1, \operatorname{fpt}_{\mathfrak{m}}(\mathscr{M})\}$ の等号が成立することを証明する。
• 単項式イデアルを通じた $F$-純度閾値と対数正則閾値の比較を用いて、無限個の素数において両者が一致することを示す。
• $\operatorname{Spec} \mathbb{Z}$ 上の代数幾何学を適用し、$\pi^{-1}(p)$ の稠密な開部分集合 $W_p \subseteq \pi^{-1}(p)$ を用いて、$p$ を法とする主要な二項係数が消えないことを保証する。

実験結果

リサーチクエスチョン

• RQ1 ニュートン多面体と分裂多面体のどの条件下で、単項式の $\mathbb{C}^*$-線形結合 $f$ の $F$-純度閾値がその対数正則閾値に等しくなるか？
• RQ2 $\mathscr{M}$ に属する多項式 $f$ に対して、不等式 $\operatorname{fpt}_{\mathfrak{m}}(f) \leq \min\{1, \operatorname{fpt}_{\mathfrak{m}}(\mathscr{M})\}$ が等号に達するのはいつか？
• RQ3 $(p-1)\cdot \eta \in \mathbb{N}^n$ という整数性条件が、$F$-純度閾値と対数正則閾値の一致を保証するために果たす役割は何か？
• RQ4 分裂多面体 $\boldsymbol{P}$ の幾何は、異なる素数 $p$ における $F$-純度閾値の振る舞いをどのように制御するか？
• RQ5 分裂多面体 $\boldsymbol{P}$ と $\mathscr{M}$ に特定の条件が満たされるとき、$\operatorname{Spec} \mathbb{Z}$ のファイバー上で $F$-純度閾値が一定に保たれるか？

主な発見

• $\boldsymbol{P}$ が一意な最大点 $\eta$ を持ち、$(p-1)\eta \in \mathbb{N}^n$ を満たす限り、$\mathscr{M}$ の単項式の $\mathbb{C}^*$-線形結合であるすべての $f$ に対して、$F$-純度閾値の不等式が等号に達する。
• $\mathscr{M}$ に対して $\operatorname{fpt}_{\mathfrak{m}}(\mathscr{M}) \leq 1$ が成り立つとき、$(p-1)\cdot \operatorname{fpt}_{\mathfrak{m}}(\mathscr{M}) \in \mathbb{N}$ を満たす係数を持つすべての $f$ に対して、$\mathbb{A}^n_K$ の真の閉部分集合 $Z \subset \mathbb{A}^n_K$ の外側で等号が成立する。
• $\gamma = \min\{1, \operatorname{fpt}_{\mathfrak{m}}(\mathscr{M})\}$ が $1$ 以下であり、関連する二項係数が $p$ を法として消えない限り、$\operatorname{Spec} \mathbb{Z}$ の稠密な開部分集合に係数を持つすべての $f$ に対して、$f$ の $F$-純度閾値は $\gamma$ に等しい。
• $\mathbb{F}_p[u_1,\dots,u_n]$ 内に非ゼロ係数 $\Theta_{\lambda,p}(\mathbf{u})$ が存在することは、$f^{(p-1)\gamma} \notin \mathfrak{m}^{[p]}$ を意味し、これにより補題 2.5 を用いて $\operatorname{fpt}_{\mathfrak{m}}(f) = \gamma$ が導かれる。
• $F$-純度閾値は、素数 $p$ におけるファイバー内に稠密な開集合 $W_p \subset \pi^{-1}(p)$ において一定であり、特殊化のもとでも閾値の安定性が示される。
• 結果は非常に一般な多項式へと拡張される：このような $f$ に対して、分裂多面体 $\boldsymbol{P}$ が一意性および整数性条件を満たすとき、$F$-純度と対数正則性は同値である。