On the Cubic Shimura lift to $PGL(3)$: The Fundamental Lemma

이 논문은 솔로먼 프라이드버그 (Solomon Friedberg) 와 오머 오펜 (Omer Offen) 에 의해 작성된 것으로, **SL(3) 의 3 중 피복 (cubic cover) 에서 PGL(3) 로 가는 새로운 기하학적 Shimura 대응 (Shimura lift) 을 확립하기 위한 상대적 흔적 공식 (Relative Trace Formula) 의 기본 보조정리 (Fundamental Lemma)**를 증명하는 내용을 담고 있습니다.

아래는 논문의 문제 제기, 방법론, 주요 기여, 결과 및 의의에 대한 상세한 기술적 요약입니다.

1. 문제 제기 (Problem Statement)

• 배경: 고전적인 Shimura 대응은 SL(2) 의 2 중 피복 (double cover) 에서 PGL(2) 로의 자동형 표현 (automorphic representation) 을 연결합니다. Waldspurger 와 Niwa 는 이 대응이 Theta 리프트 (theta lifting) 로 얻을 수 있음을 보였으며, Jacquet 는 상대적 흔적 공식을 사용하여 이를 재증명하고 이미지의 특징을 특정 주기 (period) 의 비부패 (nonvanishing) 와 연관지었습니다.
• 목표: 본 논문은 $n=r=3$인 경우, 즉 SL(3) 의 3 중 피복 ($\widetilde{SL}_3^{(3)}$) 에서 PGL(3) 로의 Shimura 대응을 확립하는 것을 목표로 합니다.
• 구체적 과제:
  1. Bump, Friedberg, Ginzburg (2001) 가 제안한 추측을 확인하는 것: PGL(3) 의 기약 원시 자동형 표현 $\pi$가 Shimura 대응의 이미지인 필요충분조건은, 분할된 $SO_8(A)$ 위의 자동형 최소 표현 (minimal representation) $\Theta_{SO_8}$의 함수를 포함하는 특정 주기 (period) 가 0 이 아니어야 한다는 것입니다.
  2. 이 대응을 증명하기 위해 필요한 **상대적 흔적 공식 (Relative Trace Formula)**의 **기본 보조정리 (Fundamental Lemma)**를 증명하는 것입니다. 즉, 두 군 (PGL(3) 과 $\widetilde{SL}_3^{(3)}$) 에 정의된 분포 (distribution) 들의 국소 궤적 적분 (local orbital integrals) 이 서로 매칭됨을 보여야 합니다.

2. 방법론 (Methodology)

논문은 크게 두 부분으로 나뉘어 진행됩니다: **전역 이론 (Global Theory)**과 국소 이론 (Local Theory).

가. 전역 이론: 기하학적 전개 (Geometric Expansions)

