[논문 리뷰] Algebraic structures on generalized strings

Vladimir Chernov, Yuli B. Rudyak|ArXiv.org|2003. 06. 08.

Homotopy and Cohomology in Algebraic Topology참고 문헌 3인용 수 4

한 줄 요약

이 논문은 목표 다양체 $M$로의 '가라운드'(마킹된 점을 가진 다양체들이 접합된 구조)의 사상과 관련된 밴드르그 군 $\Omega_*(\mathcal{N})$에 자연스러운 등급을 가진 교환 법칙과 등급을 가진 리 대수 구조를 구성한다. 또한 연산 $\bullet$와 $[-,-]$를 정의하고, $\operatorname{proj}(\operatorname{lift}\alpha_1 \bullet \operatorname{lift}\alpha_2) = [\alpha_1, \alpha_2]$를 만족하는 자동형사 $\operatorname{proj}$와 $\operatorname{lift}$를 도입함으로써, 특정 조건 하에서 바탈린–빌코비츠 및 제르스텐하버 대수의 구조를 유도한다. 이는 $P = S^1$일 때 찰스–설리반 스트링 토폴로지와 직접적인 유사성을 보이며, 핵심 기여는 스트링 토폴로지 연산을 일반화하고 통합하는 기하학적이고 밴드르그 이론 기반의 프레임워크를 제공한다는 점이다.

ABSTRACT

A garland based on a manifold $P$ is a finite set of manifolds homeomorphic to $P$ with some of them glued together at marked points. Fix a manifold $M$ and consider a space $\NN$ of all smooth mappings of garlands based on $P$ into $M$. We construct operations $\bullet$ and $[-,-]$ on the bordism groups $\bor_*(\NN)$ that give $\bor_*(\NN)$ the natural graded commutative assosiative and graded Lie algebra structures. We also construct two auto-homomorphisms $\pr$ and $\li$ of $\bor_*(\NN)$ such that $\pr(\li α_1\bullet \li α_2)= [α_1, α_2]$ for all $α_1, α_2 \in \bor_*(\NN)$. If $P$ is a boundary, then $\pr \circ \li=0$ and thus $Δ^2=0$ for $Δ=\li \circ \pr$. We show that under certain conditions the operations $Δ$ and $\bullet$ give rise to Batalin-Vilkoviski and Gerstenhaber algebra structures on $\bor_*(\NN)$. In a particular case when $P=S^1$, the algebra $\bor_*(\NN)$ is related to the string-homology algebra constructed by Chas and Sullivan.

연구 동기 및 목표

• 목표 다양체 $M$로의 '가라운드'(마킹된 점을 가진 다양체들)의 사상에 대한 밴드르그 군 $\Omega_*(\mathcal{N})$에 연산 $\bullet$와 $[-,-]$를 정의한다.
• 모든 $\alpha_1, \alpha_2 \in \Omega_*(\mathcal{N})$에 대해 $\operatorname{proj}(\operatorname{lift}\alpha_1 \bullet \operatorname{lift}\alpha_2) = [\alpha_1, \alpha_2]$를 만족하는 자동형사 $\operatorname{proj}$와 $\operatorname{lift}$를 구성함으로써 두 연산 간의 구조적 연결 고리를 확립한다.
• 적절한 조건 하에서 $\Delta = \operatorname{lift} \circ \operatorname{proj}$가 $\Delta^2 = 0$를 만족함을 보여, $\Omega_*(\mathcal{N})$에 바탈린–빌코비츠 및 제르스텐하버 대수의 구조를 구성할 수 있음을 보장한다.
• 기저 다양체 $P = S^1$일 때, 제안된 프레임워크와 찰스–설리반 스트링 토폴로지 사이에 기하학적이고 대수학적인 직접적인 유사성을 확립한다.

제안 방법

