[논문 리뷰] Connected Hopf algebras and iterated Ore extensions

Ken A. Brown, S. O'Hagan외 2명|arXiv (Cornell University)|2013. 08. 08.

Algebraic structures and combinatorial models참고 문헌 28인용 수 8

한 줄 요약

이 논문은 호프 대수의 비대칭 다항식 확장을 호프 대수의 구조로 갖도록 하는 조건을 확립하며, 호프 오어 확장(Hopf Ore extensions, HOEs)의 개념을 도입한다. 특성 0에서 반복적 HOEs는 유한 지겔란드-키릴로프 차원을 갖는 연결 노에테르 호프 대수를 생성하며, 이는 가환 소벨 라이 대수의 보편 대수와 유니포텐트 군의 좌표 대수를 포함한다.

ABSTRACT

We investigate when a skew polynomial extension T = R[x; σ, δ] of a Hopf algebra R admits a Hopf algebra structure, substantially generalising a theorem of Panov. When this construction is applied iteratively in characteristic 0 one obtains a large family of connected noetherian Hopf algebras of finite Gelfand-Kirillov dimension, including for example all enveloping algebras of finite dimensional solvable Lie algebras and all coordinate rings of unipotent groups. The properties of these Hopf algebras are investigated.

연구 동기 및 목표

• 호프 대수 $ R $ 의 비대칭 다항식 확장 $ T = R[x;\sigma,\delta] $ 가 $ R $ 의 구조를 확장하는 호프 대수의 구조를 지닐 수 있는 조건을 결정하는 것.
• 판노프의 비대칭 다항식 확장에 대한 정리(비대칭 원시 변수를 갖는 경우)를 더 넓은 범위의 확장으로 일반화하는 것.
• 반복적 확장을 통한 연결 노에테르 호프 대수의 유한 지겔란드-키릴로프 차원을 갖는 체계를 개발하는 것.
• 특히 대수적으로 닫힌 특성 0의 체 위에서 가환 유한형 호프 대수의 구조를 특성화하는 것.
• 반복적 HOEs가 다항식 항등식을 만족시키는 조건을 조사하여, 특성 0에서는 반드시 가환성이어야 한다는 것을 보여주는 것.

제안 방법

• 호프 오어 확장(HOE)의 개념을 도입하며, 이는 호프 부분대수 $ R $ 의 구조를 확장하는 호프 대수의 구조를 갖는 비대칭 다항식 확장 $ T = R[x;\sigma,\delta] $ 로 정의된다.
• 정리 2.4의 식 (21), (22), (23)에 포함된 항등식을 포함하여, $ T $ 가 호프 대수가 되기 위한 $ \sigma $, $ \delta $, $ \Delta(x) $, $ S(x) $ 에 대한 필요 및 충분 조건을 유도한다.
• 특성 0에서 연결된 경우, $ \Delta(x) = 1 \otimes x + x \otimes 1 + w $ ($ w \in R \otimes R $) 이고 $ a = 1 $ 이며, 이는 구조를 단순화시킨다.
• 수학적 귀납법을 사용하여 반복적 HOEs(IHOEs)를 체인 형태로 정의하고, 이러한 대수가 연결되어 있고 노에테르이며, GK-차원이 확장의 수와 동일하다는 것을 증명한다.
• 널스테라츠 정리와 모듈 이론적 추론을 적용하여, $ R $ 이 가환이고 $ T $ 가 다항식 항등식을 만족하면 $ \delta $ 는 내부 자명이 되고 $ w = 0 $ 이며, 결과적으로 가환성이 된다.
• winding 자동형사상 이론과 특성군 이론을 활용하여 $ \sigma $ 의 구조를 분석하며, $ \sigma $ 가 특성 $ \chi $ 와 관련된 왼쪽 winding 자동형사상이어야 한다는 것을 보여준다.

실험 결과

연구 질문

• RQ1 호프 대수 $ R $ 의 비대칭 다항식 확장 $ T = R[x;\sigma,\delta] $ 가 $ R $ 의 구조를 확장하는 호프 대수의 구조를 지닐 수 있는 조건은 무엇인가?
• RQ2 특성 0의 연결된 경우, 이러한 확장에서 변수 $ x $ 의 코프로덕트는 항상 $ \Delta(x) = 1 \otimes x + x \otimes 1 + w $ 형태로 표현될 수 있는가?
• RQ3 환경 대수학에서의 가환 소벨 라이 대수나 유니포텐트 대수적 군의 좌표 대수와 같은 고전적 연결 호프 대수들은 어떤 조건에서 반복적 HOEs로 나타나는가?
• RQ4 특성 0에서 다항식 항등식은 반복적 HOEs에 어떤 제약을 가하는가?
• RQ5 winding 자동형사상과 특성군의 구조는 $ \sigma $ 와 $ \delta $ 의 형태에 어떻게 영향을 주는가?

주요 결과

• 비대칭 다항식 확장 $ T = R[x;\sigma,\delta] $ 가 $ R $ 의 구조를 확장하는 호프 대수의 구조를 지닐 수 있는 것은 $ \sigma $ 가 특성 $ \chi $ 와 관련된 왼쪽 winding 자동형사상이며, $ \sigma $, $ \delta $, $ w $, $ a $ 가 정리 2.4의 식 (21), (22), (23)을 만족할 때에 한하여 성립한다.
• 특성 0의 대수적으로 닫힌 체 위에서 연결된 경우, $ \Delta(x) = 1 \otimes x + x \otimes 1 + w $ ($ w \in R \otimes R $) 이며, $ \varepsilon(x) = 0 $, $ S(x) = - (x + \sum w_1 S(w_2)) $ 이다.
• 특성 0의 체 위에서 길이 $ n $ 의 반복적 HOEs는 연결 노에테르 호프 대수로서 지겔란드-키릴로프 차원이 $ n $ 인 대수이며, $ \Delta(x_i) = 1 \otimes x_i + x_i \otimes 1 + w^{i-1} $, $ w^{i-1} \in H_{(i-1)} \otimes H_{(i-1)} $ 를 만족한다.
• 모든 유한 차원 소벨 라이 대수의 보편 대수와 모든 유니포텐트 대수적 군의 좌표 대수들은 특성 0에서 반복적 HOEs로 나타난다.
• 특성 0의 체 위에서 다항식 항등식을 만족하는 IHOE는 반드시 가환적이어야 하며, 이는 자동형사상 $ \sigma $ 가 항등이 되고 $ \delta $ 가 내부임을 보여준다.
• 가환 경우, $ x $ 가 생성하는 아이디얼 $ I(T) $ 는 $ I(T) \cap R = 0 $ 를 만족하며, $ R $ 이 도메인이라면 $ w = 0 $ 이므로 $ x $ 는 비대칭 원시 원소가 되며, 이는 $ \sigma $ 가 winding 자동형사상이 되고 $ \delta $ 가 내부임을 강제한다.