[論文レビュー] The Kontsevich tetrahedral flow in 2D: a toy model

Anass Bouisaghouane|arXiv (Cornell University)|Feb 20, 2017

Homotopy and Cohomology in Algebraic Topology参考文献 2被引用数 4

ひとこと要約

本稿は、2次元において、最初のグラフ（Γ₁）と関連するコンツェビッチの四面体的流れが、ポissonコhomology的に自明であることを証明している。これは、その流れがポアソン双ベクトルとあるベクトル場 X のショウテン括弧によって生じることを意味する。主な結果は、このような自明化ベクトル場 X の明示的構成であり、それが R² の周期的商、例えば2次元トーラスにおいても、格子還元のもとでwell-definedであることを示している。

ABSTRACT

In the paper "Formality conjecture" (1996) Kontsevich designed a universal flow $\dot{\mathcal{P}}=\mathcal{Q}_{a:b}(\mathcal{P})=aΓ_{1}+bΓ_{2}$ on the spaces of Poisson structures $\mathcal{P}$ on all affine manifolds of dimension $n \geqslant 2$. We prove a claim from $ extit{loc. cit.}$ stating that if $n=2$, the flow $\mathcal{Q}_{1:0}=Γ_{1}(\mathcal{P})$ is Poisson-cohomology trivial: $Γ_{1}(\mathcal{P})$ is the Schouten bracket of $\mathcal{P}$ with $\mathcal{X}$, for some vector field $\mathcal{X}$; we examine the structure of the space of solutions $\mathcal{X}$. Both the construction of differential polynomials $Γ_{1}(\mathcal{P})$ and $Γ_{2}(\mathcal{P})$ and the technique to study them remain valid in higher dimensions $n \geqslant 3$, but neither the trivializing vector field $\mathcal{X}$ nor the setting $b:=0$ survive at $n\geqslant 3$, where the balance is $a:b=1:6$.

研究の動機と目的

• コンツェビッチ1996年の「フォーマリティ予想」において提示された主張、すなわち2次元においてΓ₁の流れがコホモロジー的に自明であることを検証すること。
• 任意の2次元ポアソン双ベクトル P に対して Γ₁(P) = [ [P, X] ] を満たす明示的なベクトル場 X を構成すること。
• 自明化条件を満たす解 X の空間の構造を分析すること。
• 格子による商空間への応用として、Γ₁の流れとベクトル場 X が格子商のもとでどのように持ち上がるかを示すこと。

提案手法

• 本稿は、2次元多様体上の局所座標 (x,y) におけるコンツェビッチ微分多項式 Γ₁ と Γ₂ を展開し、P¹² ≠ 0 のみが非自明であることに着目する。
• P¹² の微分を用いて、Γ₁(P) の非自明な成分を明示的に計算し、6階非線形PDEに類似した表現を得る。
• H を用いてベクトル場 X = (H_y, -H_x) を構成し、コホモロジー自明性条件から H を導出する。
• 流れから導かれるベクトル場 X が、任意の格子 L に対して R²/L 上でwell-definedであることを示す。これには、X の係数が L-周期的フーリエ級数であることを示す。
• 三角恒等式を用いて、流れとベクトル場の表現における正弦および余弦の積を、より高い波数のフーリエ級数に還元する。
• 写像 π: R² → R²/L による商写像のもとで、流れとベクトル場の像がコンact多様体 M² = R²/L 上でもwell-definedであることを証明する。

実験結果

リサーチクエスチョン

• RQ1 2次元ポアソン幾何学において、コンツェビッチの四面体的流れ Γ₁(P) はコホモロジー的に自明であるか、すなわちポアソン微分のコ boundary であるか？
• RQ2 任意の2次元ポアソン双ベクトル P に対して Γ₁(P) = [ [P, X] ] を満たすベクトル場 X を明示的に構成できるか？
• RQ3 P が L-周期的であるとき、自明化ベクトル場 X は2次元トーラス R²/L 上でwell-definedなベクトル場に持ち上がるか？
• RQ4 なぜ2次元ではΓ₂成分が恒等的に消えるのか？これは高次元では寄与するが。
• RQ5 流れとベクトル場の波数は格子還元のもとでどのように振る舞い、なぜ周期性を保つのか？

主な発見

• 2次元におけるΓ₁の流れの唯一の非ゼロ成分は、次の式で与えられる：u_xxx u_y³ - u_yyy u_x³ - 3u_xxy u_x u_y² + 3u_xyy u_x² u_y。
• Γ₂成分は、インデックス制約と反対称化の性質により、2次元では恒等的に消える。これは、Γ₁ のみが寄与することを確認する。
• Γ₁(P) = [ [P, X] ] を満たす自明化ベクトル場 X が存在し、その成分はハミルトニアン H = -16α₁₁³π⁴ sin(2πx)cos(2πy)(sin²(2πx)sin²(2πy) + 2cos²(2πx)sin²(2πy) + cos²(2πy)cos²(2πx)) から導出される。
• ベクトル場の成分 F と G は、周波数 2π、6π、8π を含む三角多項式として明示的に計算され、2次元トーラス上での周期性が確認される。
• 流れとベクトル場は、それらの係数が元の格子で有界された波数を持つ L-周期的フーリエ級数であるため、2次元トーラス R²/L 上でもwell-definedのまま保たれる。
• X の構成は格子商と整合的であり、X の発散なし部分はコンツェビッチのグラフによって実現可能であり、変形理論と整合的であることが確認される。