[논문 리뷰] On quantum groups associated to a pair of preregular forms

Alexandru Chirvăsitu, Chelsea Walton외 1명|arXiv (Cornell University)|2016. 05. 20.

Algebraic structures and combinatorial models참고 문헌 26인용 수 4

한 줄 요약

이 논문은 이중 벡터 공간 위의 전기형 양자 형식 $\mathsf{e}$와 $\mathsf{f}$를 통해 $N$-코즐 아르틴-슐레르 정칙 대수의 쌍에 작용하는 보편 양자군 $\chi(\mathsf{e},\mathsf{f})$를 도입한다. 이는 비초기의 구조를 일반화하며, 이전의 구성(비혼과 두아 빌레의 것)을 확장하고, 알려진 양자군(예: 아르틴-슐레르-테이트, 테이쿠치, 모르지니스)을 복원하며, 임의의 양자 행렬식을 가진 대수에 보편적으로 작용하는 명시적 호프 대수 표현을 제공한다. 이는 3차원 및 4차원 스크리아닌 대수와 양밀스 대수를 포함한다.

ABSTRACT

We define the universal quantum group $\mathcal{H}$ that preserves a pair of Hopf comodule maps, whose underlying vector space maps are preregular forms defined on dual vector spaces. This generalizes the construction of Bichon and Dubois-Violette (2013), where the target of these comodule maps are the ground field. We also recover the quantum groups introduced by Dubois-Violette and Launer (1990), by Takeuchi (1990), by Artin, Schelter, and Tate (1991), and by Mrozinski (2014), via our construction. As a consequence, we obtain an explicit presentation of a universal quantum group that coacts simultaneously on a pair of $N$-Koszul Artin-Schelter regular algebras with arbitrary quantum determinant.

연구 동기 및 목표

• 임의의 호모로지적 코행렬식을 가진 두 개의 $N$-코즐 아르틴-슐레르 정칙 대수에 보편적으로 작용하는 양자군을 구성하는 것.
• comodule 사상의 대상이 기본 체에서 이중 벡터 공간으로 확장됨에 따라 비혼과 두아 빌레의 구성 방식을 일반화하는 것.
• 드 보아 비올레-로너, 아르틴-슐레르-테이트, 테이쿠치, 모르지니스의 알려진 양자군들을 하나의 프레임워크 안에서 통합하고 복원하는 것.
• 보편 양자군 $\mathcal{H}(\mathsf{e},\mathsf{f})$의 명시적 유한 표현(생성자와 관계식으로)을 제공하는 것.
• 양자군 $\mathcal{H}(\mathsf{e},\mathsf{f})$가 임의의 양자 행렬식을 가진 슈퍼퍼텐셜 대수 $A(\mathsf{e},N)$와 $A(\mathsf{f},N)$에 보편적으로 작용함을 증명하는 것.

제안 방법

• 기본 형식 $\mathsf{e}$와 $\mathsf{f}$를 갖는 $V^{\otimes m}$과 $V^{*\otimes m}$에서 일차원 comodule으로의 오른쪽 및 왼쪽 호프 comodule 사상의 보존을 유지하는 호프 몫환으로서 보편 양자군 $\mathcal{H}(\mathsf{e},\mathsf{f})$를 정의한다.
• 이중 공간 위의 전기형 $m$-선형 형식 $\mathsf{e}$와 $\mathsf{f}$를 사용하여 생성자와 관계식을 통해 양자군을 구성한다.
• $N$-코즐 아르틴-슐레르 정칙 대수를 $\mathsf{e}$와 $\mathsf{f}$에 대응하는 외부 슈퍼퍼텐셜의 이중형태인 슈퍼퍼텐셜 대수 $A(\mathsf{e},N)$와 $A(\mathsf{f},N)$로 표현한다.
• $\mathsf{e}, \mathsf{f}$ 쌍에 관련된 반군의 푸시아웃으로서 $\mathcal{H}(\mathsf{e},\mathsf{f})$를 구성함으로써, 작용 구조와의 호환성을 확보한다.
• $\mathcal{H}(\mathsf{e},\mathsf{f})$가 $2n^2 + 2$개의 생성자와 유한 개의 관계식을 갖는 유한 표현을 가짐을 증명한다.
• $\mathcal{H}(\mathsf{e},\mathsf{f})$가 $A(\mathsf{e},N)$과 $A(\mathsf{f},N)$ 양쪽에 보편적으로 작용하며, 그 호모로지적 및 환 이론적 성질을 유지함을 검증한다.

실험 결과

연구 질문

• RQ1 두 개의 $N$-코즐 아르틴-슐레르 정칙 대수에 동시에 작용하면서 그 호모로지적 코행렬식을 보존하는 보편 양자군을 구성할 수 있는가?
• RQ2 비혼과 두아 빌레의 구성 방식을 기본 체에서 이중 벡터 공간으로의 대상 확장을 넘어서 어떻게 일반화할 수 있는가?
• RQ3 아르틴-슐레르-테이트, 테이쿠치, 또는 모르지니스의 알려진 양자군들은 이 일반화된 구성의 특수한 경우로 복원될 수 있는가?
• RQ4 전기형 형식 $\mathsf{e}, \mathsf{f}$에 대해 보편 양자군 $\mathcal{H}(\mathsf{e},\mathsf{f})$의 명시적 표현(생성자와 관계식으로)은 무엇인가?
• RQ5 이 프레임워크는 3차원 및 4차원 아르틴-슐레르 정칙 대수, 즉 3차원 및 4차원 스크리아닌 대수와 양밀스 대수에 적용될 수 있는가? 만약 가능하다면, 그 결과로 도출되는 양자군은 무엇인가?

주요 결과

• 보편 양자군 $\mathcal{H}(\mathsf{e},\mathsf{f})$는 $2n^2 + 2$개의 생성자와 유한 개의 관계식을 갖는 명시적 표현을 가지며, 이는 이전의 구성들을 일반화한다.
• 이 구성은 드 보아 비올레-로너(1990), 아르틴, 숄레르, 테이트(1991), 테이쿠치(1990), 모르지니스(2014)의 양자군을 특수한 경우로 포함한다.
• 3차원 스크리아닌 대수 $Skly_3(\alpha,\beta,\gamma)$는 슈퍼퍼텐셜 대수 $A(\mathsf{s}_{\alpha\beta\gamma},2)$와 동형이며, 그 양자군은 $\mathcal{H}(\mathsf{s}_{\alpha\beta\gamma}, \mathsf{s}_{\alpha\beta\gamma})$이다.
• 4차원 스크리아닌 대수 $Skly_4(\alpha,\beta,\gamma)$는 $A(\mathsf{s}_{\alpha\beta\gamma},2)$와 동형이며, 그 양자군은 $\mathcal{H}(\mathsf{s}_{\alpha\beta\gamma}, \mathsf{s}_{\alpha\beta\gamma})$이다.
• 양밀스 대수 $\mathcal{YM}(\mathbb{G})$는 슈퍼퍼텐셜 대수 $A(\mathsf{g},3)$와 동형이며, 그 양자군은 메트릭 $\mathbb{G}$에 의해 정의된 관련 다중선형 형식 $\mathsf{g}$에 대해 $\mathcal{H}(\mathsf{g}', \mathsf{g})$이다.