[논문 리뷰] On the NonKoszulity of (2p+1)-ary partially associative Operads

Elisabeth Remm|ArXiv.org|2008. 12. 14.

Advanced Topics in Algebra참고 문헌 9인용 수 8

한 줄 요약

이 논문은 $(2p+1)$-항 부분적으로 결합 법칙을 만족하는 대수와 관련된 옵레드가 코스즈尔이 아니라는 것을 증명한다. 이는 짝수 차수의 경우에 알려진 코스즈르성과 대조된다. 정확히는 지뉴스부르크-카프란프의 프레임워크를 이용해 그라디에이티드 쌍대 옵레드를 분석함으로써, 쌍대 옵레드의 생성 함수가 코스즈르 대칭 조건을 만족하지 못함을 보여, 이러한 대수에 대해 표준적인 의미에서 옵레드 코homology를 정의할 수 없음을 밝힌다.

ABSTRACT

We present a study of quadratic operads for n-ary algebras and their dual for n odd. We will focus on the ternary case (i.e n=3). The aim is to underline the problem of computing the dual operad and the fact that this last is in general defined in the graded differential operad framework. We prove that the operad associated to 3-ary partially associative algebra is not Koszul. Recall that, if n is even, the operad of n-ary partially associative algebras is Koszul.

연구 동기 및 목표

• 이전 문헌에서 홀수 차수와 짝수 차수의 경우를 동일하게 다루며 코스즈르성에 대해 잘못된 결론을 이끌어낸 데 대한 모순을 해결하기 위해.
• 그라디에이티드 옵레드 프레임워크에서 $(2p+1)$-항 부분적으로 결합 법칙을 만족하는 대수의 정확한 쌍대 옵레드 정의를 명확히 하기 위해.
• 이전에 주장된 바와는 달리, 삼항 부분적으로 결합 법칙을 만족하는 대수를 위한 옵레드 $3\mathcal{A}ss$ 가 코스즈르가 아님을 보여주기 위해.
• 코스즈르성이 성립하지 않기 때문에 $(2p+1)$-항 부분적으로 결합 법칙을 만족하는 대수에 대해 표준적인 옵레드 코homology를 정의할 수 없음을 확립하기 위해.
• 이전 연구에서 쌍대화 과정에서 차수 이동을 忽略한 채로 비그라디에이티드 방식으로 쌍대 옵레드를 다루며 오해를 일으킨 점을 바로잡기 위해.

제안 방법

• 차수 이동을 고려하는 Ginzburg-Kapranov의 그라디에이티드 쌍대성 프레임워크를 이용한 옵레드의 쌍대성 분석.
• 차수 0인 삼항 연산으로 생성되는 이차 옵레드 $3\mathcal{A}ss$ 의 정의로, 부분적으로 결합 법칙을 나타내는 이차 관계 포함.
• 쌍대 옵레드 $3\mathcal{A}ss^!$ 를 계산하여, 차수 1인 연산을 가진 완전히 결합 법칙을 만족하는 삼항 대수의 옵레드로 규명.
• 쌍대 옵레드의 생성 함수 $g_{3\mathcal{A}ss^!}(x) = x - x^3 + x^5$ 를 명시적으로 계산.
• 이 생성 함수가 코스즈르 대칭 조건에 요구되는 함수방정식 $g_{3\mathcal{A}ss}(-s(-x)) = x$ 를 만족하지 못함을 검증.
• 비그라디에이티드와 그라디에이티드 쌍대의 차이를 명확히 하기 위해, $3t\mathcal{A}ss$ 를 그라디에이티드 의미에서 $3\mathcal{A}ss$ 의 쌍대로 정의하여 비교.

실험 결과

연구 질문

• RQ1 왜 이전 연구들이 $(2p+1)$-항 부분적으로 결합 법칙을 만족하는 옵레드가 코스즈르라고 잘못 주장했는가?
• RQ2 차수가 홀수일 경우, 그라디에이티드 쌍대 옵레드는 비그라디에이티드 쌍대와 어떻게 다를까?
• RQ3 삼항 부분적으로 결합 법칙을 만족하는 옵레드 $3\mathcal{A}ss$ 의 정확한 쌍대 옵레드의 생성 함수는 무엇인가?
• RQ4 쌍대 옵레드의 생성 함수가 코스즈르 대칭 조건을 요구하는 함수방정식을 만족하는가?
• RQ5 $(2p+1)$-항 부분적으로 결합 법칙을 만족하는 대수에 대해 옵레드 코homology를 정의할 수 있는가?

주요 결과

• 삼항 부분적으로 결합 법칙을 만족하는 대수를 위한 옵레드 $3\mathcal{A}ss$ 는 쌍대의 생성 함수 $g_{3\mathcal{A}ss^!}(x) = x - x^3 + x^5$ 가 코스즈르 대칭 조건에 요구되는 함수방정식을 만족하지 않기 때문에 코스즈르가 아님을 입증함.
• 쌍대 옵레드 $3\mathcal{A}ss^!$ 는 차수 1인 연산을 가진 완전히 결합 법칙을 만족하는 삼항 대수의 옵레드와 동형이며, 차수 0인 연산을 가진 비그라디에이티드 판본이 아님.
• 쌍대 옵레드 $3\mathcal{A}ss^!$ 의 생성 함수는 $x - x^3 + x^5$ 이며, 이는 코스즈르 대칭 조건에서 유도된 시리즈 $-x + x^3 - x^5 + 19x^{11} + O[x]^{12}$ 와 모순됨.
• 비그라디에이티드 쌍대는 일반적으로 올바른 쌍대로 여겨지지만, 차수가 홀수일 경우 Ginzburg-Kapranov의 의미에서 진정한 쌍대가 아님.
• 코스즈르성이 성립하지 않기 때문에 $(2p+1)$-항 부분적으로 결합 법칙을 만족하는 대수에 대해 표준적인 옵레드 코homology를 정의할 수 없음.
• 그라디에이티드 쌍대와 비그라디에이티드 쌍대의 차이는 핵심적임: 차수 이동을 忽略하면 홀수 차수의 경우에 대해 잘못된 다중성과 코스즈르성에 대한 오해를 낳음.