Gross's conjecture: the dihedral case

기술적 요약: Gross의 추측: 이면체 사례 (The Dihedral Case)

문제 정의
본 논문은 2000년 Gross가 제안한 분할 단순 군(split simple group) $G_2$ 상의 쿼터니언 모듈러 형식(quaternionic modular forms)의 산술적 구조에 관한 추측을 다룬다. Waldspurger는 반정수 가중치(half-integral weight) 모듈러 형식의 푸리에 계수와 이차 비틀림(quadratic twists)을 가진 정수 가중치 형식의 $L$-값 사이의 심오한 관계를 확립한 바 있는데, Gross는 $G_2$ 상의 쿼터니언 모듈러 형식에 대해서도 이와 유사한 관계가 성립할 것이라고 추측했다. 구체적으로, 그는 이 형식들의 푸리에 계수가 (전체 실수 삼차 환(totally real cubic rings)에 의해 인덱싱되는) $PGL_2$ 상의 연관된 홀로모픽 모듈러 형식의 중심 $L$-값($s=1/2$)의 세제곱 비틀림(cubic twists) 정보를 인코딩할 것이라고 예측했다.

이 연구 이전에는, 이 추측이 특정 비-고립(non-cuspidal) 사례(예: Eisenstein series)나 매우 제한적인 삼차 대수(cubic algebras)에 대해서만 알려져 있었다. 주요 과제는 추측을 검증할 수 있는 고립 사례(cuspidal examples)의 부재였는데, 특히 연관된 모듈러 형식들이 비-제곱자유 레벨(non-squarefree levels)을 갖는 경우가 많아 기존의 세타 리프트(theta lift) 기법을 적용하는 데 어려움이 있었다.

방법론
저자들은 대상이 되는 홀로모픽 모듈러 형식 $f$가 허 이차체 $K$의 공액-심플렉틱 Hecke 캐릭터 $\chi$와 연관된 "이면체 사례(dihedral case)"에 대해 이 추측을 증명한다. 방법론은 **예외적 세타 리프트(exceptional theta lift)**를 통해 쿼터니언 모듈러 형식을 구성하고, 그 푸리에 계수를 명시적으로 계산하는 것에 의존한다.

