[논문 리뷰] Quadratic algebra of square groups

Hans Joachim Baues, Mamuka Jibladze외 1명|ArXiv.org|2006. 01. 31.

Advanced Topics in Algebra참고 문헌 8인용 수 5

한 줄 요약

이 논문은 아벨 군의 이차적 일반화인 정사각형 군에 대해 대칭 심방 텐서 곱을 도입한다. 이는 고전적인 아벨 군의 텐서 곱을 일반화한 것으로, 이 새로운 텐서 곱 $\underline{\circledcirc}$를 갖춘 정사각형 군의 범주 $\mathsf{SG}$는 대칭 심방 범주를 이룬다. 이는 선형 대수학을 이차적 설정으로 일반화하며, 텐서 곱은 오른쪽 완전성과 균형성을 유지한다.

ABSTRACT

There is a long-standing problem of algebra to extend the symmetric monoidal structure of abelian groups, given by the tensor product, to a non abelian setting. In this paper we show that such an extension is possible. Morover our non abelian tensor product remains even right exact and balanced. We describe the new non-abelian tensor product in the context of quadratic algebra which extends linear algebra.

연구 동기 및 목표

• 고전적인 텐서 곱으로 주어진 아벨 군의 대칭 심방 구조를, 정사각형 군을 사용하여 비아벨 설정으로 확장한다.
• 고전적인 텐서 곱을 일반화하고 핵심 대수적 성질을 유지하는 정사각형 군 위의 새로운 텐서 곱 연산 $\underline{\circledcirc}$를 정의한다.
• 이 새로운 텐서 곱이 정사각형 군의 범주에 대칭 심방 구조를 제공함으로써, 선형 대수학을 이차 대수로 일반화함을 확립한다.
• 이 구조가 이차 링, 모듈러, 그리고 2차 호모토피 이론과 맥클레인 코hom로지에서의 역할에 미치는 영향을 탐색한다.
• 텐서 곱 $\underline{\circledcirc}$가 오른쪽 완전성과 균형성을 유지하여 비아벨 맥락에서 필수적인 대수적 행동을 보존함을 보인다.

제안 방법

• 정사각형 군을 추가 구조를 가진 다이어그램 $ (M_e \to M_{ee}, M_e \to M_{\mathrm{ee}}) $로 정의하여, 군의 범주에서의 이차 자기함수로서 아벨 군을 일반화한다.
• 이중선형성의 일반화를 포함하는 관계를 사용하여 텐서 곱 $ M \underline{\circledcirc} N $을 구성하며, 비아벨 성질을 반영하기 위해 비자명한 수정항 $ (x_2 | x_1)_H \bar{\otimes} H(y) $를 포함한다.
• 일致성과 대칭성 공리를 검증하여 $ (\mathsf{SG}, \underline{\circledcirc}, \mathbb{Z}_{\mathrm{nil}}) $가 대칭 심방 범주임을 증명한다.
• 함수자 $ \mathscr{J} $를 사용하여, 코대칭을 가진 아벨 군의 범주 $ \mathsf{Cos} $와 $ \mathsf{SG} $의 전부분범주 $ \mathsf{SG}_\Sigma \subset \mathsf{SG} $ 사이의 동치를 확립한다.
• 범주 $ \mathsf{SG}_\Sigma $에서 텐서 곱 $ \underline{\circledcirc} $와 $ \square $ (자기함수의 합성)가 일치하고, $ \mathscr{J} $가 대칭 심방 동치임을 보인다.
• 이차 자기함수의 구조를 활용하여 $ \mathbb{Z}_{\mathrm{nil}} $를 $ G \mapsto G^{\mathrm{nil}} = G/[G,[G,G]] $로 해석함으로써, 대수학과 호모토피 대수학을 연결한다.

실험 결과

연구 질문

• RQ1 아벨 군의 텐서 곱을 통한 대칭 심방 구조를 비아贝尔 설정으로 확장할 수 있는가?
• RQ2 오른쪽 완전성과 균형성을 유지하는 비아벨 정사각형 군의 텐서 곱이 존재하는가?
• RQ3 정사각형 군의 범주에 고전적인 아벨 군의 텐서 곱을 일반화하는 대칭 심방 구조가 존재하는가?
• RQ4 $ \mathsf{SG}_\Sigma $에서 텐서 곱 $ \underline{\circledcirc} $와 $ \square $ (자기함수의 합성)는 어떻게 관련되어 있는가?
• RQ5 이차 링과 모듈러는 2차 호모토피 이론과 맥클레인 코호몰로지에서 어떤 역할을 하는가?

주요 결과

• 범주 $ (\mathsf{SG}, \underline{\circledcirc}, \mathbb{Z}_{\mathrm{nil}}) $는 아벨 군의 대칭 심방 구조를 일반화하는 대칭 심방 범주이다.
• 아벨 군 $ M $과 $ N $에 대해, 새로운 텐서 곱은 $ M \underline{\circledcirc} N = M \otimes N $를 만족하여 고전적인 선형 대수학과의 호환성을 보장한다.
• 텐서 곱 $ \underline{\circledcirc} $는 오른쪽 완전성과 균형성을 가지며, 비아벨 맥락에서 필수적인 호몰로지 성질을 유지한다.
• 함수자 $ \mathscr{J}: \mathsf{Cos} \to \mathsf{SG}_\Sigma $는 범주 동치를 이룬다. 이는 코대칭을 가진 아벨 군과 정사각형 군의 전부분범주 사이의 대응 관계를 확립한다.
• $ \mathsf{SG}_\Sigma $에서 텐서 곱 $ \underline{\circledcirc} $와 $ \square $는 일치하며, $ \mathscr{J} $는 대칭 심방 동치이다. 특히 $ \mathscr{J}(A,\partial) \underline{\circledcirc} \mathscr{J}(A',\partial') \cong \mathscr{J}((A,\partial) \otimes (A',\partial')) $이다.
• 이 구성은 이차 대수학, 즉 이차 링과 모듈러의 기초를 제공하며, 맥클레인 코호몰로지와 2차 호모토피 이론에의 응용을 가능하게 한다.