[논문 리뷰] On some remarkable operads constructed from Baxter operators

Philippe Leroux|arXiv (Cornell University)|2003. 11. 13.

Advanced Topics in Algebra참고 문헌 7인용 수 22

한 줄 요약

이 논문은 결합 연산자에 의해 작용하는 보르더 대수에서 유래된 새로운 오ペ라드를 제안하며, 비공호모로지적 복합체, 얽힌 코곱, 덴드리포름, 콘드리, 옥토 대수와 같은 대수적 구조 간의 깊은 연결 고리를 드러낸다. 주요 기여는 공통으로 작용하는 오른쪽 보르더 연산자들을 통해 연산자 대수와 오페라드를 체계적으로 구성함으로써, 종속성 공간에서 새로운 딜레지브, 트라이레지브, 리브니츠/파이소닉 딜레지브를 도출하는 것이다. 이는 기호적 동역학과 가중 방향 그래프에 적용 가능하다.

ABSTRACT

Language theory, symbolic dynamics, modelisation of viral insertion into the genetic code of a host cell motivate the introduction of new types of bialgebras whose coalgebra parts are not necessarily coassociative. One of the aim of this article is to study what type of (associative) algebras (and thus binary quadratic and non-symmetric operads) appear when such or such coalgebraic structures are used to decribe for instance combinatorial objects such as weighted directed graphs, trees, substitutions and so forth.

연구 동기 및 목표

• 공호모로지적 복합체를 요구하지 않는 다수의 얽힌 코곱을 지닌 결합 대수에서 유래하는 대수적 구조를 조사하는 것.
• 특히 오른쪽 및 왼쪽 변형 보르더 연산자와 새로운 비대칭 이항 제곱 오페라드를 연결하는 프레임워크를 수립하는 것.
• 이러한 구조가 가중 방향 그래프 및 기호적 동역학 모델과 같은 조합적 대상으로부터 어떻게 유도되는지 보여주는 것.
• ε[R]-딜레지브 및 ε[R]-트라이레지브와 같은 새로운 대수적 체계를 구성하고, 그 종속성 대수가 리브니츠 또는 파이소닉 딜레지브 대수적 구조를 상속받는 것을 보여주는 것.
• 복합곱과 이동 연산자 γ, β의 역할을 통해 종속성 대수 공간에서 연산자 대수와 오페라드를 생성하는 것.

제안 방법

• 논문은 결합 대수에서 오른쪽 및 왼쪽 보르더 연산자 ζ를 사용하며, ζ(x)ζ(y) = ζ(ζ(x)y + xζ(y)) 및 그 변형이 성립하도록 하여 새로운 대수적 연산을 생성한다.
• 코곱 Δ가 공호모로지적이지 않아도 되는 ε'[R]-복합체를 도입함으로써 더 유연한 코알제브라적 구조를 허용한다.
• 자유 결합 대수에서 오른쪽 보르더 연산자가 작용함으로써 n-하이퍼큐빅 ε[R]-복합체와 원형 대수를 구성한다.
• 종속성 대수 End(A)는 코곱 Δ⊢, Δ⊣ 등에 의해 정의된 복합곱 제품 →*γ를 갖으며, 이는 연산자 딜레지브를 이끈다.
• 비대칭 교환자 [T,S] := T →*γ S - S →*γ T 는 End(A) 위에 리브니츠 대수적 구조를 정의하는 데 사용되며, 트라이레지브의 경우 파이소닉 딜레지브 대수적 구조가 유도된다.
• 방향 그래프의 공호모로지 커버링을 통해 확장된 코곱 Δi,♯를 통해 자유 결합 대수 As(V) 위에서 ε[R]-트라이레지브를 구성한다.

실험 결과

연구 질문

• RQ1 공통으로 작용하는 오른쪽 및 왼쪽 보르더 연산자가 비공호모로지적 복합체에서 어떻게 새로운 연산자 대수와 오페라드를 생성하는가?
• RQ2 결합 대수에서 두 코곱이 얽힘 조건을 만족하고 곱과의 호환성을 갖는다면 어떤 대수적 구조가 유도되는가?
• RQ3 ε[R]-복합체나 딜레지브의 종속성 대수에서 복합곱을 통해 리브니츠 또는 파이소닉 딜레지브 대수적 구조를 상속받을 수 있는가?
• RQ4 가중 방향 그래프와 기호적 동역학 모델은 비공호모로지적 코곱과 보르더 연산자를 통해 어떻게 대수적으로 기술될 수 있는가?
• RQ5 이동 연산자 γ, β 및 그 복합체는 종속성 대수에서 비대칭 오페라드를 생성하는 데 어떤 역할을 하는가?

주요 결과

• ε[R]-딜레지브 (A, μ, Δ⊢, Δ⊣) 의 종속성 대수 End(A)는 복합곱 제품 →*γ⊢ 및 →*γ⊣ 를 통해 연산자 딜레지브 대수적 구조를 상속받는다.
• 비대칭 교환자 [T,S] = T →*γ⊢ S - S →*γ⊣ T 는 End(A) 위에 리브니츠 대수적 구조를 부여한다.
• ε[R]-트라이레지브의 경우 삼중 복합곱 구조는 비대칭 교환자와 제3의 복합곱 제품을 통해 End(A) 위에 파이소닉 딜레지브 대수적 구조를 유도한다.
• kV 위의 코트라이레지브에서 유도된 확장된 코곱 Δi,♯ 를 통해 As(V) 위에서 ε[R]-트라이레지브를 구성함으로써, 방향 그래프로부터 이러한 대수를 체계적으로 생성하는 방법을 제공한다.
• 논문은 n-원형 대수와 n-하이퍼큐빅 ε[R]-복합체가 오른쪽 보르더 연산자를 사용하여 구성 가능하며, 이는 이전 결과를 일반화함을 밝혔다.
• 이 프레임워크는 유도된 오페라드의 자유 대상과 코스졸리티 성질이 여전히 열려 있는 문제임을 보여준다.