1. 세타 리프트 구성: 저자들은 $K$와 연관된 컴팩트 유니타리 군 $G' = PU_3$로부터 $G_2$로의 세타 리프트를 통해 $G_2$ 상의 고립 쿼터니언 모듈러 형식 $F_\epsilon$을 구성한다. 이 리프트는 $E_6$의 준-분할 아드준트 형식(quasi-split adjoint form) 상의 세타 커널을 활용한다. $G_2$의 표현 $\pi_\epsilon$은 저자들이 이전에 무조건적으로 확립한 Arthur의 추측에 따라 $G'$의 고립 오토모픽 표현 $\sigma_\epsilon$과 연관된다.
2. 푸리에 계수 분석: 푸리에 계수 $a_E(F_\epsilon)$는 $G'$ 상의 오토모픽 피리어드(automorphic period)와 관련이 있다. $E_6$의 하이젠베르크 파라볼릭(Heisenberg parabolic)의 비가환 라디칼(unipotent radical)을 따라 세타 커널을 분석함으로써, 저자들은 푸리에 계수를 $G'$ 상의 전역 토러스 피리어드 $P_i(f')$와 국소 적분 $I_v$의 곱으로 나타내는 적분 공식(식 1.2)을 도출한다.
3. Seesaw 항등식 및 피리어드: $K$ 상의 유니타리 군과 삼차 대수 $E$ 사이의 "seesaw" 다이어그램이 사용되어, 전역 피리어드 $|P_i(f')|^2$를 $L$-값 $L(1/2, f \otimes V_E)$와 연관시킨다 ($V_E$는 $E$와 연관된 2차원 Artin 표현). 이 단계는 유니타리 군에서 직교 군으로의 세타 리프트에 관한 T. Yang의 명시적 계산을 활용한다.
4. 국소 적분 계산: 핵심적인 기술적 기여는 모든 곳(place)에서의 국소 적분 $I_v(E_v, \phi_v, f'_v)$을 명시적으로 계산하는 것이다.
   • 비-램피파이드(Unramified) 곳 ($p \nmid N$): 저자들은 구형 벡터(spherical vectors)를 활용하며, 적분이 0이 아니며(그리고 1과 같음) 삼차 대수가 unramified이고 maximal인 경우에만 성립함을 증명한다. 이는 대수 임베딩의 켤레에 관한 군론적 진술로 귀결된다(보조정리 4.5).
   • 램피파이드(Ramified) 곳 ($p \mid N$): 저자들은 국소 부호 조건 $\epsilon_p = \epsilon_p(E_p, \chi_p)$가 충족되면 1이 되고, 그렇지 않으면 0이 되는 특성 함수 역할을 하는 특정 "테스트 벡터"(국소 벡터 $\phi_p$ 및 $f'_p$)를 구성한다. 이는 푸리에 계수의 소멸을 방지하는 국소적 장애물을 해결한다.
   • 아르키메데스(Archimedean) 곳: 이 계산은 쿼터니언 이산 급수(quaternionic discrete series) 이론과 $E_6$의 최소 표현(minimal representation)에 의존한다. 저자들은 최고 가중치 벡터를 구성하기 위해 특정 레이징 연산자(raising operators)를 정의하고, Bessel 함수와 Freudenthal 구성의 성질을 사용하여 결과적인 적분을 계산한다.

주요 기여 및 결과
본 논문은 Gross의 추측이 성립하는 첫 번째 무조건적 증명을 제시한다.

• 주요 정리 (정리 1.2 / 정리 3.14): Hecke 캐릭터 $\chi$ ($L(1/2, \chi) \neq 0$)와 연관된 짝수 가중치 $2k$를 갖는 이면체 모듈러 형식 $f$에 대하여, 임의의 전체 실수 에탈(étale) 삼차 대수 $E/\mathbb{Q}$ (정수 환 $\mathcal{O}_E$ 포함)에 대해 다음을 만족하는 $G_2$ 상의 쿼터니언 모듈러 형식 $F_\epsilon$이 존재한다:
  $$|a_E(F_\epsilon)|^2 = L(1/2, f \otimes V_E) \cdot \Delta_E^{(k-1)/2}$$
  단, $f$의 레벨을 나누는 모든 소수 $p$에 대해 국소 부호 조건 $\epsilon_p = \epsilon_p(E_p, \chi_p)$가 충족되어야 한다. 이 조건이 충족되지 않으면 푸리에 계수는 0이 된다.
• 명시적 국소 적분: 본 논문은 세타 리프트에서 발생하는 국소 적분의 완전한 평가를 제공하며, 특히 특정 국소 부호를 격리하는 램피파이드 프라임에서의 새로운 테스트 벡터 구성을 포함한다.
• 전체 실수체로의 일반화: 서론에서는 $\mathbb{Q}$에 초점을 맞추고 있으나, 저자들은 자신들의 방법론이 전체 실수체 $F$와 이면체 힐베르트 모듈러 형식으로 일반화될 수 있음을 언급한다(정리 3.14).

의의
본 논문은 Gross의 추측이 성립하는 것으로 알려진 첫 번째 사례임을 주장한다. 이는 $G_2$ 상의 쿼터니언 모듈러 형식의 이론과 모듈러 형식의 삼차 비틀림의 산술 사이의 간극을 메운다.

저자들은 이러한 형식의 푸리에 계수가 아벨 확장($\mathbb{Q}^{ab}$) 내에 존재한다는 Pollack의 이전 연구와 본 결과가 일치함을 강조한다. 이들은 계수를 (Blasius의 연구를 통해 이면체 형식의 비틀림이 $\mathbb{Q}^{ab}$ 내에 피리어드를 가짐이 알려진 것과 같이) 디아드릭(dihedral) 형식의 비틀림 $L$-값과 연관시킴으로써, 이 계수들의 산술적 성질을 확인한다.

또한 본 연구는 국소적 장애물의 역할을 명확히 한다. 클래식한 Shimura 리프트 맥락에서는 모든 이차 비틀림에 대해 계수가 0이 아닌 것과 달리, 쿼터니언 사례에서는 푸리에 계수가 소멸하지 않기 위해 특정 국소 부호 조건($\epsilon_p$)이 충족되어야 한다. 본 논문은 세타 리프트에서의 테스트 벡터 선택을 통해 이러한 조건을 충족시키고 $L$-값을 추출해내는 정확한 메커니즘을 제공한다.

저자들은 연구 범위에 대해 겸손한 태도를 유지하며, 자신들의 결과가 특히 이면체 사례에 국한된다는 점을 명시한다(비-이면체 형식에 대한 일반적인 사례는 여전히 미해결 상태이다). 그들은 모든 모듈러 형식을 위한 전체 추측을 해결하려는 것이 아니라, 최초의 비자명한 사례 클래스에 대한 기초적인 증명을 제공하고자 한다.