[논문 리뷰] On the Canonical Representatives of a Finite Weyl Group

Sean Rostami|arXiv (Cornell University)|2015. 05. 27.

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

한 줄 요약

이 논문은 유한 웨일 군에서 표준 대표원의 실패를 근원계 자료와 길이 함수를 사용하여 명시적인 공식으로 개발한다. 양의 근과 코근을 포함하는 정확한 코호몰로지 공식을 유도하고, 이를 p-진 군에서 단순 초우주스피달 표현을 구성하고 분석하는 데 응용한다.

ABSTRACT

Let K be a field and G a split connected reductive affine algebraic K-group. Let T be a split maximal torus of G, W its finite Weyl group, and R its root system. After fixing a realization of R in G and choosing a simple system for R, one gets a system of representatives for W in G(K), called the Canonical Representatives. It is well-known that these representatives rarely form a subgroup, and it is necessary for some questions to understand and quantify this failure. Various new formulas are given which constitute progress in this direction. An application of such formulas to the simple supercuspidals of Gross-Reeder and Reeder-Yu is provided.

연구 동기 및 목표

• 표준 단면 $\mathcal{N}_{\circ}: W_{\circ} \to N_G(T)(K)$ 이 군 준동형사상이 되지 못하는 데서 발생하는 실패를 이해하고 정량화하는 것.
• 근계 자료와 길이 함수를 사용하여 $\mathcal{N}_{\circ}$ 가 준동형사상이 되지 못하는 장애물에 대한 명시적 공식을 제공하는 것.
• 이러한 공식을 p-진 군에서 단순 초우주스피달 표현의 구성과 분석에 적용하는 것.
• 단순 초우주스피달 표현의 유도 부분군의 구조를 표준 대표원과 확장된 애파인 웨일 군의 토르션 원소를 통해 특성화하는 것.
• 고정점 군 $\operatorname{Fix}_{G_{\mathfrak{b}}}(\lambda)$ 의 가장 큰 컴acts 오픈 부분군이 $\mathcal{S}(\Omega_{\text{tor}}) \cdot Z_c \cdot \mathcal{U}$ 임을 확립하는 것.

제안 방법

• 기반된 근계 $\Phi$ 와 단순계 $\Delta$ 의 선택을 통해 표준 대표원 $\mathcal{N}_{\circ}(w)$ 를 정의한다.
• 두 가지 핵심 성질을 사용한다: 단순 반사 $s$ 에 대해 $\mathcal{N}_{\circ}(s)^2 = \alpha^\vee(-1)$ 이고, $\ell(uv) = \ell(u) + \ell(v)$ 를 만족할 경우 $\mathcal{N}_{\circ}(uv) = \mathcal{N}_{\circ}(u)\mathcal{N}_{\circ}(v)$ 이다.
• 코호몰로지 공식 유도: $\mathcal{N}_{\circ}(u)\mathcal{N}_{\circ}(v) = \mathcal{N}_{\circ}(uv) \cdot \prod_{b \in \mathcal{F}(u,v)} b^\vee(-1)$, 여기서 $\mathcal{F}(u,v)$ 는 $v(b) \in -\Pi$ 이고 $u(v(b)) \in \Pi$ 인 양의 근 $b$ 의 집합이다.
• 대각 장애물 $\mathcal{F}(w,w)$ 를 높이 함수를 통해 표현: $\sum_{b \in \mathcal{L}(w)} \langle a, b^\vee \rangle = \operatorname{Ht}(a) - \operatorname{Ht}(w(a))$.
• $|w| \geq 3$ 인 경우, 코호몰로지 수 $h$ 와 사영 사상의 피브어 크기 $n$ 을 포함하는 공식 유도: $h \cdot \sum_{b \in \mathcal{F}(w,w)} \langle a, b^\vee \rangle = n \cdot (\operatorname{Ht}(a) - 2\operatorname{Ht}(w(a)) + \operatorname{Ht}(w^2(a)))$.
• 이러한 공식을 고정점 군 $\operatorname{Fix}_{G_{\mathfrak{b}}}(\lambda)$ 의 분석과 함께 사용하여 단순 초우주스피달 표현을 구성하는 데 응용한다.

