[논문 리뷰] Integral models of Harish-Chandra modules of the finite covering groups of PU(1,1)

Takuma Hayashi|arXiv (Cornell University)|2017. 12. 20.

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

한 줄 요약

이 논문은 공분모형을 사용하여 PU(1,1)의 유한 커버링 군에 대한 하리슈-참드라 모듈의 정수 모델을 계산한다. 특히 Z[1/2] 위에서 코homological induction와 실수 파라보릭 induction를 사용하며, 복소계수 다항식환 $\mathbb{C}[z]$ 및 $\mathbb{C}[z^{\pm1}]$ 위의 자유 랭크 1 모듈에 대해 유도 함수 $I^{\frak{g},K}_{\frak{q},M}$의 명시적 공식을 수립하고, 기저 전환 동형사상과 유도 모듈이 정수 모듈로 남거나 사라지는 조건을 규명한다.

ABSTRACT

We compute integral models of real and cohomological induction for finite covering groups of PU(1,1).

연구 동기 및 목표

• 유한 커버링 군에 대한 PU(1,1)의 하리슈-참드라 모듈에 대한 명시적 정수 모델을 공분모형 위에서 계산한다.
• 유도 함수 $I^{\frak{g},K}_{\frak{q},M}$가 $\mathbb{C}[z]$-모듈에 적용되었을 때 정수성과 기저 전환 성질을 유지하는 조건을 조사한다.
• $\mathbb{Z}$ 위에서 하리슈-참드라 쌍의 분할 정수 형식을 구성하고 분류한다.
• $\mathbb{C}[z]$ 위에서 유도 모듈이 사라지거나 자유 모듈로 남는 조건을 규명한다.
• 이 정수 표현 이론의 맥락에서 평탄한 기저 전환 정리의 반례를 구성하고 그 한계를 명확히 한다.

제안 방법

• PU(1,1)의 유한 커버링에 대해 $\mathbb{Z}$ 위에서 최대 컴acts부분군으로서 분할 토루스 $T^1$을 사용하여 하리슈-참드라 쌍의 정수 모델을 구성한다.
• 특히 $\mathbb{C}[z]_{n\epsilon,\mu}$ 형태의 자유 $\mathbb{C}[z]$-모듈에 유도 함수 $I^{\frak{g},K}_{\frak{q},M}$를 적용하여 유도 모듈을 계산한다.
• 헤케 대수 formalism과 상대 헤케 대수를 사용하여 $(\frak{g},K)$-모듈을 약간의 단위 원소를 갖는 대수의 모듈로 간주한다.
• 스칼라 확장에 의한 기저 전환 동형사상을 활용하여 $\mathbb{C}[z]$에서 $\mathbb{C}[z^{\pm1}]$로의 전환을 통해 정수 모델과 유리 모델을 연결한다.
• 유도 함자를 명시적으로 계산하기 위해 코즐 복합체를 사용하여 표준 프로젝티브/인젝티브 분해를 구성한다.
• 수축 가족 구성법을 사용하여 $\mathbb{Z}[z]$-가족의 서로 다른 수준 간의 하리슈-참드라 쌍을 등장사상 $\Phi$를 통해 연결한다.

실험 결과

연구 질문

• RQ1 유도 함수 $I^{\frak{g},K}_{\frak{q},M}$가 $\mathbb{C}[z]$-모듈에 적용되었을 때 어떤 조건에서 정수성을 유지하는가?
• RQ2 유도 모듈 $I^{\frak{g},K}_{\frak{q},M}(\mathbb{C}[z]_{n\epsilon,\mu})$이 $\mathbb{C}[z^{\pm1}]$로의 기저 전환과 동형인지 여부는?
• RQ3 어떤 $\mu \in \mathbb{C}[z]$ 에 대해 유도 모듈이 사라지고, 언제 일반적으로 불가약한가?
• RQ4 이 정수 설정에서 평탄한 기저 전환 정리의 반례를 구성할 수 있는가?
• RQ5 PU(1,1) 커버링에 대한 하리슈-참드라 쌍의 분할 정수 형식은 수축 가족 구성법과 어떻게 관련이 있는가?

주요 결과

• $\mu \in \mathbb{C}[z] \setminus z\mathbb{C}[z]$ 이면, 유도 모듈 $I^{\frak{sl}_2,T^1}_{\frak{q},M_{\mathbb{C}}\otimes_{\mathbb{C}}\mathbb{C}[z^{\pm1}]}(\mathbb{C}[z^{\pm1}]_{n\epsilon,\mu})$ 는 $\mathbb{C}[z]$-모듈로서 $\oplus_{p\in\mathbb{Z}} \mathbb{C}[z]w^{n(p+\epsilon)}$ 와 동형이다.
• $\mu \in z\mathbb{C}[z]$ 이면, 기저 전환 동형사상 $I^{\frak{sl}_2,T^1}_{\frak{q},M_{\mathbb{C}}\otimes_{\mathbb{C}}\mathbb{C}[z]}(\mathbb{C}[z]_{n\epsilon,\mu}) \otimes_{\mathbb{C}[z]} \mathbb{C}[z^{\pm1}] \cong I^{\frak{sl}_2,T^1}_{\frak{q},M_{\mathbb{C}}\otimes_{\mathbb{C}}\mathbb{C}[z^{\pm1}]}(\mathbb{C}[z^{\pm1}]_{n\epsilon,\mu})$ 가 성립하며, 이는 [10]의 정리 3.1.7의 조건을 필요로 하지 않는다.
• 유도 모듈은 $\mu \in \mathbb{C}[z] \setminus z\mathbb{C}[z]$ 이면 사라진다. 즉, $\mu$ 가 0이 아닌 상수일 경우이다.
• 유도 모듈 $I^{\frak{sl}_2,T^1}_{\frak{q},M_{\mathbb{C}}\otimes_{\mathbb{C}}\mathbb{C}[z^{\pm1}]}(\mathbb{C}[z^{\pm1}]_{n\epsilon,\mu})$ 이 그 공액과 동형이 되는 것은 $\mu \in \mathbb{C}[z^{\pm1}]$ 인 경우에 국한된다.
• 유도 모듈은 $\overline{\mathbb{C}(z)}$ 위에서 일반적으로 불가약하다는 것은 $\mu \notin 2z\mathbb{Z} \pm 2z\epsilon$ 인 경우에 국한된다.
• 수축 가족 구성법과 등장사상 $\Phi$ 를 통해 $\frak{q}$ 를 구성함으로써, 정리 6.2(1)을 정리 5.10과 동일시할 수 있으며, 이는 $\mathbb{Z}[z]$-가족을 통해 고차수 커버링으로의 일반화를 가능하게 한다.