[論文レビュー] Cyclic actions and elliptic genera

Anand Dessai|ArXiv.org|Apr 26, 2001

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

ひとこと要約

この論文は、スピン多様体上の任意の巡回群作用へのヒルツェブルフとスロドウイの楕円的特徴の消去定理を、対合から一般化する。等置不変楕円的特徴の剛性とリーマン・ホッホの固定点公式を用いて、固定点集合の余次元が十分に大きいとき、ねじれたディラック作用素の指標が消えることを証明し、Â-特異点における楕円的特徴の極の位数に対する境界を得る。主な結果は、対称性をもつ正曲率計量の障害理論を拡張する。

ABSTRACT

Let $M$ be a $Spin$-manifold with $S^1$-action and let $σ\in S^1$ be of finite order. We show that the indices of certain twisted Dirac operators vanish if the action of $σ$ has sufficiently large fixed point codimension. These indices occur in the Fourier expansion of the elliptic genus of $M$ in one of its cusps. As a by-product we obtain a new proof of a theorem of Hirzebruch and Slodowy on involutions.

研究の動機と目的

• スピン多様体上の任意の有限位数の巡回作用へのヒルツェブルフとスロドウイの楕円的特徴の消去定理を、対合から一般化すること。
• 固定点集合の余次元に基づいて、ねじれたディラック作用素の指標が消える条件を確立すること。
• コホロロジー的消去条件を用いて、Â-特異点における楕円的特徴の極の位数に対する境界を導出すること。
• ヒルツェブルフ＝スロドウイの対合に関する消去定理を、特別な場合として再び証明すること。
• スピン多様体上の対称性をもつ正曲率計量の障害理論を支援すること。

提案手法

• 等置不変楕円的特徴の剛性定理を活用し、フーリエ展開における係数がS¹の定数的特徴であることを保証する。
• リーマン・ホッホの固定点公式を適用して、群元σにおける等置不変ねじれた符号数を、固定点集合M^σの連結成分ごとの局所的寄与の和として表現する。
• オイラー類とチャーン類の式を用いた局所的寄与の式を用いて、これらの寄与がいつ消えるかを分析する。
• コホロロジー的消去条件を適用する：H^k(F; Q) = 0 または H^k(M; Q) = 0 ならば、余次元kの成分に対して局所的寄与a_F,Eは消える。
• Â-特異点における楕円的特徴の展開を、モジュラー変換を介してねじれたÂ-特徴に結びつける。これにより、符号数系列の符号数特異点と関連づける。
• これらの道具を組み合わせて、H^{4*}(M; Q) = 0 となる 0 < * ≤ r のとき、Â-特異点展開の極の位数を、4* ≤ 4r におけるコホロロジーの消去に依存して境界づける。

実験結果

リサーチクエスチョン

• RQ1 スピン多様体上の巡回群作用に対して、ねじれたディラック作用素の指標が消える条件は何か？
• RQ2 固定点集合の余次元は、異なる特異点における楕円的特徴の構造にどのように影響するか？
• RQ3 ヒルツェブルフ＝スロドウイの対合に関する消去定理は、高次巡回作用に一般化可能か？
• RQ4 多様体またはその固定点成分におけるコホロロジー的条件は、Â-特異点における楕円的特徴の極の位数にどのような境界を与えるか？
• RQ5 等置不変楕円的特徴の剛性は、群作用下での特徴の振る舞いをどのように制約するか？

主な発見

• H^{4*}(M; Q) = 0 となる 0 < * ≤ r であるとき、有限位数S¹作用の固定点集合の余次元が 4r より大きいならば、特定のねじれたディラック作用素の指標は消える。
• 同じコホロロジー的条件下で、Â-特異点における楕円的特徴の展開は、極の位数が dim(M)/8 − r より小さい。
• この結果は、ヒルツェブルフ＝スロドウイの定理を一般化し、r = 1 かつ余次元 > 4 の場合に、それを特別な場合として回復する。
• 証明は、等置不変楕円的特徴の剛性とリーマン・ホッホの固定点公式に依拠し、グローバルな特徴展開と局所的固定点寄与を結びつける。
• H^k(M; Q) = 0 で k = codim F ならば、コホロロジーにおけるオイラー類の消去により、局所的寄与a_F,Eの消去が保証される。
• コホロロジー的仮定の下で、key identity sign(q, L M) = ∑_{codim F > 4r} sign(q, L(F∘F)) が成り立ち、極の位数の境界を示す。