Flatmates and the bounded cohomology of algebraic groups

기술 요약: 플랫메이트(Flatmates)와 대수적 군의 유계 코호몰로지

문제 정의
본 연구의 주요 목적은 비아르키메데스 국소체 위 대수적 군의 연속 유계 코호몰로지(continuous bounded cohomology)가 소멸함을 입증하는 것이다. 구체적으로, 본 논문은 다음과 같은 공백을 다룬다. 단순 대수적 군의 일반적인 연속 코호몰로지는 해당 필드 위에서 양의 차수에서 소멸한다는 사실이 알려져 있으나(Garland, Casselman, Wigner, Harder의 고전적 결과), 유계 코호몰로지의 거동은 미지의 영역으로 남아 있었다.

이 문제는 리 군(Lie groups)의 유계 코호몰로지를 이해하려는 더 넓은 맥락 속에 위치한다. 연결된 단순 리 군의 실수 연속 코호몰로지 클래스들이 유계라는 Dupont의 추측은 많은 군에 대해 여전히 미해결 상태이지만, 비아르키메데스 사례는 별개의 도전 과제를 제시한다. 일반적인 설정에서, 연관된 브루아트-티츠 빌딩(Bruhat–Tits building)이 그 차원의 수축 가능한 복합체이기 때문에 차수가 랭크보다 높으면 소멸하는 것은 자명하다. 그러나 이러한 "부드러운(soft)" 원리는 유계 코호몰로지에서는 실패한다. 예를 들어, $SL_2(\mathbb{Q}_p)$와 연관된 트리는 수축 가능하지만, 2차 유계 코호몰로지를 가질 수 있다. 본 논문은 다른 맥락에서의 "거의-코사이클(almost-cocycles)"의 거동과는 반대로, 이들 군의 유계 코호몰로지가 모든 양의 차수에서 완전히 소멸함을 증명하는 것을 목표로 한다.

방법론
증명 전략은 대수적 군을 그와 연관된 브루아트-티츠 빌딩의 기하학으로 환원한 뒤, 이러한 기하학적 구조들의 유계 코호몰로지에 대한 새로운 조합론적 접근법을 사용하는 것에 의존한다.

1. 빌딩으로의 환원: 대수적 군에 대한 소멸 정리(Theorem A)는 브루아트-티츠 빌딩의 자기 동형 군에 관한 명제(Theorem B)로 환원된다. 구조 이론을 사용하여, 이 문제는 국소 유한 유클리드 빌딩 위에 강하게 추이적으로(strongly transitively) 작용하는 단순 군의 경우로 축소된다.
2. 플랫메이트 복합체(Flatmate Complex): 핵심적인 기술적 혁신은 "플랫메이트 복합체"(또한 cokotcomplex라고도 함)의 분석이다. 이 심플리셜 복합체는 빌딩의 공통 아파트먼트(apartment/flat) 내에 존재하는 정점들의 튜플들로 구성된다. 저자들은 이전에 트리(tree)의 맥락에서 [BM19] 이 객체를 제안했으나, 고차원 랭크 빌딩으로 일반화하는 과정에서 상당한 조합론적 어려움에 직면했었다.
3. 심플리셜 도구 및 서포트 컨트롤(Support Control): 빌딩 내 임의의 점 구성의 조합론적 복잡성을 극복하기 위해, 본 논문은 다음과 같은 심플리셜 도구들을 도입한다.
   • 서포트 컨트롤(Support Control): 호몰로지 사이클의 $\ell^1$-노름을 활용하는 원리이다. 만약 $n$개의 정점을 가진 모든 유한 부분 복합체가 최대 $\phi(n)$개의 정점을 가진 가약(acyclic) 부분 복합체에 포함된다면, 해당 복합체는 균등 가약(uniformly acyclic)임(즉, 유계 수축 호모토피를 허용함)을 확립한다.
   • 균등 너브 원리(Uniform Nerve Principles): 저자들은 균등 버전의 너브 레마(nerve lemma)를 개발한다. 만약 심플리셜 복합체의 피복(cover)이 하이퍼심플렉스(hypersimplex)들로 이루어져 있고 그 교집합 또한 하이퍼심플렉스라면, 해당 복합체는 피복의 너브(nerve)와 균등 호모토피 동치이며, 이때의 경계값은 호몰로지 차수에만 의존함을 증명한다.
