[논문 리뷰] Invariants of links with flat connections in their complements.II. Holonomy R-matrices related to quantized universal enveloping algebras at roots of 1

Rinat Kashaev, Nicolai Reshetikhin|ArXiv.org|2002. 02. 21.

Advanced Topics in Algebra참고 문헌 11인용 수 7

한 줄 요약

이 논문은 1의 원주근에서 양자화된 보편 포괄 대수의 정규 부분과 함께, 1의 원주근에서 특수화된 보편 R-행렬을 사용하여 호로노미 R-행렬을 구성한다. 이러한 R-행렬은 보편적인 양자 불변량을 일반화하고, 1의 원주근에서의 표현 이론과 점점 가까워지는 극한을 통해 기하학적 및 위상수학적 불변량과 연결된다.

ABSTRACT

Holonomy R-matrices parametrized by finite-dimensional representations are constructed for quantized universal enveloping algebras of simple Lie algebras at roots of 1.

연구 동기 및 목표

• 1의 원주근에서 양자화된 보편 포괄 대수의 호로노미 R-행렬을 보편 R-행렬의 정규 부분을 사용하여 구성한다.
• 테이글의 보존 평면에 평탄한 접속이 존재하는 경우의 불변량 이론을 1의 원주근의 경우로 확장한다.
• 이러한 불변량과 초평면 부피 및 1의 원주근에서의 존슨 다항식과 같은 기하학적 불변량 사이의 연결 고리를 설정한다.
• 비어 있는 평탄한 접속과 큰 수준 l의 극한에서 이러한 불변량의 점점 가까워지는 행동을 탐색한다.
• 복소 Lie 군에 대한 초전하 이론을 사용하여 이러한 불변량을 기술하는 위상적 양자장 이론의 기초를 마련한다.

제안 방법

• 보편 R-행렬의 정규 부분을 사용하여, 1의 원주근에서 특수화된 $ U_q(\frak{g}) $의 표현을 사용하여, $ G \times G $ 위에서 정의된 연산자 값을 갖는 함수를 구성하며, 이는 호로노미 양-바크스 방정식을 만족한다.
• 정수 형태 $ υ^M_\varepsilon(\frak{g}) $ 를 사용하며, 생성자들은 $ \overline{E_i} = (q_i - q_i^{-1})E_i $ 로 정규화된다.
• 불변량은 유한 차원 $ \mathcal{U}^M_\varepsilon(\frak{g}) $-모듈 $ V $ 에 대해 $ \text{End}(V) $ 의 원소를 할당하는 함자 $ F $ 에서 유도되며, 호로노미 R-행렬의 구조로 인해 게이지 불변성이 보장된다.
• 가장 긴 웨일 군 원소의 축소 분해를 사용하여 양의 루트에 대한 볼록 순서와 해당 루트 벡터 $ E_{\beta_a}, F_{\beta_a} $ 의 기저를 정의한다.
• G의 드레싱 작용을 통해 호로노미 R-행렬이 게이지 변환에 대해 불변임을 보여, 결과적으로 테이글 불변량의 위상수학적 불변성을 확보한다.
• 점점 가까워지는 분석은 $ q \to \varepsilon $ 일 때, 보편 R-행렬의 정규 부분이 [RT]와 [Ka]에서 1의 원주근에서 유도된 불변량을 일반화하는 불변량을 생성함을 시사한다.

실험 결과

연구 질문

• RQ1 어떻게 1의 원주근에서 양자화된 보편 포괄 대수에서 호로노미 R-행렬을 구성할 수 있는가?
• RQ2 보편 R-행렬의 정규 부분은 평탄한 접속이 존재하는 테이글의 불변량을 생성하는 데 어떤 역할을 하는가?
• RQ3 이러한 불변량은 1의 원주근에서의 존슨 다항식과 같은 기존의 불변량과 어떻게 관련이 있는가?
• RQ4 비어 있는 평탄한 접속의 극한에서 이러한 불변량의 기하학적 의미는 무엇인가?
• RQ5 특히 복소 Lie 군에 대한 초전하 이론을 통해 이러한 불변량을 기술하는 위상적 양자장 이론을 구성할 수 있는가?

주요 결과

• 1의 원주근에서 $ U_q(\frak{g}) $ 의 보편 R-행렬의 정규 부분은 호로노미 양-바크스 방정식을 만족하는 호로노미 R-행렬을 유도한다.
• 이러한 호로노미 R-행렬은 보존 평면에 평탄한 접속이 존재하는 테이글의 게이지 불변 불변량을 생성한다.
• $ G = SL_2 $ 인 경우, 3-다양체가 테이글의 보존 평면일 때, [BB]에서 구성된 불변량과 일치한다.
• 평탄한 접속이 비어 있고 $ G = SL_2 $ 일 때, 불변량은 [Ka]에서 구성된 불변량과 일치하며, 이는 1의 원주근에서의 존슨 다항식과 관련된다.
• 접속이 비어 있는 극한 $ \phi \to 1 $ 에서, 불변량은 차원 $ \ell^{\Delta_+} $ 의 분해 불가능한 표현에 대해 [RT]의 불변량으로 줄어든다.
• 저자들은 이러한 불변량이 큰 $ l $ 극한에서 보존 평면의 쌍곡 부피와 관련이 있을 수 있다고 추측하며, 기존의 점점 가까워지는 행동을 일반화한다.