[논문 리뷰] La conjecture locale de Gross-Prasad pour les repr\\'esentations temp\\'er\\'ees des groupes unitaires

Raphaël Beuzart-Plessis|arXiv (Cornell University)|2012. 05. 14.

Advanced Algebra and Geometry참고 문헌 12인용 수 15

한 줄 요약

이 논문은 비아르키메데스 현지체 위에서 유니타리 군 $ G = U(n) $ 에서 부분군 $ H = U(n-1) $ 로의 온도 표현 $ \pi $ 의 제약에서 온도 표현 $ \sigma $ 의 중복도 $ m(\pi, \sigma) $ 를 위한 적분 공식을 수립한다. 표준적인 온도 $ L $-패킷에 대한 추측을 바탕으로, 준분할 및 비준분할 형태의 군에 대한 $ L $-패킷의 합집합 안에서 정확히 한 쌍 $ (\pi, \sigma) $ 가 $ m(\pi, \sigma) = 1 $ 을 만족함을 증명하여, 온도 표현에 대한 국지적 그로스-프라사드 추측의 핵심 부분을 확인한다.

ABSTRACT

Let $E/F$ be a quadratic extension of non-archimedean local fields of characteristic 0 and let $G=U(n)$, $H=U(m)$ be unitary groups of hermitian spaces $V$ and $W$. Assume that $V$ contains $W$ and that the orthogonal complement of $W$ is a quasisplit hermitian space (i.e. whose unitary group is quasisplit over $F$). Let $\\pi$ and $\\sigma$ be smooth irreducible representations of $G(F)$ and $H(F)$ respectively. Then Gan, Gross and Prasad have defined a multiplicity $m(\\pi,\\sigma)$ which for $m=n-1$ is just the dimension of $Hom_{H(F)}(\\pi,\\sigma)$. For $\\pi$ and $\\sigma$ tempered, we state and prove an integral formula for this multiplicity. As a consequence, assuming some expected properties of tempered $L$-packets, we prove a part of the local Gross-Prasad conjecture for tempered representations of unitary groups. This article represents a straight continuation of recent papers of Waldspurger dealing with special orthogonal groups.

연구 동기 및 목표

• 특수 직교군에 대한 발드스부르거의 작업을 유니타리 군으로 확장하기 위해.
• 유니타리 군 $ U(n) $ 에서 $ U(n-1) $ 으로의 온도 표현 $ \pi $ 의 제약에서 온도 표현 $ \sigma $ 의 중복도 $ m(\pi, \sigma) $ 를 위한 적분 공식을 수립하기 위해.
• 온도 $ L $-패킷에 대한 표준 추측을 바탕으로, 준분할 및 비준분할 형태의 군에 대한 $ L $-패킷의 합집합 안에서 정확히 한 쌍 $ (\pi, \sigma) $ 가 $ m(\pi, \sigma) = 1 $ 을 만족함을 증명하여, 국지적 그로스-프라사드 추측의 약한 형태를 확인하기 위해.
• 발드스부르거의 작업에 영감을 받아, 중복도에 대한 적분 공식 방법을 유니타리 군 설정으로 일반화하기 위해.

제안 방법

