[論文レビュー] Totally invariant divisors of endomorphisms of projective spaces

Hoering, Andreas|arXiv (Cornell University)|Jan 24, 2016

Algebraic Geometry and Number Theory参考文献 15被引用数 4

ひとこと要約

この論文は、射影空間の自己準同型における完全不変な素被覆の非正則部分の次数の下界を、対数微分形式とチャーン類の計算を用いて確立する。P³では、任意の完全不変な素被覆は超平面でなければならないことを証明し、この場合における線形性予想を裏付ける。高次の被覆は特異性の制約により完全不変にはなり得ないことを示す。

ABSTRACT

Totally invariant divisors of endomorphisms of the projective space are expected to be always unions of linear spaces. Using logarithmic differentials we establish a lower bound for the degree of the non-normal locus of a totally invariant divisor. As a consequence we prove the linearity of totally invariant divisors for $P^3$.

研究の動機と目的

• 自己準同型 f: Pⁿ → Pⁿ における完全不変な部分多様体が常に線形部分多様体であるという予想を解消すること、特に被覆の場合に焦点を当てる。
• 射影空間における完全不変な素被覆の幾何学的およびコhomologicalな制約を理解すること。
• P³では、任意の完全不変な素被覆は超平面でなければならないことを証明し、3次元における線形性予想を裏付けること。
• このような被覆の非正則部分の次数に対して、鋭い下界を確立すること。高次の被覆が、制御された方法で特異的でない限り完全不変にはなり得ないことを示す。

提案手法

• 完全不変な素被覆 D の特異性を解析するために、対数余接層 ΩPⁿ(log D) を用いる。
• 対数的分岐公式を適用し、Pⁿ の標準的被覆を、被覆の引き戻しと分岐被覆 R に結びつける。
• 剰余完全系列と正規化写像 ν: ˜D → D を用いて、ΩPⁿ(log D) ⊗ OPⁿ(1) の第1および第2チャーン類を計算する。
• ボットの定理と ΩPⁿ(log D) ⊗ OPⁿ(1) の大域的切断を用いて、OPⁿ⊕ⁿ⁺¹ から対数的バンドルへの準同型を構成する。
• 層準同型のチャーン類に関する重要な補題を適用し、一般の曲面 S = f⁻¹(P²) 上で、引き戻しバンドルと元のバンドルの c₂ を比較する。
• f が極化的である（f*H ≡ mH）ことと、f を繰り返し適用することで、非正則部分 Z の不変性を保証し、次数の議論を用いてチャーン類を比較可能にする。

実験結果

リサーチクエスチョン

• RQ1 Pⁿ における完全不変な素被覆が次数 d ≥ 2 である場合、非線形であることは可能か。特に P³ においては。
• RQ2 対数微分形式とチャーン類は、このような被覆の非正則部分にどのような制約を課えるか。
• RQ3 次数 d = n の超曲面が、Pⁿ の自己準同型のもとで完全不変であることは可能か。
• RQ4 完全不変被覆の非正則部分の次数は、n と d の関数として下界で制限されるか。
• RQ5 P³ における完全不変部分多様体の線形性予想は確認可能か。

主な発見

• 完全不変な素被覆 D ⊂ Pⁿ（次数 d ≥ 2）の非正則部分 Z の次数は、deg(Z) > (d − 1)² − n(n − 1)/2 を満たす。
• P³ では、任意の完全不変な素被覆は超平面でなければならない。なぜなら、不等式により deg(Z) > 1 が導かれるが、d = 4 のとき、平面曲線の deg(Z) の上界は 1 であるため、D が滑らかまたは線形でない限り矛盾が生じる。
• d = n のとき、不等式 deg(Z) > ½(n − 2)(n − 1) は、既知の上界 deg(Z) ≤ ½(n − 1)(n − 2) に対して矛盾を引き起こす。これにより、次数 n の非可約被覆は完全不変にはなり得ないことが証明される。
• 本結果は、以前の研究を改善し、次数 n の正則的でない超曲面が、Pⁿ からの自己準同型を誘導しないことを示している。
• 次数の下界における厳密な不等号は本質的である。等号が成り立つと、チャーン類の項の漸近的挙動に矛盾が生じる。これにより、境界が鋭いことが証明される。
• 本手法により、P³ における線形性予想が確認され、対数幾何と層的不変量を用いた完全不変部分多様体の一般枠組みが提供される。