[논문 리뷰] Action of the Grothendieck-Teichmueller group on the operad of Gerstenhaber algebras

Dimitri Tamarkin|ArXiv.org|2002. 02. 05.

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

한 줄 요약

이 논문은 Grothendieck-Teichmüller 군이 Gerstenhaber 대수의 작도에 대해 호모로지 상에서 단사 사상으로 비자명하게 작용함을 증명한다. 이는 모든 비자명 원소가 이 작도의 자유 해체에 대해 호모토피적으로 비자명한 작용을 유도한다는 것을 의미한다. 이 결과는 필터링된 대수와 변형 이론을 포함하는 리 대수적 및 작도적 틀을 통해 현수도 다이어그램으로부터 작도로의 작용을 전이시킴으로써 도출된다.

ABSTRACT

Action of the graded Grothendieck-Teichmueller (GT) group on a resolution of the operad of Gerstenhaber algebras (GA) is defined. It is shown that the induced Lie algebra action is homotopically non-trivial (i.e. the induced map from the Lie algebra of the graded GT group to the deformation complex of the operad of GA is injective).

연구 동기 및 목표

• Grothendieck-Teichmüller 군이 Gerstenhaber 대수의 작도에 대해 비자명하게 작용함을 확립한다.
• 이 작용이 호모로지 수준에서 비자명함을 보여주며, 이는 호모토피적으로 자명하지 않음을 의미한다.
• Grothendieck-Teichmüller 군의 리 대수에서 Gerstenhaber 작도의 변형 복합체로의 사상 구축.
• 호모로지 상에서 유도된 사상이 단사임을 보여주어 비퇴화된 작용을 확보한다.

제안 방법

• 유한 집합 $T$ 에 대해 생성자 $t_{ij}$ 를 갖는 리 대수 $\mathfrak{g}(T)$ 를 정의하며, 서로 다른 첨자에 대해 $[t_{ij}, t_{kl}] = 0$ 과 $[t_{ij}, t_{ik} + t_{jk}] = 0$ 의 관계를 갖는다.
• 완비화된 유일한 포괄 대수 $\widehat{U}(\mathfrak{g}(X))$ 와 괄호화 작도 $\mathbf{P}(X)$ 를 이용해 작도 $\mathbf{PCD}$ 를 구성하며, 소형 필터링된 카테고리의 범주에서 텐서 곱을 형성한다.
• 직접 이미지 및 역이미지에 의한 $\mathfrak{g}(X)$ 의 함의적 성질을 이용해 작도의 복합 사상 정의.
• Grothendieck-Teichmüller 군의 작용을 현수도 다이어그램으로부터 작도 $\mathbf{PCD}$ 로 전이한 후, Gerstenhaber 작도의 자유 해체로 전이한다.
• 복합 사상과 총순서를 이용해 작도에 대한 Gerstenhaber 괄호를 정의하고, 이를 통해 호모토피적으로 결합적이고 교환적인 작도 $\mathbf{hoass}$ 와 $\mathbf{hoComm}$ 를 구성한다.
• Gerstenhaber 작도의 변형 복합체와 $\mathfrak{g}_{\text{RT}}$ 리 대수의 관계를 분석함으로써 호모로지 상에서 유도된 사상의 단사성을 증명한다.

실험 결과

연구 질문

• RQ1 Grothendieck-Teichmüller 군은 호모토피적으로 의미 있는 방식으로 Gerstenhaber 대수의 작도에 비자명하게 작용하는가?
• RQ2 Grothendieck-Teichmüller 군의 리 대수 $\mathfrak{g}_{\text{RT}}$ 에서 Gerstenhaber 작도의 변형 복합체로의 유도된 사상이 호모로지 상에서 단사적인가?
• RQ3 현수도 다이어그램에서의 Grothendieck-Teichmüller 군의 작용은 Gerstenhaber 작도의 자유 해체로 비자명하게 올라갈 수 있는가?
• RQ4 작도 $\mathbf{PCD}$ 는 $\mathfrak{g}(X)$ 와 $\mathbf{P}(X)$ 로부터 구성되며, Gerstenhaber 작도 및 그 해체와 어떻게 관련이 있는가?

주요 결과

• Grothendieck-Teichmüller 군의 작용은 Gerstenhaber 작도의 변형 복합체로의 $\mathfrak{g}_{\text{RT}}$ 리 대수에서의 호모로지 상에서 단사 사상으로 이어진다.
• Grothendieck-Teichmüller 군의 모든 비자명 원소는 Gerstenhaber 작도의 자유 해체에 대해 호모토피적으로 비자명한 작용을 한다.
• 유한 집합 위에서의 직접 및 역이미지 맵을 통한 $\mathfrak{g}(X)$ 의 함의적 작도 구조를 사용하며, 복합 사상은 이를 통해 정의된다.
• $\mathbf{PCD}$ 는 $\mathbf{CD}$ 와 $\mathbf{P}$ 의 텐서 곱으로 형성되며 자연스러운 코커뮤파티브 코알제브라 구조를 지니며 작용을 지지한다.
• $\mathbf{hoass}$ 는 결합 대수의 자유 해체의 이동으로 정의되며, 미분은 $dm_n' + \frac{1}{2}\sum_{i=2}^{n-1} \{m_i', m_{n+1-i}'\} = 0$ 으로 주어지고, $\mathbf{hoComm}$ 은 $\mathbf{hoass}$ 를 셔플 아이디얼로 몫을 취해 얻는다.
• $\mathbf{hoComm}$ 에서 $\mathbf{comm}$ 로의 사상 $p_{c}: \mathbf{hoComm} \to \mathbf{comm}$ 는 준동형사상이며, 이는 $\mathbf{hoComm}$ 이 교환 작도의 자유 해체임을 보여준다.