[논문 리뷰] Multiplicative constants and maximal measurable cocycles in bounded cohomology

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

Advanced Operator Algebra Research참고 문헌 50인용 수 4

한 줄 요약

이 논문은 유계 코homology에서 측정 가능한 코사이클에 대해 다항 상수와 최대 표현 이론을 확장하며, 경계 사상에 의한 새로운 풀어내기 구조를 도입한다. 복소 하이퍼볼릭 격자에 대한 PU(m,1)-코사이클의 카르탕 불변량을 정의하고, 최대 코사이클이 표준 격자 포함사상과 코homologous임을 증명하여, 표현을 초월한 고정성 결과를 일반화한다.

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.

연구 동기 및 목표

• 유계 코hom로지에서 연속 표현에서부터 측정 가능한 코사이클로 다항 상수와 최대 표현의 프레임워크를 일반화하는 것.
• 직접 코chain 풀어내기의 한계를 극복하기 위해 경계 사상에 기반한 코herent한 풀어내기 맵을, 측정 가능한 코사이클에 대해 수립하는 것.
• 복소 하이퍼볼릭 격자의 측정 가능한 PU(m,1)-코사이클에 대해 카르탕 불변량을 정의하고 연구함으로써, 표현 이론에서의 고전적 불변량을 확장하는 것.
• 최대 측정 가능한 코사이클을 특성화하고, 그것들이 표준 격자 포함사상과 코homologous임을 보이며, 표현을 초월한 고정성 결과를 일반화하는 것.
• 고정성 이론의 응용을 위한 기초를 마련하며, 이는 에르고딕 자기결합의 분류와 1-타우트성 추측에 포함된다.

제안 방법

• 측정 가능한 $ \sigma $-등변 경계 사상 $ \varphi: G/Q \times X \to Y $를 이용하여 연속적인 유계 코hom로지에서 새로운 풀어내기 맵 $ C^\bullet(\Phi_X) $를 도입하며, $ X $에 대한 통합과 $ \varphi $를 통한 풀어내기의 조합을 포함한다.
• 다음과 같은 적분 공식을 통해 다항 상수 $ \lambda_{\psi', \psi}(\sigma) $를 정의한다: $ \psi' \in B^\infty(Y^{\bullet+1}; \mathbb{R})^{G'} $ 및 $ \psi \in L^\infty((G/Q)^{\bullet+1})^G $를 포함하며, 고전적 Burger-Iozzi 프레임워크와의 일致성을 보장한다.
• 코호모로지 클래스 $ H^\bullet_{cb}(G; \mathbb{R}) $와 $ C^\bullet(\Phi_X) $를 통해 풀어낸 클래스를 연결하기 위해 전이 맵 $ \mathrm{trans}^\bullet_{G/Q} $를 사용하며, 이는 다항 공식을 가능하게 한다.
• 코사이클의 $ G' $-코호모로지 클래스에 대해 풀어내기의 불변성을 확립함으로써, 이 구조가 코호모로지에서 잘 정의되어 있음을 보장한다.
• 이 프레임워크를 적용하여, 유계 칼라르 클래스 $ \kappa^b_m $를 사용하여 측정 가능한 $ \mathrm{PU}(m,1) $-코사이클에 대해 카르탕 불변량 $ i(\sigma) $를 정의한다.
• 알gebraic hull과 1차원 구조를 이용하여, 최대 코사이클(카르탕 불변량의 상한에 도달하는 코사이클)이 표준 격자 포함사상 $ i: \Gamma \to \mathrm{PU}(m,1) $와 코homologous임을 증명한다.

실험 결과

연구 질문

• 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 프레임워크를 확장한다.
• 풀어내기 맵 $ C^\bullet(\Phi_X) $는 관련된 측정 가능한 코사이클 $ \sigma $를 따라 풀어낸 것과 동일한 코호모로지 클래스를 유도하므로 일致성을 보장한다.
• 풀어낸 유계 칼라르 클래스 $ \kappa^b_m $가 0이 아닐 경우, 비원소적 코사이클의 대수적 힐링 $ L $은 $ K \cdot M $의 거의 직접곱이며, 여기서 $ M \cong \mathrm{PU}(p,1) $이고 $ 1 \leq p \leq m $이다.
• 최대 코사이클의 경우, 대수적 힐링 $ L $은 $ \mathrm{PU}(n,1) \cdot K $의 거의 직접곱이며, $ K $는 컴팩트하고 $ m \geq n $이며, $ \sigma $는 표준 격자 포함사상과 코호모로지한다.
• 최대 코사이클은 항상 비원소적이며, 유일한(콤팩트 인자에 대해 유일한) 경계 사상이 존재한다. 이는 원소적 코사이클을 특징짓는 것이며, 카르탕 불변량이 0임을 의미한다.
• 이 프레임워크는 새로운 응용을 가능하게 하며, 이는 $ \mathrm{PU}(n,1) $에서의 균일 격자에 대한 에르고딕 자기결합이 항상 표준 포함사상과 코호모로지하는 최대 코사이클을 유도한다는 증명을 포함한다.