[論文レビュー] Configurations of Linear Spaces of Codimension Two and the Containment Problem

Ben Drabkin|arXiv (Cornell University)|Apr 25, 2017

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

ひとこと要約

この論文は、$\mathbb{P}^N$（$N \geq 2$）における記号的包含予想 $I^{(3)} \not\subseteq I^2$ の反例族を、フェルマー型の超平面配置を用いて構成する。超平面 $F_{N,n} = \prod_{i<j}(x_i^n - x_j^n)$ の三重交差から生じる $N-2$ 次元線型部分空間を捉える理想 $I_{N,n}$ を定義することで、$F_{N,n} \in I_{N,n}^{(3)}$ だが $F_{N,n} \not\in I_{N,n}^2$ であることを証明し、$\mathbb{P}^2$ や $\mathbb{P}^3$ における既知の反例をすべての次元に一般化する。

ABSTRACT

We show that the union of certain codimension two flats in Fermat hyperplane arrangements does not have the symbolic cube of the defining ideal contained in the square of the ideal.

研究の動機と目的

• 既知の反例を $\mathbb{P}^2$ や $\mathbb{P}^3$ を超えて、すべての $\mathbb{P}^N$（$N \geq 2$）にまで拡張すること。
• フェルマー型配置における超平面の三重交差から生じる $N-2$ 次元線型空間からなる多様体を特徴づける理想 $I_{N,n}$ の族を構成すること。
• $F_{N,n} \in I_{N,n}^{(3)}$ だが $F_{N,n} \not\in I_{N,n}^2$ であることを証明し、高次元における $I^{(3)} \subseteq I^2$ の予想に対する反例を確立すること。
• 評価準同型の手法を一般化し、補題 2.3 を用いて高次元射影空間における包含の不成立を帰納的に証明すること。

提案手法

• フェルマー型超平面配置に対応する線型形式の積として $F_{N,n} = \prod_{0 \leq i < j \leq N} (x_i^n - x_j^n)$ を定義し、$\mathbb{P}^N$ 上の配置を構成する。
• 超平面 $x_i^n - x_j^n$ からなる $n$ 個の超平面の交差を捉える $C_{N,n}$ と、異なる線型形式の三重交差を捉える $J_{N,n}$ を用いて、$I_{N,n} = J_{N,n} \cap C_{N,n}$ を構成する。
• 補題 2.2 を用いて、$I_{N,n}$ が配置に現れるすべての $N-2$ 次元線型空間の和集合を定義することを示す。
• 評価準同型 $\pi: S_N \to S_{N-1}$ を $\pi(x_N) = 1$ で定義し、問題を $\mathbb{P}^N$ から $\mathbb{P}^{N-1}$ に還元する。
• 補題 2.3 を活用し、$\pi(F_{N,n}) = F_{N-1,n} \cdot g$ かつ $g \not\in \mathfrak{m}$ であるとき、$F_{N-1,n} \not\in I_{N-1,n}^2$ ならば $F_{N,n} \not\in I_{N,n}^2$ であることを示し、帰納的証明を可能にする。
• ザリスキ＝ナガタの定理を用いて、$V(I_{N,n})$ のすべての $N-2$ 次元成分上で $F_{N,n}$ が少なくとも 3 階の位数で消えることを確認し、$F_{N,n} \in I_{N,n}^{(3)}$ を裏付ける。

実験結果

リサーチクエスチョン

• RQ1 $\mathbb{P}^2$ における $I^{(3)} \subseteq I^2$ の反例が $N \geq 3$ の高次元射影空間 $\mathbb{P}^N$ にまで拡張可能か。
• RQ2 フェルマー型配置 $x_i^n - x_j^n$ を用いた超平面配置によって、$\mathbb{P}^N$（$N > 3$）において記号的包含予想 $I^{(m)} \subseteq I^r$ が破られるか。
• RQ3 フェルマー配置 $F_{N,n}$ の三重交差から生じる $N-2$ 次元フラットを捉える理想 $I_{N,n}$ の構造は何か。
• RQ4 評価準同型と補題 2.3 をどのように用いて、$F_{N,n}$ が $I_{N,n}^2$ に属さないことを帰納的に証明できるか。
• RQ5 $F_{N,n}$ が第 3 級記号的冪 $I_{N,n}^{(3)}$ には属するが、平方 $I_{N,n}^2$ には属さないか。これにより、予想される包含関係が破られるか。

主な発見

• すべての $N \geq 2$ に対して、フェルマー配置 $F_{N,n}$ に関連する $N-2$ 次元フラットの理想 $I_{N,n}$ は、$F_{N,n} \in I_{N,n}^{(3)}$ を満たし、$V(I_{N,n})$ 上で少なくとも 3 階の位数で消えることが確認される。
• 評価準同型 $\pi$ を用いた帰納的証明により、$F_{N,n}$ は $I_{N,n}^2$ には属さない。具体的には $\pi(F_{N,n}) = F_{N-1,n} \cdot g$ かつ $g \not\in \mathfrak{m}$ である。
• 帰納ステップは補題 2.3 に依存しており、$F_{N-1,n} \not\in I_{N-1,n}^2$ かつ $g$ が極大イデアル modulo で単元であるとき、$F_{N,n} \not\in I_{N,n}^2$ であることを保証する。
• この構成により、$\mathbb{P}^2$（Dumnicki, Szemberg, Tutaj-Gasińska）および $\mathbb{P}^3$（Malara, Szpond）における既知の反例が、すべての $\mathbb{P}^N$（$N \geq 2$）に一般化される。
• 本結果により、高次元射影空間における $m = 3$、$r = 2$ の場合の $I^{(m)} \subseteq I^r$ 予想に対する新しい反例族が得られる。
• $I_{N,n}$ が配置に現れるすべての $N-2$ 次元線型空間に対応する素イデアルの共通部分として表されることを示し、幾何学的に正しい構造であることが確認される。