[논문 리뷰] String operations on rational Gorenstein spaces

Takahito Naito|arXiv (Cornell University)|2013. 01. 09.

Algebraic structures and combinatorial models참고 문헌 13인용 수 7

한 줄 요약

이 논문은 단순연결된 유리 Gorenstein 공간의 자유 루프 공간의 유리 호몰로지가 스트링 연산자에 의해 비단위, 비코단위 프로베누스 대수를 이룬다는 것을 증명하며, 유리 호모토피 이론을 통해 '상수만큼의 차이' 문제를 해결한다. 루프 곱과 곱셈이 왜곡된 결합법칙과 프로베누스 호환성을 만족하며, 특히 혼합 차수의 생성자를 가진 순수 수퍼블 모델에서 이들 연산이 비자명한 예를 제공한다.

ABSTRACT

Félix and Thomas developed string topology of Chas and Sullivan on simply-connected Gorenstein spaces. In this paper, we prove that the degree shifted homology of the free loop space of a simply-connected ${\mathbb Q}$-Gorenstein space with rational coefficient is a non-unital and non-counital Frobenius algebra by solving the up to constant problem. We also investigate triviality or non-triviality of the loop product and coproduct of particular Gorenstein spaces.

연구 동기 및 목표

• 유리 Gorenstein 공간의 스트링 토폴로지에서 '상수만큼의 차이' 문제를 해결하여 엄밀한 대수적 관계가 성립하도록 보장한다.
• 단순연결된 유리 Gorenstein 공간의 자유 루프 공간에서 스트링 연산자가 코단위가 없는 2차원 TQFT를 형성하는지 여부를 규명한다.
• 최소 수퍼블 모델을 사용하여 루프 곱과 곱셈의 자명성 또는 비자명성을 조사한다.
• 루프 코곱 $(L_{\text{cop}} \times 1)L_{\text{cop}}$ 가 비자명한 명시적 계산 예를 제시하여 고전적 결과와 배치된다.

제안 방법

• 유리 호몰로지에 대한 Eilenberg-Moore 동형과 루프 곱/코곱 사상의 쌍대를 이용해 연산을 정의한다.
• 최소 수퍼블 모델 $(\Lambda V, d)$ 를 통한 유리 호모토피 이론을 적용하여 $H_*(LM; \mathbb{Q})$ 의 대수적 구조를 분석한다.
• 참고문헌 [12]의 토르 함자 기술을 활용해 체인 수준 다이어그램과 당김을 통해 스트링 연산을 계산한다.
• 왜곡된 결합법칙 항등식 유도: $L_p(L_p \otimes 1) = (-1)^d L_p(1 \otimes L_p)$ 와 $(L_{\text{cop}} \otimes 1)L_{\text{cop}} = (-1)^d (1 \otimes L_{\text{cop}})L_{\text{cop}}$.
• 참고문헌 [5]과 [16]의 부호 관례를 사용하여, $m(a \otimes b) = (-1)^{d(|a|+d)} L_p(a \otimes b)$ 를 정의하여 차수 기반의 결합법칙을 확립한다.
• 순수 수퍼블 모델에서 체인 수준의 명시적 계산을 수행하여 $Dlp$ 와 $Dlcop$ 의 비자명성을 보이며, $Dlcop(Dlcop \otimes 1)((1 \otimes su_2) \otimes (1 \otimes 1) \otimes (1 \otimes su_2)) = u_2^4 \otimes 1 \neq 0$ 를 도출한다.

실험 결과

연구 질문

• RQ1 단순연결된 유리 Gorenstein 공간의 자유 루프 공간에서 루프 곱과 곱셈이 왜곡된 결합법칙을 만족하는가?
• RQ2 스트링 토폴로지에서 '상수만큼의 차이' 문제는 유리 설정에서 엄밀한 프로베누스 대수의 구조를 얻기 위해 해결될 수 있는가?
• RQ3 최소 수퍼블 모델의 어떤 조건에서 루프 곱 또는 곱셈이 자명하거나 비자명한가?
• RQ4 $(L_{\text{cop}} \otimes 1)L_{\text{cop}}$ 가 비자명한 유리 Gorenstein 공간이 존재하는가? 이는 다양체에 대해 Tamanoi의 결과와 배치된다.
• RQ5 수퍼블 모델의 생성자의 차수는 스트링 연산의 비자명성에 어떤 영향을 미치는가?

주요 결과

• 이동된 유리 호몰로지 ${\mathbb{H}}_*(LM; \mathbb{Q}) = H_{*+d}(LM; \mathbb{Q})$ 는 루프 곱과 곱셈에 대해 비단위, 비코단위 프로베누스 대수를 이룬다.
• 루프 곱은 $L_p(L_p \otimes 1) = (-1)^d L_p(1 \otimes L_p)$ 를 만족하여 왜곡된 결합법칙을 증명한다.
• 루프 곱셈은 $(L_{\text{cop}} \otimes 1)L_{\text{cop}} = (-1)^d (1 \otimes L_{\text{cop}})L_{\text{cop}}$ 를 만족하여 왜곡된 코결합법칙을 확립한다.
• 프로베누스 호환성 조건이 성립한다: $L_{\text{cop}} \circ L_p = (-1)^d (L_p \otimes 1)(1 \otimes L_{\text{cop}}) = (-1)^d (1 \otimes L_p)(L_{\text{cop}} \otimes 1)$.
• 오직 홀수 차수 생성자만을 가진 최소 수퍼블 모델에서는 루프 곱이 비자명하고 곱셈은 자명하다.
• 짝수와 홀수 차수 생성자를 모두 가진 순수 수퍼블 모델에서 $\dim V^{\text{odd}} > \dim V^{\text{even}}$ 이면 루프 곱셈은 자명하다; $d=0$ 이면 두 연산 모두 자명하다.