• 분포의 정의:
  • $I(f, \Theta)$: PGL(3) 위의 분포로, $SO_8$의 최소 표현 $\Theta$와 주기 적분을 포함합니다.
  • $J(f')$: $\widetilde{SL}_3^{(3)}$ (3 중 피복) 위의 Kuznetsov 분포입니다.
• 펼침 원리 (Unfolding Principle) 적용:
  • $I(f, \Theta)$의 경우, $\Theta_{SO_8}$가 Weil 표현에서 직접 유도되지 않아 펼침이 어렵습니다. 저자들은 $Sp_{16}$ 내부의 쌍대 쌍 (dual pair) $(SL_2, SO_8)$을 이용하여 $\Theta_{SO_8}$를 $SL_2$의 자명 표현으로부터의 Theta 리프트로 재현합니다. 이를 통해 $I(f, \Theta)$를 계수화 가능한 (factorizable) 궤적 적분들의 합으로 전개합니다.
  • $J(f')$의 경우, Bruhat 분해를 통해 직접적으로 기하학적 전개를 수행합니다.
• 관련 궤적 (Relevant Orbits) 식별: 두 분포 모두에 대해 Bruhat 분해와 불변량을 분석하여 기여하는 '관련 궤적'들의 집합을 명시적으로 결정합니다.

나. 국소 이론: 기본 보조정리 증명 (Local Theory: Fundamental Lemma)

• 목표: 각 관련 궤적에 대응하는 국소 궤적 적분 $I(a, b)$ (PGL(3) 측) 와 $J(a, b)$ (피복군 측) 가 적절한 전이 인자 (transfer factor) 를 통해 일치함을 보이는 것입니다.
• 주요 도구:
  • Kloosterman 적분과 지수 합 (Exponential Sums) 의 비교: Duke-Iwaniec 의 항등식 (3 차 지수 합과 Kloosterman 합 사이의 관계) 을 활용합니다.
  • 정상 위상법 (Method of Stationary Phase): 고차 conductor 를 가진 지수 합을 평가하기 위해 정상 위상법을 적용합니다.
  • 2-코사이클 (2-cocycle) 계산: 피복군 $\widetilde{SL}_3$의 구조를 다루기 위해 Matsumoto 와 Bump-Hoffstein 의 알고리즘을 사용하여 2-코사이클 $\sigma$와 분할 (splitting) 함수 $\kappa$를 명시적으로 계산합니다.
  • Hilbert 기호 및 가우스 합: 3 차 Hilbert 기호와 3 차 가우스 합 (Gauss sums) 의 성질을 광범위하게 활용합니다.

3. 주요 기여 및 결과 (Key Contributions and Results)

가. 기하학적 전개의 완성

• $SO_8$의 최소 표현을 포함하는 복잡한 분포 $I(f, \Theta)$를 계수화 가능한 궤적 적분들의 합으로 성공적으로 전개했습니다. 이는 $SL_2$와 $SO_8$의 쌍대 쌍을 활용한 Theta 리프트 기법을 적용함으로써 가능했습니다.
• PGL(3) 과 $\widetilde{SL}_3^{(3)}$ 모두에 대해 관련 궤적 (relevant orbits) 의 완전한 집합을 분류하고, 각 궤적에 대한 명시적인 적분 공식을 도출했습니다.

나. 기본 보조정리 (Fundamental Lemma) 증명

• Big Cell (대부분의 영역) 에 대한 증명:
  • Theorem 6.1 에서 $p > 3$인 비아르키메데스 국소체 $F$에 대해, 단위 원소 (unit element) 에 대한 궤적 적분 $I(a, b)$와 $J(a, b)$가 다음 관계를 만족함을 증명했습니다.
    $$I(a, b) = (c, d)_3 J(c, d)$$
    여기서 $c = -54a, d = 54b$이며, $(\cdot, \cdot)_3$는 3 차 Hilbert 기호입니다.
  • 이 증명 과정에서 Duke-Iwaniec 항등식을 3 차 지수 적분과 Kloosterman 적분 사이의 변환에 반복적으로 적용하여, 겉보기에 풀기 어려운 적분들을 계산 가능하게 만들었습니다.
• 다른 관련 궤적에 대한 증명:
  • Big cell 외의 나머지 관련 궤적 (단일 궤적 및 1 매개변수 가족) 에 대해서도 궤적 적분을 명시적으로 계산하고 매칭했습니다 (Theorem 11.7).
  • 각 궤적에 대해 구체적인 전이 인자 (transfer factor) 를 제시하여 두 분포가 일치함을 보였습니다.

다. Bump-Friedberg-Ginzburg 추측의 지지

• 이 논문에서 증명된 기본 보조정리는 전역 상대적 흔적 공식의 스펙트럼 측 (spectral side) 비교를 가능하게 합니다. 이는 곧 Bump, Friedberg, Ginzburg 가 제안한 **Shimura 대응의 이미지 특징화 (characterization of the image)**가 $SO_8$의 최소 표현을 포함하는 주기를 통해 이루어진다는 가설을 강력하게 지지하는 결과를 제공합니다.

4. 의의 (Significance)

1. 고차 피복군에 대한 Shimura 대응의 진전: 기존에 $n=2$ 또는 $r=2$인 경우에만 알려진 Shimura 대응을 $n=r=3$인 고차 피복군 (cubic cover) 과 고계 군 (higher rank) 으로 확장하는 데 결정적인 단계를 밟았습니다.
2. 최소 표현 (Minimal Representation) 의 활용: $SO_8$의 최소 표현을 Shimura 대응의 이미지 특징화에 사용하는 아이디어를 구체적인 계산 (기본 보조정리 증명) 을 통해 검증했습니다. 이는 랭글랜즈 프로그램 (Langlands Program) 과 주기 (periods) 연구의 중요한 사례가 됩니다.
3. 기술적 혁신: 3 차 피복군에서의 2-코사이클 계산과 정상 위상법을 이용한 고차 conductor 지수 합 평가 등, 상대적 흔적 공식 분야에서 필요한 새로운 계산 기법들을 정립했습니다.
4. 미래 연구의 토대: 본 논문에서 증명된 기본 보조정리는 향후 전역적인 Shimura 대응의 존재성과 그 이미지의 완전한 특징화를 증명하는 데 필수적인 기반이 됩니다.

요약하자면, 이 논문은 SL(3) 의 3 중 피복에서 PGL(3) 로의 Shimura 대응을 위한 상대적 흔적 공식의 핵심인 기본 보조정리를 성공적으로 증명하여, 고차 피복군과 고계 군에 대한 자동형 표현 이론의 중요한 난제를 해결하는 데 기여한 획기적인 연구입니다.