[논문 리뷰] Une formule intégrale reliée à la conjecture locale de Gross-Prasad, 2ème partie: extension aux représentations tempérées

Jean-Loup Waldspurger|ArXiv.org|2009. 04. 02.

Advanced Algebra and Geometry참고 문헌 4인용 수 29

한 줄 요약

이 논문은 국소 그로스-프라사드 추측의 맥락에서 온도 표현에 대해 스펙트럼적 및 기하학적 등식을 확립한다. 표현 $ \rho $의 다중도 $ m(\rho,\pi) $ 가 $ G(F) $ 의 표현 $ \pi $ 에서 $ H(F) $ 에서의 표현 $ \rho $ 에서의 다중도가 기하학적 트레이스 공식 표현 $ m_{\text{geom}}(\rho,\pi) $ 와 같음을 증명하며, 이는 이전의 단순 표현에서 온도 표현으로의 결과를 확장한다. 핵심 결과는 $ m(\rho,\pi) = 1 $ 인 쌍 $ (\rho,\pi) $ 의 유일성을 보여주며, 이는 국소 그로스-프라사드 추측의 중심 예측을 온도 $ L $-패킷에 대해 확인한다.

ABSTRACT

Let $F$ be a non-archimedean local field, of characteristic 0. Let $V$ be a finite dimensional vector space over $F$ and $q$ be a non-degenerate quadratic form on $V$. Denote $G$ the special orthogonal group of $(V,q)$. Let $W$ a non-degenerate hyperplane of $V$, denote $H$ the special orthogonal group of $W$. Let $π$, resp. $σ$, an admissible irreducible representation of $G(F)$, resp. $H(F)$. Denote $m(σ,π)$ the dimension of the complex space $Hom_{H(F)}(π_{| H(F)},σ)$. It's know that $m(σ,π)=0$ or 1. In a first paper, we have defined another term $m_{geom}(σ,π)$. It's an explicit sum of integrals of functions that can be deduced from the characters of $σ$ and $π$. Assume that $π$ and $σ$ are tempered. Then we prove the equality $m(σ,π)=m_{geom}(σ,π)$. This generalize the result of the first paper, where $π$ was supercuspidal. As in this paper, the previous equality implies as corollary (assuming certain properties of tempered $L$-packets) a weak form of the local Gross-Prasad conjecture, now for pairs of tempered $L$-packets.

연구 동기 및 목표

• 국소 그로스-프라사드 추측과 관련된 적분 공식을 단순 표현에서 온도 표현으로 확장한다.
• 온도 표현 $ \pi $ 와 $ \rho $ 에 대해 등식 $ m(\rho,\pi) = m_{\text{geom}}(\rho,\pi) $ 를 확립하며, 이는 이전 결과를 일반화한다.
• 다중도 $ m(\rho,\pi) = 1 $ 인 쌍 $ (\rho,\pi) $ 의 유일성을 증명하며, 이는 국소 그로스-프라사드 추측의 핵심 예측을 온도 $ L $-패킷에 대해 확인한다.
• 국소 필드 위의 올림픽 군에서 트레이스 공식의 기하학적 및 스펙트럼적 접근을 통합한다.

제안 방법

