[論文レビュー] Geometric recursion

Jørgen Ellegaard Andersen|arXiv (Cornell University)|Nov 13, 2017

Algebraic Geometry and Number Theory参考文献 13被引用数 6

ひとこと要約

本稿は、(0,3)および(1,1)の表面における初期データから、境界付きリーマン面のモジュライ空間上の可測関数を再帰的に構成する関手的枠組みである幾何的再帰（GR）を導入する。GRは、ペアオブパンツを再帰的に除去し、再帰カーネルを用いることで、ウェイリ–ペテルソン測度に対する積分が一般化されたトポロジカル再帰を満たす関数を生成する。このことは、ミルザカニ–マクシェーン恒等式を拡張し、 conformal block bundle のチャーン類と関連付ける。

ABSTRACT

Geometric Recursion is a very general machinery for constructing mapping class group invariants objects associated to two dimensional surfaces. After presenting the general abstract definition we shall see how a number of constructions in low dimensional geometry and topology fits into this setting. These will include the Mirzakhani-McShane identies, mapping class group invariant closed forms on Teichmüller space (including the Weil-Petterson symplectic form) and the Goldman symplectic form.

研究の動機と目的

• 境界付き表面の再帰的分解に基づく不変量を割り当てる一般的で関手的な枠組みの開発。
• 再帰における無限和の収束条件を確立し、構成のwell-defined性を保証すること。
• テイコフラー空間上の関数がウェイリ–ペテルソン測度に関して可測かつ可積分であることを示すこと。
• これらの関数の積分が一般化されたトポロジカル再帰を満たすことを示し、アインシュタイン–オラントイン形式を拡張すること。
• マルチカーブ長の統計に関するミルザカニ–マクシェーン恒等式を統一・一般化し、 conformal block bundle のチャーン類と関連付けること。

提案手法

• 境界付き表面のカテゴリを定義し、埋め込みペアオブパンツの除去を用いて、低 genus 表面からの帰納的不変量構成を行う。
• 表面から位相的ベクトル空間への関手としてのターゲット理論を構築し、初期データを (0,3) および (1,1) 表面で指定する。
• 境界成分に沿った表面の接合に適した再帰カーネルを導入し、写像類群作用に関して一貫性を保証する。
• 接合写像の再帰的合成と、埋め込みペアオブパンツの同値類に関する和を用いて、幾何的再帰作用素を定義する。
• テイコフラー空間に形式を適用し、マルチカーブおよび小さなペアオブパンツの数の境界を用いて、再帰により関数を割り当てる。
• 積分によりトポロジカル再帰との関係を確立し、固定された境界長を持つモジュライ空間上での GR 生成関数の積分がアインシュタイン–オラントイン再帰を満たすことを示す。

実験結果

リサーチクエスチョン

• RQ1 境界付きリーマン面に再帰的分解に基づく一般的で関手的な不変量の割り当てが可能か？
• RQ2 除去されたペアオブパンツに関する無限和が収束する条件は何か？ これにより構成が well-defined であることが保証されるか？
• RQ3 幾何的再帰が、ウェイリ–ペテルソン測度に関して可積分な関数をモジュライ空間上に生成できるか？
• RQ4 GR が生成する関数の積分はトポロジカル再帰を満たすか？ もしそうなら、アインシュタイン–オラントイン形式をどのように一般化するか？
• RQ5 この形式は、マルチカーブ長の統計に関するミルザカニ–マクシェーン恒等式を再現・一般化でき、conformal block バンドルのチャーン類と関連付けることができるか？

主な発見

• 幾何的再帰は、ペアオブパンツの再帰的除去により、位相的ベクトル空間のカテゴリにおける写像類群不変ベクトルを生成する。
• 境界長が固定された場合、テイコフラー空間上の可測関数が得られ、ウェイリ–ペテルソン測度に関して可積分である。
• GR が生成する関数のモジュライ空間上での積分は、一般化されたトポロジカル再帰を満たし、アインシュタイン–オラントイン形式を拡張する。
• 形式は、ハイパボリック長のマルチカーブ統計に関するミルザカニ–マクシェーン恒等式を一般化し、積分がトポロジカル再帰を満たす。
• モジュライ空間上のシスティール関数は、GR が生成する関数の特別な場合として回復できる。
• conformal block バンドルのチャーン類の交差指数は、同じマルチカーブ長統計の言語で表現され、幾何的解釈が与えられる。