[논문 리뷰] Rota-Baxter bisystems and covariant bialgebras

Tianshui Ma, Abdenacer Makhlouf외 1명|arXiv (Cornell University)|2017. 10. 14.

Advanced Topics in Algebra참고 문헌 11인용 수 10

한 줄 요약

이 논문은 Rota-Baxter 대수와 병형대수의 쌍대 일반화로서 Rota-Baxter 코계열과 비계열을 도입하며, 코미분을 통한 쌍대형 병형대수와의 연결을 수립한다. 쌍대형 병형대수의 다른 특성화를 제공하고, 공등형 구조를 탐구하며, 저차원의 구체적 예시를 통해 공등형 무한소 병형대수, 양-바이어저 쌍, 그리고 덴드리포름 코대수와의 연결 고리를 밝힌다.

ABSTRACT

The aim of this paper is first to introduce and study Rota-Baxter cosystems and bisystems as generalization of Rota-Baxter coalgebras and bialgebras, respectively, with various examples. The second purpose is to provide an alternative definition of covariant bialgebras via coderivations. Furthermore, we consider coquasitriangular covariant bialgebras which are generalization of coquasitriangular infinitesimal bialgebras, coassociative Yang-Baxter pairs, coassociative Yang-Baxter equation, double coalgebras and dendriform coalgebras. We study some of their properties and relationships with Rota-Baxter cosystems and bisystems.

연구 동기 및 목표

• Rota-Baxter 코대수와 병형대수의 일반화로서 쌍대 구조로서 Rota-Baxter 코계열과 비계열을 도입하는 것.
• 두 코미분을 사용한 쌍대형 병형대수의 새로운 정의를 제시하여 그 구조에 대한 새로운 시각을 제공하는 것.
• 공등형 쌍대형 병형대수를 공등형 무한소 병형대수의 일반화로 연구하고, 공결합 양-바이어저 쌍과의 관계를 규명하는 것.
• Rota-Baxter 비계열, 공등형 구조, 이중 코대수, 덴드리포름 코대수 간의 구조적 및 대수적 관계를 조사하는 것.
• 2차원, 3차원, 4차원에서 Rota-Baxter 병형대수와 비계열의 명시적 예를 구성하여 이론적 프레임워크를 실증하는 것.

제안 방법

• 코곱과 코미분 유사 조건을 사용하여 Rota-Baxter 대수적 구조의 쌍대화를 통한 Rota-Baxter 코계열과 비계열의 도입.
• Rota-Baxter 비계열과 쌍대형 병형대수 간의 관계를 수립하기 위한 핵심 도구로서 공결합 양-바이어저 쌍(CYBP)의 정의.
• 두 코미분을 사용한 쌍대형 병형대수의 재구성으로, 원래 정의에 의존하지 않는 새로운 구조적 특성화 제공.
• 공등형 무한소 병형대수 개념을 쌍대형 설정으로 확장하여 공등형 쌍대형 병형대수의 정의.
• 명시적 대수적 항등식과 텐서 조건을 통한 Rota-Baxter 비계열과 공등형 구조 간의 연결 수립.
• 기저 원소에 대한 매개변수화된 선형 사상으로 2-, 3-, 4차원 벡터 공간에서의 명시적 예제를 구성하고, 정의 방정정식의 검증.

실험 결과

연구 질문

• RQ1 Rota-Baxter 코대수는 어떻게 코계열과 비계열의 쌍대 설정으로 일반화될 수 있는가?
• RQ2 코미분은 쌍대형 병형대수의 재정의 및 특성화에 어떤 역할을 하는가?
• RQ3 쌍대형 설정에서의 공등형 구조는 공등형 무한소 병형대수와 양-바이어저 쌍과 어떻게 관련되어 있는가?
• RQ4 Rota-Baxter 비계열, 공등형 쌍대형 병형대수, 이중 코대수 간의 구조적 및 대수적 관계는 무엇인가?
• RQ5 어떤 명시적 저차원 예제들이 제안된 구조의 타당성과 다양성을 입증하는가?

주요 결과

• Rota-Baxter 코계열과 비계열은 Rota-Baxter 대수의 쌍대 형태로서 코곱과 선형 사상에 포함된 일반화된 코결합 항등식을 만족한다.
• 쌍대형 병형대수의 두 코미분을 통한 재정의로, 원래 정의를 일반화하는 새로운 구조적 특성화가 제시된다.
• 공등형 쌍대형 병형대수가 정의되고, 공등형 무한소 병형대수를 일반화함을 보이며, 코곱과 공등형 구조에 대한 명시적 호환 조건이 존재한다.
• 스칼라 매개변수에 의해 매개변수화된 2차원 Rota-Baxter 병형대수의 가족이 구성되었으며, 코대수에서의 정의 Rota-Baxter 항등식을 만족한다.
• 3차원에서는 세 가지 서로 다른, 4차원에서는 네 가지의 Rota-Baxter 비계열 예제가 제공되었으며, 각각 기저 벡터에 대한 특정 선형 사상이 비계열의 공리에 만족한다.
• 논문은 공결합 양-바이어저 쌍을 통한 Rota-Baxter 비계열과 공등형 구조 간의 연결 고리를 수립하였으며, CYBP 조건의 해가 호환 가능한 Rota-Baxter 비계열을 유도함을 보였다.