[論文レビュー] Pseudofree Z/3-actions on K3 surfaces

Ximin Liu, Nobuhiro Nakamura|ArXiv.org|Apr 13, 2006

Advanced Operator Algebra Research参考文献 5被引用数 4

ひとこと要約

この論文は表現論と Seiberg-Witten 不変量を用いて、K3 表面への局所線形な擬自由な ℤ/3-作用を分類し、標準的 K3 表面への滑らかな作用として実現できないような作用の存在を証明する。固定点データに基づき4つの異なる作用の型を特定し、Seiberg-Witten 不変量の mod 3 停止定理を用いて、型 $A_1$ が標準的滑らか構造では滑らかに実現できないことを示す。

ABSTRACT

In this paper, we give a weak classification of locally linear pseudofree actions of the cyclic group of order 3 on a $K3$ surface, and prove the existence of such an action which can not be realized as a smooth action on the standard smooth $K3$ surface.

研究の動機と目的

• 局所線形な擬自由な ℤ/3-作用を固定点データとコhomological 不変量に基づいて弱分類すること。
• このような作用のうち、標準的滑らか K3 表面への滑らかな作用として実現可能なものを特定すること。
• トポロジカルに実現可能ではあるが、標準的滑らか構造では滑らかに実現できない作用の存在を確立すること。
• 群作用の型、Seiberg-Witten 不変量、K3 表面の滑らか構造との関係を調査すること。

提案手法

• 素数位数の巡回群を用いた4次元多様体への局所線形な擬自由群作用の実現定理（Edmonds と Ewing）を適用する。
• $G$-署名公式と表現論を用いて、固定点型 $(1,2)$（型 +）と $(1,1)$（型 -）による作用の分類を行う。
• $G$-スピン定理を用いて、固定点におけるLefschetz数を用いてディラック作用素の $G$-インデックスを計算する。
• Fang の $\mathbb{Z}/3$-作用下での Seiberg-Witten 不変量の mod $p$ 停止定理を適用し、滑らかでない性質の検出に用いる。
• 標準的 K3 表面における canonical $\mathrm{Spin}^c$-構造と $\mathrm{SW}(c_0) = \pm 1$ を用いて、滑らかな実現の障害をテストする。
• トポロジカルおよび代数的制約を用いて、型 $A_0$、$A_1$、$A_2$、$B$ の作用の明示的例を構成する。

実験結果

リサーチクエスチョン

• RQ1 K3 表面への局所線形な擬自由な ℤ/3-作用のうち、標準的滑らか K3 表面への滑らかな作用として実現可能なものはどれか？
• RQ2 このような作用の固定点配置（型 + と型 - の観点から）はどのようなものがあり、それらが群作用にどのような制約を与えるか？
• RQ3 Seiberg-Witten 不変量の mod 3 停止定理を用いて、特定のトポロジカル作用の滑らかな実現を妨げる可能性はあるか？
• RQ4 与えられたトポロジカル作用が、滑らかでないままであるような K3 表面の無限個の滑らか構造が存在するか？
• RQ5 コhomological 不変量 $b_2^G$、$b_+^G$、$b_-^G$ は、作用の型と作用の滑らか実現可能性とどのように関係しているか？

主な発見

• K3 表面への局所線形な擬自由な ℤ/3-作用は、固定点の数とコhomological データに基づき、正確に4つの型 $A_0$、$A_1$、$A_2$、$B$ に分類される。
• 型 $A_1$ は $m_+ = 3$、$m_- = 6$、$\#X^G = 9$、$b_2^G = 12$、$b_+^G = 3$、$b_-^G = 9$、および $\mathrm{Sign}(X/G) = -6$ を満たす。
• 型 $A_1$ は、Fang の mod 3 停止定理との矛盾により、標準的滑らか K3 表面への滑らかな作用として実現できない。
• 標準的 K3 表面では $\mathrm{SW}_{X}(c_0) = \pm 1$ であり、ディラック作用素の $G$-インデックスの係数 $k_j$ は $k_0 = 0$、$k_1 = k_2 = 1$ を満たすため、$k_j > 1$ となる項は存在せず、mod 3 停止の条件を満たさない。
• 型 $A_1$ の作用は、K3 表面の無限個の滑らか構造において滑らかでない。これは、$\gcd(p,q) = 1$ かつ $p,q$ が奇数であるような楕円曲面 $E(2)_{p,q}$ の滑らか構造に対しても成り立つ。
• 型 $A_0$ はフェルマー四次曲面への滑らかな作用として実現可能であるが、型 $A_2$ と $B$ については滑らか実現可能性の分類は未解決のままである。