[논문 리뷰] (GL(2n,C),SP(2n,C)) is a Gelfand Pair

Eitan Sayag|ArXiv.org|2008. 05. 19.

Advanced Algebra and Geometry참고 문헌 10인용 수 6

한 줄 요약

이 논문은 $GL_{2n}(\bar{C})$ 위의 분포 중 $Sp_{2n}(\bar{C}) \times Sp_{2n}(\bar{C})$에 대해 양면 불변인 것들이 전치에 대해서도 불변임을 보여, $(GL_{2n}(\bar{C}), Sp_{2n}(\bar{C}))$가 Gelfand 쌍임을 증명한다. 핵심 결과는 $GL_{2n}(\bar{C})$의 임의의 기하적이고 미분 가능한 적당한 Fréchet 표현 $\pi$에 대해, 표현 공간 위의 $Sp_{2n}(\bar{C})$-불변 선형 함수형의 공간이 최대 일차원이라는 것이다. 이는 기존의 $p$-진 수체에서의 결과를 아르히메데스 설정으로 확장한 것으로, 분포 기준과 대칭 쌍 이론을 사용한다.

ABSTRACT

We prove that (GL_{2n}(C),Sp_{2n}(C)) is a Gelfand pair. More precisely, we show that for an irreducible smooth admissible Frechet representation (π,E) of GL_{2n}(C) the space of continuous functionals Hom_{Sp_{2n}(\cc)}(E,C) is at most one dimensional. For this we show that any distribution on GL_{2n}(C) invariant with respect to the double action Sp_{2n}(C) imes Sp_{2n}(C) is transposition invariant. Such a result was previously proven for p-adic fields by M. Heumos and S. Rallis.

연구 동기 및 목표

• 체 $F = \mathbb{C}$인 아르히메데스 경우로 $p$-진 수체 $F$에 대해 $(GL_{2n}(F), Sp_{2n}(F))$가 Gelfand 쌍임을 알려진 결과를 확장한다.
• 임의의 기하적이고 미분 가능한 적당한 Fréchet 표현 $\pi$에 대해, $GL_{2n}(\mathbb{C})$의 표현 공간 위에서 $Sp_{2n}(\mathbb{C})$-불변 선형 함수형의 공간 $\mathrm{Hom}_{Sp_{2n}(\mathbb{C})}(\pi, \mathbb{C})$가 최대 일차원임을 증명한다.
• Gelfand-Kazhdan 분포 기준을 사용하여, $GL_{2n}(\mathbb{C})$ 위의 $Sp_{2n}(\mathbb{C}) \times Sp_{2n}(\mathbb{C})$-불변 분포가 전치에 대해서도 불변임을 증명한다.
• Gelfand-Kazhdan 기준이 적용되기 위해 요구되는 [AGS]와 [AG2]의 프레임워크에 따라, 대칭 쌍 $(GL_{2n}(\mathbb{C}), Sp_{2n}(\mathbb{C}))$가 양호하고 모든 그 후손들이 정규임을 확인한다.

제안 방법

• Gelfand-Kazhdan 분포 기준을 사용하여, $Sp_{2n}(\mathbb{C}) \times Sp_{2n}(\mathbb{C})$-불변 분포가 전치에 대해서도 불변임을 보임으로써, Gelfand 쌍 성질을 증명한다.
• 대칭 쌍 이론을 적용하여, $G_x$와 $H_x$의 분해를 분석하고, $GL_{2n}(\mathbb{C})$ 위의 대칭 쌍 $(GL_{2n}(\mathbb{C}), Sp_{2n}(\mathbb{C}))$의 구조를 분석한다.
• 반단순 원소 $x \in GL_{2n}(\mathbb{C})$가 반자기자기 $\sigma(g) = J_{2n}^{-1} {}^t g J_{2n}$에 대해 고정되어 있을 때, 중심화자 $G_x$가 $GL(V_i, E_i)$의 곱으로 분해됨을 보인다. 여기서 $V_i$는 $E_i = \mathbb{C}[t]/(P_i(t))$ 위의 벡터 공간이다.
• Sp_{2n}(\mathbb{C})의 $GL_{2n}(\mathbb{C})$ 위의 작용이 중심화자 $G_x$와 안정자 $H_x$를 유한 확장 $E_i$ 위의 심플렉틱 군들의 곱으로 분해함을 증명한다.
• $J: V \to V^*$가 각각의 $V_i$에 제한되었을 때 비퇴화적인 반대칭 형식을 정의하므로, 각각의 $V_i$는 $E_i$ 위의 심플렉틱 공간이 되며, 이에 따라 후손 쌍은 $E_i$ 위의 $(GL(W), Sp(W))$ 형태의 대칭 쌍의 곱과 동형이 된다.
• [AGS]와 [AG2]에서의 양호하고 정규인 대칭 쌍에 관한 결과를 활용하여, $Sp_{2n}(\mathbb{C}) \times Sp_{2n}(\mathbb{C})$-불변 분포의 전치 불변성이 성립함을 결론짓는다.

