[논문 리뷰] Normalized intertwining operators and nilpotent elements in the Langlands dual group

Alexander Braverman, David Kazhdan|ArXiv.org|2002. 06. 11.

Advanced Algebra and Geometry참고 문헌 9인용 수 26

한 줄 요약

이 논문은 국소 비아르키메데스 체 위의 분할 재구성 군에서 동일한 리만 컴포넌트를 가진 포물하 부분군과 관련된 $L^2$-공간 사이의 정규화된 상호연결 연산자를 구성한다. 랭랜즈 쌍대 리 대수에서 주요 $ \mathfrak{sl}_2$-삼중체의 작용을 이용하여, 푸리에 변환을 일반화하는 정규화된 유니터리 동형사상이 정의된다. 주요 기여는 임의의 포물하 부분군 $P$에 대해 리만 컴포넌트 $M$를 가지는 $G/[P,P]$ 상에서 컴팩트 지지 함수를 포함하고 $P$에 독립적인 스웨츠 공간 $ \mathcal{S}(G,M)$를 구성하고, 이에 관련된 $L$-함수들이 $q^{-s}$에 관해 유리함수임을 증명하는 것이다. 이는 기존 결과를 새로운 방법으로 재확인한다.

ABSTRACT

Let $F$ be a local non-archimedian field and let $G$ be a group of points of a split reductive group over $F$. For a parabolic subgroup $P$ of $G$ we set $X_P=G/[P,P]$. For any two parabolics $P$ and $Q$ with the same Levi component $M$ we construct an explicit unitary isomorphism $L^2(X_P) o L^2(X_Q)$ (which depends on a choice of an additive character of $F$). The formula for the above isomorphism involves the action of the principal nilpotent element in the Langlands dual group of $M$ on the unipotent radicals of the corresponding dual parabolics. We use the above isomorphisms to define a new space $\calS(G,M)$ of functions on $X_P$ (which depends only on $P$ and not on $M$). We explain how this space may be applied in order to reformulate in a slightly more elegant way the construction of $L$-functions associated with the standard representation of a classical group due to Gelbart, Piatetski-Shapiro and Rallis.

연구 동기 및 목표

• 고정된 리만 컴포넌트 $M$를 가진 임의의 포물하 부분군으로부터의 푸리에 변환과 정규화된 상호연결 연산자를 보조군의 경우에서 일반화한다.
• 동일한 리만 컴포넌트 $M$을 가진 포물하 부분군 $P,Q$에 대해, $L^2$-공간 $L^2(G/[P,P])$와 $L^2(G/[Q,Q])$ 사이의 정규화된 $G \times M^{\text{ab}}$--equivariant 유니터리 동형사상 $\mathcal{F}_{P,Q,\psi}$를 정의한다.
• 모든 $P$에 대해 $\mathcal{C}_c(G/[P,P])$를 포함하고 $P$에 독립적인 스웨츠 공간 $\mathcal{S}(G,M)$를 구성하며, 그 구면 벡터를 계산한다.
• 기존의 고전군에 대해 표준 $L$-함수의 유리성과 함수방정식을 재증명하기 위해 프레임워크를 적용한다. 이는 [9]의 방법과 유사하지만 더 넓은 설정에서 수행된다.

제안 방법

• $\mathcal{F}_{P,Q,\psi}$의 구성은 랭랜즈 쌍대 리 대수 $\mathfrak{m}^\vee$의 주요 $\mathfrak{sl}_2$-삼중체가 쌍대 포물하 부분군의 영향을 받는 니플로턴 라디칼 $\mathfrak{u}_\mathfrak{p}^\vee$ 위에 작용하는 데 기반한다.
• 동형사상 $\mathcal{F}_{P,Q,\psi}$는 덧셈 문자 $\psi: F \to \mathbb{C}^\times$를 이용하여 정의되며, $L^2(G/[P,P])$와 $L^2(G/[Q,Q])$ 위의 자연스러운 $G \times M^{\text{ab}}$-작용을 상호연결한다.
• 스웨츠 공간 $\mathcal{S}(G,M)$는 모든 그러한 $P$에 대해 $\mathcal{F}_{P,Q,\psi}$를 $\mathcal{C}_c(G/[P,P])$에 적용한 이미지의 합으로 정의되며, $L^2$-의미에서의 직합을 이룬다.
• $\mathcal{F}_{P,\overline{P},\psi}$는 $G = \mathrm{GL}(n)$인 경우 표준적인 푸리에 변환으로 식별되며, 이는 심플렉틱 및 오르토곤럴 구조를 통해 다른 고전군으로 확장된다.
• $L$-함수 $L(\pi,s)$는 제타 적분 $Z(f,m,s)$와 관련된 분수 이상의 이상 $\mathbb{C}[q^{-s}]$의 생성자로 정의되며, $q^{-s}$에 관해 유리함수임을 보여준다.
• 전역 $L$-함수의 함수방정식은 일반화된 파oisson 합공식을 이용하여 도출되며, 푸리에 연산자 $\mathcal{F}_{H,\psi}$의 쌍대성에 기반한다.

