대수적 군의 L^p 코호몰로지와 축소 보렐‑세레 컴팩트화

초록

국소 대칭 다양체의 L² 코호몰로지는 베일리‑보레르 사카케 컴팩트화의 교차 호몰로지와 동형이라는 것이 알려져 있다. 본 논문에서는 헤르미티안 가정이 없더라도, 충분히 큰 유한 p에 대해 산술 몫의 L^p 코호몰로지가 그 축소 보렐‑세레 컴팩트화의 일반 코호몰로지와 동형임을 관찰한다. 이를 이용해 무어포드의 정리—동질 벡터 번들, 그 불변 체르니 형식, 그리고 번들의 정준 확장—를 일반화한다. 여기서 정준 확장은 임의의 산술 몫에 대한 축소 보렐‑세레 컴팩트화로의 확장을 의미한다. 이를 달성하기 위해 우리는 층화된 공간 위의 벡터 번들과 체르니 클래스에 대한 체계적인 논의를 제공한다.

상세 요약

이 논문이 다루는 핵심 문제는 ‘산술 군’이라 불리는 아키메데안 군의 L^p 코호몰로지를 어떻게 위상학적으로 해석할 수 있느냐이다. 전통적으로 L² 코호몰로지는 베일리‑보레르(Baily‑Borel) 사카케 컴팩트화와 연결되어, 교차 호몰로지(intersection homology)라는 강력한 위상학적 도구와 동형임이 증명돼 왔다. 그러나 베일리‑보레르 컴팩트화는 복소구조, 특히 헤르미티안 대칭 공간에 의존하는데, 이는 일반적인 실대칭 공간이나 비헤르미티안 경우에는 적용이 어려운 제한점이다.

논문은 이러한 제한을 넘어, ‘축소 보렐‑세레(Reductive Borel‑Serre)’ 컴팩트화를 도입한다. 이 컴팩트화는 원래 보렐‑세레 컴팩트화에 ‘축소’ 구조를 추가해, 각 경계 성분이 레듀시브 군의 대칭 공간으로 분해되는 특성을 가진다. 중요한 점은 이 공간이 층화(stratified) 구조를 갖지만, 각 층이 충분히 ‘정규’하고 ‘가장자리’가 잘 제어되기 때문에 미분 형식의 L^p 적분이 경계에서 발산하지 않는다.

‘p가 충분히 크다’는 조건은 기술적으로는 ‘p > dim X’ 정도의 범위로, 이때 L^p 형식은 경계 근처에서 충분히 빠르게 감소한다. 저자는 이를 이용해 L^p 코호몰로지 군이 경계의 기여를 완전히 무시하고, 오직 내부의 평범한 미분 형식들만으로 생성된 코호몰로지와 동형임을 보인다. 즉,
\