실험 결과

연구 질문

• RQ1 대칭 쌍 $(GL_{2n}(\mathbb{C}), Sp_{2n}(\mathbb{C}))$는 Gelfand 쌍인가?
• RQ2 GL_{2n}(\mathbb{C}) 위의 모든 $Sp_{2n}(\mathbb{C}) \times Sp_{2n}(\mathbb{C})$-불변 분포는 전치에 대해서도 불변인가?
• RQ3 대칭 쌍 $(GL_{2n}(\mathbb{C}), Sp_{2n}(\mathbb{C}))$의 모든 후손들은 정규이고, 쌍은 양호한가?
• RQ4 Gelfand-Kazhdan 기준은 아르히메데스 설정에서 적용 가능하여 $(GL_{2n}(\mathbb{C}), Sp_{2n}(\mathbb{C}))$의 Gelfand 쌍 성질을 증명할 수 있는가?
• RQ5 반자기자기 $\sigma$가 심플렉틱 형식과 관련된 반단순 원소 $x \in GL_{2n}(\mathbb{C})$에 대해 $x = \sigma(x)$를 만족할 때, 중심화자 $G_x$의 구조는 어떠한가?

주요 결과

• 쌍 $(GL_{2n}(\mathbb{C}), Sp_{2n}(\mathbb{C}))$는 Gelfand 쌍이며, 이는 임의의 기하적이고 미분 가능한 적당한 Fréchet 표현 $\pi$에 대해, $\mathrm{Hom}_{Sp_{2n}(\mathbb{C})}(\pi, \mathbb{C})$ 공간이 최대 일차원이라는 것을 의미한다.
• Sp_{2n}(\mathbb{C}) \times Sp_{2n}(\mathbb{C})$-불변인 $GL_{2n}(\mathbb{C})$ 위의 모든 분포는 전치에 대해서도 불변이며, 이는 Gelfand-Kazhdan 기준의 핵심 단계이다.
• 대칭 쌍 $(GL_{2n}(\mathbb{C}), Sp_{2n}(\mathbb{C}))$는 양호하고 모든 후손들이 정규하다. 이는 [AGS]와 [AG2]의 프레임워크에서 요구되는 조건을 만족한다.
• 반단순 원소 $x \in GL_{2n}(\mathbb{C})$에 대해 $x = \sigma(x)$를 만족할 때, 중심화자 $G_x$는 $\prod_{i=1}^n GL(V_i, E_i)$의 곱으로 분해되며, 여기서 $V_i$는 $E_i = \mathbb{C}[t]/(P_i(t))$ 위의 벡터 공간이고, $P_i$는 $x$의 최소다항식의 기약 인수이다.
• 안정자 $H_x = G_x \cap Sp_{2n}(\mathbb{C})$는 $\prod_{i=1}^n Sp(V_i, J_i)$로 분해되며, 여기서 $J_i$는 형식이 $V_i$에 제한된 것임을 의미한다. 이에 따라 각각의 $V_i$는 $E_i$ 위의 심플렉틱 공간이 된다.
• 대칭 쌍 $(GL_{2n}(\mathbb{C}), Sp_{2n}(\mathbb{C}))$의 후손들은 $\mathbb{C}$의 유한 확장 $E_i$ 위에서 $(GL(W), Sp(W))$ 형태의 대칭 쌍의 곱으로 표현되며, $\dim_E(W) \leq \dim_{\mathbb{C}}(V)$이다.