[論文レビュー] Lower bounds for Gromov width of coadjoint orbits in U(n)

Milena Pabiniak|arXiv (Cornell University)|Sep 5, 2011

Geometric and Algebraic Topology参考文献 8被引用数 5

ひとこと要約

この論文は、ユニタリ群 U(n) の共伴軌道の Gromov 幅の新たな下界を、Gelfand-Tsetlin 系を用いてハミルトニアントーラス作用を構成することによって確立する。Karshon と Tolman の中心付きハミルトニアン多様体に関する定理を用いて、軌道の対角生成子の相異なる固有値の最小差が Gromov 幅の下界であることを証明し、以前は固有値がすべて異なる一般の軌道に限られていた結果を、重複固有値をもつ非一般軌道へと拡張する。

ABSTRACT

We use the Gelfand-Tsetlin pattern to construct an effective Hamiltonian, completely integrable action of a torus T on an open dense subset of a coadjoint orbit of the unitary group. We then identify a proper Hamiltonian T-manifold centered around a point in the dual of the Lie algebra of T. A theorem of Karshon and Tolman says that such a manifold is equivariantly symplectomorphic to a particular subset of R^2D. This fact enables us to construct symplectic embeddings of balls into certain coadjoint orbits of the unitary group, and therefore obtain a lower bound for their Gromov width. Using the identification of the dual of the Lie algebra of the unitary group with the space of (n x n) Hermitian matrices, the main theorem states that for a coadjoint orbit through λ=diag(λ_1, ..., λ_n) in the dual of the Lie algebra of the unitary group, where at most one eigenvalue is repeated, the lower bound for Gromov width is equal to the minimum of the differences λ_i-λ_j, over all λ_i>λ_j. For a generic orbit (i.e. with distinct λ_i's), with additional integrality conditions, this minimum has been proved to be exactly the Gromov width of the orbit. For nongeneric orbits this lower bound is new.

研究の動機と目的

• U(n) の共伴軌道の Gromov 幅の下界を確立すること、特に固有値がすべて異なるとは限らない非一般軌道に対して。
• これまで固有値がすべて異なる一般軌道に対してのみ確立されていた Gromov 幅に関する既知の結果を、一般の場合にまで拡張すること。
• Gelfand-Tsetlin 系を用いて、軌道の開かつ稠密な部分集合上に有効なハミルトニアントーラス作用を構成すること。
• Karshon と Tolman の中心付きハミルトニアン T-多様体に関する定理を適用し、ボールのシンプレクティック埋め込みを可能にすることで、幅の下界を導出すること。

提案手法

• Gelfand-Tsetlin パターンを用いて、共伴軌道の開かつ稠密な部分集合上にハミルトニアンで完全可積分なトーラス作用を構成する。
• ミラーマップ像を Gelfand-Tsetlin ポリトープとして特定し、pr-写像と格子構造を用いてその頂点と辺を分析する。
• Karshon と Tolman の結果を用いて、固定点の近傍が R^{2D} の部分集合と等変にシンプレクティック同相であることを示し、シンプレクティックボール埋め込みを可能にする。
• ミラーポリトープの辺の格子長を分析し、それらを固有値の差 λ_i - λ_j に関連付ける。
• 最小のこのような差がシンプレクティックに埋め込めるボールのサイズを制限することを証明し、Gromov 幅の下界を得る。
• 固有値が非一意であってもこの下界が成り立つことを検証し、非一般軌道に対して新たな結果を提供する。

実験結果

リサーチクエスチョン

• RQ1 固有値がすべて異なるとは限らないとき、U(n) の共伴軌道の Gromov 幅は何か？
• RQ2 Gelfand-Tsetlin トーラス作用を用いて、共伴軌道へのボールのシンプレクティック埋め込みを構成し、Gromov 幅の下界を得ることは可能か？
• RQ3 非一般の場合に、固有値の差 λ_i - λ_j の最小値が Gromov 幅の鋭い下界であるか？
• RQ4 Karshon-Tolman の中心付きハミルトニアン多様体に関する定理は、この文脈でシンプレクティック埋め込みの構成をどのように支援するか？
• RQ5 Gelfand-Tsetlin 系を用いて導かれた下界は、整数条件の下で既知の正確な値と一致するか？

主な発見

• diag(λ₁,…,λₙ) を通る U(n) の共伴軌道の Gromov 幅は、すべての λ_i > λ_j に対して λ_i - λ_j の最小値以上である。
• この下界は固有値が非一意であっても成り立ち、非一般軌道に対して新たな結果を提供する。
• 一般軌道（すべての λ_i が異なる）に対しては、整数条件の下でこの下界は既知の正確な Gromov 幅と一致し、従来の研究と整合性を確認する。
• 証明は Gelfand-Tsetlin 系を用いてハミルトニアントーラス作用を定義し、Karshon-Tolman のシンプレクティック埋め込み定理を適用することに依拠する。
• 最小固有値差はミラーポリトープの辺の格子長に対応し、幾何学とシンプレクティック容量を直接的に結びつける。
• 低次元の場合（n ≤ 5）でこの結果が検証されたが、n=6 の軌道 (λ₁,λ₁,λ₂,λ₂,λ₃,λ₃) を除き、この下界は未だ証明されていない。