[논문 리뷰] Parahoric induction and chamber homology for SL2

Tyrone Crisp|arXiv (Cornell University)|2013. 01. 03.

Advanced Algebra and Geometry참고 문헌 17인용 수 3

한 줄 요약

이 논문은 $p$-진 필드 위의 $\mathrm{SL}_2$ 에서 카메라 호모로지의 파라호릭 인덕션과 표현 이론의 파라보릭 인덕션 사이의 교환도를 설정한다. 파라호릭 인덕션에 의해 유도된 카메라 호모로지 복합체 위의 사상이 파라보릭 인덕션과 가환함을 보이며, 데이트의 결과를 더 높은 호모로지 차수로 확장하고, 이 설정에서 자크에트 제약 함수를 실현한다.

ABSTRACT

We consider the special linear group G=SL2 over a p-adic field, and its diagonal subgroup M=GL1. Parabolic induction of representations from M to G induces a map in equivariant homology, from the Bruhat-Tits building of M to that of G. We compute this map at the level of chain complexes, and show that it is given by parahoric induction (as defined by J.-F. Dat).

연구 동기 및 목표

• SL₂의 맥락에서 데이트의 파라호릭 인덕션 구성이 차수 0에서 더 높은 호모로지 차수로 확장되는가를 다루는 것.
• G = \mathrm{SL}_2(F)와 M \cong \mathrm{GL}_1(F)의 카메라 호모로지 복합체 사이의 교환도를 설정하여, 파라호릭 인덕션과 파라보릭 인덕션을 연결하는 것.
• 자크에트 제약 함수 $\mathrm{r}^G_M$을 카메라 호모로지 사상으로 실현하는 것.
• 콤���트 인덕션과 파라호릭 인덕션 간의 호모로지적 해석을 $\mathrm{SL}_2$ 경우에 제공하는 것.
• $\mathrm{SL}_n$ 으로의 일반화를 위한 기초를 다지기 위해 카메라 호모로지와 유도된 사상의 구조를 분석하는 것.

제안 방법

• G = \mathrm{SL}_2(F)에 대해 브라우하트-티츠 빌딩 $X_G$ 위의 단체 체인과 표현의 고리에서의 동치군 계수를 사용하여 카메라 호모로지 복합체 $C_*^G(X_G)$ 를 구성한다.
• 레비 부분군 M \cong \mathrm{GL}_1(F)에 대해 유사한 복합체 $C_*^M(X_M)$ 를 정의하며, 동치군은 L = \mathrm{GL}_1(\mathcal{O}) 와 동형이다.
• 포함사상 $X_M \hookrightarrow X_G$ 와 G의 동치군으로부터 L로의 파라호릭 인덕션을 조합하여 $C_*^M(X_M) \to C_*^G(X_G)$ 를 정의한다.
• 유한 생성 스무스 표현의 호모로지 모델링을 위해 Hochschild 복합체 $C_*(\mathrm{Mod}_f(G))$ 와 $C_*(\mathrm{Mod}_f(M))$ 를 사용한다.
• 도표 ($\ast$) 의 가환성을 증명하기 위해, 호모로지에서의 유도된 사상이 차수 0과 1에서 파라보릭 인덕션을 유지함을 보인다.
• 차수 1에서 제약 사상 $\mathrm{r}_c$ 의 단사성을 적용하여 $\mathrm{H}_1^G(X)$ 에서 $\mathrm{I} = \mathrm{i}_c$ 를 식별함으로써, 데이트의 결과를 더 높은 호모로지 차수로 확장한다.

실험 결과

연구 질문

• RQ1 파라호릭 인덕션은 차수 0을 초월해 카메라 호모로지 복합체 사이의 호환 가능한 사상으로 확장되는가?
• RQ2 자크에트 제약 함수는 카메라 호모로지 복합체 사이의 사상으로 실현될 수 있는가?
• RQ3 SL₂의 경우 더 높은 호모로지 차수에서 파라호릭 인덕션과 파라보릭 인덕션 간의 호환성은 어떻게 나타나는가?
• RQ4 W-작용과 관련된 유도 표현의 관점에서 $\mathrm{H}_1^G(X)$ 의 구조는 어떠한가?
• RQ5 $\mathrm{SL}_2$ 의 결과는 $\mathrm{SL}_n$ 으로 어느 정도 일반화될 수 있는가?

주요 결과

• 파라호릭 인덕션에 의해 유도된 사상 $C_*^M(X_M) \to C_*^G(X_G)$ 는 호모로지에서 파라보릭 인덕션과 가환하며, 데이트의 차수 0 결과를 더 높은 차수로 확장한다.
• 자크에트 제약 함수 $\mathrm{r}^G_M$ 은 호모로지에서 사상 $\mathrm{R} = \mathrm{r}_c$ 로 실현되며, $\mathrm{r}_c$ 는 차수 1에서 단사적이다.
• 첫 번째 호모로지 군 $\mathrm{H}_1^G(X)$ 는 W-오빗에 따라 인덱싱된 형태의 사이클 $\mathrm{i}_{U,\overline{U}}(\rho) - \mathrm{i}_{U,\overline{U}}(\rho^w)$ 로 이루어진 기저를 가진다.
• $\mathrm{H}_0^M(Y) \to \mathrm{H}_0^G(X)$ 에 대한 유도된 사상 $\mathrm{I}$ 는 차수 0에서 파라보릭 인덕션 $\mathrm{i}_c$ 와 일치하며, $\mathrm{SL}_n$ 에서는 $\mathrm{H}_{n-1}^M(Y) \to \mathrm{H}_{n-1}^G(X)$ 에서 $\mathrm{I}$ 가 차수 $n-1$ 에서 일치한다.
• $\mathrm{SL}_n$ 에서는 파라호릭 인덕션을 통해 정의된 사상 $\mathrm{R}$ 과 $\mathrm{I}$ 가 각각 차수 0과 $n-1$ 에서 $\mathrm{R} = \mathrm{r}_c$ 와 $\mathrm{I} = \mathrm{i}_c$ 를 만족한다.
• 이 구성은 더 큰 레비 부분군의 경우 일반적으로 경계 사상과의 호환성이 실패하므로, 새로운 도구가 필요하다는 것을 시사한다.