[논문 리뷰] Wavefront Sets of Unipotent Representations of Reductive $p$-adic Groups II

Dan Ciubotaru, Lucas Mason‐Brown외 1명|arXiv (Cornell University)|2023. 03. 19.

Advanced Algebra and Geometry인용 수 4

한 줄 요약

이 논문은 실수 무한소 특성자를 가진 재구성 $p$-진군의 기약 유니포텐트 표현의 파면(set)에 대한 정확한 공식을 수립한다. 이를 위해 루스티그의 산술기하 대응과 일반화된 스프링거 대응을 활용하며, 대수적 파면(set)이 싱글턴임을 증명하여 모글린과 발트스부르거의 추측을 확인하고, 이전 결과를 이와하리-구면이 아닌 경우로 확장한다.

ABSTRACT

The wavefront set is a fundamental invariant of an admissible representation arising from the Harish-Chandra-Howe local character expansion. In this paper, we give a precise formula for the wavefront set of an irreducible representation of real infinitesimal character in Lusztig's category of unipotent representations in terms of the Deligne-Langlands-Lusztig correspondence. Our formula generalizes the main result of arXiv:2112.14354, where this formula was obtained in the Iwahori-spherical case. We deduce that for any irreducible unipotent representation with real infinitesimal character, the algebraic wavefront set is a singleton, verifying a conjecture of M\oeglin and Waldspurger. In the process, we establish new properties of the generalized Springer correspondence in relation to Lusztig's families of unipotent representations of finite reductive groups.

연구 동기 및 목표

• 이와하리-구면이 아닌 경우로까지 유니포텐트 표현의 파면(set) 공식을 확장하기 위해.
• 실수 무한소 특성자를 가진 모든 기약 유니포텐트 표현에 대해 대수적 파면(set)이 싱글턴임을 추측한 바를 확인하기 위해.
• 루스티그의 유니포텐트 표현의 가족과 관련된 일반화된 스프링거 대응의 새로운 성질을 확립하기 위해.
• 산술기하 대응을 통해 파면(set)을 델리뉴-랑글랑드-루스티그 대응과 연결하기 위해.
• 유니포텐트 표현을 매개변수화하는 삼중체 $(s, n, \rho)$ 로 표현되는 파면(set)에 대한 통일된 공식을 제공하기 위해.

제안 방법

• 루스티그의 산술기하 대응을 활용하여 $p$-진군의 유니포텐트 표현을 랑글랜드 쌍대군의 데이터와 연결한다.
• 일반화된 스프링거 대응을 활용하여 영향을 받는 궤도와 구성군의 표현을 연결한다.
• 쌍대군의 궤도 $(O_\lambda, \bar{C})$ 에 대한 이중성 사상 $d_A$ 를 적용하여 파면(set)을 결정한다.
• 표준 모듈의 변형 이론과 그라디에이티드 헤케 대수를 활용하여 온화한 표현과 유니포텐트 표현을 분석한다.
• 아우베르트-제레브스키 이중성을 적용하여 이중 표현의 파면(set)을 연결한다.
• 감소 정리와 아핀 헤케 대수의 기하적 구조를 활용하여 영향을 받는 궤도 데이터를 통해 파면(set)을 제어한다.

실험 결과

연구 질문

• RQ1 실수 무한소 특성자를 가진 재구성 $p$-진군의 기약 유니포텐트 표현에 대해 파면(set)의 정확한 공식은 무엇인가?
• RQ2 이러한 표현의 대수적 파면(set)이 항상 하나의 영향을 받는 궤도로 이루어져 있는가, 모글린과 발트스부르거의 추측이 맞는가?
• RQ3 일반화된 스프링거 대응은 델리뉴-랑글랑드-루스티그 대응 하에서 파면(set) 불변량과 어떻게 상호작용하는가?
• RQ4 산술기하 대응을 통해 모든 고전적 및 예외적 유형에서 파면(set)을 통일적으로 계산할 수 있는가?
• RQ5 기본 무분할 파면(set) $KWF(X)$ 는 대수적 파면(set) $\bar{k}WF(X)$ 를 복원하는 데 어떤 역할을 하는가?

주요 결과

• 실수 무한소 특성자를 가진 모든 기약 유니포텐트 표현에 대해 대수적 파면(set) $\bar{k}WF(X)$ 는 싱글턴임을 확인하여, 모글린과 발트스부르거의 추측을 지지한다.
• 파면(set)은 쌍대군의 영향을 받는 궤도와 $\bar{A}(O)$ 의 동치류에 대한 이중성 사상 $d_A$ 를 통해 명시적으로 계산된다.
• 이 공식은 [CMO21]의 주요 결과를 이와하리-구면 경우에서 실수 무한소 특성자를 가진 모든 유니포텐트 표현으로 일반화한다.
• 일반화된 스프링거 대응이 고전적 유형에서 충실함을 보였으며, 예외적 유형에서는 조합적 분석을 통해 충실함이 입증되었다.
• 기본 무분할 파면(set) $KWF(X)$ 는 대수적 파면(set) $\bar{k}WF(X)$ 를 결정함을 보였으며, 이는 $KWF(X)$ 가 $WF(X)$ 의 정밀화임을 지지하는 기대를 뒷받침한다.
• 표현 $X(s,n,\rho)$ 의 파면(set)은 $d_A(O_\lambda, \bar{C})$ 로 주어지며, 여기서 $O_\lambda$ 는 $n$ 과 관련된 궤도이고, $\bar{C}$ 는 $\rho$ 에 의해 결정되는 $\bar{A}(d(O_\lambda))$ 의 원소이다.