Nonzero $\mathfrak{n}$-cohomology of Totally Degenerate Limit of Discrete Series representations

기술적 요약: TDLDS 표현의 비영 $\mathfrak{n}$ 코호몰로지

문제 제기
완전 퇴화 이산급수 (TDLDS) 표현은 표준 이산급수 표현에 요구되는 정칙성 가정을 완화하여 정의된다. 이산급수 표현은 갈루아 표현에 대응하며 산술 기하학과의 강력한 연결고리를 가진 것으로 알려져 있으나, TDLDS 표현은 이와 유사하게 확립된 연결고리가 부재하다. Carayol 은 TDLDS 가 그리피스 - 슈미드 영역 (허미트 대칭이 아님) 의 일관성 코호몰로지에서 감지될 수 있음을 관찰했으나, 이러한 영역에 복소 구조가 부재함으로써 고전적 대수기하학 도구의 적용이 저해된다. 본 논문이 다루는 핵심 문제는 $\mathfrak{n}$ 을 음의 근 공간으로 할 때 TDLDS 표현 $\pi$ 에 대한 리 대수 코호몰로지 $H^*(\mathfrak{n}, \pi)$ 의 비소멸 성질을 규명하고, 이러한 코호몰로지 군이 유니터리 군에 대한 Gan-Gross-Prasad (GGP) 유형의 가지 법칙을 지지할 수 있는 쌍대성 성질을 만족하는지 조사하는 것이다.

방법론
본 논문은 조합론적 표현론과 명시적 모듈 구성의 결합을 활용한다:

1. 조합론적 프레임워크: 저자는 리 대수 코호몰로지를 계산하기 위해 Soergel [Soe97] 이 도입한 조합론적 복소체를 활용한다. 이는 브루아 순서와 상대적 브루아 길이 ($l$ 및 $l_K$) 를 사용하여 Weyl 군 $W$의 부분집합 위에 체인 복소체를 정의하는 것을 포함한다. 이러한 복소체의 미분은 $d^2=0$ 을 보장하는 특정 부호 조건을 만족하도록 구성된다.
2. 코호몰로지 분석: 논문은 TDLDS 표현의 가중치 공간 $H^*(\mathfrak{n}, \pi)_{-\lambda}$ 를 분석한다. Casselman-Osborne 보조정리를 활용하여 분석을 무한소 특징에 의해 결정된 특정 가중치로 제한한다. 저자는 TDLDS 의 경우, 표현을 정의하는 비컴팩트 단순근으로 인해 관련 차수에서의 미분이 소멸됨을 증명한다.
3. 명시적 구성: 저차원 경우 ($SU(2,1) \subset SU(1,1)$) 에서는 추상적 조합론적 논증에서 명시적 계산으로 이동한다. Carayol [Car98] 과 Jantzen-Wallach [JW77] 이 기술한 $SU(2,1)$ 의 유일한 TDLDS 에 대한 Harish-Chandra 모듈 분해를 활용한다. 저자는 $SU(2,1)$ TDLDS 와 $SU(1,1)$의 기약 가분해 가능 표현 사이의 명시적 인터트위닝 사상$J$를 구성하여, 그것이$\mathfrak{g}'$-작용과 호환됨을 검증한다.

주요 기여 및 결과

• 비소멸 정리 (정리 1.1 / 정리 3.3): 논문은 Weyl 군에 의해 고정되는 임의의 정수 주가중치 $\lambda$(TDLDS 의 특징) 에 대해, 코호몰로지 군 $H^q(\mathfrak{n}, \pi)_{-\lambda}$ 가 표준 차수 $q = \#(\Phi_K \cap \Phi^+)$ 에서 비영이 되는 무한소 특징 $\lambda + \rho$ 를 가진 TDLDS 표현 $\pi$ 가 존재함을 확립한다. 이는 Carayol 과 Kerr 의 이전 결과를 모든 환원군으로 확장한다.
• 세르 쌍대성 (정리 1.2 / 정리 3.6): 저자는 이러한 코호몰로지 군이 세르 쌍대성을 만족함을 증명한다. 구체적으로, $H^q(\mathfrak{n}, V)_{-\lambda} \simeq H^{\#\Phi^+ - q}(\mathfrak{n}, V^\vee)_{\lambda + 2\rho}$ 이다. 증명 과정은 이 쌍대성이 $K$-타입의 $\mathfrak{n} \cap \mathfrak{k}$ 코호몰로지의 세르 쌍대성과 호환됨을 보여준다.
• GGP 추측과의 연결 (4 절): 논문은 이러한 코호몰로지 군을 통해 GGP 추측의 기하학적 해석을 제안한다. 차수 $n$ 과 $n+1$ 인 유니터리 군에 대한 그리피스 - 슈미드 다양체 위의 선다발 코호몰로지 군 사이의 제한 사상을 구성한다. 이러한 사상의 비소멸은 주기 적분과 $L$-값의 비소멸과 연결된다.
• 명시적 인터트위닝 사상 (정리 1.3 / 정리 5.7): 특정 포함 관계 $SU(1,1) \subset SU(2,1)$ 에 대해, 논문은 $\mathfrak{g}'$-모듈의 사상 $J: \pi \to \pi'$ 을 구성한다. 주요 결과는 그러한 사상이 1 차원에서 코호몰로지에 비소멸 제한을 유도할 필요충분조건이 $\pi'$ 가 $SU(1,1)$ 에 대한 이산급수의 반정규극한 (anti-holomorphic limit) 일 것이라는 점이다. 주목할 점은 이 사상이 $SU(2,1)$의 최소$K$-타입에서는 소멸하지만, 코호몰로지 수준에서는 비자명한 사상을 유도한다는 것이다.

의의 및 주장
본 논문은 특정 사례를 넘어 모든 환원군에 대한 TDLDS 의 $\mathfrak{n}$-코호몰로지 비소멸에 대한 첫 번째 견고한 조합론적 증명을 제공한다고 주장한다. 이러한 군에 대한 세르 쌍대성을 확립함으로써, 표준 이산급수의 성질을 반영하는 구조적 틀을 마련한다.

저자는 이러한 결과가 TDLDS 와 GGP 추측 사이의 연결에 대한 증거를 제공한다고 제시한다. 구체적으로, 코호몰로지 제한 사상의 비소멸은 TDLDS 에 대한 아키메데스 장소에서의 주기 적분 비소멸에 코호몰로지적 장애물이 없음을 시사한다. 그러나 논문은 이러한 연결의 범위에 대해 겸손한 입장을 취하며, 모든 유니터리 군으로의 일반화를 증명된 추측이 아닌 열린 질문 (질문 1.4) 으로 제시한다. $SU(2,1)$에 대한 명시적 구성은 저차원에서 이러한 가지 법칙을 연구하는 방법의 "기본 예시"로서 기능하며, 인터트위닝 사상이 최소$K$-타입을 소멸시킬지라도 비소멸 코호몰로지가 발생할 수 있음을 보여준다. 이는 번역 함자를 사용하는 접근법과 구별되는 현상이다.