[論文レビュー] Hilbert series and obstructions to asymptotic semistability

Akito Futaki, Hajime Ono+1 more|arXiv (Cornell University)|Nov 9, 2008

Geometry and complex manifolds参考文献 26被引用数 5

ひとこと要約

この論文は、トーリックFano多様体における漸近的半安定性の障害と、ヒルベルト系列のローラン級数の導関数との間の明確な関係を確立する。線形空間としての、漸近的半安定性を妨げるリー代数の特徴の空間が、ヒルベルト系列のローラン展開の導関数が張る空間と完全に一致することを証明し、トーリック幾何における安定性の障害に生成関数の解釈を与える。

ABSTRACT

Given a polarized manifold there are obstructions for asymptotic Chow semistability described as integral invariants. One of them is an obstruction to the existence for the first Chern class of the polarization to admit a constant scalar curvature Kähler (cscK) metric. A natural question is whether or not the other obstructions are linearly dependent on the obstruction to the existence of a cscK metric. The purpose of this paper is to see that this is not the case by exhibiting toric Fano threefolds in which these obstructions span at least two dimension. To see this we show that on toric Fano manifolds these obstructions are obtained as derivatives of the Hilbert series. This last observation should be regarded as an extension of the volume minimization of Martelli, Sparks and Yau.

研究の動機と目的

• 極小化された多様体における漸近的半安定性の障害の代数的・幾何的性質を理解すること。
• 整数不変量（障害）とトーリックFano多様体におけるヒルベルト系列との関係を調査すること。
• ヒルベルト系列のローラン展開の導関数が、障害特徴の全空間を捉えきっているかどうかを特定すること。
• トーリック幾何における安定性障害に生成関数論的解釈を与えること。

提案手法

• 著者たちは、漸近的半安定性を妨げるホロモーラックベクトル場 $X \in \mathfrak{h}_0(M)$ に関連する積分不変量 $\mathcal{F}_{\phi}(X)$ を分析する。
• トーリックFano多様体 $M$ のヒルベルト系列を計算し、原点まわりのローラン級数に展開する。
• このローラン級数の導関数が、$\mathfrak{h}_0(M)$ 上の特徴を生成するベクトル空間を形成することを示す。
• ヒルベルト系列の導関数が張る空間と、障害特徴 $\mathcal{F}_{\phi}(X)$ が張る空間を比較することで、両者の線形空間が一致することを証明する。
• 証明は、ファノポリトープとその双対の組合せ的構造に依拠し、$C_i(a,b)$ および体積最小化Reebベクトル場の明示的公式を用いる。
• 著者たちは、$\mathcal{F}_{\mathrm{Td}^1}$ が消えるにもかかわらず、体積最小化Reeb場における $C_{-1}(\mathbf{b})$ の一次変動が非ゼロであることを、コンピュータ支援計算によって確認する。

実験結果

リサーチクエスチョン

• RQ1 ヒルベルト系列のローラン展開の導関数の線形空間は、漸近的半安定性の障害特徴の空間と一致するか？
• RQ2 トーリックFano多様体における積分不変量 $\mathcal{F}_{\phi}(X)$ とヒルベルト系列との関係は何か？
• RQ3 ヒルベルト系列は、トーリック設定における障害特徴の生成関数として機能できるか？
• RQ4 体積最小化Reebベクトル場における $C_{-1}(\mathbf{b})$ の一次変動の振る舞いは何か？また、Sasaki-Futaki不変量とどのように関係するか？

主な発見

• トーリックFano多様体のヒルベルト系列のローラン級数の導関数の線形空間は、障害特徴 $\mathcal{F}_{\phi}(X)$ の線形空間と等しい。
• $\mathbb{C}P^2\#\overline{\mathbb{C}P^2}$ の多様体において、体積最小化Reebベクトル場におけるSasaki-Futaki不変量 $\mathcal{F}_{\mathrm{Td}^1}$ は、Sasaki-Einstein構造に従って期待どおりに消える。
• $\mathcal{F}_{\mathrm{Td}^1}$ が消えるにもかかわらず、体積最小化Reeb場における $C_{-1}(\mathbf{b})$ の一次変動は非ゼロであり、安定性への非自明な障害を示している。
• 臨界点 $(a_0, b_0) = (0, \sqrt{13} - 4)$ は $3P^\circ_M$ の内部に位置しており、これが体積最小化Reebベクトル場であることを確認する。
• $C_{-1}(a,b)$ の明示的公式から、$(a_0, b_0)$ における勾配が非ゼロであり、$\partial C_{-1}/\partial a$ と $\partial C_{-1}/\partial b$ がともに非ゼロであることがわかる。
• 本研究の結果は、ヒルベルト系列の解析的構造とトーリックケーラー幾何における代数的障害理論との間の直接的な対応関係を確立する。