[논문 리뷰] An equidistribution theorem for holomorphic Siegel modular forms for $GSp_4$

Henry H. Kim, Satoshi Wakatsuki외 1명|arXiv (Cornell University)|2016. 04. 07.

Advanced Algebra and Geometry참고 문헌 36인용 수 5

한 줄 요약

이 논문은 아르투어의 불변 추적 공식과 헬름홀로지 디크리트 시리즈의 가짜계수를 사용하여 $GSp_4/\mathbb{Q}$ 위의 차수 2 헬름홀로지 시겔 씽스폼에 대한 등분포 정리를 확립한다. 이는 비단순성 기여에서 유래한 새로운 제2주요항 $A$, $B_1$와 단순성 원소에서 유래한 신비로운 $B_2$를 드러내며, $L$-함수의 수직 사토-테이트, 헤케 필드의 무한성, 저항도진 영점에의 적용을 가능하게 한다.

ABSTRACT

We prove an equidistribution theorem for a family of holomorphic Siegel cusp forms for $GSp_4/\mathbb{Q}$ in various aspects. A main tool is Arthur's invariant trace formula. While Shin and Shin-Templier used Euler-Poincaré functions at infinity in the formula, we use a pseudo-coefficient of a holomorphic discrete series to extract holomorphic Siegel cusp forms. Then the non-semisimple contributions arise from the geometric side, and this provides new second main terms $A, B_1$ in the main theorem which have not been studied and a mysterious second term $B_2$ also appears in the second main term coming from the semisimple elements. Furthermore our explicit study enables us to treat more general aspects in the weight. We also give several applications including the vertical Sato-Tate theorem, the unboundedness of Hecke fields and low-lying zeros for degree 4 spinor $L$-functions and degree 5 standard $L$-functions of holomorphic Siegel cusp forms.

연구 동기 및 목표

• 차수 2의 헬름홀로지 시겔 씽스폼에 대한 등분포 정리를 $GSp_4/\mathbb{Q}$ 위에서 수준 및 무게 측면 모두에서 확립하기.
• 이전 연구의 한계를 해결하기 위해 이전에 오일러-포이앙카 함수의 사용으로 인해 간과되었던 비단순성 기여를 추적공식에 포함시키기.
• 랑글랜드의 함수적 전이나 기타 추측에 의존하지 않는 조건부 결과를 제공하기.
• 기하 측면 기여에서 유래한 새로운 제2주요항 $A$, $B_1$, 그리고 신비로운 $B_2$를 식별하고 분석하기.
• 등분포 결과를 응용하여 수직 사토-테이트 정리, 헤케 필드의 무한성, 스피너 및 표준 $L$-함수의 저항도진 영점을 증명하기.

제안 방법

• 헬름홀로지 디크리트 시리즈의 가짜계수를 사용하여 아르투어의 불변 추적공식을 적용하여 스펙트럼 측면에서 헬름홀로지 시겔 씽스폼을 분리하기.
• 스펙트럼 분해와 자동형 수세기 측도를 사용하여 추적공식을 헤케 고유값 분포와 연결하기.
• 기하 측면 기여를 명시적으로 계산하며, 비단순성 항은 $I_2(f)$ 및 $I_3(f)$를 통해, 고차항은 $I_5(f)$를 추정하기.
• 내재적, CAP, 잔류 스펙트럼의 기여를 구분하여 오차항에 포함됨을 보여주기.
• 궤도 적분과 전역 계수 $a^G(S,\gamma)$에 대한 통일된 추정을 적용하여 기하 측면을 제어하기.
• 가장자리의 일반적 유니터리 표현의 분류를 사용하여 $|b_F(p^l)|$를 유계화하고 $L$-함수 급수의 수렴성을 확보하기.

실험 결과

연구 질문

• RQ1 헬름홀로지 시겔 씽스폼에 대한 헤케 고유값의 등분포에서 제2주요항의 구조는 어떻게 되는가?
• RQ2 추적공식 내 비단순성 기여는 스펙트럼 수세기 측도와 그 결과로 유도되는 등분포에 어떤 영향을 미치는가?
• RQ3 단순성 원소에서 기인하는 신비로운 제2주요항 $B_2$의 기원과 의미는 무엇인가?
• RQ4 추적공식 기법을 사용하여 헬름홀로지 시겔 씽스폼에 대한 수직 사토-테이트 정리를 확립할 수 있는가?
• RQ5 등분포 결과는 스피너 및 표준 $L$-함수의 저항도진 영점에 어떤 영향을 미치는가? (차수 4 및 5)

주요 결과

• 수준 측면 및 무게 측면 모두에서 등분포 정리가 확립되었으며, 비단순성 기여에서 기인한 제2주요항 $A$ 및 $B_1$가 존재한다.
• 단순성 원소에서 기인하는 새로운 제2주요항 $B_2$가 나타나며, 그 표현론적 기원은 아직 신비로워 향후 연구가 필요하다.
• 오차항은 수준 측면에서 $O(p^{a\kappa+b}_{S'}\varphi(N)N^{-3})$로 유계화되고, 무게 측면에서는 $O\left(\frac{p^{a'\kappa+b'}}{(k_1-k_2+1)(k_1-1)(k_2-2)}\right)$로 유계화된다.
• CAP 및 잔류 스펙트럼의 잔여 기여는 오차항에 포함되어, 주요 항이 헬름홀로지 디크리트 시리즈 기여에 의해 지배됨을 확인한다.
• 수직 사토-테이트 정리가 증명되었으며, 무게 측면에서 정규화된 헤케 고유값의 등분포가 입증된다.
• 헤케 필드의 무한성 및 스피너(차수 4) 및 표준(차수 5) $L$-함수의 저항도진 영점이 등분포 결과의 응용으로 확립된다.