[논문 리뷰] On the coalgebra description of OCHA

Eduardo Hoefel|arXiv (Cornell University)|2006. 07. 18.

Homotopy and Cohomology in Algebraic Topology인용 수 5

한 줄 요약

이 논문은 오픈-클로즈드 호모토피 대수(OCHA) 구조가 대칭 및 텐서 코알제브라의 텐서곱 $\Lambda^c\mathcal{H}_c \otimes T^c\mathcal{H}_o$ 안에 본질적으로 포함되어 있음을 입증한다. 이는 $\mathfrak{l}+\mathfrak{n}$ 형태의 차수 1의 코디레바티브가 $(\mathfrak{l}+\mathfrak{n})^2 = 0$ 를 만족할 경우 정확히 OCHA 구조에 대응됨을 보이며, 또한 OCHA가 $A_\infty$-확장에 대해 대칭화 및 셔플링 사상 $\Xi$ 를 통해 구성될 수 있음을 보여주며, OCHA의 보편 코어링 $A_\infty$-대수는 그 $L_\infty$-부분의 보편 코어링 $A_\infty$-대수에 대해 $A_\infty$-부분에 의한 $A_\infty$-확장임을 밝힌다.

ABSTRACT

OCHA is the homotopy algebra of open-closed strings. It can be defined as a sequence of multilinear operations on a pair of DG spaces satisfying certain relations which include the $L_\infty$ relations in one space and the $A_\infty$ relations in the other. In this paper we show that the OCHA structure is intrinsic to the tensor product of the symmetric and tensor coalgebras. We also show how an OCHA can be obtained from $A_\infty$-extesions and define the {\it universal enveloping} $A_\infty$-algebra of an OCHA as an $A_\infty$-extension of the universal enveloping of its $L_\infty$ part by its $A_\infty$ part.

연구 동기 및 목표

• OCHA의 배경이 되는 코알제브라의 구조를 규명하여, OCHA가 외부 조건이 아니라 대칭 및 텐서 코알제브라의 텐서곱의 자연스러운 특성임을 보이기.
• OCHA에서 $n_{p,0}$ 사상의 수학적 역할을 명확히 하여, 물리적으로 닫힌 끈을 열어 열린 끈으로 만드는 과정에 대응함을 설명하기.
• OCHA의 보편 코어링 $A_\infty$-대수를 그 $L_\infty$-부분의 보편 코어링 $L_\infty$-대수에 대해 $A_\infty$-부분에 의한 $A_\infty$-확장으로 정의하고 특성화하기.
• OCHA 구조가 $A_\infty$-확장으로부터 대칭화 및 셔플링 사상 $\Xi$ 를 통해 자연스럽게 유도됨을 보여주며, 호모토피 대수의 확장과 OCHA를 연결하기.

제안 방법

• 논문은 $\mathcal{H}_c$ 및 $\mathcal{H}_o$ 가 DG 공간임을 전제로 하여, $\Lambda^c\mathcal{H}_c \otimes T^c\mathcal{H}_o$ 에서의 코디레바티브의 코알제브라적 프레임워크를 사용하여, OCHA 구조를 차수 1의 코디레바티브 $\mathfrak{D} = \mathfrak{l} + \mathfrak{n}$ 로 표현한다.
• 모든 코디레바티브가 $\Lambda^c\mathcal{H}_c \otimes T^c\mathcal{H}_o$ 에서 OCHA 조건을 자동으로 만족함을 증명하여, OCHA 구조가 이 코알제브라에 본질적으로 내재되어 있음을 입증한다. 즉, $M^A_{p,q}$ 와 $M^B_n$ 형태의 성분들만 허용되며, 이는 OCHA 구조가 코알제브라에 내재되어 있음을 의미한다.
• 대칭화 및 셔플링을 통해 $\Xi: \Lambda^c\mathcal{H}_c \otimes T^c\mathcal{H}_o \to T^c(\mathcal{H}_c \oplus \mathcal{H}_o)$ 라는 코알제브라 사상이 구성되며, 이는 $A_\infty$-확장과 OCHA 구조를 연결한다.
• OCHA의 보편 코어링 $A_\infty$-대수는 $\mathcal{U}_\infty(\mathcal{H}_c)$ 에 대해 $\mathcal{H}_o$ 에 의한 $A_\infty$-확장으로 정의되며, $A_\infty$-구조는 사상 $\Xi$ 를 통해 유도된다.
• 다중선형 사상에서 $\Lambda^c\mathcal{H}_c \otimes T^c\mathcal{H}_o$ 에서의 코디레바티브로의 상승을 위한 명시적 공식이 제시되며, 이는 그레이드 교환 법칙과 셔플 순열의 부호를 사용한다.
• 논문은 닫힌 디스크 위의 점들의 컴actified 구성공간의 스펙트럴 시퀀스의 $E^1$ 항을 사용하여 OCHA 작동법을 해석하며, 이는 스위스-치즈 작동법과 연결된다.

