[論文レビュー] Equivariant formality in $K$-theory

Chi Kwong Fok|arXiv (Cornell University)|Apr 16, 2017

Algebraic structures and combinatorial models参考文献 15被引用数 7

ひとこと要約

本稿は、コンパクトな連結なリー群の有限CW複体への作用に対して、有理数係数$K$-理論的同値形式性（RKEF）、古典的同値形式性（有理数係数コホモロジーにおける）、および有理数係数$K$-理論における弱同値形式性の間の同値性を確立する。作用が同値的に形式的であることと、忘却写像$K_G^*(X;\mathbb{Q}) \to K^*(X;\mathbb{Q})$が全射であることとは同値であり、これは古典的なGKM条件の$K$-理論的類似を与え、既知の同値形式性の結果について新たな$K$-理論的証明を提供する。

ABSTRACT

In this note we present an analogue of equivariant formality in $K$-theory and show that it is equivalent to equivariant formality \emph{à la} Goresky-Kottwitz-MacPherson. We also apply this analogue to give alternative proofs of equivariant formality of conjugation action on compact Lie groups, left translation action on generalized flag manifolds, and compact Lie group actions with maximal rank isotropy subgroups.

研究の動機と目的

• 古典的有理数係数コホモロジー的同値形式性と整合する$K$-理論的同値形式性の類似を確立すること。
• 有理数$K$-理論における忘却写像の全射性に基づく条件を定義することで、$K$-理論的形式性における曖昧さを解消すること。
• 有理数$K$-理論的形式性（RKEF）が古典的同値形式性および有理数弱同値形式性と同値であることを証明すること。
• 代表的な例（コンパクトなリー群上の共役作用、一般化フラッグ多様体上の左平行移動作用、最大ランクの安定化部分群をもつ作用）について、$K$-理論的手段を用いて同値形式性を再証明すること。

提案手法

• 有理数$K$-理論的同値形式性（RKEF）を、忘却写像$f_G \otimes \text{Id}_{\mathbb{Q}}: K_G^*(X;\mathbb{Q}) \to K^*(X;\mathbb{Q})$の全射性として定義する。
• 最大トーラスを用いた$K$-理論的アーベル化とワイル群不変性を用い、問題をトーラス作用に還元する。
• クラッチング構成法を用いて、任意のベクトル bundle が十分に多くの自明バンドルとの直和をとることで同値的に形式的になることを示す。
• 同値的に形式的空間の直積が再び同値的に形式的になること、およびクラッチング写像のホモトピー同値性を用いて同値構造を上昇させること。
• CW複体の次元に関する帰納法と、安定化後の同値ベクトルバンドル同型の存在を用い、$V^\oplus p \oplus \underline{\mathbb{C}}^q$が$G$-構造をもつことを証明する。
• RKEFと古典的形式性の同値性を活用し、コホモロジー的手法を用いずに既知の結果を$K$-理論的手段で再証明する。

実験結果

リサーチクエスチョン

• RQ1 同値形式性の$K$-理論的類似は、古典的有理数係数コホモロジー的同値形式性と同値であるか？
• RQ2 有理数$K$-理論における忘却写像の全射性は、コンパクトなリー群の有限CW複体への作用に対して、古典的同値形式性を意味するか？
• RQ3 RKEFを用いて、共役作用やフラッグ多様体に対する既知の同値形式性結果を$K$-理論的手段で再証明できるか？
• RQ4 有理数弱同値形式性（$K$-理論的）は、有理数$K$-理論的形式性および古典的形式性と同値か？
• RQ5 安定化バンドル$V^\oplus p \oplus \underline{\mathbb{C}}^q$に同値構造が存在することは、$V$に$G$-同値構造が存在することを意味するか？

主な発見

• コンパクトな連結なリー群の有限CW複体への作用に対して、有理数$K$-理論的同値形式性（RKEF）は、有理数係数コホモロジーにおける古典的同値形式性と同値である。
• 忘却写像$K_G^*(X;\mathbb{Q}) \to K^*(X;\mathbb{Q})$が全射であることと、$G$-作用が同値的に形式的であることとは同値である。
• 忘却写像の全射性に基づく$K$-理論的同値形式性の定義は、HaradaとLandweberが定義した有理数弱同値形式性と同値である。
• コンパクトなリー群上の共役作用は同値的に形式的であり、本稿では$K$-理論的手段を用いて再証明されている。
• 一般化フラッグ多様体上の左平行移動作用は同値的に形式的であり、本稿では$K$-理論的議論により再確立されている。
• 最大ランクの安定化部分群をもつコンパクトなリー群の作用は同値的に形式的であり、ベクトルバンドルの安定化によって同値構造が存在することを示している。