[論文レビュー] Continuity of ball packing density on moduli spaces of toric manifolds

Alessio Figalli, Álvaro Pelayo|arXiv (Cornell University)|Aug 7, 2014

Advanced Combinatorial Mathematics被引用数 3

ひとこと要約

本稿は、4次元シンプレクティックトーリック多様体のモジュライ空間上の最大球詰め込み密度関数の連続性を調査する。モーメント写像による対応を介して問題を凸幾何に還元することにより、密度関数が連続となる領域の簡単な記述が得られ、トーリック設定におけるシンプレクティック詰め込みのさらなる研究の基盤が確立される。

ABSTRACT

The optimal density function assigns to each symplectic toric manifold $M$ a number $0 < d \leq 1$ obtained by considering the ratio between the maximum volume of $M$ which can be filled by symplectically embedded disjoint balls and the total symplectic volume of $M$. In the toric version of this problem, $M$ is toric and the balls need to be embedded respecting the toric action on $M$. The goal of this note is first to give a brief survey of the notion of toric symplectic manifold and the recent constructions of moduli space structure on them, and recall how to define a natural density function on this moduli space. Then we review previous works which explain how the study of the density function can be reduced to a problem in convex geometry, and use this correspondence to to give a simple description of the regions of continuity of the maximal density function when the dimension is $4$.

研究の動機と目的

• トーリックシンプレクティック多様体およびそのモジュライ空間構造の概念を概説すること。
• トーリック多様体のモジュライ空間上の自然な密度関数を定義し、その分析を行うこと。
• モーメント写像を介して、最大密度関数を研究する問題を凸幾何の問題に還元すること。
• 4次元における最大密度関数の連続領域を、単純な幾何的記述で与えること。

提案手法

• モーメント写像を用いて、シンプレクティック詰め込み問題を多面体上の凸幾何問題に翻訳する。
• トーリック多様体における球詰め込みに関する既知の結果を、対応する凸多面体に適用する。
• 密度関数をモーメント多面体の幾何的性質に基づいて特徴付ける。
• 多面体の組合せ構造の変化を分析することで、密度関数の不連続性を同定する。
• トーリック多様体のモジュライ空間をパrameter空間として用い、密度関数の変動を研究する。
• モーメント多面体の小さな変形における密度関数の振る舞いを検討することで、連続領域を特定する。

実験結果

リサーチクエスチョン

• RQ1 4次元トーリックシンプレクティック多様体のモジュライ空間全体にわたり、最大球詰め込み密度はどのように変化するか？
• RQ2 密度関数の連続性を決定づけるモーメント多面体の幾何的特徴は何か？
• RQ3 トーリック多様体において、シンプレクティック詰め込み問題はどのように凸幾何の問題に還元できるか？
• RQ4 どの領域が、最大詰め込み密度の連続値に対応するか？
• RQ5 トーリック多様体の小さな変形は、最大詰め込み密度にどのように影響するか？

主な発見

• 最大球詰め込み密度関数は、4次元トーリック多様体のモジュライ空間の特定の開部分集合上で連続である。
• 連続領域は、小さな変形に対してもモーメント多面体の組合せ型が一定に保たれる場合に特徴づけられる。
• 密度関数が不連続となるのは、変形の過程でモーメント多面体の組合せ構造が変化する場合に限り、正確にそのときである。
• 凸幾何への還元により、多面体の型を用いた連続領域の明示的記述が可能になる。
• 本研究により、連続性は多面体の面ラティスの摂動に対する安定性によって支配されることが明らかになった。