[논문 리뷰] L-modules and micro-support

Leslie Saper|ArXiv.org|2001. 12. 22.

Advanced Topics in Algebra참고 문헌 34인용 수 14

한 줄 요약

이 논문은 국소 대칭 공간의 재구성 Borel-Serre 컴actification 위에서 구조적 층을 연구하기 위한 조합론적 프레임워크로 $\mathrm{L}$-모듈을 도입한다. $\mathrm{L}$-모듈의 미세지지(set)를 정의하고, 전역 퇴화 정리를 증명하며, 가중치와 교차 코homology의 미세지지를 계산하고, 제약 조건 하에서의 함의성(functoriality)을 확립한다. 주요 결과는 15년 전의 추측을 해결한다: 등급이 같은 경계 성분을 가진 허미션 국소 대칭 공간에 대해, 재구성 Borel-Serre 컴actification의 교차 코homology는 Baily-Borel-Satake 컴actification의 그것과 동형이다.

ABSTRACT

L-modules are a combinatorial analogue of constructible sheaves on the reductive Borel-Serre compactification of a locally symmetric space. We define the micro-support of an L-module; it is a set of irreducible modules for the Levi quotients of the parabolic Q-subgroups associated to the strata. We prove a vanishing theorem for the global cohomology of an L-module in term of the micro-support. We calculate the micro-support of the middle weight profile weighted cohomology and the middle perversity intersection cohomology L-modules. (For intersection cohomology we must assume the Q-root system has no component of type D_n, E_n, or F_4.) Finally we prove a functoriality theorem concerning the behavior of micro-support upon restriction of an L-module to the pre-image of a Satake stratum. As an application we settle a conjecture made independently by Rapoport and by Goresky and MacPherson, namely, that the intersection cohomology (for either middle perversity) of the reductive Borel-Serre compactification of a Hermitian locally symmetric space is isomorphic to the intersection cohomology of the Baily-Borel-Satake compactification. We also obtain a new proof of the main result of Goresky, Harder, and MacPherson on weighted cohomology as well as generalizations of both of these results to general Satake compactifications with equal-rank real boundary components. An overview of the theory of L-modules and the above conjecture, as well as an application to the cohomology of arithmetic groups, can be found in math.RT/0112250 .

연구 동기 및 목표

• 재구성 Borel-Serre 컴actification 위에서의 구조적 층에 대한 애널로그로서 $\mathrm{L}$-모듈의 조합론적 이론을 개발하기 위해.
• 미세지지(set)를 정의하고, 이는 파라보릭 부분군의 리 대수의 리-대칭군의 임의의 표현을 캡처하는 $\mathrm{L}$-모듈의 성질을 연구하기 위해.
• 미세지지의 관점에서 $\mathrm{L}$-모듈의 전역 퇴화 정리를 증명하기 위해.
• 중간 무게 프로파일 가중 코homology와 중간 펄서비티 교차 코homology $\mathrm{L}$-모듈의 미세지지를 계산하기 위해.
• Satake 스트라타로의 제약 조건 하에서의 미세지지의 함의성 정리를 증명하고, 이를 바탕으로 Rapoport와 Goresky-MacPherson의 추측을 해결하기 위해.

제안 방법

• 파라보릭 부분군과 그 리-대칭군의 작용을 이용하여 $\mathrm{L}$-모듈 이론을 수립하고, 노름화된 라디칼의 리 대수 코homology를 다룬다.
• 미세지지는 $\mathrm{L}$-모듈의 코homology의 코homological 구조에서 유도된 리-대칭군 $L_P$의 기약 표현의 집합으로 정의된다.
• Kostant의 리 대수 코hom로 정리에 의해 $H(\mathfrak{n}_P; E)$를 $W_P$에 의해 인덱싱된 $L_P$-모듈의 분해에 사용한다.
• 재구성 Borel-Serre 컴actification의 구조를 이용하여, 코homology의 지지(set)와 미세지지의 관계를 분석함으로써 전역 퇴화 정리를 확립한다.
• 스트라타 포함에 따른 코homology의 행동을 분석하고, $W = W^P W_P$의 분해를 이용하여, 제약 조건 하에서의 미세지지의 함의성 정리를 증명한다.
• Rapoport–Goresky–MacPherson 추측의 해결은, $\pi: \widehat{X} \to X^*$의 사영 아래에서 교차 코homology의 미세지지가 보존됨을 보여, 교차 코homology 층의 준동형이 성립함을 보여서 달성된다.

실험 결과

연구 질문

• RQ1 어떻게 $\mathrm{L}$-모듈의 코homology의 표현 이론적 구조를 캡처하는 미세지지(set)를 정의할 수 있는가?
• RQ2 재구성 Borel-Serre 컴actification 위에서 중간 무게 프로파일 가중 코homology $\mathrm{L}$-모듈의 미세지지는 무엇인가?
• RQ3 중간 펄서비티 교차 코homology $\mathrm{L}$-모듈의 미세지지는 무엇이며, Satake 컴actification의 코homology와 어떻게 관련되어 있는가?
• RQ4 Satake 스트라타로의 제약 조건 하에서 $\mathrm{L}$-모듈의 미세지지가 함의적으로 행동하는가?
• RQ5 허미션 국소 대칭 공간에 대해, 재구성 Borel-Serre 컴actification의 교차 코homology는 Baily-Borel-Satake 컴actification의 그것과 동형인가?

주요 결과

• $\mathrm{L}$-모듈의 미세지지는 Kostant의 정리에 의해 $H(\mathfrak{n}_P; E)$를 통해 유도된 $L_P$-기본 표현들의 집합으로 정의된다.
• 전역 퇴화 정리가 증명되었다: $\mathrm{L}$-모듈의 전역 코homology는 특정 스트라타를 피하는 미세지지를 가질 경우 퇴화하며, 이는 가중 코homology에 대한 이전 결과를 일반화한다.
• 중간 무게 프로파일 가중 코호몰로지 $\mathrm{L}$-모듈의 미세지지는 웨일 군과 최고 무게를 통해 명시적으로 계산된다.
• 중간 펄서비티 교차 코호몰로지의 경우, $\mathbb{Q}$-근계에 $D_n$, $E_n$, 또는 $F_4$ 성분이 없는 조건 하에서 미세지지가 계산된다.
• Satake 스트라타로의 제약 조건 하에서의 미세지지의 함의성 정리가 확립되었으며, 이는 $\pi: \widehat{X} \to X^*$의 사영에 따른 당김에서 미세지지가 잘 행동함을 보여준다.
• Rapoport와 Goresky–MacPherson의 추측이 해결되었다: 등급이 같은 실경계 성분을 가진 Satake 컴actification에 대해 자연스러운 준동형 $\pi_*\mathcal{I}_p\mathcal{C}(\widehat{X}; \mathbb{E}) \cong \mathcal{I}_p\mathcal{C}(X^*; \mathbb{E})$ 가 존재한다.