[논문 리뷰] Une variante d'un résultat de Aizenbud, Gourevitch, Rallis et Schiffmann

Jean-Loup Waldspurger|ArXiv.org|2009. 11. 09.

Agriculture and Rural Development Research인용 수 14

한 줄 요약

이 논문은 특수직교군 $G^0$의 기약 적응 표현에 대한 표현의 제약에서, $M^0$에서의 표현 제약에 대해 다중성일의 정리를 수립한다. 이는 이러한 표현들 사이의 $G^0$-불변 호모모르피즘 공간의 차원이 최대 하나임을 증명한다. 증명은 Aizenbud, Gourevitch, Rallis, Schiffmann의 기법을 응용하여, 불변 분포, 푸리에 변환, 영점 궤도와 라그랑주 분해에 의한 표현 이론적 내림림을 사용하여, 특정 $\bar{G}$-불변 분포가 0이 됨을 보이며, 이는 다중성일 성질을 암시한다.

ABSTRACT

Aizenbud, Gourevitch, Rallis and Schiffmann proves results of multicity one in different cases, in particular for orthogonal groups. Using the same method, we prove the same result for special orthogonal groups.

연구 동기 및 목표

• 특수직교군 $G^0$의 기약 적응 표현이 직교군 $M^0$에서 제약된 경우의 다중성일 정리를 수립한다.
• Aizenbud, Gourevitch, Rallis, Schiffmann의 결과를 직교군에서 특수직교군으로 확장한다.
• 기약 적응 표현 $\pi$에 대해 $M^0$에서, $\rho$에 대해 $G^0$에서, $\dim_{\mathbb{C}}(\operatorname{Hom}_{G^0}(\pi|_{G^0}, \rho)) \leq 1$임을 증명한다. 이는 국소 Gross-Prasad 추측의 핵심 단계이다.
• 표현의 특성 $\chi$에 따라 변하는 $\bar{G}$-불변 분포 공간 ${\cal S}'(M^0)^{\bar{G},\chi}$가 자명함을 보이며, 즉 ${\cal S}'(M^0)^{\bar{G},\chi} = \{0\}$임을 보이며, 이는 주요 정리의 결과를 이끈다.

제안 방법

• 군 $\tilde{G} = G \times \{\pm 1\}$과 그 부분군 $\bar{G} = \{ (g,\epsilon) \in \tilde{G} \mid \det(g) = \epsilon^{e(V)} \}$를 정의하여, $G^0$, $\mathfrak{g}$, $V$에 대해 비틀린 작용을 정의한다. 여기서 $e(V) = \lfloor (\dim V + 1)/2 \rfloor$이다.
• 주요 정리를 증명하기 위해, $M^0$ 위의 $\bar{G}$-불변 분포 공간이 특성 $\chi$에 따라 변하는 경우가 자명함을 보이는 것으로 문제를 축소한다: ${\cal S}'(M^0)^{\bar{G},\chi} = \{0\}$.
• 프로베누스를 통한 내림림을 사용하여 문제를 ${\cal S}'(M^0 \times W)^{\bar{M},\chi} = \{0\}$로 축소하며, 이는 안정자 분석을 통해 $M^0$에서의 0이 되는 것을 암시한다.
• 차원 $\dim V = d$에 대한 귀납법을 적용하여, 기저 사례 $d = 1, 2$를 검증하고, $d \geq 3$일 때 영점 궤도와 라그랑주 분해의 구조를 분석하며, 특히 불변 분포의 지지부를 중심으로 한다.
• 푸리에 변환을 $V$에 적용하여 $T$와 $\hat{T}$를 연결하며, 둘 다 동일한 $Q(X)$ 위에 지지되어 있다면 $T = 0$임을 보이며, $\underline{G}_X$-작용에 대한 불변성에 기반한다.
• 일반적인 경우를 두 가지 표준적인 영점 궤도 유형으로 축소한다: 홀수 차원이면서 중심 벡터를 가지는 경우, 그리고 $d \equiv 0 \mod 4$이면서 라그랑주 분해를 가지는 경우이며, $g \mapsto -a$ 및 $g \mapsto -g$에 대한 등변성에 의해 $T$가 0이 됨을 강제한다.

실험 결과

연구 질문

• RQ1 특수직교군 $M^0$의 기약 적응 표현을 $G^0$로 제약했을 때, 그 표현에 대해 $G^0$-불변 함수가 최대 하나만 존재하는가?
• RQ2 $M^0$과 $G^0$이 전체 직교군이 아니라 특수직교군일 때, $M^0$-표현의 제약에 대한 다중성일 성질을 확립할 수 있는가?
• RQ3 $M^0$ 위의 $\bar{G}$-불변 분포 공간이 특성 $\chi$에 따라 변하는 경우, 자명한가? 즉, ${\cal S}'(M^0)^{\bar{G},\chi} = \{0\}$인가?
• RQ4 ${\cal S}'(M^0 \times W)^{\bar{M},\chi}$의 0이 성립한다면, 군론적 내림림과 안정자 분석을 통해 ${\cal S}'(M^0)^{\bar{G},\chi}$의 0이 성립하는가?
• RQ5 현재 증명이 특성 0을 가정하고 있지만, 이 증명을 특성 0이 아닌 양의 특성으로 확장할 수 있는가?

주요 결과

• 표현의 특성 $\chi$에 따라 변하는 $\bar{G}$-불변 분포 공간 ${\cal S}'(M^0)^{\bar{G},\chi}$는 자명하다: ${\cal S}'(M^0)^{\bar{G},\chi} = \{0\}$이며, 이는 주요 다중성일 결과를 암시한다.
• $d = \dim V = 1$ 또는 $2$일 때, $\bar{G}$-작용에 대한 궤도 분석을 통해, 어떤 불변 분포도 $G^0$-작용에 대해 불변이 아니므로 반드시 0이 됨을 보였다.
• $d \geq 3$일 때, $G^0 \times V$ 또는 $\mathfrak{g} \times V$ 위의 임의의 $\bar{G}$-불변 분포 $T$의 지지는 각각 $Z{\cal U} \times V$ 또는 ${\cal N} \times V$에 포함되며, 여기서 $Z$는 $G^0$의 중심, ${\cal U}$는 유니포텐트 집합, ${\cal N}$은 영점 원뿔이다.
• $d$가 홀수이거나 $d \equiv 2 \mod 4$일 경우, 중심 원소 $-1$의 비자명한 작용으로 인해 웰 표현에서 관측되는 불변량이 0이 되며, 이는 $T$가 0이 되도록 강제한다.
• $d \equiv 0 \mod 4$일 경우, 증명은 두 가지 표준적인 영점 궤도 유형으로 축소된다: 중심 벡터를 가지는 경우와 라그랑주 분해를 가지는 경우이며, 이 두 경우 모두 $g \mapsto -a$ 또는 $g \mapsto -g$에 대한 불변성에 의해 $T = 0$이 된다.
• 결과는 특성 0에서 성립하며, 최근 Henniart의 작업을 바탕으로 특성 0이 아닌 양의 특성으로의 확장 가능성을 저자도 추측하고 있다.