실험 결과

연구 질문

• RQ1 동일한 리만 컴포넌트를 가진 서로 다른 포물하 부분군과 관련된 $L^2$-공간 사이의 정규화된 상호연결 연산자를 체계적으로 어떻게 구성할 수 있는가?
• RQ2 랭랜즈 쌍대 리 대수에서 주요 $\mathfrak{sl}_2$-삼중체는 이러한 연산자를 정의하는 데 어떤 역할을 하는가?
• RQ3 모든 리만 컴포넌트 $M$를 가진 포물하 부분군 $P$에 대해 $G/[P,P]$ 상에서 컴팩트 지지 함수를 포함하고 $P$에 독립적인 정규화된 스웨츠 공간 $\mathcal{S}(G,M)$를 정의할 수 있는가?
• RQ4 제타 적분 $Z(f,m,s)$는 해석적으로 어떻게 행동하며, 표준 $L$-함수와의 관계는 무엇인가?
• RQ5 스웨츠 공간 $\mathcal{S}(H)$ 위의 일반화된 푸리에 변환 $\mathcal{F}_{H,\psi}$는 전역 $L$-함수의 함수방정식을 유도하는 기능 방정식을 만족하는가?

주요 결과

• 정규화된 상호연결 연산자 $\mathcal{F}_{P,Q,\psi}$는 $L^2(G/[P,P])$와 $L^2(G/[Q,Q])$ 사이의 정규화된, 유니터리한, $G \times M^{\text{ab}}$-equivariant 동형사상이며, $\mathcal{F}_{P,P,\psi} = \text{id}$이고 $\mathcal{F}_{Q,R,\psi} \circ \mathcal{F}_{P,Q,\psi} = \mathcal{F}_{P,R,\psi}$를 만족한다.
• $G = \mathrm{GL}(n)$인 경우, $\mathcal{F}_{P,\overline{P},\psi}$는 $\mathcal{F}(f)(x) = \int_{M_n} f(y) \psi(\operatorname{tr}(xy)) \, dy$로 주어지는 $M_n$ 위의 표준 푸리에 변환과 일치하며, 고전적 경우를 일반화한다.
• 스웨츠 공간 $\mathcal{S}(G,M)$는 모든 리만 컴포넌트 $M$를 가진 포물하 부분군 $P$에 대해 $\mathcal{F}_{P,Q,\psi}(\mathcal{C}_c(G/[P,P]))$의 합으로 정의되며, 선택한 $P$에 관계없이 국소적으로 상수인 함수들로 이루어져 있다.
• 제타 적분 $Z(f,m,s) = \int_H m(h) f(h) |\sigma(h)|^s \, dh$는 $\operatorname{Re}(s) \gg 0$에서 절대 수렴하며, $\mathbb{C}$ 상에서 $q^{-s}$에 관해 유리함수로 해석적 계속을 가진다.
• 이러한 제타 적분의 이상 $J_\pi$는 $1/P_\pi(q^{-s})$로 생성되며, $L(\pi,s) = 1/P_\pi(q^{-s})$로 놓을 경우 고전군의 자동형 표현에 대한 표준 $L$-함수를 재확인한다.
• 전역 $L$-함수의 함수방정식은 일반화된 파oisson 합공식에서 유도되며, 연산자 $\mathcal{F}_{H,\psi}$는 $\mathcal{F}_{H,\psi}^{-1} = \mathcal{F}_{H,\psi^{-1}}$를 만족하여 쌍대성을 보장한다.