[論文レビュー] Graph complexes and the symplectic character of the Torelli group

Stavros Garoufalidis, Ezra Getzler|arXiv (Cornell University)|Dec 10, 2017

Geometric and Algebraic Topology参考文献 14被引用数 3

ひとこと要約

この論文は、グラフコhomologyを用いてトーリー群の下位中心列のシンプレクティック分解を計算し、 Koszul性を仮定することで、次数付きリー代数の構造を導出する。さらに、Mumfordの予想（Madsen-Weissにより証明済み）を応用して、マッピングクラス群のコホモロジーのPoincaré多項式を、シンプレクティック係数に関して決定し、次数13まで明示的な計算を提供する。

ABSTRACT

The mapping class group of a closed surface of genus $g$ is an extension of the Torelli group by the symplectic group. This leads to two natural problems: (a) compute (stably) the symplectic decomposition of the lower central series of the Torelli group and (b) compute (stably) the Poincaré polynomial of the cohomology of the mapping group with coefficients in a symplectic representation $V$. Using ideas from graph cohomology, we give an effective computation of the symplectic decomposition of the quadratic dual of the lower central series of the Torelli group, and assuming the later is Kozsul, it provides a solution to the first problem. This, together with Mumford's conjecture, proven by Madsen-Weiss, provides a solution to the second problem. Finally, we present samples of computations, up to degree 13.

研究の動機と目的

• マッピングクラス群表現論における中心的問題である、トーリー群の下位中心列のシンプレクティック分解を計算すること。
• 安定的状況下で、マッピングクラス群のシンプレクティック表現を係数とするコホモロジーのPoincaré多項式を特定すること。
• グラフコホモロジーとトーリーリー代数のシンプレクティック表現理論との間の関係を確立すること。
• トーリーリー代数のシンプレクティック特徴の明示的計算結果を、次数13まで提供すること。
• λ-環とプレティズムを用いた代数的構造（例：$λ$-ringsやplethysm）を用いて、マッピングクラス群の安定コホモロジーを理解するための基盤的ツールを構築すること。

提案手法

• トーリーリー代数の二次双対を分析するためのグラフコホモロジーを用い、シンプレクティック分解の効率的計算を可能にする。
• $λ$-環とプレティズムの理論を用いて、表現環における対称関数および対称冪演算を扱う。
• フロベニウス特徴的写像を用いて、対称関数と非可約シンプレクティック表現との間の翻訳を実行する。
• トーリーリー代数のKoszul性を仮定することで、その二次双対からの元の代数のシンプレクティック分解を導出する。
• Mumfordの予想（Madsen-Weissにより証明済み）を活用して、マッピングクラス群のシンプレクティック係数をもつコホモロジーのPoincaré多項式を計算する。
• 次数$n$において、高々$3n$個の部品を持つ分割で添字づけられたシュール関数と対称関数の構造を用いて、明示的な計算を実施する。

実験結果

リサーチクエスチョン

• RQ1 安定的状況下で、トーリー群の下位中心列のシンプレクティック分解は何か？
• RQ2 グラフコホモロジーは、トーリーリー代数の二次双対のシンプレクティック特徴を計算するためにどのように利用可能か？
• RQ3 トーリーリー代数のKoszul性が、代数自体のシンプレクティック分解をどのように示すか？
• RQ4 マッピングクラス群のシンプレクティック表現を係数とするコホモロジーのPoincaré多項式は何か？
• RQ5 $λ$-環とプレティズムの理論は、マッピングクラス群の安定コホモロジー不変量を計算するためにどのように応用可能か？

主な発見

• グラフコホモロジーと対称関数論を用いて、トーリーリー代数の二次双対のシンプレクティック分解が効率的に計算された。
• Koszul性を仮定することで、トーリーリー代数自体のシンプレクティック分解がその二次双対から得られた。
• グラフコホモロジーとMumfordの予想の組み合わせにより、マッピングクラス群のシンプレクティック係数をもつコホモロジーのPoincaré多項式が計算された。
• トーリーリー代数のシンプレクティック特徴の明示的計算が、次数13まで提供され、次数13では177,970個の分割が関与した。
• 結果は、$λ$-環の文脈におけるフロベニウス特徴的写像とプレティズムを用いて導出され、検証は普遍的$λ$-環$Λ$に還元された。
• この論文は、Church-Farbの表現安定性理論の後の発展を先取りし、補完する計算フレームワークを提供しており、BrandeniseおよびGeorgia Techでの計算的検証がなされた。