실험 결과

연구 질문

• RQ1 OCHA 구조는 코알제브라 $\Lambda^c\mathcal{H}_c \otimes T^c\mathcal{H}_o$ 에 본질적으로 내재되어 있는가, 아니면 외부적으로 부여된 조건인가?
• RQ2 OCHA의 $n_{p,0}$ 사상은 닫힌 끈을 열어 열린 끈으로 만드는 물리적 과정을 나타내지만, 이는 코알제브라 프레임워크 내에서 일관된 수학적 해석을 어떻게 가질 수 있는가?
• RQ3 OCHA 구조는 $A_\infty$-대수의 $A_\infty$-확장으로 체계적으로 구성될 수 있는가?
• RQ4 OCHA의 보편 코어링 $A_\infty$-대수는 무엇이며, 그 $L_\infty$ 및 $A_\infty$ 성분의 보편 코어링 대수와 어떻게 관련되어 있는가?
• RQ5 대칭화 및 셔플링 사상 $\Xi$ 는 $A_\infty$-확장과 $\mathcal{H}_c \oplus \mathcal{H}_o$ 에서의 OCHA 구조 사이에 어떻게 연결되는가?

주요 결과

• 코알제브라 $\Lambda^c\mathcal{H}_c \otimes T^c\mathcal{H}_o$ 에서의 모든 코디레바티브는 자동으로 OCHA 조건을 만족하며, 이는 OCHA 구조가 이 코알제브라에 본질적으로 내재되어 있음을 입증한다.
• $\mathcal{H}_c$ 와 $\mathcal{H}_o$ 에서의 OCHA 구조는 $\Lambda^c\mathcal{H}_c \otimes T^c\mathcal{H}_o$ 에서의 차수 1 코디레바티브 $\mathfrak{D}$ 가 $\mathfrak{D}^2 = 0$ 을 만족할 때 정확히 대응되며, 이는 일대일 대응 관계를 수립한다.
• $\Xi: \Lambda^c\mathcal{H}_c \otimes T^c\mathcal{H}_o \to T^c(\mathcal{H}_c \oplus \mathcal{H}_o)$ 라는 사상은 대칭화 및 셔플링을 통해 구성되며, 이는 $A_\infty$-확장이 쌍 $(\mathcal{H}_c, \mathcal{H}_o)$ 에서 OCHA 구조를 유도할 수 있음을 가능하게 한다.
• $\mathcal{H}_c$ 에서의 $L_\infty$-구조는 $A_\infty$-구조의 Lada-Markl 대칭화로부터 유도되며, 이는 OCHA 프레임워크와의 일관성을 보장한다.
• OCHA의 보편 코어링 $A_\infty$-대수는 $\mathcal{U}_\infty(\mathcal{H}_c)$ 에 대해 $\mathcal{H}_o$ 에 의한 $A_\infty$-확장으로 구성되며, 이 구성은 보편적이며, 보편 코어링 대수에서 $A_\infty$-확장으로의 모든 $A_\infty$-사상은 이에 의해 인식됨을 의미한다.
• 그레이드 교환 법칙과 셔플 순열의 부호를 사용하여, $\Lambda^c\mathcal{H}_c \otimes T^c\mathcal{H}_o$ 에서의 다중선형 사상에서 코디레바티브로의 상승을 위한 명시적 공식이 제공되며, 이는 코디레바티브의 구조를 확인한다.