[논문 리뷰] On quantum groups associated to non-Noetherian regular algebras of dimension 2

Chelsea Walton, Xingting Wang|arXiv (Cornell University)|2015. 03. 31.

Algebraic structures and combinatorial models참고 문헌 35인용 수 10

한 줄 요약

이 논문은 전반적으로 Noetherian이 아닌 2차 global 차원을 가진 Artin-Schelter 정규 대수 $A(n,\mathbb{E})$ 위에서 작용하는 양자군을 조사하며, 그들의 호모로지적 및 링 이론적 성질이 코모듈 대수의 성질을 그대로 반영함을 밝힌다. 핵심 결과는 호모로지적 코행렬식이 자명할 경우, 보편 양자 선형군 $\mathcal{O}_A(SL)$가 global 차원 3인 Artin-Schelter 정규이자 비대칭 Calabi-Yau임을 증명하며, 중심적 코행렬식을 가질 경우에만 $n=2$일 때만 Noetherian이면서 유한한 Gelfand-Kirillov 차원을 가짐을 보인다.

ABSTRACT

We investigate homological and ring-theoretic properties of universal quantum linear groups that coact on Artin-Schelter regular algebras A(n) of global dimension 2, especially with central homological codeterminant (or central quantum determinant). As classified by Zhang, the algebras A(n) are connected \N-graded algebras that are finitely generated by n indeterminants of degree 1, subject to one quadratic relation. In the case when the homological codeterminant of the coaction is trivial, we show that the quantum group of interest, defined independently by Manin and by Dubois-Violette and Launer, is Artin-Schelter regular of global dimension 3 and also skew Calabi-Yau (homologically smooth of dimension 3). For central homological codeterminant, we verify that the quantum groups are Noetherian and have finite Gelfand-Kirillov dimension precisely when the corresponding comodule algebra A(n) satisfies these properties, that is, if and only if n=2. We have similar results for arbitrary homological codeterminant if we require that the quantum groups are involutory. We also establish conditions when Hopf quotients of these quantum groups, that also coact on A(n), are cocommutative.

연구 동기 및 목표

• Artin-Schelter 정규 대수 위에서 작용하는 양자군이 그들의 호모로지적 및 링 이론적 성질을 상속한다는 추측을 검증하는 것.
• 전반적으로 Noetherian이 아닌 global 차원 2인 AS 정규 대수 위에서 작용하는 보편 양자 선형군의 구조를 분석하는 것.
• 이 양자군이 Noetherian이거나 유한한 Gelfand-Kirillov 차원을 가지거나, 코커뮤타티브일 조건을 규명하는 것.
• 대수의 Nakayama 성질과 양자군의 코커뮤타티브성 사이의 대응관계를 설정하는 것.

제안 방법

• Manin과 Dubois-Violette-Launer의 보편 양자 선형군을 $A(n,\mathbb{E})$ 위에서 작용하는 호프 대수로 구성하는 것.
• Bichon의 $\mathcal{B}(\mathbb{E})$의 호모로지적 성질에 관한 결과를 적용하여 $\mathcal{O}_A(SL)$가 global 차원 3인 Artin-Schelter 정규이자 비대칭 Calabi-Yau임을 증명하는 것.
• 행렬 동치를 통한 $\mathbb{E}$의 분류를 통해 $A(n,\mathbb{E})$의 Nakayama 및 거듭제곱 중심 Nakayama 성질을 규명하는 것.
• 호모로지적 코행렬식과 그 중심성의 분석을 통해 호프 몫군의 코커뮤타티브성을 분석하는 것.
• 공-모리타 동치 결과를 적용하여 $\mathcal{G}(\mathbb{X},\mathbb{Y})$를 표준 양자군 $\mathcal{O}_q(GL_2)$와 연결하는 것.
• 논문 [3], [33], [35]의 결과를 활용하여 대수적 구조와 호모로지 불변량 간의 연관성을 규명하는 것.

실험 결과

연구 질문

• RQ1 비Noetherian인 2차원 AS 정규 대수 위에서 작용하는 보편 양자 선형군이 Artin-Schelter 정규가 되는 조건은 무엇인가?
• RQ2 양자군이 비대칭 Calabi-Yau이거나 순환적일 조건은 무엇이며, 이는 정의 행렬 $\mathbb{E}$의 대칭성과 어떻게 관련되는가?
• RQ3 어떤 $n$과 $\mathbb{E}$에 대해 양자군이 Noetherian이면서 유한한 Gelfand-Kirillov 차원을 가질 수 있는가?
• RQ4 호모로지적 코행렬식이 중심이거나 중심 원소의 거듭제곱일 때, 양자군의 코커뮤타티브성이 어떻게 유도되는가?
• RQ5 정확히 어떤 행렬 분류 조건이 대수가 중심 Nakayama 또는 거듭제곱 중심 Nakayama임을 보장하는가?

주요 결과

• 호모로지적 코행렬식이 자명할 경우, 보편 양자 선형군 $\mathcal{O}_A(SL)$는 global 차원 3인 Artin-Schelter 정규이자 비대칭 Calabi-Yau이다.
• 호모로지적 코행렬식이 중심일 경우, 양자군은 Noetherian이면서 유한한 Gelfand-Kirillov 차원을 가질 조건이 $n=2$일 때에만 성립한다.
• 만약 $\mathbb{E}$가 대칭이거나 반대칭이며 $n$이 짝수일 경우, $\mathcal{O}_A(SL)$는 동시에 Calabi-Yau이자 순환적이다.
• 임의의 호모로지적 코행렬식을 가진 순환적 양자군의 경우, 동일한 유한성 및 Noetherian 성질이 $n=2$일 때에만 정확히 성립한다.
• 호모로지적 코행렬식이 중심인 호프 대수 $H$가 $A(n,\mathbb{E})$ 위에서 작용할 경우, $\mathbb{E}$가 $\mathbb{J}_n$과 $\mathbb{D}_{2r_i}(q_i)$의 직합과 동치이며, $\{q_i^{\pm 1}\}$이 서로 다를 경우, $H$는 코커뮤타티브이며, $H$가 유한 차원일 조건은 $H$가 군 대수일 때 뿐이다.
• 만약 $\mathbb{E}$가 이러한 합과 동치이며, 모든 $e \geq 1$에 대해 $\{q_i^{\pm e}\}$가 서로 다를 경우, $\sf{D}^m$이 어떤 $m \geq 1$에 대해 중심이면 $H$는 항상 코커뮤타티브이다.