[논문 리뷰] Sur les paquets d'Arthur aux places réelles, translation

Colette Mœglin, David Renard|arXiv (Cornell University)|2017. 04. 17.

Advanced Algebra and Geometry인용 수 4

한 줄 요약

이 논문은 실수체 위의 고전군에 대한 아르투어 패킷의 다중성 없음(multiplicity-freeness)을 확립한다. $\pi^A(\psi)$는 랑랜즈 매개변수 $\psi$에 관련된 표현으로, $G(\mathbb{R}) \times A(\psi)$의 서로 다른 기약 표현들의 직합이며, 계수는 $A(\psi)$의 일차원 표현들로 주어진다. 이 결과는 코homological induction와 하리슈-차이라 모듈 기법을 이용해 일반적인 경우를 고도로 정규적인 경우로 환원함으로써 달성되었으며, 이는 이전에 쿼어드-스플릿 군에 대해 수행된 작업을 비쿼어드-스플릿 설정으로 확장한 것이다.

ABSTRACT

This article is part of a project which aims to describe as explicitly as possible the Arthur packets of classical real groups and to prove a multiplicity one result for them. Let $G$ be a symplectic or special orthogonal real group, and $ψ: W_{\mathbb R} imes \mathbf{SL}_2(\mathbb C) ightarrow {}^LG$ be an Arthur parameter for $G$. Let $A(ψ)$ the component group of the centralizer of $ψ$ in $\hat G$. Attached to $ψ$ is a finite length unitary representation $π^A(ψ)$ of $G imes A(ψ)$, which is characterized by the endoscopic identities (ordinary and twisted) it satisfies. In [arXiv:1703.07226] we gave a description of the irreducible components of $π^A(ψ)$ when the parameter $ψ$ is "very regular, with good parity". In the present paper, we use translation of infinitesimal character to describe $π^A(ψ)$ in the general good parity case from the representation $π^A(ψ_+)$ attached to a very regular, with good parity, parameter $ψ_+$ obtained from $ψ$ by a simple shift.

연구 동기 및 목표

• 실수체 위의 고전군에 대한 아르투어 패킷 $\pi^A(\psi)$가 다중성 없음을 증명하는 것, 즉 $G(\mathbb{R}) \times A(\psi)$의 서로 다른 기약 표현들의 직합이며 계수는 $A(\psi)$의 일차원 표현들임을 보이는 것.
• 기존의 쿼어드-스플릿 고전군에 대한 다중성 없음 결과를 비쿼어드-스플릿 고전군으로 확장하여 국지적 양자군 대응의 핵심 단계를 완성하는 것.
• 코homological induction와 모듈 필터링을 이용하여 표현 $\pi^A(\psi)$가 $G(\mathbb{R}) \times A(\psi)$의 유한 길이이자 반단순 표현이며, 계수로 $A(\psi)$의 문자를 갖는다는 것을 확립하는 것.
• 엔데스코픽 및 왜곡 엔데스코픽 호환 조건을 활용하여 $\pi^A(\psi)$의 구성 방식을 쿼어드-스플릿 경우를 초월해 일반화하는 것.

제안 방법

• 코homological induction와 $A_\mathfrak{q}$-함수의 이론을 이용해 일반적인 경우를 고도로 정규적인 경우로 환원하는 것.
• $A_\mathfrak{q}$-함수를 적용하여 파라보릭 부분대수에서 표현을 유도하고, 기약 몫을 갖는 하리슈-차이라 모듈의 필터링을 사용하는 것.
• 무한소 문자와 그 노름을 분석하여, 주어진 무한소 문자 $\nu$로의 사영에서 오직 자명한 $\mu$-성분만 기여하며, 내적 추정을 통해 이를 보이는 것.
• $\psi = \bigoplus_{i} \rho_i \otimes R[a_i]$의 분해와 양호한 기현성(good parity) 및 매우 정규적인 매개변수의 개념을 사용하여 구조를 단순화하는 것.
• $G$의 유한차원 표현을 파라보릭 부분대수 $\mathfrak{q}$로 제한한 후, $\mathfrak{u}$에 의해 소거되는 기약 $L$-모듈로 필터링하여 유도된 표현의 구조를 분석하는 것.
• 무한소 문자의 노름을 비교: $|\lambda + \mu_1 + \delta_{L_1}|^2 > |\lambda + \delta_{L_1}|^2$이며, 이는 $\mu_1 = 0$이 아닐 경우에만 엄격히 성립하므로, 사영에서 오직 $\mu=0$ 성분만 유지됨을 의미한다.

실험 결과

연구 질문

• RQ1 실수체 위의 고전군에 대해 아르투어 패킷 $\pi^A(\psi)$는 $G(\mathbb{R}) \times A(\psi)$의 표현으로서 다중성 없이 분해되는가?
• RQ2 표현 $\pi^A(\psi)$는 $G(\mathbb{R}) \times A(\psi)$의 기약 표현들의 직합으로 분해되며, 계수로 $A(\psi)$의 일차원 표현들이 주어지는가?
• RQ3 코homological induction와 모듈 필터링을 이용해 실수체 위의 비쿼어드-스플릿 고전군의 일반적인 경우를 고도로 정규적인 경우로 환원할 수 있는가?
• RQ4 무한소 문자의 노름은 주어진 $\nu$로의 사영에서 어떤 성분이 살아남는지 결정하는 데 어떤 역할을 하는가?
• RQ5 $A_\mathfrak{q}(\lambda \times \sigma) \otimes E_{\lambda_+}$의 필터링이 $A_\mathfrak{q}((\lambda \times \sigma) \otimes E_\mu)$로 이루어질 때, 이는 최종 표현에서 $\nu$의 다중성에 어떤 제약을 가하는가?

주요 결과

• 표현 $\pi^A(\psi)$는 다중성 없음: $G(\mathbb{R}) \times A(\psi)$의 서로 다른 기약 표현들의 직합이며, 각 기약 성분은 중복도 1로 나타난다.
• $\pi^A(\psi)$의 분해에서 계수는 $A(\psi)$의 일차원 표현들이다. 즉, $G(\mathbb{R})$로 분해할 때 다중도는 $A(\psi)$의 문자로 주어진다.
• 주어진 무한소 문자 $\nu$로의 사영에서는 오직 $\mu = 0$ 성분만 기여한다. $\mu_1 \neq 0$일 경우 $\nu$의 노름이 엄격히 크므로, 나머지 성분은 사영에서 사라진다.
• 노름 부등식 $|\lambda + \mu_1 + \delta_{L_1}|^2 > |\lambda + \delta_{L_1}|^2$는 $\mu_1 = 0$이 아닐 경우에 엄격히 성립하며, 이는 비자명한 $\mu$-성분을 제거하는 핵심 분석 도구이다.
• $A_{\mathfrak{q}}(\lambda \times \sigma) \otimes E_{\lambda_+}$의 필터링이 $A_{\mathfrak{q}}((\lambda \times \sigma) \otimes E_\mu)$로 이루어지며, 이는 오직 $\mu = 0$ 항만 $\nu$로의 사영에 기여하므로 다중성 없음의 증명이 완성된다.
• 이 결과는 코homological induction와 모듈 이론적 기법을 통해 쿼어드-스플릿 경우에서 실수체 위의 모든 고전군, 비쿼어드-스플릿 형태까지 아르투어 패킷의 다중성 없음을 일반화한다.