• 온도 표현 $ \pi $ 와 $ \sigma $ 사이의 $ H(F) \times U(F) $--equivariant 선형 사상의 차원으로 중복도 $ m(\pi, \sigma) $ 를 정의하며, 이는 유니폴라틱 라디컬 $ U(F) $ 의 일반적 특성 $ \xi $ 로 휘어진다.
• 유니타리 군 $ H $ 에서 최대 무비대칭 토루스의 공액류에 대한 대표자 집합 $ \mathcal{T} $ 를 구성하며, 헤르미트 공간의 직교 분해로부터 유래한다.
• 정규 준정규 원소 $ t $ 근처에서 $ \pi $ 와 $ \sigma $ 의 하리시-찬드라 특성 전개를 사용하여 $ T(F) $ 상의 함수 $ c_\pi(t) $ 와 $ c_\sigma(t) $ 를 정의하며, 이는 영향력 있는 궤도 적분의 계수를 포함한다.
• 적분 공식을 유도하여, $ m(\pi, \sigma) $ 가 $ \mathcal{T} $ 에 속한 $ T $ 에 대한 기여의 합으로 표현되도록 하며, 이는 $ c_\pi(t) $, $ c_\sigma(t) $, 그리고 웨일 적분 측도를 포함한다.
• 준분할 및 비준분할 형태 $ G_i, G_a $ 와 $ H_i, H_a $ 간의 이중성과 함께, 대응하는 토루스에서 기여가 상쇄됨을 보이며, 유일하게 $ t = 1 $ 이외에는 모두 상쇄됨을 유도하여 총 중복도 합이 $ c_{\Pi_i}(1)c_{\Sigma_i}(1) $ 가 됨을 도출한다.
• 로디에의 기준을 적용하여 $ c_{\Pi_i}(1) $ 과 $ c_{\Sigma_i}(1) $ 가 웨일러 모델의 존재성과 일치함을 확인하고, 총 중복도가 1임을 유추함으로써 정확히 한 쌍 $ (\pi, \sigma) $ 가 $ m(\pi, \sigma) = 1 $ 을 만족함을 결론짓는다.

실험 결과

연구 질문

• RQ1 온도 표현 $ \pi $ 가 $ U(n) $ 에서 $ U(n-1) $ 로 제약될 때, 어떤 조건에서 온도 표현 $ \sigma $ 가 중복도 1을 가질 수 있는가?
• RQ2 특수 직교군에 대한 발드스부르거 공식과 유사하게, 유니타리 군 설정에서 중복도 $ m(\pi, \sigma) $ 를 위한 적분 공식을 수립할 수 있는가?
• RQ3 온도 $ L $-패킷의 존재성과 그 기대되는 성질이, 준분할 및 비준분할 형태에 대한 $ L $-패킷의 합집합에서 정확히 한 쌍 $ (\pi, \sigma) $ 가 $ m(\pi, \sigma) = 1 $ 을 만족함을 암시하는가?
• RQ4 유니타리 군 $ H $ 의 안정적 공액류를 가진 토루스의 기여가 적분 공식에서 총 중복도에 어떤 영향을 미치는가?

주요 결과

• 중복도 $ m(\pi, \sigma) $ 는 $ \mathcal{T} $ 의 토루스 집합 위에서의 적분 공식으로 주어지며, 이는 $ \pi $ 와 $ \sigma $ 의 하리시-찬드라 특성 전개에서 유래한 계수를 포함한다.
• 온도 표현에 대해서는, 준분할 및 비준분할 형태의 $ L $-패킷에 대한 총 중복도 $ m_{\Pi_i, \Sigma_i} + m_{\Pi_a, \Sigma_a} $ 는 $ c_{\Pi_i}(1)c_{\Sigma_i}(1) $ 와 같다.
• 안정적 공액류를 가진 토루스의 기여가 상쇄됨(영향력 있는 기여가 유일하게 $ t = 1 $ 일 때만 존재함)으로 인해 총 중복도는 1이다.
• $ c_{\Pi_i}(1)c_{\Sigma_i}(1) $ 가 1이 되는 것은 오직 $ \Pi_i $ 와 $ \Sigma_i $ 가 모두 웨일러 모델을 가진 표현을 포함할 때에만 가능하며, 이는 $ L $-패킷의 기대되는 성질에 의해 보장된다.
• 따라서 정확히 한 쌍 $ (\pi, \sigma) \in (\Pi_i \times \Sigma_i) \cup (\Pi_a \times \Sigma_a) $ 가 존재하여 $ m(\pi, \sigma) = 1 $ 이며, 이는 온도 표현에 대한 국지적 그로스-프라사드 추측의 약한 형태를 확인한다.
• 결과는 유니타리 군에 대한 온도 $ L $-패킷의 존재성과 그 기대되는 성질에 의존하며, 이는 랑글랜드 프로그램에서 표준적인 추측이다.