[논문 리뷰] Novikov operad is not Koszul

Askar Dzhumadil’daev|ArXiv.org|2009. 02. 22.

Advanced Topics in Algebra참고 문헌 1인용 수 4

한 줄 요약

이 논문은 힐버트 급수의 불일치와 영이 다이어그램 기반의 다중선형 기저를 통해 노비코프 작용소가 코스졸이 아님을 증명한다. 구체적으로, 작용소와 그 쌍대 작용소의 힐버트 급수가 코스졸 이중성 조건 $ H(H^{!}(t)) = t $ 를 만족하지 않음을 보여주며, 이는 코스졸성의 필수 조건을 위반함을 의미한다. 영이 다이어그램을 이용해 자유 노비코프 대수의 다중선형 기저를 구성함으로써 다중선형 부분의 차원을 계산하고, 작용소의 힐버트 급수와 그 쌍대의 조합이 $ t + t^5/6 + O(t^6) \neq t $ 를 만족함을 입증한다. 또한 왼쪽-노비코프 작용소의 쌍대는 오른쪽-노비코프 작용소임을 보이며, 이는 이중성 구조를 확인한다.

ABSTRACT

An algebra with identities $a\circ(b\circ c-c\circ b)=(a\circ b)\circ c-(a\circ c)\circ b$ and $a\circ(b\circ c)=b\circ(a\circ c)$ is called Novikov. We show that Novikov operad is not Koszul.

연구 동기 및 목표

• 이전 논문들에서 증명 없이 코스졸로 언급된 바 있었던 노비코프 작용소의 코스졸성에 대한 오랫동안 지속된 암묵적 의문을 해결하기 위해.
• 이전 출판물에서 잘못 기재된 바를 수정하고, 노비코프 작용소의 비코스졸성을 엄밀하게 증명하기 위해.
• 왼쪽-노비코프 작용소와 오른쪽-노비코프 작용소 사이의 정확한 이중성 관계를 설정하기 위해, 각각이 상호 쌍대임을 보여주기 위해.
• 노비코프 작용소와 그 쌍대의 힐버트 급수를 계산하여, 코스졸 이중성 조건 $ H(H^{!}(t)) = t $ 가 성립하지 않음을 검증하기 위해.

제안 방법

• 영이 다이어그램과 r-요소를 이용해 자유 노비코프 대수의 다중선형 기저를 구성함으로써, 12개의 가능한 다중선형 단항식들 중에서 차수 3의 기저로 6개의 원소를 도출한다.
• 노비코프 항등식인 $ a\circ(b\circ c) = b\circ(a\circ c) $ 와 $ (a\circ b)\circ c = (a\circ c)\circ b $ 를 이용해, 차수 3의 비기저 원소들을 이 6개의 기저 원소들의 선형 조합으로 표현한다.
• 자유 오른쪽-노비코프 대수 $ A $ 와 자유 결합 대수 $ U $ 의 텐서곱 $ A \otimes U $ 에 대한 리-허용성 조건을 분석하기 위해, 작용소의 구조에 기반한 삼중 교환자들을 계산한다.
• $ A $ 가 오른쪽-노비코프 대수일 때 $ U $ 가 왼쪽-노비코프 대수가 되기 위해 만족해야 할 항등식의 체계를 유도하며, 이 항등식들이 노비코프 공리의 결과임을 보인다.
• 다중선형 부분의 차원을 이용해 노비코프 작용소와 그 쌍대의 힐버트 급수를 계산한다: $ \dim F_n^r = \dim F_n^l = 1, 2, 6, 20, 70 $ for $ n = 1, 2, 3, 4, 5 $.
• 힐버트 급수의 조합 $ H(H^{!}(t)) = t + t^5/6 + O(t^6) \neq t $ 를 계산함으로써 코스졸 이중성의 실패를 검증하며, 이는 코스졸 작용소에 필수적인 조건을 위반함을 의미한다.

실험 결과

연구 질문

• RQ1 이전에 증명 없이 코스졸로 언급된 바 있는 노비코프 작용소가 실제로 코스졸인지 여부?
• RQ2 왼쪽-또는 오른쪽-노비코프 작용소의 정확한 쌍대 작용소는 무엇인가?
• RQ3 다중선형 기저와 영이 다이어그램 구성법을 통해 노비코프 작용소와 그 쌍대의 힐버트 급수를 정확히 계산할 수 있는가?
• RQ4 코스졸 이중성 조건을 만족하기 위해 요구되는 바와 같이, $ H(H^{!}(t)) $ 가 $ t $ 와 일치하는가?
• RQ5 왼쪽-노비코프 대수와 오른쪽-노비코프 대수 사이에는 카테고리적 동치가 존재하는가? 이는 작용소 이중성에 어떤 영향을 미치는가?

주요 결과

• 코스졸 이중성 조건 $ H(H^{!}(t)) = t $ 가 성립하지 않음을 확인함으로써, 노비코프 작용소는 코스졸이 아님이 입증된다.
• 왼쪽-노비코프 작용소의 쌍대는 오른쪽-노비코프 작용소이며, 그 반대도 마찬가지로 성립함을 보이며, 정확한 이중성 관계를 설정한다.
• 자유 왼쪽-노비코프 대수와 오른쪽-노비코프 대수의 다중선형 부분의 차원은 동일하다: $ \dim F_n^l = \dim F_n^r = 1, 2, 6, 20, 70 $ for $ n = 1, 2, 3, 4, 5 $.
• 노비코프 작용소와 그 쌍대의 힐버트 급수는 각각 $ H(t) = -t + t^2 - t^3 + 20t^4/24 - 70t^5/120 + O(t^6) $ 와 $ H^{!}(t) $ 이다.
• 조합 $ H(H^{!}(t)) = t + t^5/6 + O(t^6) \neq t $ 를 계산함으로써, 코스졸 이중성의 필수 조건이 위반됨을 입증한다.
• 이 증명은 영이 다이어그램을 통한 다중선형 기저의 명시적 계산과, 노비코프 대수 및 결합 대수의 텐서곱에서의 리-허용성 조건 검증에 기반한다.