[論文レビュー] Multiplicity free quasi-Hamiltonian manifolds

Friedrich Knop|arXiv (Cornell University)|Dec 12, 2016

Geometric and Algebraic Topology参考文献 22被引用数 12

ひとこと要約

本稿は、単連結なコンパクトなリー群およびそのねじれループ群作用に関して、凸で多重性自由な準ハミルトニアン多様体を、2つの不変量（アラコーブ内の凸多面体集合（作用素写像像を符号化）および格子（主同相性群を符号化））を用いて分類する。主な結果は、球面的対を用いた完全分類であり、既知の例を回復するとともに、クaternion的グラスマン多様体や、作用素写像が全射であるコンパクト多様体といった新しい例を構成する。

ABSTRACT

A (quasi-)Hamiltonian manifold is called multiplicity free if all of its symplectic reductions are 0-dimensional. In this paper, we classify multiplicity free Hamiltonian actions for (twisted) loop groups or, equivalently, multiplicity free (twisted) quasi-Hamiltonian manifolds for simply connected compact Lie groups. As a result we recover old and find new examples of these structures.

研究の動機と目的

• 単連結なコンパクトなリー群に対して、球面的条件の下で、凸で多重性自由な準ハミルトニアン多様体を分類すること。
• ハミルトニアン幾何から準ハミルトニアン幾何へのデルツァント型分類の拡張、特にねじれループ群作用に対して行うこと。
• 球面的対に基づく体系的な方法を用いて、準ハミルトニアン多様体の新しい例を構成すること。
• 局所モデルと作用素写像像を通じて、幾何学的および表現論的特徴付けを提供すること。
• 対称空間および非対称空間の不変量論的性質を、それらの準ハミルトニアン構造を通じて説明すること。

提案手法

• 分類には2つの不変量を用いる：$\mathcal{P}_M \subseteq \mathcal{A}$（群値作用素写像の像である凸多面体）および格子 $\Lambda_M$（主同相性群を符号化）。
• 球面的条件により、任意の点 $x \in \mathcal{P}_M$ において、接錐 $C_x\mathcal{P}$ が、$L$ を $\exp(x)$ のねじれ中心化群とするとき、滑らかなアフィン球面的 $L\mathbb{C}$-多様体の錐と一致する。
• このような多様体が球面的対 $(\mathcal{P}, \Lambda)$ によって一意に決定されることを示すことにより、準ハミルトニアン設定へのデルツァント予想の一般化を行う。
• 局所モデル $K \times^L X$（$X$ は滑らかなアフィン球面的 $L\mathbb{C}$-多様体）を用いて、作用素写像像と同相性格子のレベルでのデータから、グローバル多様体を構成する。
• ねじれ準ハミルトニアン多様体とねじれループ群のハミルトニアン作用との対応関係を用い、作用素写像がねじれ共役作用に関して等変であることを活用する。
• 既知の例（例：群の二重、スピンする4次元球面、クaternion的射影空間）を回復し、$Sp(2n)$-作用を伴う $\operatorname{Gr}_k(\mathbb{H}^{n+1})$ などの新しいケースに拡張する。

実験結果

リサーチクエスチョン

• RQ1 単連結なコンパクトなリー群に対して、凸で多重性自由な準ハミルトニアン多様体の完全分類は何か？
• RQ2 恣意的でない構成を超えて、体系的な方法で準ハミルトニアン多様体の新しい例を構成するにはどうすればよいか？
• RQ3 準ハミルトニアン幾何の文脈において、球面的条件の幾何学的および表現論的意味は何か？
• RQ4 作用素写像が全射であるコンパクトな準ハミルトニアン多様体は存在するか？ もし存在するならば、どの群に対して成立するか？
• RQ5 なぜ、同じ群の対称空間の直積（非対称空間）は、多重性自由な準ハミルトニアン構造をもつのか？

主な発見

• 本稿は、球面的対 $(\mathcal{P}, \Lambda)$ を用いた完全分類を確立し、$\mathcal{P}$ をアラコーブ内の凸多面体、$\Lambda$ を球面的条件を満たす格子とする。
• 分類により、すべての既知の例が回復される：群の二重、スピンする4次元球面、スピンする$2n$次元球面、クaternion的射影空間。
• 本稿では、クaternion的グラスマン多様体 $\operatorname{Gr}_k(\mathbb{H}^{n+1})$ を含む新しい例を構成し、これは自然な $Sp(2n)$-不変な準ハミルトニアン構造をもつ。
• 作用素写像が全射であるコンパクトな準ハミルトニアン多様体が $SU(n)$ および $Sp(2n)$ に対して存在することを証明する。これはハミルトニアン設定では不可能な現象である。
• 同じ群に対する2つの対称空間の直積（対角作用を伴う）は、多重性自由な準ハミルトニアン構造をもつ。これは、それらの不変量論的性質を説明する。
• このような多様体の局所構造は、$K \times^L X$ の形のモデルで記述され、$X$ は滑らかなアフィン球面的 $L\mathbb{C}$-多様体であり、$L$ は各点 $x \in \mathcal{P}$ における $\exp(x)$ のねじれ中心化群である。