• 공간 $\mathcal{N}$은 고정된 다양체 $P$의 복수 개의 사본에서 $M$으로의 다중 마킹된 매끄러운 사상들의 공간들의 분리합집합으로 정의되며, 순열 대칭성에 의해 몫을 취한다.
• 대표자들에 대한 당김과 교차성 조건을 이용하여, 마킹된 사상과 마킹된 점에서의 접합 데이터를 활용해 $\bullet$와 $[-,-]$ 연산을 구성한다.
• $\Omega_*(\mathcal{N})$ 위의 자연 변환으로서 $\operatorname{proj}$와 $\operatorname{lift}$를 정의하며, $\operatorname{lift}$는 밴드르그 동치류를 고차원 구조로 '올리는' 것을, $\operatorname{proj}$는 이를 다시 투영하는 것을 의미한다.
• 마킹된 다양체의 구조와 교차성 조건을 이용하여, $\operatorname{proj}(\operatorname{lift}\alpha_1 \bullet \operatorname{lift}\alpha_2) = [\alpha_1, \alpha_2]$라는 핵심 항등식을 확립한다.
• $\Delta = \operatorname{lift} \circ \operatorname{proj}$가 $\Delta^2 = 0$를 만족하는 조건을 분석하며, 특히 $P$가 경계를 이루는 경우에 바탈린–빌코비츠 및 제르스텐하버 대수의 구조가 나타남을 보인다.
• 기저 다양체 $P = S^1$일 때, $\Omega_*(\mathcal{N})$의 연산이 $H_*(LM)$에서의 스트링 토폴로지 연산과 일치함을 보여, 찰스–설리반 스트링 토폴로지와의 직접적 유사성을 확립한다.

실험 결과

연구 질문

• RQ1 다양체 $M$로의 가라운드 사상의 밴드르그 군에 자연스러운 등급을 가진 교환 법칙과 등급을 가진 리 대수의 구조를 정의할 수 있는가?
• RQ2 $\Omega_*(\mathcal{N})$에서의 연산 $\bullet$와 $[-,-]$는 자동형사 $\operatorname{proj}$와 $\operatorname{lift}$를 통해 어떻게 상호 연결되는가?
• RQ3 $\Delta = \operatorname{lift} \circ \operatorname{proj}$가 $\Delta^2 = 0$를 만족하는 조건은 무엇이며, 이는 바탈린–빌코비츠 대수의 구성에 어떤 영향을 미치는가?
• RQ4 밴드르그 이론과 마킹된 다양체를 이용하여 찰스–설리반 스트링 토폴로지를 $P = S^1$를 초월해 일반화할 수 있는 기하학적이고 대수학적인 프레임워크가 존재하는가?

주요 결과

• 밴드르그 군 $\Omega_*(\mathcal{N})$는 등급을 가진 교환 법칙과 결합 법칙을 만족하는 연산 $\bullet$를 지니며, 이 연산의 등급은 $-m$이며, 여기서 $m = \dim M$이다. 이는 $\Omega_*(\mathcal{N})$가 등급을 가진 교환 법칙 대수임을 의미한다.
• 연산 $[-,-]$는 $\Omega_*(\mathcal{N})$에 등급을 가진 리 대수의 구조를 부여하며, 브라켓의 등급은 $+2$이다.
• $\alpha_1, \alpha_2 \in \Omega_*(\mathcal{N})$에 대해 항등식 $\operatorname{proj}(\operatorname{lift}\alpha_1 \bullet \operatorname{lift}\alpha_2) = [\alpha_1, \alpha_2]$가 항상 성립함을 보여, 두 연산 간의 정확한 대수적 연결 고리를 확립한다.
• $P$가 경계를 이루는 경우, $\operatorname{proj} \circ \operatorname{lift} = 0$이므로 $\Delta^2 = 0$이 성립하며, $\Delta = \operatorname{lift} \circ \operatorname{proj}$일 때 이는 바탈린–빌코비츠 대수의 핵심 조건을 만족한다.
• $\Delta^2 = 0$ 조건이 성립할 경우, 연산 $\bullet$와 $\Delta$는 $\Omega_*(\mathcal{N})$에 등급 $n = 2$의 바탈린–빌코비츠 대수의 구조를 제공하며, 유도된 브라켓 $\{a,b\}$는 제르스텐하버 대수의 공리계를 만족한다.
• $P = S^1$일 때, $\Omega_*(\mathcal{N})$에서의 대수적 구조는 찰스–설리반 스트링 토폴로지의 구조와 동형이며, 이는 그들의 구성의 밴드르그 이론 기반 일반화를 제공한다.