The top cohomology of principal congruence subgroups of special linear groups over Euclidean number rings

기술적 요약: 유클리드 수환 위의 특수 선형군의 주합동 부분군에 대한 최고 차 코호몰로지

문제 제기
본 논문은 유클리드 수환 $R$과 소 아이디얼 $\mathfrak{p}$에 대해, 특수 선형군 $SL_n(R)$의 주합동 부분군 $\Gamma_n(\mathfrak{p})$의 최고 차 코호몰로지를 조사한다. Borel–Serre 쌍대성에 의해, 이러한 산술 군의 최고 차 $\nu$에서의 코호몰로지는 $R$의 분수체 $K$에 대한 스타인베르크 모듈 $St_n(K)$의 $\Gamma_n(\mathfrak{p})$ 작용 하에서의 동치류 (coinvariants) 와 동형이다.

Lee 와 Szczarba 가 $R=\mathbb{Z}$에 대해 처음 제기한 핵심 문제는, 스타인베르크 동치류에서 틴스 빌딩 (Tits building) 의 몫의 축소 호몰로지로의 자연스러운 사상이 동형사상인지 여부를 결정하는 것이다:
$$H^\nu(\Gamma_n(\mathfrak{p}); \mathbb{Q}) \twoheadrightarrow \tilde{H}_{n-2}(T_n(K)/\Gamma_n(\mathfrak{p}); \mathbb{Q})$$
Miller, Patzt, Putman (MPP) 이 $R=\mathbb{Z}$와 소수 $p \leq 5$에 대해 이를 해결했으나, 가우스 정수나 아이젠슈타인 정수와 같은 다른 유클리드 영역과 특정 소수에 대해서는 여전히 미해결 상태였다. 본 논문은 MPP 의 결과를 임의의 유클리드 수환으로 일반화하고, 사상이 동형사상이 되기 위한 소수 $\mathfrak{p}$에 대한 충분 조건을 규명하고자 한다.

방법론
증명 전략은 두 가지 주요 구성 요소에 의존한다: 특정 심플리셜 복합체의 고연결성 (high-connectivity) 분석과 이러한 복합체를 스타인베르크 모듈과 연결하는 스펙트럼 열 논증이다.

1. 심플리셜 복합체와 연결성:
   저자들은 $R$의 단위들의 잉여체 $F = R/\mathfrak{p}$에서의 상을 $U$라 할 때, '행렬식-$U$ 부분 $U$-기저' ($BDU_n$) 의 복합체와 그 '확장' 버전 ($BDAU_n$) 을 정의하고 분석한다.

   • MPP 가 사용한 $BDA^\pm_n(\mathbb{F}_p)$ 복합체를 일반화한다.
   • 핵심 기술적 혁신: MPP 가 스타인베르크 모듈의 Bykovskii 표현 (특히 $\mathbb{Z}$에 대해) 에 의존하여 고연결성을 증명했던 것과 달리, 본 논문은 $BDAU_n(F)$에 대한 고연결성을 증명하는 자체적인 증명을 제공한다.
   • 저자들은 $F$와 $U$가 특정 대수적 조건 (아래에 상세히 기술됨) 을 만족하면 복합체 $BDAU_n(F)$가 $(n-1)$-연결됨을 증명한다. 이는 다음을 포함한다:
     • 더 큰 기저 복합체에서 행렬식 복합체로의 재변환 (retraction) 을 구성한다.
     • 호모토피 군의 생성자인 '초기 D-삼각 사상'과 '초기 D-서스펜드 사상'이 지정된 조건 하에서 영호모토피 (null-homotopic) 임을 보인다.
     • 특정 환과 소수의 쌍에 대해 $BDAU_2(F)$가 1-연결 (단순 연결) 임을 보여 기본 사례 ($n=2$) 를 검증한다.

2. 스펙트럼 열과 스타인베르크 모듈:
   두 번째 구성 요소는 심플리셜 복합체의 호몰로지를 스타인베르크 모듈과 연결하기 위해 사상-포셋 (map-of-posets) 스펙트럼 열을 활용한다.

   • 저자들은 $BDU_n(F)$의 체인 복합체에서 스타인베르크 모듈 $St_n(K)$로의 전사 (surjection) 를 확립한다.
   • $BDAU_n(F)$가 $(n-1)$-연결일 경우, 스타인베르크 동치류에서 몫 틴스 빌딩의 호몰로지로의 사상이 동형사상임을 증명한다.
   • 결정적으로, 이 접근법은 $St_n(K)$에 대한 Bykovskii 표현을 가정하지 않으므로, 그러한 표현이 이전에 확립되지 않았던 $\mathbb{Z}[\sqrt{-2}]$와 같은 환에도 결과를 적용할 수 있게 한다.

