[논문 리뷰] Axioms for Weak Bialgebras

Florian Nill|ArXiv.org|1998. 05. 22.

Advanced Operator Algebra Research참고 문헌 12인용 수 67

한 줄 요약

이 논문은 약한 대칭 대수의 새로운 공리적 프레임워크를 제안하며, 전통적인 단위성 및 곱셈성 공리 대신 표현 범주 Rep 𝒜가 잘 정의된 단위 대상을 가진 강한 모나이드 범주가 되도록 보장하는 새로운 '모나이드성 공리'를 공통의 코곱과 코단위에 도입한다. 주요 기여는 단순한 반대자 공리에 기반한 자기 dual인 약한 호프 대수의 정의로, 이는 Böhm-Szlachányi의 정의와 동치이며, 얼굴 대수와 일반화된 카크 대수에 적용 가능하다.

ABSTRACT

Let A be a finite dimensional unital associative algebra over a field K, which is also equipped with a coassociative counital coalgebra structure (Δ,\eps). A is called a Weak Bialgebra if the coproduct Δis multiplicative. We do not require Δ(1) = 1 \otimes 1 nor multiplicativity of the counit \eps. Instead, we propose a new set of counit axioms, which are modelled so as to guarantee that \Rep\A becomes a monoidal category with unit object given by the cyclic A-submodule \E := (A --> \eps) \subset \hat A (\hat A denoting the dual weak bialgebra). Under these monoidality axioms \E and \bar\E := (\eps

연구 동기 및 목표

• 표준 공리에 기반할 경우 약한 대칭 대수의 쌍대가 대수로 남지 않는 양자 대칭 이론에서의 이중성 문제를 해결하기 위해.
• 알gebra와 그 쌍대가 동일한 유형이 되도록 보장하는 자기 dual 프레임워크를 개발하기 위해.
• 표현 범주가 강한 모나이드 범주가 되도록 보장하는 최소의, 자기 포함된 공리 집합을 통해 약한 호프 대수를 정의하기 위해.
• 기존의 정의보다 더 단순하고 일반적인 반대자 공리가 존재함을 보이고, 반대자가 존재할 경우 유일하게 결정됨을 보장하기 위해.
• 제안된 반대자 공리와 별개로 개발된 Böhm-Szlachányi의 정의 간의 동치성을 입증하고, 얼굴 대수 및 일반화된 카크 대수와 같은 알려진 예시와의 연관성을 설정하기 위해.

제안 방법

• 곱셈성 조건을 요구하지 않는 새로운 코단위 공리들을 제안하여, 순환적 왼쪽 𝒜-모듈 𝒆 = (𝒜 ⇀̸ 1̂) ⊂ ̂𝒜 가 Rep 𝒜 내의 단위 대상이 되도록 보장한다.
• 모나이드성 공리들을 정의하여 쌍대 약한 대칭 대수 ̂𝒜 가 서로 가환하는 단위 부분대수 𝒆와 𝒆̄ 를 포함하도록 하며, 이들이 곱셈성 코단위일 때 정확히 자명해진다.
• 표현 범주 Rep 𝒜 가 강한 모나이드 범주가 되도록 보장하는 새로운 반대자 공리들을 도입하며, 반대자가 존재할 경우 유일하게 결정된다.
• 만약 모나이드 약한 대칭 대수 𝒜 가 반대자 S를 갖는다면, 그 쌍대 ̂𝒜 가 모나이드일 필요충분조건은 S 가 대칭 대수 반-준동형사상임을 보여준다.
• 쌍대 ̂𝒜 의 구조와 왼쪽·오른쪽 작용 간의 상호작용을 이용하여 반대자를 푸리에 변환과 적분을 통해 명시적으로 정의한다.
• 이 프레임워크를 적용하여 예시를 구성하며, 유한 차원 중심을 가진 존스 타워 구성에서 자연스럽게 나타나는 𝒜 = 𝒢 ⋊ 𝒫 ⋊ 𝒢 에서의 약한 호프 대수의 구조를 도출한다.

실험 결과

연구 질문

• RQ1 약한 대칭 대수의 쌍대가 동일한 약한 대칭 대수로 남도록 보장하는 정의는 어떻게 가능할까?
• RQ2 표현 범주 Rep 𝒜 가 잘 정의된 단위 대상을 가진 강한 모나이드 범주가 되도록 보장하기 위해 필요한 코단위 및 코곱에 대한 공리는 무엇인가?
• RQ3 기존의 구성에 의존하지 않고 표현 범주가 강한 모나이드 범주가 되도록 보장하는 더 단순하고 일반적인 반대자 공리는 어떻게 제안할 수 있는가?
• RQ4 제안된 약한 호프 대수 정의가 Böhm-Szlachányi의 정의와 동치인지, 그리고 얼굴 대수 및 일반화된 카크 대수와 같은 알려진 예시와의 관계는 어떠한가?
• RQ5 쌍대 약한 대칭 대수 ̂𝒜 에서 나타나는 구조적 성질은 무엇이며, 부분대수 𝒆 와 𝒆̄ 는 코단위의 곱셈성과 어떻게 관련되어 있는가?

주요 결과

• 제안된 모나이드성 공리들은 표현 범주 Rep 𝒜 가 단위 대상 𝒆 = (𝒜 ⇀̸ 1̂) ⊂ ̂𝒜 를 가지며, 이는 쌍대의 적절한 단위 부분대수임을 보장한다.
• ̂𝒜 내의 부분대수 𝒆 와 𝒆̄ 는 서로 가환하며, 코단위 ε 가 곱셈성일 때 정확히 자명해지며, 이는 곱셈성의 구조적 특성화를 제공한다.
• 반대자 S: 𝒜 → 𝒜 는 제안된 공리들에 의해 유일하게 결정되며, Rep 𝒜 가 강한 모나이드 범주일 때에만 존재한다.
• 쌍대 ̂𝒜 가 모나이드일 필요충분조건은 반대자 S 가 대칭 대수 반-준동형사상임이며, 이 경우 S 는 또한 가역적이다.
• 이 프레임워크는 중심이 유한 차원인 존스 타워 구성에서 자연스럽게 나타나는 교차곱 𝒜 = 𝒢 ⋊ 𝒫 ⋊ 𝒢 에서의 약한 호프 대수의 구조를 도출한다.
• 새로운 공리들은 Böhm-Szlachányi의 정의와 동치임을 증명하였으며, 이 프레임워크는 하야시의 얼굴 대수와 요모우치의 일반화된 카크 대수와 같은 알려진 예시를 포함한다.