[논문 리뷰] Euphotic representations and rigid automorphic data

Konstantin Jakob, Zhiwei Yun|arXiv (Cornell University)|2020. 08. 10.

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

한 줄 요약

이 논문은 함수체 위의 재수화된 군에 대해 파라호릭 부분군, 단순 기능, 그리고 특성들을 사용하여, 에피펠라릭 표현의 일반화인 유포티크 표현을 도입한다. 이를 통해 헤센베르그 다양체 기하학을 이용하여 강한 $G$-자기동형 표현과 해당하는 강한 $˂{G}$-국소 체계를 구축하며, 이는 이전 방법을 초월하는 기하학적 랑글랜드스 접근을 확장한다.

ABSTRACT

We propose a new method to construct rigid $G$-automorphic representations and rigid $\widehat{G}$-local systems for reductive groups $G$. The construction involves the notion of euphotic representations, and the proof for rigidity involves the geometry of certain Hessenberg varieties.

연구 동기 및 목표

• 에피펠라릭 표현을 유포티크 데이터를 통해 더 넓은 초우스피달 표현의 클래스로 일반화하기 위해.
• 재수화된 군 $G$에 대해 강한 $G$-자기동형 표현과 강한 $˂{G}$-국소 체계를 구축하기 위한 새로운 방법을 개발하기 위해.
• 헤센베르그 다양체를 사용하여 구축된 국소 체계의 강성을 증명함으로써 기하학적 랑글랜드스 프로그램을 확장하기 위해.
• 이전 알고리즘으로는 실패하는 예외적 군들인 $G_2$와 같은 군에 적용 가능한 체계적인 구축 방법을 제공하기 위해.
• 자기동형 데이터와 히크 고유층을 통해 기하학적 접근과 산술적 접근을 국소 체계의 강성에 통합하기 위해.

제안 방법

• 파라호릭 부분군 $\mathbf{P}_\infty$, 그의 계층 리 대수 위의 단순 기능 $\psi$, 그리고 안정화자의 토러스 위의 특성 $\chi$로 구성된 삼중체 $(\mathbf{P}_\infty, \psi, \chi)$를 통해 유포티크 표현을 정의한다.
• 모이-프라사드 필터링을 사용하여 관련 계층 공간 $V_{\mathbf{P}} = \mathbf{P}^+_{\infty}/\mathbf{P}^{++}_{\infty}$를 정의하고, 여기서 $\psi$ 가 작용하도록 한다.
• 표현 $\pi$ 를 $G(F_\infty)$의 기약 표현으로 구성하며, $B_\psi(k)\mathbf{P}^+_{\infty}$ 에서 고정된 벡터를 포함하고, 주어진 고유특성 $\chi$ 와 $\psi_k \circ \psi$ 에 대해 등변성을 가지도록 한다.
• 기하학적 랑글랜드스 대응을 활용하여 자동형 표현을 $G$-배럴의 모듈리 스택 위의 히크 고유층으로 변환한다.
• 헤센베르그 다양체의 기하학을 사용하여 안정화자를 분석하고, 결과로 얻어진 국소 체계의 강성을 증명한다.
• 요소화 가능한 모듈러 카테고리와 층의 카테고리 위의 $E_2$-작용을 적용하여 구축의 호환성과 함자성을 확립한다.

실험 결과

연구 질문

• RQ1 에피펠라릭 표현을 초월하는 더 넓은 초우스피달 표현의 클래스를 사용하여 강한 자동형 형식을 구축할 수 있는가?
• RQ2 헤센베르그 다양체의 기하학이 자동형 데이터로부터 유도된 $\u02C2{G}$-국소 체계의 강성을 어떻게 제어하는가?
• RQ3 삼중체 $(\mathbf{P}_\infty, \psi, \chi)$ 에 어떤 조건이 성립하면 관련 자동형 표현이 강한 성질을 갖는가?
• RQ4 이 방법을 통해 $G_2$와 같은 예외적 군에 대해 새로운 강한 국소 체계의 예를 생성할 수 있는가?
• RQ5 $\mathcal{O}_{\widetilde{\mathcal{Z}}}$ 가 층 위에 작용할 때, 이 작용이 $\mathcal{O}_{\mathcal{Z}}$ 를 통해 인플레이션되며, 이는 특정 사상의 자명성을 암시한다.

주요 결과

• 논문은 $\mathbb{P}^1$ 상에서 0에서 깊이 0, $\infty$ 에서 깊이 $1/m$ 을 갖는 강한 $G$-자기동형 표현을 구축한다.
• 관련된 $\u02C2{G}$-국소 체계는 0에서 온전히 램ified되어 있고 $\infty$ 에서는 야수적으로 램ified되어 있으며, 헤센베르그 다양체 기하학을 통해 강성이 증명된다.
• 안정화자 조건을 완화함으로써 에피펠라릭 표현을 일반화한 것으로, 단순하지만 반드시 안정적이지 않은 기능을 允許한다.
• $G_2$ 에서 이 방법은 구체적인 강한 국소 체계의 예를 생성하며, [DR10]과 [Yun16]의 결과를 확장한다.
• 강성의 증명은 헤센베르그 다양체 내의 안정화자를 분석하고, $\mathcal{O}_{\widetilde{\mathcal{Z}}}$ 가 층 위에 작용할 때 $\mathcal{O}_{\mathcal{Z}}$ 를 통해 인플레이션됨을 보여, 특정 사상의 자명성을 암시한다.
• $\mathcal{O}_{\widetilde{\mathcal{Z}}}$ 가 층 위에 작용할 때 $\mathcal{O}_{\mathcal{Z}}$ 를 통해 인플레이션되며, 이는 특정 사상의 자명성을 암시한다.