[논문 리뷰] $p$-adic quantum hyperenveloping algebra for $\mathfrak{sl}_{2}$

Anton Lyubinin|arXiv (Cornell University)|2013. 12. 16.

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

한 줄 요약

이 논문은 이산적으로 값이 부여된 체 $L$ 위에서 반복적인 비가환 거듭제곱급수 대수를 사용하여 $p$-진 양자 하이퍼-envelope 대수 $\widehat{U}_q(\mathfrak{sl}_{2,L})$를 구성한다. 이는 타이트 대수를 일반화하는 것이다. 주요 기여는 $U_q(\mathfrak{sl}_{2,L})$의 연속 쌍대체로서 $SL_q(2,L)$의 바나흐 호프 대수 완비화를 구축하는 것으로, 복소수의 쌍대사상과 코멀티플리케이션의 유계성을 보장하는 노름 위상이 부여되어, 비가환적이며 비코모듈러적인 $L$-바나흐 호프 대수의 밀도 유형을 얻는다.

ABSTRACT

We construct an example of quantum hyperenveloping algebra over discretely valued field for the Lie algebra $\mathfrak{sl}_{2}$.

연구 동기 및 목표

• 이산적으로 값이 부여된 체 $L$ 위에서 $\mathfrak{sl}_2$에 대한 $p$-진 양자 하이퍼-envelope 대수의 유사체를 개발하기 위해.
• 노름 완비화를 통해 양자군 이론을 비아르키메데스적 환경으로 확장하기 위해 $U_q(\mathfrak{sl}_{2,L})$와 그 쌍대체인 $SL_q(2,L)$의 노름 완비화를 구성하기 위해.
• 연속성의 보장이 되는 노름 구조를 사용하여 $U_q(\mathfrak{sl}_{2,L})$와 $SL_q(2,L)$ 사이의 위상적 쌍대성을 수립하기 위해.
• 비가환성과 비코모듈러성의 특성을 유지하면서 쌍대사상과 코멀티플리케이션의 유계성을 보장하기 위해, 비가환성과 비코모듈러성의 특성을 유지하면서 쌍대사상과 코멀티플리케이션의 유계성을 보장하기 위해.
• 완비화된 $U_q(\mathfrak{sl}_{2,L})$의 연속 쌍대체가 비가환적이며 비코모듈러적인 $L$-호프 대수의 밀도 유형을 형성함을 보여주어, 비아르키메데스적 양자군 이론에의 적용 가능성을 제시하기 위해.

제안 방법

• 반복적인 비가환 거듭제곱급수 대수의 구성은 타이트 대수와 유사한 성질을 지닌다는 것을 보이고, 이는 $U_q(\mathfrak{sl}_{2,L})$의 완비화를 정의하는 데 사용된다.
• $R_E, R_F < 1$인 매개변수를 사용하여 $\widehat{U}_q(\mathfrak{sl}_{2,L})$ 위에 노름 $\nu'_{R_E,R_F}$를 정의함으로써, $SL_q(2,L)$와의 페어링에서 행렬 계수의 수렴성을 보장한다.
• 양자 이중 구조의 구성은 $U_q(\mathfrak{b}_{L,+})$와 $U_q(\mathfrak{b}_{L,-})$ 사이의 쌍대성과 $SL_q(2,L)$와의 페어링을 수립하는 데 도움이 되며, 증명을 단순화한다.
• 완비화된 $U_q(\mathfrak{sl}_{2,L})$의 연속 쌍대체는 노름 $\nu'_{R_E,R_F}$에 대해 취해지며, 유계 선형 함수들의 바나흐 공간을 얻는다.
• $C_{R_E,R_F}^{\text{an}}(SL_q(2,L))$는 이 쌍대 공간 내에서 $SL_q(2,L)$의 닫힘으로 정의되며, 계수들이 $R_E^{-k}R_F^{-m}$ 속도로 감소하는 급수로 구성된다.
• 형식적 극한 $C^\omega(SL_q(2,L)) = \varinjlim C_{R_E,R_F}^{\text{an}}(SL_q(2,L))$가 형성되어, 국소 볼록 공간의 밀도 유형을 이루며, 비가환적이며 비코모듈러적인 $L$-호프 대수의 구조를 지닌다.

실험 결과

연구 질문

• RQ1 이산적으로 값이 부여된 체 $L$ 위에서 $\mathfrak{sl}_2$에 대한 $p$-진 양자 하이퍼-envelope 대수는 어떻게 구성할 수 있는가?
• RQ2 $U_q(\mathfrak{sl}_{2,L})$의 쌍대체 위에서 코멀티플리케이션과 쌍대사상이 유계이자 연속적이게 보장하는 노름 위상은 무엇인가?
• RQ3 양자 이중 구조는 $p$-진 설정에 적응시킬 수 있는가? 이를 통해 쌍대성 증명을 단순화하고 호프 대수 연산의 유계성을 보장할 수 있는가?
• RQ4 완비화된 $U_q(\mathfrak{sl}_{2,L})$의 연속 쌍대체는 위상 대수로서 어떤 구조를 지니는가?
• RQ5 $SL_q(2,L)$ 위의 하어르 기능이 $p$-진 설정에서 여전히 유계일 조건은 무엇인가?

주요 결과

• $C_{R_E,R_F}^{\text{an}}(SL_q(2,L))$는 $R_E^{-k}R_F^{-m}$로 가중된 최대값 노름에 대해 바나흐 대수이며, 코멀티플리케이션, 코유닛, 쌍대사상에 대해 닫혀 있다.
• 쌍대 함수 $\alpha \in SL_q(2,L)$의 노름은 $\|\alpha\|_{\nu'_{R_E,R_F}}^* = \sup_{\nu'_{R_E,R_F}(x) \leq 1} |\langle x, \alpha \rangle|_L$로 주어지며, 이는 유계성을 보장한다.
• $|q|_L = 1$일 때, 페어링는 $|\langle K^m E^n F^l, a^s c^r b^t \rangle|_L = \delta_{rn}\delta_{tl} |[n]_q!|_L |[l]_q!|_L$를 만족하며, $a^s c^r b^t$의 쌍대 노름은 $R_E^{-r} R_F^{-t}$이다.
• 마찬가지로 $d^s c^r b^t$의 쌍대 노름 역시 $R_E^{-r} R_F^{-t}$이며, 이는 기저 전반에 걸쳐 노름이 일관됨을 보여준다.
• $C^\omega(SL_q(2,L))$의 형식적 극한은 비가환적이며 비코모듈러적인 $L$-호프 대수의 밀도 유형을 형성하며, 함수해석학에서의 비아르키메데스적 해석 함수 공간과 유사하다.
• $|q|_L < 1$일 경우, $SL_q(2,L)$ 위의 하어르 기능은 여전히 유계이므로, 더 넓은 매개변수 범위로의 쌍대성 확장이 가능하다.