• 매우 단순한 함수 $ f $ 를 $ G(F) $ 에서 사용하여, $ H(F)U(F)\backslash G(F) $ 의 점점 더 큰 컴acts 부분집합 위에서 적분의 극한 $ I_N(\theta_\rho, f) $ 을 도입한다.
• 극한 $ \lim_{N\to\infty} I_N(\theta_\rho, f) $ 을 두 가지 방식으로 계산한다: 기하학적으로 ($ I_{\text{geom}} $) 와 스펙트럼적으로 ($ I_{\text{spec}} $) .
• 스펙트럼 공식 $ I_{\text{spec}}(\theta_\rho, f) $ 를 유도하며, 이는 $ L $-패킷, 가중 특성, 궤도 적분 $ J_L^G(\pi_\lambda, f) $ 를 포함한다.
• 등식 $ I_{\text{geom}} = I_{\text{spec}} $ 를 사용하여, 온도 표현 $ \pi $ 와 $ \rho $ 에 대해 $ m(\rho,\pi) = m_{\text{geom}}(\rho,\pi) $ 를 유도한다.
• 레마를 적용하여 $ m_{\text{geom}}(\rho, I\theta_f) $ 와 $ m_{\text{geom}}(\rho, \pi) $ 를 연결하고, $ m_{\text{spec}}(\rho, f) $ 와 $ m(\rho, \pi) $ 를 연결함으로써 최종 등식을 도출한다.
• 온도 표현이 [W1] 13.2의 성질 (1), (2), (3) 을 만족하는 $ L $-패킷으로 분해된다는 가정에 기반하며, $ G_i, H_i $ 의 쌍대 형태 $ G_a, H_a $ 가 존재함을 사용한다.

실험 결과

연구 질문

• RQ1 온도 표현 $ \pi $ 와 $ \rho $ 에 대해 등식 $ m(\rho,\pi) = m_{\text{geom}}(\rho,\pi) $ 가 단순 표현의 경우를 초월하여 성립하는가?
• RQ2 적분 표현 $ I_N(\theta_\rho, f) $ 의 극한이 $ N \to \infty $ 일 때의 스펙트럼적 해석은 무엇인가?
• RQ3 $ L $-패킷에서의 다중도 $ m(\rho,\pi) $ 는 쌍대 형태 $ G_a $ 와 $ H_a $ 에서 어떻게 행동하는가? 그리고 그 유일성은 어떠한가?
• RQ4 스펙트럼적 및 기하학적 트레이스 공식의 등식을 사용하여 국소 그로스-프라사드 추측을 온도 $ L $-패킷에 대해 확인할 수 있는가?
• RQ5 $ L $-패킷의 구조와 관련된 특성은 스펙트럼 공식 $ I_{\text{spec}} $ 에서 어떤 역할을 하는가?

주요 결과

• 모든 온도 표현, 즉 $ G(F) $ 의 온도 표현 $ \pi $ 와 $ H(F) $ 의 온도 표현 $ \rho $ 에 대해 등식 $ m(\rho,\pi) = m_{\text{geom}}(\rho,\pi) $ 가 성립하며, 이는 이전의 단순 표현에서의 결과를 온도 표현으로 확장한다.
• 스펙트럼 공식 $ I_{\text{spec}}(\theta_\rho, f) $ 는 $ L $-패킷의 합으로 유도되며, 가중 특성과 궤도 적분 $ J_L^G(\pi_\lambda, f) $ 를 포함하고, $ t(\pi)^{-1} $ 를 포함하는 수정 인자도 있다.
• 기하학적 극한 $ I_{\text{geom}}(\theta_\rho, f) $ 는 스펙트럼적 극한 $ I_{\text{spec}}(\theta_\rho, f) $ 와 같음을 보여 핵심 항등식을 확립한다.
• 다중도 $ m(\rho,\pi) $ 는 $ (\Sigma_i \times \Pi_i) \cup (\Sigma_a \times \Pi_a) $ 내에서 정확히 한 쌍 $ (\rho,\pi) $ 에서만 1이 되며, 이는 국소 그로스-프라사드 추측의 유일성 예측을 확인한다.
• 이 증명은 [W1] 13.2의 추측 성질 (1), (2), (3) 을 만족하는 $ L $-패킷으로 분해되는 $ Temp(G_i) $, $ Temp(G_a) $ 등에 기반한다.
• 결과는 쌍대 형태 $ G_a $, $ H_a $ 가 존재하고 그 $ L $-패킷이 잘 행동한다는 가정 하에 성립하며, $ \Pi_i $ 와 대응하는 패킷이 없으면 $ \Pi_a = \emptyset $ 이다.