[논문 리뷰] Some homological properties of skew PBW extensions

Oswaldo Lezama, Armando Reyes|arXiv (Cornell University)|2013. 10. 24.

Algebraic structures and combinatorial models참고 문헌 12인용 수 7

한 줄 요약

이 논문은 왼쪽 Noetherian이자 왼쪽 정칙인 링의 이遍적 비가환 PBW 확장이 이러한 호모로지적 성질을 그대로 유지함을 증명하며, 이러한 확장에 대해 세르의 정리를 증명한다. 또한, 비가환 대수와 오어 대수에 관련된 스케일드 PBW 확장과 그 국소화에 대해 전역, 크룰, 골디, 퀼렌 K-군을 계산하며, 자동형사상이 K-이론에 자명하게 작용할 경우 K-이론이 이항계수를 통해 분해됨을 보여준다.

ABSTRACT

We prove that if R is a left Noetherian and left regular ring then the same is true for any bijective skew PBW extension A of R. From this we get Serre's Theorem for such extensions. We show that skew PBW extensions and its localizations include a wide variety of rings and algebras of interest for modern mathematical physics such as PBW extensions, well known classes of Ore algebras, operator algebras, diffusion algebras, quantum algebras, quadratic algebras in 3-variables, skew quantum polynomials, among many others. We estimate the global, Krull and Goldie dimensions, and also Quillen's K-groups.

연구 동기 및 목표

• 기저 링 R이 왼쪽 Noetherian이자 왼쪽 정칙일 경우, 이에 대한 이遍적 비가환 PBW 확장이 왼쪽 Noetherian 및 왼쪽 정칙 성질을 유지함을 확립하는 것.
• 기존의 가환 및 군집 링에 대한 결과를 비가환 환경으로 일반화하여, 스케일드 PBW 확장의 클래스에 대해 세르의 정리를 확장하는 것.
• 스케일드 PBW 확장과 그 국소화에 대해 전역, 크룰, 골디 차원을 추정하는 것.
• 특히 다중매개수 스케일드 양자 토러스와 스케일드 라우렌트 다항식 확장에 대해, 스케일드 PBW 확장의 퀼렌 K-군을 계산하는 것.
• 수학적 물리학과 관련된 광범위한 비가환 링의 K-이론을 체계적으로 계산할 수 있는 프레임워크를 제공하는 것. 이는 양자 대수와 오어 대수를 포함한다.

제안 방법

• 스케일드 PBW 확장을 R-자유 대수로서 정의하고, 표준 단항식과 내부 자기형사상 σ_i 및 σ_i-도함수 δ_i에 의해 지배되는 비가환 관계를 사용하는 것.
• 정리 1.5를 적용하여, 곱의 유일한 인수분해와 왼쪽 곱의 성질을 통해 스케일드 PBW 확장을 특성화함으로써, R-모듈 구조와의 호환성을 확보하는 것.
• R이 왼쪽 Noetherian이자 왼쪽 정칙일 경우, 임의의 이遍적 비가환 PBW 확장 A도 역시 왼쪽 Noetherian이자 왼쪽 정칙임을, 귀납법과 확장의 구조적 성질을 이용해 증명하는 것.
• 스케일드 PBW 확장의 국소화를 통해 스케일드 라우렌트 다항식 확장을 구성하고, 이러한 국소화가 호모로지적 성질을 유지함을 보이는 것.
• 알gebraic K-이론의 장점 긴 수열(참고 문헌 [42])을 활용하여, 자동형사상이 K-이론에 자명하게 작용할 조건 하에서 스케일드 라우렌트 확장의 K_i가 기저 링의 K_i 및 K_{i-1}과 관련됨을 보이는 것.
• K-이론의 장점 긴 수열을 반복 적용하고 r에 대한 귀납법을 사용하여, K_m(R_q,σ[x_1^{±1},...,x_r^{±1},x_{r+1},...,x_n])에 대한 폐형 표현을 이항계수를 통해 유도하는 것.

실험 결과

연구 질문

• RQ1 왼쪽 Noetherian이자 왼쪽 정칙인 링의 이遍적 비가환 PBW 확장은 여전히 왼쪽 Noetherian이자 왼쪽 정칙인가?
• RQ2 스케일드 PBW 확장의 비가환 설정에서 세르의 정리를 일반화할 수 있는가?
• RQ3 스케일드 PBW 확장과 그 국소화의 전역, 크룰, 골디 차원은 무엇인가?
• RQ4 스케일드 PBW 확장의 퀼렌 K-군은 어떻게 분해되며, 특히 다중매개수 스케일드 양자 토러스의 경우 어떻게 되는가?
• RQ5 스케일드 PBW 확장의 K-이론이 역행렬 생성자의 수에 대한 이항계수로 인덱싱된 직합으로 분해되는 조건은 무엇인가?

주요 결과

• R이 왼쪽 Noetherian이자 왼쪽 정칙일 경우, R의 임의의 이遍적 비가환 PBW 확장 A 역시 왼쪽 Noetherian이자 왼쪽 정칙이다.
• 세르의 정리는 이遍적 비가환 PBW 확장에 대해 성립한다: A의 전역 차원은 R의 전역 차원과 같다.
• 이遍적 비가환 PBW 확장 A = σ(R)⟨x₁,…,xₙ⟩에 대해 전역 차원은 gl.dim(A) = gl.dim(R)을 만족하고, 크룰 차원은 Kdim(A) = Kdim(R) + n을 만족한다.
• R이 골디일 경우, A의 골디 차원은 R의 골디 차원과 같다.
• r-다중매개수 스케일드 양자 토러스 R_q,σ[x₁^{±1},…,x_r^{±1},x_{r+1},…,x_n]에 대해, K-이론 군은 K_m ≅ ⨁_{j=0}^m [K_j(R)]^{C_r^{m−j}} 를 만족한다. 이는 각 σ_j가 이전 확장의 K-이론에 자명하게 작용한다는 가정 하에 성립한다.
• 특히, K₀(R_q,σ[x₁^{±1},…,x_r^{±1},x_{r+1},…,x_n]) ≅ K₀(R), K₁ ≅ [K₀(R)]^r ⊕ K₁(R), 그리고 K₂ ≅ [K₀(R)]^{r(r−1)/2} ⊕ [K₁(R)]^r ⊕ K₂(R)이다.