[논문 리뷰] Degenerate principal series of metaplectic groups and Howe correspondence

Soo Teck Lee, Chen-Bo Zhu|arXiv (Cornell University)|2012. 07. 23.

Advanced Algebra and Geometry참고 문헌 13인용 수 5

한 줄 요약

이 논문은 실수 메타플레틱 군의 열림형 주요 표현에서 호우 상응에 의한 코인variant 공간의 상을 완성하며, 이러한 표현의 분해 가능성은 이러한 코인variant 모듈의 임베딩에 의해 완전히 설명됨을 보여준다. 주요 기여는 $K$-형과 모듈도면을 통해 $\Omega^{p,q}$의 전체 분류를 제시함으로써 이전 연구에서 남긴 격차를 메우고 아르키메데스형 호우 dualit의 구조적 패턴을 명확히 하는 데 있다.

ABSTRACT

The main purpose of this article is to supplement the authors' results on degenerate principal series representations of real symplectic groups with the analogous results for metaplectic groups. The basic theme, as in the previous case, is that their structures are anticipated by certain natural subrepresentations constructed from Howe correspondence. This supplement is necessary as these representations play a key role in understanding the basic structure of Howe correspondence (and its complications in the archimedean case), and their global counterparts play an equally essential part in the proof of Siegel-Weil formula and its generalizations (work of Kudla-Rallis). The full results in the metaplectic case also shed light on the seeming peculiarities, when the results in the symplectic case are viewed in their isolation.

연구 동기 및 목표

• 실수 메타플레틱 군의 열림형 주요 표현에서 호우 상응에 의한 코인variant 공간의 상 $\Omega^{p,q}$ 를 기술하는 것, 특히 $p+q$ 가 홀수일 경우.
• 이 표현들이 아르키메데스형 호우 상응과 시겔-바일 공식 및 그 일반화에서의 전역 대응체에서 수행하는 구조적 역할을 명확히 하는 것.
• 심플렉틱 군의 경우에 나타나는 명백한 특이성을 메타플레틱 설정에서의 통합적 접근을 통해 해결하는 것.
• 열림형 주요 표현 $I^\alpha(\sigma)$ 의 분해 가능성은 코인variant 모듈 $\Omega^{p,q}$ 의 임베딩에 의해 완전히 결정됨을 보이는 것.

제안 방법

• 표현 $I^\alpha(\sigma)$ 의 다중도가 1인 성질을 활용하여 $K$-형 분해를 통해 $\Omega^{p,q}$ 를 $G$-표현으로 식별하는 것.
• $I^\alpha(\sigma)$ 의 전이 계수 분석을 통해 불가약성과 보완적 계열의 구조를 결정하는 것.
• $n+m$ 과 $p$ 의 기수성에 따라 $I^\alpha(\sigma)$ 의 모듈도면을 구성하는 것. $\sigma \leq -\frac{1}{2}$ 와 $\sigma \geq \frac{1}{2}$ 의 경우에 대해 별도의 케이스를 설정하는 것.
• 주어진 불가약한 부분몫 $L_{s,t}$ 에 의해 생성되는 부분모듈 $\prec L_{s,t} \succ$ 의 정의. 이는 $p$ 의 기수성에 따라 다른 규칙을 가진다.
• $\psi_{p,q}$ 라는 애파인 몫 사상으로 코인variant를 $I^\alpha(\sigma)$ 에 임베딩하고, $K$-형 분석을 통해 그 상을 특성화하는 것.
• 실수 메타플레틱 군의 초월적 설정에 고전적 불변량 이론의 유사물(Fast Fourier Transform와 Schur Functor Theorem의 일반화)을 적용하는 것.

실험 결과

연구 질문

• RQ1 모듈 $\widetilde{\mathrm{Sp}}(2n,\mathbb{R})$ 의 열림형 주요 표현 $I^\alpha(\sigma)$ 에서 $p+q$ 가 홀수일 경우, 코인variant 공간의 상 $\Omega^{p,q}$ 는 어떻게 임베딩되어 있는가?
• RQ2 $\Omega^{p,q}$ 의 정확한 구조는 $K$-형과 $I^\alpha(\sigma)$ 의 부분몫에 대해 어떻게 기술될 수 있는가? 특히 분해 가능성의 점에서.
• RQ3 $I^\alpha(\sigma)$ 의 분해 가능성 패턴은 $\Omega^{p,q}$ 모듈의 임베딩과 어떻게 연관되어 있는가?
• RQ4 왜 심플렉틱 군의 경우 결과가 고립적으로 보면 특이하게 보이며, 메타플레틱 경우는 이를 어떻게 해결하는가?
• RQ5 $n$, $m$, $p$, $q$ 의 모든 기수성에 대해 $\Omega^{p,q}$ 의 전체 구조를 제약 없이 통일적으로 기술할 수 있는가?

주요 결과

• 모든 $n+m$ 가 짝수이고 $p$ 가 홀수일 경우, $\sigma \leq -\frac{1}{2}$ 일 때 $\Omega^{p,q} = L_{\frac{n+1-q}{2},\frac{p-1}{2}}$ 라고 되며, 이는 모듈도면의 바닥층에 위치한 불가약한 부분모듈임을 보여준다.
• $\sigma \geq \frac{1}{2}$ 이고 $p$ 가 홀수일 경우, $\Omega^{p,q} = \prec L_{s,t} \succ$ 라고 되며, 여기서 $s = \max(0, \frac{n+1-q}{2})$ 이고 $t = \min([\frac{n}{2}], \frac{p-1}{2})$ 이다. 이는 특정한 부분몫에 의해 생성된 부분모듈을 형성한다.
• 모든 $n+m$ 가 짝수이고 $p$ 가 짝수일 경우, $\sigma \leq -\frac{1}{2}$ 일 때 $\Omega^{p,q} = L_{\frac{p}{2},\frac{n-q}{2}}$ 라고 되며, 다시 말해 바닥층에 위치한 불가약한 부분모듈이다.
• $\sigma \geq \frac{1}{2}$ 이고 $p$ 가 짝수일 경우, $\Omega^{p,q} = \prec L_{s,t} \succ$ 라고 되며, 여기서 $s = \min([\frac{n+1}{2}], \frac{p}{2})$ 이고 $t = \max(0, \frac{n-q}{2})$ 이다. 이는 경계 조건이 다른 부분모듈을 형성한다.
• $\sigma \leq -\frac{1}{2}$ 일 때 바닥층에 위치한 모든 $L_{i,j}$ 의 집합은 $I^\alpha(\sigma)$ 의 모든 불가약한 부분모듈을 고갈하며, 그 구조는 $p,q,n,m$ 의 매개변수에 의해 완전히 결정된다.
• $I^\alpha(\sigma)$ 의 분해 가능성은 $\Omega^{p,q}$ 모듈의 가능한 임베딩에 의해 완전히 설명되며, 이는 정리 6.1에 의해 공식화되어 있다. 이 정리는 고전적 불변량 이론의 제2기본정리의 아르키메데스형 유사물이다.