실험 결과

연구 질문

• RQ1 표준 단면 $\mathcal{N}_{\circ}$ 가 군 준동형사상이 되지 못하는 정확한 장애물은 무엇인가?
• RQ2 근계 자료를 사용하여 $\mathcal{N}_{\circ}$ 가 준동형사상이 되지 못하는 실패를 어떻게 정량화할 수 있는가?
• RQ3 단순 초우주스피달 표현에 대해 유도 부분군 $\operatorname{Fix}_{G_{\mathfrak{b}}}(\lambda)$ 의 가장 큰 컴팩트 오픈 부분군의 구조는 무엇인가?
• RQ4 p-진 군의 맥락에서 표준 대표원은 중심 $Z(G)$ 와 유니포텐트 부분군 $\mathcal{U}$ 와 어떻게 상호작용하는가?
• RQ5 $|w| \geq 3$ 인 경우, 대각 장애물 $\mathcal{F}(w,w)$ 는 높이 함수와 코호몰로지 자료를 통해 어떻게 표현될 수 있는가?

주요 결과

• 표준 단면 $\mathcal{N}_{\circ}$ 가 준동형사상이 되지 못하는 장애물은 집합 $\mathcal{F}(u,v) = \{ b \in \Pi \mid v(b) \in -\Pi, u(v(b)) \in \Pi \}$ 에 의해 기록되며, $\mathcal{N}_{\circ}(u)\mathcal{N}_{\circ}(v) = \mathcal{N}_{\circ}(uv) \cdot \prod_{b \in \mathcal{F}(u,v)} b^\vee(-1)$ 이다.
• 장애물이 근 부분군 $U_a$ 에 작용할 때는 스칼라 곱 $(-1)^{F_{u,v}(a)}$ 로 표현되며, 여기서 $F_{u,v}(a) = \sum_{b \in \mathcal{F}(u,v)} \langle a, b^\vee \rangle$ 이다.
• 모든 $w \in W_{\circ}$ 에 대해 대각 장애물은 $\sum_{b \in \mathcal{L}(w)} \langle a, b^\vee \rangle = \operatorname{Ht}(a) - \operatorname{Ht}(w(a))$ 를 만족하며, 이는 높이 함수와 $\hat{\rho} = \frac{1}{2} \sum_{b \in \Pi} b^\vee$ 와 연결된다.
• $|w| \geq 3$ 이고 $w \in \operatorname{pr}_{\circ}(\Omega)$ 라면 공식 $h \cdot \sum_{b \in \mathcal{F}(w,w)} \langle a, b^\vee \rangle = n \cdot (\operatorname{Ht}(a) - 2\operatorname{Ht}(w(a)) + \operatorname{Ht}(w^2(a)))$ 이 성립하며, 여기서 $h$ 는 코호몰로지 수이고 $n$ 은 피브어 크기이다.
• $\operatorname{Fix}_{G_{\mathfrak{b}}}(\lambda)$ 의 가장 큰 컴팩트 오픈 부분군은 $\mathcal{S}(\Omega_{\text{tor}}) \cdot Z_c \cdot \mathcal{U}$ 이다. 여기서 $\Omega_{\text{tor}}$ 는 기본 알코프의 안정자군의 토르션 부분군이다.
• $\mathcal{S}(\Omega_{\text{tor}}) \cdot Z_c \cdot \mathcal{U}$ 는 오픈이면서 중심에 대해 컴팩트이며, $\operatorname{Fix}_{G_{\mathfrak{b}}}(\lambda)$ 의 유일한 최대 컴팩트 오픈 부분군이다.