[논문 리뷰] O-operators on associative algebras and dendriform algebras

Chengming Bai, Li Guo외 1명|arXiv (Cornell University)|2010. 03. 11.

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

한 줄 요약

이 논문은 결합 대수에서의 O-연산자와 덴드라이포르 다이알제브라 및 트라이알제브라 사이의 포괄적인 대응 관계를 수립하며, 고전적인 Rota-Baxter 연결을 일반화한다. 모든 덴드라이포르 다이알제브라와 트라이알제브라가 O-연산자로부터 유래됨을 증명하고, 가역 O-연산자의 동치류와 이러한 대수의 동치류 사이의 명시적 전단사 사상(전단사 함수)을 구성함으로써, 이 분야의 이전 결과들을 통합하고 확장한다.

ABSTRACT

An O-operator is a relative version of a Rota-Baxter operator and, in the Lie algebra context, is originated from the operator form of the classical Yang-Baxter equation. We generalize the well-known construction of dendriform dialgebras and trialgebras from Rota-Baxter algebras to a construction from O-operators. We then show that this construction from O-operators gives all dendriform dialgebras and trialgebras. Furthermore there are bijections between certain equivalence classes of invertible O-operators and certain equivalence classes of dendriform dialgebras and trialgebras.

연구 동기 및 목표

• Rota-Baxter 연산자로부터 유도되는 덴드라이포르 대수의 기존 구성 방식을 더 넓은 연산자 클래스로 일반화하기 위해.
• 모든 덴드라이포르 다이알제브라와 트라이알제브라가 결합 대수에서의 O-연산자로부터 유래됨을 보여주기 위해.
• 가역 O-연산자의 동치류와 덴드라이포르 다이알제브라 및 트라이알제브라의 동치류 사이의 전단사 대응 관계를 수립하기 위해.
• 연산자의 정의역과 치역에서 모두 O-연산자를 정의하고, 정의역의 구조와 치역의 구조를 구분하기 위해.
• O-연산자의 치역에서의 대수적 구조가 원래의 결합 곱과 호환되며, 곱을 덴드라이포르 성분으로 분해함을 증명하기 위해.

제안 방법

• 모든 u, v ∈ V에 대해 α(u)∗α(v) = α(ℓ(α(u))v) + α(ur(α(v)))를 만족하는 k-선형 사상 α: V → A로 A-bimodule V 위의 O-연산자를 정의한다.
• x ≺α y = x r(α(y)) 및 x ≻α y = ℓ(α(x)) y를 통해 V 위에 덴드라이포르 다이알제브라의 구조를 구성한다.
• 비영인 가중치를 가진 결합 대수 위의 O-연산자로 일반화하여, 정의역 위에서 덴드라이포르 트라이알제브라의 구조를 도출한다.
• α를 통해 역으로 작용을 끌어내어 A 위에 ≺α,A, ≻α,A, ⋅α,A를 정의한다.
• A 위의 연산들이 원래의 결합 곱 ∗ = ≺α,A + ≻α,A + ⋅α,A로 분해됨을 증명한다.
• O-연산자와 덴드라이포르 대수 사이의 동형을 수립하기 위해, O-연산자의 동치가 유도된 덴드라이포르 구조의 동형과 정확히 일치함을 보인다.

실험 결과

연구 질문

• RQ1 모든 덴드라이포르 다이알제브라는 어떤 결합 대수에서의 O-연산자로부터 유도될 수 있는가?
• RQ2 모든 덴드라이포르 다이알제브라와 트라이알제브라를 포괄하는 Rota-Baxter 구성의 일반화는 존재하는가?
• RQ3 O-연산자는 정의역과 치역 양쪽에서 호환 가능한 덴드라이포르 구조를 유도하는가?
• RQ4 가역 O-연산자의 동치류와 덴드라이포르 다이알제브라 및 트라이알제브라의 동치류 사이에 자연스러운 전단사 사상이 존재하는가?
• RQ5 O-연산자의 동형은 치역에서 유도된 덴드라이포르 대수의 동형과 어떻게 관련되어 있는가?

주요 결과

• 모든 덴드라이포르 다이알제브라는 어떤 결합 대수 위의 이중 모듈러에서의 O-연산자로부터 유도되며, Rota-Baxter 구성의 일반화이다.
• 모든 덴드라이포르 트라이알제브라는 비영인 가중치를 가진 결합 대수 위의 O-연산자로부터 유도된다.
• 가역 O-연산자의 동치류와 덴드라이포르 다이알제브라 및 트라이알제브라의 동치류 사이에 전단사 사상이 존재한다.
• O-연산자 α: V → A의 치역 A 위의 덴드라이포르 구조는 원래의 결합 곱 ∗와 호환되며, ∗ = ≺α,A + ≻α,A + ⋅α,A로 분해된다.
• O-연산자의 동형은 정확히 치역 A 위에서 유도된 덴드라이포르 트라이알제브라의 동형과 대응된다.
• 이 대응 관계는 함자적 전단사 사상으로 정량화되어 있으며, O-연산자 구성이 이러한 모든 덴드라이포르 대수를 생성하는 데 필수적이고도 충분함을 증명한다.