[논문 리뷰] L^2-cohomology of locally symmetric spaces, I

Leslie Saper|ArXiv.org|2004. 12. 20.

Advanced Algebra and Geometry참고 문헌 19인용 수 8

한 줄 요약

이 논문은 국소 대칭 공간의 L²-코호몰로지를 실현하는 L²-코호몰로지 L-모듈로, Ω_(2)(E)로 표기되며, 그의 마이크로서포트를 계산한다. 주요 기여는 L-모듈을 사용하는 새로운 조합론적 프레임워크를 통해 헤르미트 또는 동일 랭크 가정 없이 Borel-Zucker 추측(즉, L²-코호몰로지가 중간 페르스비티의 교차 코호몰로지와 동형임)을 증명하는 것이다.

ABSTRACT

Let X be a locally symmetric space associated to a reductive algebraic group G defined over Q. L-modules are a combinatorial analogue of constructible sheaves on the reductive Borel-Serre compactification of X; they were introduced in [math.RT/0112251]. That paper also introduced the micro-support of an L-module, a combinatorial invariant that to a great extent characterizes the cohomology of the associated sheaf. The theory has been successfully applied to solve a number of problems concerning the intersection cohomology and weighted cohomology of the reductive Borel-Serre compactification [math.RT/0112251], as well as the ordinary cohomology of X [math.RT/0112250]. In this paper we extend the theory so that it covers L^2-cohomology. In particular we construct an L-module whose cohomology is the L^2-cohomology of X and we calculate its micro-support. As an application we obtain a new proof of the conjectures of Borel and Zucker.

연구 동기 및 목표

• 이전에 체계적으로 다루어지지 않은 L²-코호몰로지를 포함하도록 L-모듈 이론을 확장하는 것.
• L²-이론에서 발생하는 무한차원 국소 코호몰로지로 인한 해석적 및 대수적 과제를 극복하는 것.
• L²-코호몰로지, 교차 코호몰로지, 가중 코호몰로지를 L-모듈을 통해 통합적인 조합론적 프레임워크로 제공하는 것.
• 헤르미트 또는 동일 랭크 가정 없이도 Borel-Zucker 추측이 전반적으로 성립함을 증명하는 것—즉, L²-코호몰로지가 중간 페르스비티의 교차 코호몰로지와 동형임을 보이는 것.
• L²-코호몰로지 L-모듈의 마이크로서포트를 계산하여 코호몰로지 불변량의 더 깊은 구조적 분석을 가능하게 하는 것.

제안 방법

• 국소 대칭 공간 X 위의 L²-미분형식의 복합체를 모델링하는 일반화된 L-모듈 Ω_(2)(E)를 도입한다.
• 재구성된 Borel-Serre 컴actsification X̂를 기하학적 모델로 사용하며, 몫 사상 π: X̂ → X*를 통해 L²-코호몰로지를 층 코호몰로지와 연결한다.
• L-모듈과 그 관련 유형 이론을 이용하여 Ω_(2)(E)의 마이크로서포트를 정의하고, 이전의 구조적 층에 대한 작업을 확장한다.
• Rπ_*Ω_(2)(E)의 i* 및 i!에 대한 소멸 조건을 사용하여 교차 코호몰로지의 국소적 특성화를 적용한다.
• 필요한 소멸을 위한 준동형사상의 조건을 확보하기 위해, d(k*Ω_(2)(E)) < (1/2)codim F 형태의 마이크로서포트 추정을 적용한다.
• SS(Ω_(2)(E)) = {E}라는 사실을 활용하고, [33, 보조정리 26.2]를 적용하여 섬유 제한의 코호몰로지 차원을 제어한다.

실험 결과

연구 질문

• RQ1 무한차원 국소 코호몰로지가 존재하는 바람에 L²-코호몰로지가 L-모듈을 통한 조합론적 모델링이 가능한가?
• RQ2 L²-코호몰로지 L-모듈 Ω_(2)(E)의 마이크로서포트는 무엇이며, 경계의 기하학과 어떻게 관련되어 있는가?
• RQ3 헤르미트 또는 동일 랭크 가정 없이도 Borel-Zucker 추측—즉, L²-코호몰로지가 중간 페르스비티의 교차 코호몰로지와 동형임—이 성립하는가?
• RQ4 Rapoport 추측(I_pH(X*) ≅ I_pH(X̂))은 L-모듈 프레임워크를 통해 L²-코호몰로지로 확장될 수 있는가?
• RQ5 Ω_(2)(E)의 마이크로서포트는 경계 스트라타 근처에서 L²-형식의 코호몰로지 행동을 어떻게 캐릭터라이즈하는가?

주요 결과

• 논문은 국소 대칭 공간 X의 L²-코호몰로지 H_(2)(X;E)와 코호몰로지가 동형인 L-모듈 Ω_(2)(E)를 구성한다.
• Ω_(2)(E)의 마이크로서포트는 SS(Ω_(2)(E)) = {E}로 계산되며, 이는 그의 코호몰로지 행동을 제어하는 핵심 불변량이다.
• Borel-Zucker 추측이 전반적으로 증명된다: 자연스러운 준동형사상 Ω_(2)(X*;E) ≅ I_pC(X*;E)가 존재하여, H_(2)(X;E) ≅ I_pH(X*;E)임을 암시한다.
• 이 증명은 섬유별 코호몰로지 차수 d(k*Ω_(2)(E)) < (1/2)codim F임을 보여, 교차 코호몰로지에 필요한 소멸 조건을 만족시킴을 바탕으로 한다.
• 결과는 헤르미트 또는 동일 랭크 조건 없이도 모든 국소 대칭 공간에 대해 성립하며, 이전 연구에서 요구하던 이러한 제약 조건 없이 결과를 확장한다.
• 이 프레임워크는 L²-코호몰로지를 교차 코호몰로지 및 가중 코호몰로지와 하나의 조합론적 모델을 통해 통합한다.