[논문 리뷰] Bounded cohomology and binate groups

Francesco Fournier-Facio, Clara Loeh외 1명|arXiv (Cornell University)|2021. 11. 08.

Geometric and Algebraic Topology인용 수 5

한 줄 요약

이 논문은 binate(가상-미토틱) 군이 유계적으로 약한 군임을 증명하며, Homeo_c(ℝⁿ) 및 미토틱 군과 같은 군의 유계 코homology에 관한 이전 결과들을 통합한다. 또한 binate 군이 임의의 완비 체 위에서 유니버설하게 유계적으로 약한 군임을 증명하여 새로운 예를 제공하고, 톰슨 군 F, T, V의 유계 코homology가 가능한 한 간단할 것임을 시사한다.

ABSTRACT

A group is boundedly acyclic if its bounded cohomology with trivial real coefficients vanishes in all positive degrees. Amenable groups are boundedly acyclic, while the first non-amenable examples were the group of compactly supported homeomorphisms of $\mathbb{R}^n$ (Matsumoto--Morita) and mitotic groups (Löh). We prove that binate (alias pseudo-mitotic) groups are boundedly acyclic, which provides a unifying approach to the aforementioned results. Moreover, we show that binate groups are universally boundedly acyclic. We obtain several new examples of boundedly acyclic groups as well as computations of the bounded cohomology of certain groups acting on the circle. In particular, we discuss how these results suggest that the bounded cohomology of the Thompson groups $F$, $T$, and $V$ is as simple as possible.

연구 동기 및 목표

• 유계적으로 약한 군에 관한 알려진 결과를 통합하고 일반화하는 것, 특히 Matsumoto–Morita 및 Löh의 결과를 포함하여.
• binate(가상-미토틱) 군이 유계적으로 약한 군임을 증명하여 비준비성 유계적으로 약한 군의 범주를 확장하는 것.
• 임의의 완비 체 위에서 binate 군이 유니버설하게 유계적으로 약한 군임을 증명하여 유계 코homology 계산의 범위를 넓히는 것.
• 유계 약성의 유전적 성질을 탐구하는 것, 특히 군의 확장과 순서 있는 합집합에서의 성질.
• 톰슨 군 F, T, V의 유계 코homology를 조사하여, 그 유계 코homology가 모든 양의 차수에서 자명할 것임을 시사하는 것.

제안 방법

• Berrick와 Varadarajan의 약성 증명 프레임워크를 유계 코hom로 일반화하기 위해 유계 비교 사상(의사-비교 사상)을 사용하는 것.
• binate 군의 구조—특정 재귀적 통합 조건에 의해 정의됨—을 이용해 유계 코homology의 자명성을 보여주는 명시적 체인 호모토피를 구성하는 것.
• 위상적 이중성에 의한 유계 코hom로 해상화를 적용하여, 체인 사상의 노름 추정치를 활용하는 것.
• 군의 준동형사상이 노름을 감소시키는 체인 사상을 유도한다는 사실을 이용하여, binate 군의 약성과 유계 약성의 조합을 통해 유니버설 유계 약성을 증명하는 것.
• 논문의 보조정리 6.9의 맥락에서 특히 중요한, 조합적 cup-곱 계산(보조정리 B.1을 통한)을 활용하여 유계 코homology 내의 cup-거듭제곱을 분석하는 것.
• 모든 군이 2단계의 부분정규 포함을 통해 binate 군에 포함될 수 있음을 이용하여, 확장에서의 유계 약성에 대한 2-out-of-3 성질에 대한 반례를 구성하는 것.

실험 결과

연구 질문

• RQ1 binate 군은 유계적으로 약한가? 그리고 이는 Homeo_c(ℝⁿ) 및 미토틱 군과 같은 이전의 비준비성 예들—예를 들어—를 통합하는가?
• RQ2 유계 약성은 확장에서 보존되는가? 그리고 군의 확장에서 유계 약성에 대한 2-out-of-3 성질이 성립하는가?
• RQ3 binate 군은 임의의 완비 체 위에서 유니버설하게 유계적으로 약한가?
• RQ4 새로운 프레임워크를 바탕으로 톰슨 군 F, T, V의 유계 코homology에 관해 무엇을 말할 수 있는가?
• RQ5 원 위에 작용하는 군의 유계 코homology는 binate 군 프레임워크를 통해 계산될 수 있는가?

주요 결과

• 모든 binate 군은 유계적으로 약한 군이며, 이는 비준비성 유계적으로 약한 군의 통합적 프레임워크를 제공한다.
• binate 군은 유니버설하게 유계적으로 약한 군이다: 모든 완비 체 𝕂와 모든 n ≥ 1에 대해 Hⁿ_b(Γ;𝕂) ≅ 0이다.
• 정규부분군 H를 가진 유계적으로 약한 군 Γ가 존재하며, Γ/H는 유계적으로 약한 군이지만 H는 모든 차수 n ≥ 2에서 연속기수 차원의 유계 코homology를 가진다.
• 유계적으로 약한 군의 순서 있는 합집합은 유계적으로 약한 군이며, 이는 닫힘 성질의 확장을 제공한다.
• 톰슨 군 F, T, V의 유계 코homology는 모든 양의 차수에서 자명할 것이라 추측된다.
• 조합적 cup-곱 항등식(보조정리 B.1)은 alt(f₂∪ᵏ) = (2ᵏ·k!)/(2k)! · f₂ₖ임을 확인하여 핵심 코hom로지컬 계산을 뒷받침한다.