[論文レビュー] $G$-Homotopy Invariance of the Analytic Signature of Proper Co-compact $G$-manifolds and Equivariant Novikov Conjecture

Yoshiyasu Fukumoto|arXiv (Cornell University)|Sep 18, 2017

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

ひとこと要約

この論文は、非離散的かつ非自由に作用する群に対し、適切なココンパクトG多様体上の符号作用素の解析的GインデックスのGホモトピー不変性を確立し、Gホモトピー同値な多様体がK₀(C*(G))において同一のGインデックスを持つことを証明する。この結果は、古典的なノヴィコフ予想の帰結を非自由かつ非離散群へ一般化し、曲率が小さいヒルベルトC*-加群バンドル上の指数論を用いて、強ノヴィコフ予想を等置的設定へ拡張する。

ABSTRACT

The main result of this paper is the $G$-homotopy invariance of the $G$-index of signature operator of proper co-compact $G$-manifolds. If proper co-compact $G$ manifolds $X$ and $Y$ are $G$-homotopy equivalent, then we prove that the images of their signature operators by the $G$-index map are the same in the $K$-theory of the $C^{*}$-algebra of the group $G$. Neither discreteness of the locally compact group $G$ nor freeness of the action of $G$ on $X$ are required, so this is a generalization of the classical case of closed manifolds. Using this result we can deduce the equivariant version of Novikov conjecture for proper co-compact $G$-manifolds from the Strong Novikov conjecture for $G$.

研究の動機と目的

• 群作用が離散的でも自由でもない条件下で、適切なココンパクトG多様体に対する解析的GインデックスのGホモトピー不変性を確立すること。
• 局所コンパクト群に対する等置的設定へ、高次シグニチャーおよびノヴィコフ予想に関する古典的結果を一般化すること。
• 群C*-代数のK理論におけるGインデックス写像を用いて、強ノヴィコフ予想を等置的高次シグニチャーへ拡張すること。
• KK理論における摂動および直接極限技術を用いて、曲率が小さいほぼ平坦なバンドルによるねじれの下でのGインデックスの不変性を証明すること。
• [BCH]で証明なしに述べられた結果の完全な証明を提供し、等置的指数論における文献の空白を埋めること。

提案手法

• XおよびY上の符号作用素の間のG-equivariantホモトピー同値を構成し、Gインデックス写像を介してそれらのGインデックスを関連付ける。
• 2次形式およびグレーディング付きモジュールにおける摂動法を適用し、曲率の小さな摂動の下での符号作用素の挙動を制御する。
• KK理論におけるGインデックス写像を用いて、K₀(C*(G))における解析的Gインデックスを定義し、一般の局所コンパクト群を許容する。
• 無限大積構成およびC*-代数の直接極限を用いて、曲率が小さいバンドルのインデックスを分析し、テンソル積と直和の間の同型を活用する。
• C*-代数の完備化されたテンソル積と直和の間の等長同型を確立し、極限過程におけるK理論的類の保存を保証する。
• 帰納的極限の普遍的性質およびヒルベルトC*-モジュールの構造を用いて、非ゼロのインデックス類が有限個の成分にのみ支持されることを示し、無限に多くの非ゼロ成分があると仮定すると矛盾に至ることを示す。

実験結果

リサーチクエスチョン

• RQ1 Gが非離散的または作用が非自由であっても、適切なココンパクトG多様体上で、符号作用素の解析的GインデックスはGホモトピー同値性のもとで不変であるか？
• RQ2 Gホモトピー不変性に基づいて、Gインデックスの強ノヴィコフ予想から等置的ノヴィコフ予想を導けるか？
• RQ3 曲率が任意に小さいほぼ平坦なヒルベルトC*-モジュールバンドルによるねじれの下で、Gインデックスはどのように振る舞うか？
• RQ4 カットオフ関数および曲率ノルムは、非コンパクト多様体におけるK理論におけるGインデックスを制御するために果たす役割は何か？
• RQ5 多様体の直和上の積バンドルのGインデックスは成分に分解可能であり、これによりインデックス類にどのような意味が生じるか？

主な発見

• Gが非離散的または作用が非自由であっても、適切なココンパクトG多様体上で符号作用素のGインデックスはGホモトピー同値性のもとで不変である。
• Gホモトピー同値な多様体XおよびYに対して、Gインデックス写像はK₀(C*(G))において同一の類を送り、定理A：ind_G(∂_X) = ind_G(∂_Y) を証明する。
• この結果は、適切なココンパクトG多様体上で等置的ノヴィコフ予想がGの強ノヴィコフ予想から従うことを示唆する。
• 曲率ノルムがε未満のほぼ平坦なバンドルに対して、ねじれた符号作用素のGインデックスは適切に定義され、小さな摂動に対して安定である。
• 直和X ⊔ (-Y)上の積バンドルのGインデックスは、各成分におけるGインデックスの直和と同型であり、非ゼロの類は有限個の成分にのみ支持される。
• 証明により、曲率が小さいバンドルのGインデックス類が無限個の成分で非ゼロであることは不可能であり、そのような族が存在すると仮定すると矛盾に至ることを示した。