[논문 리뷰] Rota-Baxter type operators, rewriting systems and Gröbner-Shirshov bases

Xing Gao, Li Guo외 2명|arXiv (Cornell University)|2014. 12. 27.

Advanced Topics in Algebra참고 문헌 32인용 수 12

한 줄 요약

이 논문은 Rota-Baxter 유형의 연산자—결합 대수에서 정의된 선형 연산자로, Rota-Baxter 연산자와 유사한 항등식을 만족하는 것—를 특징짓기 위해 재귀 시스템과 Gröbner-Shirshov 기저를 사용하는 통합 대수적 프레임워크를 제안한다. 이는 이러한 연산자가 정확히 수렴하는 재귀 시스템과 대응됨을 증명하고, 각각의 카테고리에서 자유 대수에 대한 정규 기저를 구성하며, 이는 이전의 Rota-Baxter, Nijenhuis 및 TD 대수에 대한 결과를 일반화한다.

ABSTRACT

In this paper we apply the methods of rewriting systems and Gröbner-Shirshov bases to give a unified approach to a class of linear operators on associative algebras. These operators resemble the classic Rota-Baxter operator, and they are called {\it Rota-Baxter type operators}. We characterize a Rota-Baxter type operator by the convergency of a rewriting system associated to the operator. By associating such an operator to a Gröbner-Shirshov basis, we obtain a canonical basis for the free algebras in the category of associative algebras with that operator. This construction include as special cases several previous ones for free objects in similar categories, such as those of Rota-Baxter algebras and Nijenhuis algebras.

연구 동기 및 목표

• Rota-Baxter 유형 연산자—결합 대수에서 정의된 선형 연산자로, Rota-Baxter 항등식과 유사한 항등식을 만족하는 것—에 대한 일반 이론을 개발한다.
• Rota-Baxter, Nijenhuis, TD 등 다양한 연산자 유형(예: Rota-Baxter, Nijenhuis, TD)에 대한 자유 대수의 구성 방식을 동일한 대수적 프레임워크로 통합한다.
• 관련된 재귀 시스템의 수렴성에 의해 Rota-Baxter 유형 연산자를 특징짓는다.
• 이러한 연산자에 대해 수렴하는 재귀 시스템과 Gröbner-Shirshov 기저 사이의 연결 고리를 확립한다.
• 결합 대수에 이러한 연산자가 부여된 카테고리에서 정규 기저를 체계적으로 구성하는 방법을 제공한다.

제안 방법

• 매개수 λ를 포함한 일반화된 Rota-Baxter 항등식을 바탕으로, 운영 다항식 항등식을 통해 Rota-Baxter 유형 연산자를 정의한다.
• 각 연산자를 자유 k-모듈 위의 용어 재귀 시스템에 연관지며, 규칙이 연산자의 정의 항등식을 표현하도록 한다.
• 연산자가 잘 정의지 여부는 관련된 재귀 시스템이 수렴하는 경우에만 성립함을 증명한다(정지성과 혼합성 확보).
• 운영 대수를 위한 CD 보조정리를 적용하여 관계 이상의 이상을 위한 Gröbner-Shirshov 기저를 유도함으로써 유일한 정규 형식을 보장한다.
• 자유 φ-대수를 자유 결합 대수에서 Gröbner-Shirshov 기저에 의해 생성된 이상으로의 몫으로 구성한다.
• 자유 마그마 위의 단항 순서를 사용하여 비결합 항의 수렴성과 동치성을 확인한다.

실험 결과

연구 질문

• RQ1 재귀 시스템과 Gröbner-Shirshov 기저를 사용하여 Rota-Baxter 유형 연산자를 특징짓는 통합 대수적 프레임워크를 개발할 수 있는가?
• RQ2 Rota-Baxter 유형 연산자와 관련된 재귀 시스템이 수렴하기 위한 조건은 무엇인가?
• RQ3 결합 대수에 Rota-Baxter 유형 연산자가 부여된 카테고리에서 자유 대수의 정규 구성 방법은 무엇인가?
• RQ4 이 프레임워크 하에서 Rota-Baxter, Nijenhuis 및 TD 대수의 구성 방식은 어느 정도 통합되는가?
• RQ5 이 방법은 Conjecture 2.37와 같은 새로운 연산자 항등식의 일관성을 검증하는 데 확장될 수 있는가?

주요 결과

• 결합 대수에서 Rota-Baxter 유형 연산자는 관련된 재귀 시스템의 수렴성에 의해 특징지어진다.
• 자유 φ-대수의 구성은 연산자의 정의 항등식에서 유도된 Gröbner-Shirshov 기저를 통해 이루어진다.
• 자유 φ-대수의 정규 기저는 수렴하는 재귀 시스템 하에서의 모든 정규 형식의 집합으로 구성된다.
• 이 방법은 이전의 Rota-Baxter, Nijenhuis 및 TD 대수의 구성 방법을 일반화하여, 그 자유 대상 이론을 통합한다.
• 항등식 $ B(B(u,v),w) - B(u,B(v,w)) \overset{*}{\rightarrow}_\phi 0 $ 는 순열 σ에 따른 용어 매칭을 통해 검증되었으며, 연산자의 구조에 따라 결합성의 보존을 확인한다.
• 이 프레임워크는 주어진 연산자 항등식에 대한 재귀 시스템이 수렴함을 보여줌으로써 Conjecture 2.37의 타당성을 확인한다. 이 경우 모든 항이 특정 인덱스 순열 하에서 매칭된다.