[논문 리뷰] Formality of Chain Operad of Small Squares

Dmitry Tamarkin|ArXiv.org|1998. 09. 28.

Homotopy and Cohomology in Algebraic Topology참고 문헌 1인용 수 37

한 줄 요약

이 논문은 소정의 제곱형 작동자에 대한 체인 작동자의 형식성을 증명한다. 이를 위해 특정한 소정의 제곱형 작동자에 대한 단순 체인 작동자와 게르스텐하버 대수를 제어하는 호모로지 작동자 $e_2$ 사이의 준동형을 구성한다. 증명은 형식적 거듭제곱의 대수에서의 결합자 존재성을 활용하며, 괄호가 친 브레드 작동자와 그에 관련된 체인 복합체를 통해 게르스텐하버 작동자로의 준동형을 확립한다.

ABSTRACT

We prove that the chain operad of small squares is formal. This fact clarifies situation with the proof of M. Kontsevich formality theorem in the paper of the author math.QA/9803025, revised Sept 24. The formality of the operad follows quite easily from the existence of an associator.

연구 동기 및 목표

• 소정의 제곱형 작동자의 체인 작동자의 형식성을 확립함으로써, 호크시ลด 코호몰로지의 호모토피 구조를 이해하는 데 핵심적인 단계를 밟는다.
• 모든 소정의 제곱형 작동자의 단순 체인 작동자는 게르스텐하버 대수를 제어하는 작동자 $e_2$와 준동형임을 보인다.
• 괄호가 친 브레드 작동자의 맥락에서 결합자의 존재성에 의해 형식성 결과가 도출됨을 보여준다.
• 형식성과 호모토피 게르스텐하버의 구조에 있어 $B_ u$-작동자와 그에 관련된 체인 복합체의 역할을 명확히 한다.
• 콘트세비치의 지적에 따라 동일한 기본 매핑을 사용하여 형식성 결과를 코알제브라 수준으로 확장한다.

제안 방법

• 괄호가 친 브레드 작동자 $PaB_n$ 를 범주로 정의하여, 그 뉴런이 위상적 $B_\nu$-작동자를 만든다.
• 뉴런과 기하적 실현 함자 함수를 사용하여 셀러러 $B_\nu$-작동자 $X_n = |NPaB_n|$ 를 구성하며, 이는 소정의 제곱형 작동자임을 보인다.
• 단순 체인을 통해 $PaB_n$ 의 뉴런에 대한 체인 작동자 $C_\bullet(PaB_\bullet)$ 를 정의하며, 이는 Eilenberg-Zilber 사상에 의해 dg-작동자로서의 구조를 갖는다.
• 비가환 변수 $t_{ij}$ 에 대한 형식적 거듭제곱의 대수에서 $A^{pb}_3$ 내의 결합자 $\theta$ 를 정의하며, 이는 오각형 및 육각형 공리를 만족한다.
• 결합자를 사용하여 작동자 준동형 $\phi: \mathbb{Q}(PaB_\bullet) \to O_A(\bullet)$ 를 정의하며, 이는 체인 복합체에 대한 사상으로 이어진다.
• 호모로지에 대한 유도된 사상이 동형임을 증명하기 위해, 호모로지의 유형이 $e_2$ 와 동형임을 인도법과 세르-호크시ลด 스펙트럴 시퀀스를 사용하여 보인다.

실험 결과

연구 질문

• RQ1 소정의 제곱형 작동자의 체인 작동자는 형식적이며, 즉 그 호모로지 작동자 $e_2$ 와 준동형인가?
• RQ2 괄호가 친 브레드의 맥락에서 결합자의 존재성을 이용하여 소정의 제곱형 작동자의 형식성을 확립할 수 있는가?
• RQ3 괄호가 친 브레드 작동자와 그에 관련된 체인 복합체의 구성이 $e_2$ 와 준동형임을 보일 수 있는가?
• RQ4 콘트세비치의 지적에 따라 형식성 결과를 코알제브라 수준으로 확장할 수 있는가?
• RQ5 생성자 $t_{ij}$ 를 갖는 리 대수 $\mathfrak{g}_n$ 의 호모로지와 소정의 제곱형 작동자의 호모로지 사이의 관계는 무엇인가?

주요 결과

• 체인 작동자 $C_\bullet(PaB_\bullet)$ 는 게르스텐하버 대수를 제어하는 작동자 $e_2$ 와 준동형이다.
• 형식성 결과는 $A^{pb}_3$ 내의 결합자의 존재성에 의해 도출되며, 이는 작동자 간의 준동형을 유도한다.
• 리 대수 $\mathfrak{g}_n$ 의 호모로지는 $H_\bullet(C_\bullet^\mathbb{Q}(U\mathfrak{g}_n))$ 와 동형이며, 이는 유한차원이면서 $H_\bullet(\mathfrak{g}_2)$ 에 의해 생성된다.
• 세르-호크시ลด 스펙트럴 시퀀스는 $E^2$ 에서 붕괴하며, 이는 $H_\bullet(\mathfrak{g}_n) \cong H_\bullet(\mathfrak{g}_{n-1}) \oplus \bigoplus_{k=1}^{n-1} H_\bullet(\mathfrak{g}_{n-1})[-1]$ 을 보여준다.
• 호모로지 $H_\bullet(\mathfrak{g}_n)$ 의 총 차원은 $n!$ 이며, 이는 $e_2(n)$ 의 차원과 일치한다. 이는 준동형이 호모로지에서 전단사임을 의미한다.
• 결합자에 의해 유도된 사상 $\phi: \mathbb{Q}(PaB_\bullet) \to O_A(\bullet)$ 는 호모로지에서 동형을 유도하므로, 작동자 간의 준동형임을 보여준다. 또한 $e_2$ 는 $e_2(2)$ 에 의해 생성되므로 이는 작동자 준동형의 성립을 보장한다.