[論文レビュー] Multiplicative constants and maximal measurable cocycles in bounded cohomology

Marco Moraschini, Alessio Savini|arXiv (Cornell University)|Dec 20, 2019

Advanced Operator Algebra Research参考文献 50被引用数 4

ひとこと要約

本稿は、有界コhomologyにおける可測コサイクルへ、乗法的定数および最大表現の理論を拡張し、境界写像を介した新規なプルバック構成を導入する。複素双曲的格子のPU(m,1)-コサイクルに対してカルタン不変量を定義し、最大コサイクルが標準的格子埋め込みとコホモロジーラスであることを証明することで、代表的でないコサイクルへも剛性結果を一般化する。

ABSTRACT

Multiplicative constants are a fundamental tool in the study of maximal representations. In this paper we show how to extend such notion, and the associated framework, to measurable cocycles theory. As an application of this approach, we define and study the Cartan invariant for measurable $ extup{PU}(m,1)$-cocycles of complex hyperbolic lattices.

研究の動機と目的

• 連続的表現から可測コサイクルへの有界コホモロジーにおける乗法的定数および最大表現の枠組みを一般化すること。
• 直接チェインプルバックの制限を克服するため、境界写像を用いた可測コサイクルに対する有界コホモロジーにおける一貫性のあるプルバック写像を確立すること。
• 複素双曲的格子の可測PU(m,1)-コサイクルに対するカルタン不変量を定義・研究し、表現論からの古典的不変量を拡張すること。
• 最大可測コサイクルの特徴付けを行い、それらが標準的格子埋め込みとコホモロジーラスであることを示し、表現を超えた剛性結果を一般化すること。
• エルゴディック自己結合の分類や1-タウネス予想への応用の基盤を提供すること。

提案手法

• 可測な $ \sigma $-不変境界写像 $ \varphi: G/Q \times X \to Y $ を用いて、$ X $ における積分と $ \varphi $ によるプルバックを組み合わせることで、連続的有界コホモロジーにおける新規なプルバック写像 $ C^\bullet(\Phi_X) $ を導入する。
• $ \psi' \in B^\infty(Y^{\bullet+1}; \mathbb{R})^{G'} $ および $ \psi \in L^\infty((G/Q)^{\bullet+1})^G $ を含む積分公式により、乗法的定数 $ \lambda_{\psi', \psi}(\sigma) $ を定義し、古典的 Burger-Iozzi フレームワークと整合性を保つ。
• $ \mathrm{trans}^\bullet_{G/Q} $ の転送写像を用いて、$ H^\bullet_{cb}(G; \mathbb{R}) $ のコホモロジー類と $ C^\bullet(\Phi_X) $ を介したプルバックによる類を関連付け、乗法的公式を可能にする。
• コサイクルの $ G' $-コホモロジー類に関してプルバックが不変であることを確立し、コホモロジー上で定義された構成であることを保証する。
• 有界カーラー類 $ \kappa^b_m $ を用いて、可測 $ \mathrm{PU}(m,1) $-コサイクルに対するカルタン不変量 $ i(\sigma) $ を定義する。
• 最大コサイクル（カルタン不変量の上界に達するもの）が、標準的格子埋め込み $ i: \Gamma \to \mathrm{PU}(m,1) $ とコホモロジーラスであることを、代数的ハルルとランク1構造を用いて証明する。

実験結果

リサーチクエスチョン

• RQ1 有界コホモロジーにおける乗法的定数の概念を表現から可測コサイクルへどのように拡張できるか？
• RQ2 表現に沿った古典的プルバックを一般化する、可測コサイクルに対する適切なコホモロジー的プルバック構成は何か？
• RQ3 複素双曲的格子の可測 $ \mathrm{PU}(m,1) $-コサイクルに対してカルタン不変量を定義・研究することは可能か？
• RQ4 最大可測コサイクル $ \sigma: \Gamma \times X \to \mathrm{PU}(m,1) $ の代数的ハルルの構造は何か？
• RQ5 最大可測コサイクルは常に標準的格子埋め込みとコホモロジーラスであるか？その条件は何か？

主な発見

• 境界写像を有する可測コサイクル $ \sigma $ に対して、乗法的定数 $ \lambda_{\psi', \psi}(\sigma) $ は、古典的 Burger-Iozzi フレームワークを拡張して、well-defined である。
• プルバック写像 $ C^\bullet(\Phi_X) $ は、関連する可測コサイクル $ \sigma $ 沿いのプルバックと同じコホモロジー類を誘導するため、一貫性が保たれる。
• 有界カーラー類 $ \kappa^b_m $ のプルバックが非ゼロであるとき、非自明なコサイクルの代数的ハルル $ L $ は、$ M \cong \mathrm{PU}(p,1) $ を満たす $ 1 \leq p \leq m $ に対して、ほぼ直積 $ K \cdot M $ として表される。
• 最大コサイクルでは、代数的ハルル $ L $ は、$ K $ がコンパクトで $ m \geq n $ を満たす $ \mathrm{PU}(n,1) \cdot K $ のほぼ直積として表され、$ \sigma $ は標準的格子埋め込みとコホモロジーラスである。
• 最大コサイクルは常に非自明であり、一意的（コンパクト因子を除いて）な境界写像を有し、自明なカルタン不変量は自明なコサイクルを特徴付ける。
• この枠組みにより、$ \mathrm{PU}(n,1) $（$ n \geq 2 $）の均一格子のエルゴディック自己結合が、標準的埋め込みとコホモロジーラスである最大コサイクルを導くことが証明可能となる。