[論文レビュー] An example of asymptotically Chow unstable manifolds with constant scalar curvature

Hajime Ono, Yuji Sano+1 more|arXiv (Cornell University)|Jun 20, 2009

Geometry and complex manifolds参考文献 17被引用数 23

ひとこと要約

この論文は、定数スカラー曲率ケーラー（cscK）計量と非離散的自己同型群を備えた極小多様体を提示することで、ドナルドソンの漸近的チャウ安定性に関する定理の反例を構成している。トーリックなファノ多様体を用い、ファウタキ不変量が消えないことから、cscK計量が存在するにもかかわらず、自己同型群の非離散性が漸近的チャウ半安定性を妨げることを示している。これは、安定性と計量の対応において、離散的自己同型群の必要性を疑問視するものである。

ABSTRACT

Donaldson proved that if a polarized manifold $(V,L)$ has constant scalar curvature Kähler metrics in $c_1(L)$ and its automorphism group Aut$(M,L)$ is discrete, $(V,L)$ is asymptotically Chow stable. In this paper, we shall show an example which implies that the above result does not hold in the case when Aut$(V,L)$ is not discrete.

研究の動機と目的

• 定数スカラー曲率ケーラー（cscK）計量を備えた多様体におけるドナルドソンの漸近的チャウ安定性定理において、自己同型群が離散的でない場合の必要性を検証すること。
• cscK計量を備えた極小多様体の具体的な例を構成し、それが漸近的チャウ不安定であることを示すことで、ドナルドソンの定理における自己同型群の条件が本質的であることを示すこと。
• ファウタキ不変量およびその一般化が、自己同型群が非離散的である場合に漸近的チャウ半安定性を妨げる役割を果たすことを分析すること。
• トーリックなファノ多様体上で一般化されたファウタキ不変量を明示的に計算することにより、漸近的チャウ半安定性の失敗を検証すること。
• マブーチとファウタキが定義した、漸近的チャウ半安定性の障害が、cscK計量が存在するにもかかわらず、この場合に消えないことを示すこと。

提案手法

• 著者らは、ドナルドソンの定理に対する反例として、特定のファノ構造を持つ4次元多様体を用いたトーリックなファノ多様体を構築した。
• 固定点のトーラス作用を用いて、多項式 $ \phi = \mathrm{Td}^1 $（最初のTodd多項式に対応）に対する一般化されたファウタキ不変量 $ \mathcal{F}_{\phi} $ を計算した。
• この手法では、ホロモーフィックベクトル場の重みと曲率形式を用いて、各トーラス固定点が不変量に与える寄与を評価する。
• 総和 $ \sum_{\mathbf{q}} \frac{(c_2 c_1^6)(L(X)_{\mathbf{q}})}{\det(L(X)_{\mathbf{q}})} $ を用いて総不変量を計算し、これが非ゼロであることを示した。
• 計算は4つの固定点集合（ラベル1〜4）に分けられ、それぞれが異なる代数的和を寄与し、合計は $-143,616$ に評価された。これにより非ゼロ性が確認された。
• 一般化されたファウタキ不変量の非ゼロ性は、cscK計量が存在するにもかかわらず、多様体が漸近的チャウ半安定でないことを示している。

実験結果

リサーチクエスチョン

• RQ1 極小多様体に定数スカラー曲率ケーラー（cscK）計量が存在する場合、自己同型群が非離散的であると、漸近的チャウ安定性が保証されるか？
• RQ2 非ゼロの一般化されたファウタキ不変量を有するトーリックなファノ多様体は、cscK計量を有しながらも、漸近的チャウ半安定性に失敗することができるか？
• RQ3 cscK計量と漸近的チャウ安定性の同値性において、自己同型群の離散性は必須の条件か？
• RQ4 トーリックなファノ多様体において、固定点の寄与が一般化されたファウタキ不変量にどのように寄与するか、正確な代数的寄与を特定するには？
• RQ5 cscK計量が存在する状況下で、一般化されたファウタキ不変量が非ゼロである場合、それが漸近的チャウ半安定性をどのように妨げるか？

主な発見

• 一般化されたファウタキ不変量 $ \mathcal{F}_{\mathrm{Td}^1} $ は $-143,616$ に評価され、非ゼロである。これは漸近的チャウ半安定性に対する障害を示している。
• 固定点の項 $ \frac{(c_2 c_1^6)(L(X)_{\mathbf{q}})}{\det(L(X)_{\mathbf{q}})} $ の和は $-143,616$ に評価され、障害の非ゼロ性が確認された。
• cscK計量が存在するにもかかわらず、多様体は漸近的チャウ不安定である。これは、自己同型群が非離散的である場合にドナルドソンの定理が成立しない反例を提供する。
• 反例は、特定のファノ構造を持つ4次元トーリックなファノ多様体上で実現されており、ホロモーフィックベクトル場の非自明な作用（ゼロ集合が空でない）が不安定性の原因となっている。
• 漸近的チャウ半安定性の失敗は、一般化されたファウタキ不変量の非ゼロ性に直接関連しており、これはマブーチとファウタキの定義する意味での障害として機能している。
• この結果により、ドナルドソンの定理における離散的自己同型群の条件が本質的であり、一般には緩められないことが示された。