[논문 리뷰] Transferring $A_\infty$ (strongly homotopy associative) structures

Martin Markl|arXiv (Cornell University)|2004. 01. 02.

Homotopy and Cohomology in Algebraic Topology인용 수 9

한 줄 요약

이 논문은 체인 복합체 사이의 체인 호모토피 동치를 통해 $A_\infty$-구조, $A_\infty$-사상, $A_\infty$-호모토피를 전달하기 위한 명시적이고 부호 정확한 공식을 제공한다. p-핵과 q-핵을 도입하여 대상 복합체 위의 전달된 구조를 구성하며, 이는 이전의 작업을 일반화하고 전달 사상 및 호모토피에 대한 새로운 공식을 제시한다. 이는 Hodge 분해를 통한 최소 모델에의 응용을 포함한다.

ABSTRACT

We give explicit formulas for transfers of $A_\infty$-structures and related maps and homotopies in the most easy situation in which these transfers exist. One half of our formulas was already known to Kontsevich-Soibelman and to Merkulov who derived them, without explicit signs, under slightly stronger assumptions than those made in this note.

연구 동기 및 목표

• 주어진 $A_\infty$-구조를 가진 체인 복합체 $V$ 에서 체인 호모토피 동치인 복합체 $W$ 로의 $A_\infty$-구조의 전달을 위한 명시적이고 부호 정확한 공식을 제공하는 것: $f: V \to W$, $g: W \to V$, $h: \text{id}_V \simeq gf$.
• 이를 바탕으로 $f$ 와 $g$ 를 각각 확장하는 $A_\infty$-사상 $\varphi: V \to W$ 와 $\psi: W \to V$ 에 대한 전달을 확장하는 것.
• 체인 호모토피 $h$ 를 확장하는 $\psi \circ \varphi$ 와 $\text{id}_V$ 사이의 $A_\infty$-호모토피 $H$ 를 구성하는 것.
• p-핵과 q-핵을 중심 도구로 도입하고 정의하여 전달된 구조를 구성하는 것. 이는 Kontsevich-Soibelman 과 Merkulov 의 이전 작업을 일반화한다.
• 전달 공식과 단체 분해를 통한 단순형 다면체(associahedra)와 다중형 다면체(multiplihedra) 사이의 연결 고리를 설정하며, 공식의 단항식들이 기하학적 해석을 가짐을 시사한다.
• Hodge 분해를 통해 $A_\infty$-대수의 최소 모델을 구성하는 데 전달 기계를 응용하고, 분해의 선택에 대해 함의적으로 함의된 함의성(functoriality)을 보여주는 것.

제안 방법

• p-핵 $\{p_n: V^{\otimes n} \to V\}_{n \geq 2}$ 와 q-핵 $\{q_n: V^{\otimes n} \to V\}_{n \geq 1}$ 의 재귀적 또는 명시적 정의를 통해 전달를 구성하며, 이는 순환적 또는 비순환적 공식을 사용한다.
• 전달된 $A_\infty$-구조 $\nu_n$ 는 $\nu_n = f \circ p_n \circ g^{\otimes n}$ 으로 주어지며, 이는 원래의 $V$ 에서의 $A_\infty$-구조 $\mu_n$ 를 확장한다.
• $A_\infty$-사상 $\varphi_n: V^{\otimes n} \to W$ 는 $\varphi_n = f \circ q_n$ 으로 정의되고, $\psi_n: W^{\otimes n} \to V$ 는 $\psi_n = h \circ p_n \circ g^{\otimes n}$ 으로 정의된다.
• $\psi \circ \varphi$ 와 $\text{id}_V$ 사이의 $A_\infty$-호모토피 $H_n$ 은 $H_n = h \circ q_n$ 으로 주어지며, $H_1 = h$ 이다.
• 공식들은 코알제브라의 교란 렘마 프레임워크를 사용하여 유도되며, 측면 조건($f h = 0$, $h g = 0$, $h^2 = 0$)을 만족할 경우, 핵들이 Huebschmann-Kadeishvili 의 결과와 일치함을 보여준다.
• 기하학적 해석으로 제안: 전달 공식의 단항식들은 $p_n$ 을 통해 Stasheff 의 단순형 다면체 $K_n$ 에서의 세포들과, $q_n$ 을 통해 다중형 다면체 $L_n$ 에서의 세포들과 대응되며, $n=3,4$ 에 대해 그림으로 제시된다.

실험 결과

연구 질문

• RQ1 체인 호모토피 동치인 복합체 $W$ 에서 $A_\infty$-구조를 $V$ 에서 주어진 구조로부터 명시적으로 어떻게 전달할 수 있는가?
• RQ2 사상 $f$ 와 $g$ 를 각각 확장하는 $A_\infty$-사상 $\varphi: V \to W$ 와 $\psi: W \to V$ 에 대한 명시적 공식은 무엇인가?
• RQ3 체인 호모토피 $h$ 를 확장하는 $\psi \circ \varphi$ 와 $\text{id}_V$ 사이의 $A_\infty$-호모토피 $H$ 는 어떻게 구성할 수 있는가?
• RQ4 전달 공식의 단항식들의 기하학적 의미는 무엇이며, 단순형 다면체와 다중형 다면체와 같은 다면체 세분화와 어떻게 관련되어 있는가?
• RQ5 전달 기계를 사용하여 $A_\infty$-대수의 최소 모델을 구성할 수 있으며, 이 구성은 함의적일까?

주요 결과

• 논문은 이전까지는 일반적으로 알려지지 않았던 $A_\infty$-사상 $\varphi_n$ 과 $A_\infty$-호모토피 $H_n$ 에 대한 새로운 명시적이고 부호 정확한 공식을 제공한다.
• p-핵 $p_n$ 과 q-핵 $q_n$ 은 제3절에서 재귀적 반복으로 정의되며, 제6 및 제7조문에서 비순환적 닫힌 형태로 제시된다. 이는 전달된 구조의 체계적 계산을 가능하게 한다.
• 측면 조건 $f h = 0$, $h g = 0$, $h^2 = 0$ 이 만족될 경우, p-핵과 q-핵은 코알제브라의 교란 렘마로부터 유도된 것과 일치함을 보여주며, 이는 구성의 타당성을 입증한다.
• 전달 공식은 $p_n$ 을 통해 Stasheff 의 단순형 다면체 $K_n$ 의 세포들의 합으로 해석되며, $q_n$ 을 통해 다중형 다면체 $L_n$ 의 세포들의 합으로 해석된다. $n=4$ 와 $n=3$ 에 대해 구체적인 그림이 제시된다.
• Hodge 분해를 통해 최소 모델 $\mathcal{M}_A = (H(V,\partial_V), 0, \nu_2, \nu_3, \ldots)$ 이 구성되며, 이러한 분해의 군환 위에서 함의적이다.
• 측면 조건이 성립할 경우, 최소 모델 구성은 교란 렘마 접근법과 동치이며, p-핵과 q-핵이 교란 렘마의 관련 급수와 일치함을 보여준다.