4. 빌딩에의 적용: 저자들은 이 도구들을 유클리드 빌딩의 아파트먼트 체계에 적용한다. 저자들은 아파트먼트 체계의 너브가 균등 가약함을 보여준다. 균등 너브 원리에 의해, 이는 플랫메이트 복합체 자체가 균등 가약함을 의미한다.

주요 결과

• 정리 A (대수적 군): 비아르키데스 국소체 $k$ 위의 임의의 대수적 군 $G$에 대하여, 실수 계수를 갖는 $G(k)$의 연속 유계 코호몰로지는 모든 양의 차수에서 소멸한다.
• 정리 B (빌딩): 국소 컴팩트 군 $G$가 국소 유한 유클리드 빌딩 위에 적절하고 강하게 추이적으로 자기 동형 사상으로 작용할 때, 그 연속 유계 코호몰로지는 모든 양의 차수에서 소멸한다.
• 정리 F (플랫메이트): 임의의 이산 기약 유클리드 빌딩의 플랫메이트 복합체는 균등 가약하다. 이는 이전 연구 [BM19]에서 제기된 "플랫메이트 추측"을 해결한다.
• 정리 D & Dbis (산술 군): 본 논문은 $S$-산술 군에 대한 소멸 및 불변성 정리를 도출한다.
  • $G$가 아르키메데스 완비화 위에서 무방향(anisotropic)이면, $S$-산술 군 $\Gamma$의 유계 코호몰로지는 $0 < n < 2 \sum_{v \in S} \text{rank}_{K_v}(G)$ 차수에서 소멸한다.
  • 이소트로픽(isotropic) 아르키메데스 장(place)이 존재하는 경우, $\Gamma$의 유계 코호몰로지는 동일한 차수 범위 내에서 대응하는 아르키메데스 리 군들의 곱의 코호몰로지와 동형이다.

의의 및 주장
본 논문은 정리 A가 비아르키메데스 군에 대한 고전적 소멸 정리를 강화하는 것임을 주장한다. 일반적인 코호몰로지 소멸은 잘 알려져 있지만, 유계 코호몰로지의 소멸은 "엄격한 강화(strict strengthening)"이며, 이는 "거의-코사이클"(예: 2차 준동형사상/quasi-morphism)조차도 자명해야 함을 의미한다.

저자들은 본 연구를 반단순(semi-simple) 리 군의 유계 코호몰로지와 일반 코호몰로지 사이의 동형성에 관한 추측의 비아르키메데스적 해법으로 위치시킨다. 이들 군에 대해 일반 코호몰로지가 소멸하므로, 결과적으로 유계 코호몰로지도 소멸하며, 이는 이전에 랭크-1 그룹(트리)에서만 알려졌던 사실이다.

나아가, 본 논문은 "서포트 컨트롤" 원리와 "균등 너브 원리"를 일반적인 심플리셜 도구로서 도입한다. 저자들은 이러한 방법론들이 독립적인 관심 대상이며, 대수적 군을 넘어 특히 복합체의 접합(glueing of complexes)이나 거대 변환 군(large transformation groups)의 연구와 관련된 맥락에서도 적용 가능할 수 있다고 제안한다.

또한, 본 결과는 $S$-산술 군의 유계 코호몰로지 연구에서 누락되었던 조각을 완성하여, 이산 산술 군의 코호몰로지를 그들의 주변 리 군의 연속 코호몰로지와 연결하는 불변성 정리를 도출함으로써, 2차 또는 랭크-1 사례로 제한되었던 기존 결과들을 확장한다.