[논문 리뷰] Operads for n-ary algebras - calculations and conjectures

Martin Markl, Elisabeth Remm|arXiv (Cornell University)|2011. 03. 21.

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

한 줄 요약

이 논문은 차수 $d$의 완전히 결합적인 $n$-항 대수를 다루는 $‘\mathsf{t\mathcal{A}ss}^n_d$’ 운영자에서의 코즐리티를 조사한다. 최소 모델 생성 함수의 수치적 계산을 통해 저자들은 $d$가 홀수이고 $n \geq 8$일 경우 $‘\mathsf{t\mathcal{A}ss}^n_d$’가 비코즐리일 가능성이 높다는 강력한 증거를 제시한다. 이는 $n \not\equiv d \pmod{2}$일 경우 그 코즐리 쌍대 $‘\mathsf{p\mathcal{A}ss}^n_d$’의 최소 모델에 길이 $n-1$의 갭이 존재할 것임을 추측하며, 이는 $d$가 홀수이고 $n \geq 8$일 경우 비코즐리성의 결과로 이어진다. 결과적으로 $‘\mathsf{t\mathcal{A}ss}^8_1$’가 기존의 진츠부르크-카프란프 기준으로는 감지되지 않는 첫 번째 비코즐리 운영자일 수 있음을 시사한다.

ABSTRACT

In our earlier work we studied Koszulity of a family of operads depending on a natural number n and on the degree d of the generating operation. While we proved that, for n < 8, this operad is Koszul if and only if d is even, and while it follows from a work of Hoffbeck that it is Koszul for d even and arbitrary n, its (non)Koszulity for d odd and n > 7 remains an open problem. In this note, we describe some related numerical experiments, and formulate a conjecture suggested by the results of these computations.

연구 동기 및 목표

• 이전에 미해결이었던 $d$가 홀수이고 $n \geq 8$일 경우 $‘\mathsf{t\mathcal{A}ss}^n_d$’ 운영자의 코즐리티를 조사하기 위해.
• 작은 $n$과 다양한 $d$에 대해 코즐리 쌍대 운영자 $‘\mathsf{p\mathcal{A}ss}^n_d$’의 최소 모델의 생성 함수를 계산하기 위해.
• 특히 사라지는 계수의 존재를 통해 최소 모델의 구조적 패턴을 식별하고, $‘\mathsf{t\mathcal{A}ss}^n_d$’의 비코즐리성을 추론하기 위해.
• 계산 결과를 바탕으로 $n \not\equiv d \pmod{2}$일 경우 $‘\mathsf{p\mathcal{A}ss}^n_d$’의 최소 모델에서 갭의 길이에 대한 추측을 수립하기 위해.
• $‘\mathsf{t\mathcal{A}ss}^8_1$’가 기존의 진츠부르크-카프란프 기준으로 감지되지 않는 첫 번째 비코즐리 운영자일 수 있음을 제시하기 위해.

제안 방법

• 작은 $n$과 다양한 $d$에 대해 $‘\mathsf{p\mathcal{A}ss}^n_d$’의 생성 함수를 계산하여, $‘\mathsf{t\mathcal{A}ss}^n_d$’의 코즐리 쌍대 운영자이다.
• 형식적 역함수를 계산하여 최소 모델 생성자의 포incare 다항식을 결정하기 위해.
• 특히 $n-1, 2(n-1), \dots$의 차수에서 발생하는 사라지는 계수를 식별하여 최소 모델의 구조적 갭을 나타내는 지표로 사용하기 위해.
• 특정 성분의 오일러 지표가 0임을 이용해 최소 모델의 생성 집합에서 해당 차수에 생성자가 존재하지 않음을 추론하기 위해.
• 사라지는 계수와 특정 차수에서 생성자가 존재하지 않음을 연결하는 Proposition 3.4를 적용하기 위해.
• 2차원에서부터 5차원까지 관찰된 패턴을 확장하여 $n \not\equiv d \pmod{2}$일 경우 $‘\mathsf{p\mathcal{A}ss}^n_d$’의 일반적인 갭 구조를 추측하기 위해.

실험 결과

연구 질문

• RQ1 $d$가 홀수이고 $n \geq 8$일 경우 운영자 $‘\mathsf{t\mathcal{A}ss}^n_d$’는 코즐리인가요?
• RQ2 $n \geq 4$이고 $d$가 홀수일 경우 $‘\mathsf{p\mathcal{A}ss}^n_d$’의 최소 모델에서 어떤 구조적 특징이 나타나나요?
• RQ3 $n \not\equiv d \pmod{2}$일 경우 $‘\mathsf{p\mathcal{A}ss}^n_d$’의 최소 모델이 생성 집합에서 길이 $n-1$의 갭을 보일까요?
• RQ4 $‘\mathsf{p\mathcal{A}ss}^n_d$’의 역 생성 함수에서 계수의 사라짐을 이용해 $‘\mathsf{t\mathcal{A}ss}^n_d$’의 비코즐리성을 추론할 수 있을까요?
• RQ5 $‘\mathsf{t\mathcal{A}ss}^8_1$’는 기존의 진츠부르크-카프란프 기준으로 감지되지 않는 첫 번째 비코즐리 운영자인가요?

주요 결과

• $‘\mathsf{p\mathcal{A}ss}^2_1$’의 생성 함수는 차수 4에서 계수가 0이며, 이는 최소 모델에 길이 3의 갭이 있음을 나타낸다.
• $‘\mathsf{p\mathcal{A}ss}^3_0$’의 생성 함수는 차수 7과 9에서 계수가 0이며, 이는 최소 모델에 길이 6의 갭이 있음을 시사한다.
• $‘\mathsf{p\mathcal{A}ss}^4_1$’의 생성 함수는 차수 10, 13, 16에서 계수가 0이며, 이는 최소 모델에 길이 9의 갭이 있음을 나타낸다.
• $‘\mathsf{p\mathcal{A}ss}^5_0$’의 생성 함수는 차수 13, 17, 21에서 계수가 0이며, 차수 25에 알려지지 않은 항이 존재하며, 이는 최소 모델에 길이 12의 갭이 있음을 시사한다.
• 역함수의 계수 사라짐은 최소 모델의 해당 성분의 오일러 지표가 0임을 의미하며, 이는 해당 차수에 생성자가 존재하지 않음을 나타낸다.
• 관찰된 패턴을 바탕으로 저자들은 $n \not\equiv d \pmod{2}$일 경우 $‘\mathsf{p\mathcal{A}ss}^n_d$’의 최소 모델이 길이 $n-1$의 갭을 가진다고 추측하며, 이는 $d$가 홀수이고 $n \geq 8$일 경우 $‘\mathsf{t\mathcal{A}ss}^n_d$’가 비코즐리임을 의미한다.