주요 기여 및 결과

• 일반화된 동형사상 정리 (정리 1.5):
  본 논문은 유클리드 영역 $R$과 소수 $\mathfrak{p}$에 대해 사상
  $$(St_n(K))_{\Gamma_n(\mathfrak{p})} \to \tilde{H}_{n-2}(T_n(K)/\Gamma_n(\mathfrak{p}))$$
  가 항상 전사임을 증명한다. furthermore, 잉여체 $F = R/\mathfrak{p}$와 단위들의 상 $U \subset F^\times$가 다섯 가지 특정 조건을 만족하면 이는 동형사상이다:

  1. $F^\times/U \cong C_2$ (차수 2 의 순환군).
  2. $U$ 내의 단위를 사용하여 $F^\times \setminus U$ 내의 원소들을 생성하는 특정 가법 생성 성질.
  3. $F$가 $U$에 의해 가법적으로 생성됨.
  4. 원소 2 또는 단위의 특정 선형 결합에 관한 조건.
  5. 복합체 $BDAU_2(F)$가 1-연결임.

• 구체적 예시 (정리 1.4):
  저자들은 여러 유클리드 환과 소수의 쌍에 대해 이러한 조건을 검증하여, 다음에 대해 동형사상을 확립한다:

  • $(\mathbb{Z}[\sqrt{-2}], 1+\sqrt{-2})$
  • $(\mathbb{Z}[i], 3)$, $(\mathbb{Z}[i], 2i+1)$
  • $(\mathbb{Z}[\omega], 4\omega+1)$, $(\mathbb{Z}[\omega], 4\omega+3)$, $(\mathbb{Z}[\omega], 3\omega+1)$, $(\mathbb{Z}[\omega], 3\omega+2)$
    여기서 $\omega$는 1 의 세제곱근 중 원시근이다.

• 재귀적 계수 공식:
  동형사상을 활용하여, 본 논문은 $\mathbb{Z}$에 대한 이전 결과를 일반화하는 최고 차 코호몰로지 군 $\tilde{H}_{n-2}(T_n(K)/\Gamma_n(\mathfrak{p}))$의 계수를 계산하는 재귀적 공식 (명제 3.24) 을 제공한다.

의의 및 주장
본 논문은 Lee–Szczarba 문제의 해결에 대한 '일반화된 버전'을 제공한다고 주장한다. 그 주요 의의는 다음과 같다:

1. Bykovskii 표현에 대한 의존성 제거: 스타인베르크 모듈의 Bykovskii 표현 (이는 $\mathbb{Z}$, $\mathbb{Z}[i]$, $\mathbb{Z}[\omega]$에 대해서만 알려져 있었음) 에 대한 의존성을 피함으로써, 저자들은 $\mathbb{Z}[\sqrt{-2}]$와 같은 다른 유클리드 환으로 동형사상 결과를 확장한다.
2. 사례별 검증: 본 논문은 조건 (5) ($BDAU_2(F)$의 1-연결성) 이 각 특정 환과 소수에 대해 수동으로 확인되어야 함을 인정한다. 가우스 정수와 아이젠슈타인 정수에 대해서는 이를 실현 가능함을 보였으나, 모든 유클리드 환에 대한 일반적 알고리즘은 제공하지 않는다.
3. 전사성: 본 논문은 $F$와 $U$에 대한 특정 조건과 관계없이 $n \geq 2$에 대해 사상이 항상 전사임을 확립하며, 이는 그 자체로 강력한 결과이다.

저자들은 범위에 대해 겸손하게 서술하며, 동형사상을 위한 충분 조건 집합을 제공하지만 이러한 조건이 필요 조건이라고 주장하지는 않으며, 또한 나열된 예시 외에 이러한 조건을 만족하는 다른 환과 소수의 쌍이 존재하는지 현재 알지 못한다고 밝힌다.