[논문 리뷰] Classification of Galois objects of Uq(g) up to homotopy equivalence

Thomas Aubriot|arXiv (Cornell University)|2005. 03. 15.

Algebraic structures and combinatorial models참고 문헌 5인용 수 4

한 줄 요약

이 논문은 기저 체에서 가역 원소의 가족 $\lambda = (\lambda_{ij})$ 에 대응하는 Drinfeld-Jimbo 양자군 $U_q(\mathfrak{g})$ 에 대해 생성자와 관계를 통해 명시적인 갈로아 대상 $A_\lambda$ 를 구성한다. 모든 $U_q(\mathfrak{g})$ 의 갈로아 대상이 고유한 $A_\lambda$ 와 호모토피 동치임을 증명하여, 이러한 대상들에 대한 호모토피 동치에 대한 완전한 분류를 확립한다.

ABSTRACT

For any Drinfeld-Jimbo quantum enveloping algebra Uq(g) and for any family $λ=(λ\_{ij})\_{1\leq i < j\leq t} \in k^{\star}$ of invertible elements of the base field, we explicitly construct a Galois object $A\_λ$ of Uq(g) by generators and relations and we prove that any Galois object of Uq(g) is homotopic to a unique object of type $A\_λ$.

연구 동기 및 목표

• Drinfeld-Jimbo 양자군 $U_q(\mathfrak{g})$ 의 갈로아 대상들을 호모토피 동치에 대해 명시적이고 구축 가능한 분류를 제공한다.
• 등형에 의한 분류의 어려움을 극복하기 위해 호모토피라는 더 흐린 동치관계를 도입한다.
• 각 호모토피 동치류를 생성자와 관계로 정의된 표준 대수 $A_\lambda$ 를 통해 실현한다.
• 호모토피 동치류의 갈로아 대상과 코homological 자료 $\lambda \in H^2(G, k^*)$ 사이의 전단사 대응을 확립한다.

제안 방법

• 기본 체의 코homological 자료 $\lambda_{ij}$ 를 포함하는 생성자 $X_i, Y_j, Z_l$ 와 관계를 사용하여 대수 $A_\lambda$ 를 명시적으로 구성한다.
• 표준 $U_q(\mathfrak{g})$-코모듈 구조에 대한 트위스트 $\sigma_\rho$ 를 통해 $A_\lambda$ 에 $U_q(\mathfrak{g})$ 에 대한 코모듈 구조를 정의한다.
• canonical map $\beta: A_\otimes_B A \to A \otimes U_q(\mathfrak{g})$ 를 사용하여 $A_\lambda$ 가 호프-갈로아 확장임을 확인한다.
• 포함 사상 $k[G] \to U_q(\mathfrak{g})$ 에 의해 유도되는 기저 전환 함자 $i^*$ 를 활용하여 $A_\lambda$ 와 트위스트된 군 대수 간의 관계를 설정한다.
• Kassel과 Schneider의 호모토피 분류 결과를 이용하여 $i^*: \mathcal{H}_k(U_q(\mathfrak{g})) \to \mathcal{H}_k(k[G])$ 가 전단사임을 증명한다.
• $\Psi$ 라는 전단사 코모듈 대수 준동형사상을 통해 $A_\lambda$ 와 트위스트된 대수 $_{\sigma_\rho}U_q(\mathfrak{g})$ 간의 동형을 확립한다.

실험 결과

연구 질문

• RQ1 모든 $U_q(\mathfrak{g})$ 의 갈로아 대상들이 임의의 코homological 자료 $\lambda$ 에 대해 생성자와 관계를 통해 명시적으로 구성될 수 있는가?
• RQ2 갈로아 대상의 호모토피 동치류가 기저 체의 가역 원소의 가족 $\lambda$ 에 의해 완전히 결정되는가?
• RQ3 모든 갈로아 대상이 군 대수 $k[G]$ 로의 기저 전환 후 $U_q(\mathfrak{g})$ 의 트위스트된 형태와 동형이 되는가?
• RQ4 $\lambda \mapsto A_\lambda$ 가 코homology 클래스 $H^2(G, k^*)$ 와 갈로아 대상의 호모토피 동치류 사이의 전단사 사상인가?
• RQ5 $U_q(\mathfrak{g})$-갈로아 대상의 호모토피 분류가 포함 사상 $k[G] \to U_q(\mathfrak{g})$ 를 통해 $k[G]$-갈로아 대상의 분류로 환원될 수 있는가?

주요 결과

• 기본 체 $k$ 의 임의의 가역 원소의 가족 $\lambda = (\lambda_{ij})_{1 \leq i < j \leq t}$ 에 대해, 생성자와 관계를 통해 $A_\lambda$ 는 명시적으로 $U_q(\mathfrak{g})$-코모듈 대수로 구성된다.
• 대수 $A_\lambda$ 는 갈로아 대상이며, 기저 체 $k$ 에 대한 호프-갈로아 확장이자 canonical map $\beta$ 가 동형임을 의미한다.
• 모든 $U_q(\mathfrak{g})$ 의 갈로아 대상은 고유한 $A_\lambda$ 와 호모토피 동치이며, 이는 호모토피 동치에 대한 완전한 분류를 확립한다.
• $i^*: \mathcal{H}_k(U_q(\mathfrak{g})) \to \mathcal{H}_k(k[G])$ 는 전단사이며, $\mathcal{H}_k(k[G]) \cong H^2(G, k^*)$ 이므로 이는 $\mathcal{H}_k(U_q(\mathfrak{g})) \cong H^2(G, k^*)$ 를 의미한다.
• 트위스트 $\sigma_\rho$ 를 통한 $A_\lambda$ 의 구성은 $A_\lambda$ 가 트위스트된 대수 $_{\sigma_\rho}U_q(\mathfrak{g})$ 와 $U_q(\mathfrak{g})$-코모듈 대수로서 동형임을 보장하며, 역사상 $\varphi_\lambda$ 는 명시적으로 정의된다.
• $A_\lambda$ 가 호모토피에 대해 유일한 것은 $i^*(A_\lambda) = i^*(A_{\lambda'})$ 이면 $\lambda = \lambda'$ 임을 의미하며, 이는 코homological 대응의 단사성 때문이므로 유일성이 도출된다.