[論文レビュー] Algebraic torus actions on contact manifolds

Jarosław Buczyński, Jarosław A. Wiśniewski+1 more|arXiv (Cornell University)|Feb 14, 2018

Algebraic Geometry and Number Theory被引用数 5

ひとこと要約

この論文は、接触Fano多様体の再帰的自己同型群のランクが $n-2$ 以上である次元 $2n+1$ の場合に、LeBrun-Salamon予想を低次元で証明している。代数的トーラス作用、Białynicki-Birula分解、および等配分リーマン・ローチ理論を用いて、実次元16未満の正のクaternionケーラー多様体が対称空間（Wolf空間）であることを確立し、これらのケースで予想を解決した。

ABSTRACT

We prove the LeBrun-Salamon Conjecture in low dimensions. More precisely, we show that a contact Fano manifold X of dimension 2n+1 that has reductive automorphism group of rank at least n-2 is necessarily homogeneous. This implies that any positive quaternion-Kahler manifold of real dimension at most 16 is necessarily a symmetric space, one of the Wolf spaces. A similar result about contact Fano manifolds of dimension at most 9 with reductive automorphism group also holds. The main difficulty in approaching the conjecture is how to recognize a homogeneous space in an abstract variety. We contribute to such problem in general, by studying the action of algebraic torus on varieties and exploiting Bialynicki-Birula decomposition and equivariant Riemann-Roch theorems. From the point of view of T-varieties (that is, varieties with a torus action), our result is about high complexity T-manifolds. The complexity here is at most 1/2(dim X+5) with dim X arbitrarily high, but we require this special (contact) structure of X. Previous methods for studying T-varieties in general usually only apply for complexity at most 2 or 3.

研究の動機と目的

• 再帰的自己同型群のランクが高い接触Fano多様体が常に斉次空間であることを証明することで、低次元におけるLeBrun-Salamon予想を解決すること。
• 実次元16未満の正のクォータニオンケーラー多様体が対称空間（Wolf空間）であることを確立し、予想の重要なケースを確認すること。
• 代数的トーラス作用と組合せ的不変量を用いて、抽象的代数的多様体における斉次空間の識別に新たな技術を開発すること。
• 複雑度 ≤ 3 の場合に限らないT多様体理論の適用範囲を、特別な幾何構造（接触形式など）を持つ高複雑度接触多様体を分析することで拡張すること。
• K理論における等配分リーマン・ローチおよび局所化定理を応用し、トーラス作用下でのオイラー乗数および幾何的不変量を検出すること。

提案手法

• 接触Fano多様体上のトーラス作用の固定点成分を分析するためにBiałynicki-Birula分解を用いる。
• K理論における等配分リーマン・ローチおよび局所化を用いて、固定点部分多様体上の積分により等配分オイラー乗数 $\chi^H(X;E)$ を計算する。
• チャーン類および $\lambda_{-1}$ 変換を適用し、$\chi^H(X;E)$ を固定点成分における重みおよびTodd類を含む和の形に表現する。
• 固定点における接表現のコンパス（重みの集合）を分析し、多様体の幾何的制約を導出する。
• 自己同型群作用を低下・制限することで、接触分布の構造とトーラス作用との整合性を研究する。
• 例外型リー群（$E$および$F$型）の根ポリトープを用いて、$G$-多様体を比較し、高ランク半単純自己同型群の場合の斉次性を導出する。

実験結果

リサーチクエスチョン

• RQ1 再帰的自己同型群を持つ接触Fano多様体が、どのような条件下で必ず斉次空間になるか？
• RQ2 実次元16未満の正のクォータニオンケーラー多様体について、LeBrun-Salamon予想を検証できるか？
• RQ3 代数的トーラス作用を用いて、抽象的複素接触多様体における斉次性をどのように検出できるか？
• RQ4 接触形式のような追加の幾何的構造が存在する場合、複雑度 $>3$ の高複雑度ケースにまでT多様体理論をどの程度まで拡張できるか？
• RQ5 等配分リーマン・ローチ定理は、固定点成分におけるオイラー乗数やラインバンド次数といった幾何的不変量を検出するために果たす役割は何か？

主な発見

• 次元 $2n+1$ の接触Fano多様体で、再帰的自己同型群のランクが $n-2$ 以上であるものは斉次空間である。これは、この範囲でLeBrun-Salamon予想が証明されたことを意味する。
• 実次元16未満の正のクォータニオンケーラー多様体はすべて対称空間であり、具体的にはWolf空間の一つである。
• 著者らは、再帰的自己同型群を持つ次元9未満の接触Fano多様体が斉次空間であることも確立し、低次元への結果の拡張を達成した。
• 本手法は、複雑度が $\frac{1}{2}(\dim X + 5)$ までのT多様体にまで成功裏に適用可能であり、従来の複雑度 ≤ 3 の範囲を著しく超える。
• 局所化を伴う等配分リーマン・ローチ公式により、$\chi^H(X;L)$ の正確な計算が可能であり、固定点曲線および点からの寄与が重みおよび genus に基づいて明示的に導出された。
• 固定点成分が曲線である場合、オイラー乗数への寄与には、$g_i$（ genus ）、$d_i$（次数）、$\nu_{i,j}$（重み）を含む項が含まれ、$\frac{t^{\mu_i}}{\prod_j (1 - t^{\nu_{i,j}})^{r_{i,j}}} \left(1 - g_i + d_i + \sum_j \frac{n_{i,j}}{t^{-\nu_{i,j}} - 1}\right)$ として与えられる。