[논문 리뷰] Hopf modules and the fundamental theorem for Hopf (co)quasigroups

Tomasz Brzeziński|ArXiv.org|2009. 12. 17.

Mathematics and Applications인용 수 7

한 줄 요약

이 논문은 할로프 (co)구사군(비결합, 비공결합적 할로프 대수의 일반화) 위의 할로프 모듈을 도입하고, 기본 정리의 유사체를 확립한다: 할로프 (co)구사군 위의 왼쪽 및 오른쪽 할로프 모듈의 범주는 벡터 공간의 범주와 동치이다. 핵심 결과는 이러한 동치가 유도 및 코항성자(functor)를 통해 매개되며, 역소와 갈로아 사상이 갈로아 유형 조건으로부터 할로프 (co)구사군의 구조를 재구성하는 데 중심적인 역할을 한다.

ABSTRACT

The notion of a Hopf module over a Hopf (co)quasigroup is introduced and a version of the fundamental theorem for Hopf (co)quasigroups is proven.

연구 동기 및 목표

• 할로프 대수학 이론의 기본 정리를 비결합, 비공결합적 할로프 (co)구사군의 설정으로 일반화하는 것.
• 비결합적 환경으로까지 확장된 전통적 할로프 모듈의 개념을 정의하고 연구하는 것.
• 할로프 모듈의 범주와 벡터 공간의 범주 사이의 범주적 동치를 확립하여 할로프 대수학의 고전적 기본 정리와 유사하게 만드는 것.
• 갈로아 사상의 전단사성과 역소의 존재를 통해 할로프 (co)구사군을 특성화하는 갈로아 이론적 특성화를 제공하는 것.
• 이전 연구에서 암시된 lin-구사군 위의 미분 구조를 위한 범주론적 및 대수적 기초를 마련하는 것.

제안 방법

• 비결합 대수와 비공결합 코알제브라에 대한 약화된 공리계를 통해 할로프 (co)구사군의 개념을 도입한다: 특정 일반화된 역원 조건을 만족하는 역소를 갖춘 비결합 대수 및 비공결합 코알제브라.
• 역소와 코곱을 포함한 수정된 코행동 공식을 사용하여 할로프 (co)구사군 위의 할로프 모듈을 정의한다.
• 구조 사상의 결합법칙과 공결합법칙이 성립하지 않기 때문에 '거의 선형성'과 '거의 공선형성'의 개념을 도입하여 이를 다룬다.
• H⊗H에서 H⊗H로 가는 자연스러운 사상으로서의 오른쪽 및 왼쪽 갈로아 사상 β와 γ를 정의한다. 이는 곱과 코곱을 통해 정의된다.
• 역소의 존재가 갈로아 사상이 거의 선형적인 역함수를 갖는 것과 동치임을 증명하여 갈로아 유형 특성화를 확립한다.
• 동치를 정의하는 공등화자(coequalizer)를 사용하여, 할로프 모듈의 범주와 벡터 공간의 범주 사이의 범주 동치를 확립한다. 이는 유도 함자 F = −⊗H와 코항성자 함자 G = (−)^H를 통해 이루어진다.

실험 결과

연구 질문

• RQ1 비결합, 비공결합적 할로프 (co)구사군의 설정에서 할로프 대수학 이론의 기본 정리를 확장할 수 있는가?
• RQ2 결합법칙과 공결합법칙이 성립하지 않는 상황에서 할로프 (co)구사군 위의 할로프 모듈은 어떻게 정의되고 구조화될 수 있는가?
• RQ3 갈로아 사상 β와 γ는 할로프 (co)구사군을 특성화하는 데 어떤 역할을 하는가? 그 전단사성은 역소를 재구성할 수 있는가?
• RQ4 할로프 (co)구사군의 맥락에서 할로프 모듈의 범주와 벡터 공간의 범주 사이에 범주적 동치가 존재하는가?
• RQ5 결합법칙과 공결합법칙이 성립하지 않는 상황에서 모듈 범주의 유도 코행동과 사상은 어떻게 행동하는가?

주요 결과

• 할로프 공구사군 H 위의 오른쪽 할로프 모듈의 범주는 유도 함자 F = −⊗H와 코항성자 함자 G = (−)^H를 통해 벡터 공간의 범주와 동치이다.
• 유도 함자의 역함수는 코항성자 함자로 주어지며, 이는 각 모듈의 H-항성자(코등화자(coequalizer)로 정의된)를 할당한다.
• F와 G 사이의 가환관계의 단위와 쌍대단위가 명시적으로 구성되었고, 이들이 동치를 확인하는 이sovism이 됨을 보였다.
• 왼쪽 갈로아 사상 γ는 오른쪽 H-Hopf 모듈의 동형사상이며, 그 역함수는 역소와 코행동 구조를 사용하여 구성된다.
• 역소 S는 비결합적 맥락에서도 표준적인 역소 성질을 만족한다: (Sh)₁h₂ = h₁(Sh)₂ = ε(h)1.
• 왼쪽 할로프 모듈의 범주 역시 벡터 공간의 범주와 동치이며, 이는 오른쪽 모듈 구성의 딱딱한 대칭을 통해 확립된다.