[論文レビュー] Homological Lagrangian monodromy for some monotone tori

Marcin Augustynowicz, Jack Smith+1 more|arXiv (Cornell University)|Jan 25, 2022

Geometric and Algebraic Topology被引用数 1

ひとこと要約

本稿は、シンプレクティック多様体内の単調ラグランジュトーリック・ファイバーに対して、フロア・コホモロジー環の算術的性質を用いて構造を制約する、ホモロジカル・ラグランジュ・モノドロミー群（HL）の体系的考察を提示する。トーリック・ファイバーに対してHLを完全に分類し、n=2,3の場合に有限性および構造的制約を示し、高次元の単調トーリック・トーラスに対する一般分類を提起する。

ABSTRACT

Given a Lagrangian submanifold $L$ in a symplectic manifold $X$, the homological Lagrangian monodromy group $\mathcal{H}_L$ describes how Hamiltonian diffeomorphisms of $X$ preserving $L$ setwise act on $H_*(L)$. We begin a systematic study of this group when $L$ is a monotone Lagrangian $n$-torus. Among other things, we describe $\mathcal{H}_L$ completely when $L$ is a monotone toric fibre, make significant progress towards classifying the groups than can occur for $n=2$, and make a conjecture for general $n$. Our classification results rely crucially on arithmetic properties of Floer cohomology rings.

研究の動機と目的

• 単調ラグランジュ・トーラスに対するホモロジカル・ラグランジュ・モノドロミー群（HL）の体系的考察を開始すること。
• シンプレクティック多様体内の単調トーリック・ファイバーに対して、フロア・コホモロジーの算術的不変量を活用してHLを分類すること。
• 次元n=2およびn=3の単調トーラスに対して、HLの構造的制約を確立すること、特にHLが有限である場合に注目すること。
• GL(n,Z)の有限部分群に基づいて、任意の単調トーラスに対するHLの一般分類を提起すること。

提案手法

• ホモロジカル・ラグランジュ・モノドロミー群HLを、ハミルトニアン作用H∗(L)への作用として、Ham(X,L)のGL(H∗(L))への像として定義する。
• µ(β)=2を満たすβ ∈ H2(X,L)に対して、ホロモルフィック・ディスクの数nβ ∈ Zを用いて、非ゼロディスクの境界からなる集合B1 ⊂ H1(L)を定義する。
• Lを保存し、コンパクトネス条件を満たすシンプレクティズム（SYL）のB1への作用を解析し、B1の要素を置換することを示す。
• B1の有理スパンのランクがr = nであれば、SYL → Sym(B1)は単射であり、これによりSYLの有限性が示される。
• GL(n,Z)における表現論的および群論的技法を用い、有限部分群および結晶学的点群の分類を応用する。
• スーパーポテンシャルと群作用による不変性を用い、フロア理論的障害により特定のモノドロミー構造を除外する。

実験結果

リサーチクエスチョン

• RQ1 単調ラグランジュ・トーリック・ファイバーに対するホモロジカル・ラグランジュ・モノドロミー群HLの構造は何か？
• RQ2 GL(n,Z)のどの有限部分群が、次元n=2およびn=3の単調ラグランジュ・トーラスに対してHLとして現れるか？
• RQ3 フロア・コホモロジィ環の算術的不変量を用いて、HLの構造を制約できるか？
• RQ4 高次元における単調ラグランジュ・トーラスに対するHLの一般分類は存在するか？
• RQ5 HLが非自明に作用するのはどのような条件下か？また、いつ trivial または finite となるか？

主な発見

• 単調トーリック・ファイバーに対して、ホモロジカル・ラグランジュ・モノドロミー群HLは完全に分類され、H1(L)への作用はGL(n,Z)の有限部分群として実現される。
• B1の有理スパンのランクがr = nであれば、SYLはB1に忠実に作用するため、SYLは有限であり、Sym(B1)に単射で埋め込まれる。
• B1の有理スパンのランクがr = 0であれば、HLは自明である。これは、ホロモルフィック・ディスクの数え上げから非自明なモノドロミーが生じないためである。
• n=3でHLが有限の場合、群はS4、S3×S2、またはS2×S2×S2の部分群に同型であり、−I ∈ HLの場合はS3₂の部分群に同型である。
• 任意の単調トーラスに対して、HLはGL(n−1,Z)の部分群、または∑(nj−1)=nを満たす対称群の積Sn₁×⋯×Snₖの部分群に同型であるという予想を提示する。
• 本手法では、HLのすべての要素が共通のベクトルを固定する場合を除外できないため、この予想におけるケース(a)が完全な分類のために不可欠であると考えられる。