[논문 리뷰] Closed String TCFT for Hermitian Calabi-Yau Elliptic Spaces

Kevin J. Costello, Thomas Tradler외 1명|ArXiv.org|2008. 07. 18.

Advanced Algebra and Geometry참고 문헌 22인용 수 3

한 줄 요약

이 논문은 히르미티안 캘라비-야우 타원 공간의 호흐실트 복합체 위에 리만 곡면의 모듈리 공간의 체인에 대한 기하적, 명시적 작용을 구축하며, 모든 종수에서 스트링 토폴로지 및 B-모델 연산의 체인 수준 정밀화를 제공한다. 핵심 기여는 세갈의 프롭과 quasi-isomorphic한 메타-그래프의 프롭에 대한 릿지-대체 구조를 통해, 호흐실트 호몰로지 위에 호몰로지 장 이론 연산을 유도하는 것으로, 기존의 스트링 토폴로지 연산을 확장하고 메트릭에 의존하는 기하적 구성에 의해 고차 종수 B-모델 분할함수와 일치시킨다. 이 구성은 메트릭 선택에 대해 호모토피 불변성을 갖는다.

ABSTRACT

We describe an explicit action of the prop of the chains on the moduli space of Riemann surfaces on the Hochschild complex of a Calabi-Yau elliptic space. One example of such an elliptic space extends the known string topology operations, for all compact simply-connected manifolds, to a collection indexed by the de Rham currents on the moduli space. Another example pertains to the B-model at all genera.

연구 동기 및 목표

• 캘라비-야우 타원 공간에 대해 호모토피 대수학적 치환 없이 미분형식을 코homology로 대체하지 않고, 기하학적, 비대수적 방식으로 개방된 TCFT 구성을 닫힌 TCFT로 확장한다.
• 히르미티안 메트릭을 기하적 입력으로 사용하여, 캘라비-야우 타원 공간의 호흐실트 복합체 위에 리만 곡면의 모듈리 공간 체인에 대한 명시적, 기하적 작용을 제공한다.
• 이 구성이 기존의 스트링 토폴로지 및 고차 종수 B-모델 연산을 체인 수준에서 확장하는 호흐실트 호몰로지 위의 연산을 유도함을 보인다.
• 기하적 구성과 콘체프치-소이벨만 및 코스텔로의 대수적 구성 사이에 직접적인 연결을 수립하여, 호모토피 동치를 증명한다.

제안 방법

• 세갈의 프롭 $\mathcal{S}$ 와 약하게 동치인 메타-그래프의 프롭 $MG$ 를 도입하고, 호흐실트 체인 복합체의 모델 위에 그 작용을 정의한다.
• 체인 복합체 $C_*(MG)$ 위의 릿지-대체 대수로, 미분형식, 합성, 텐서곱과 호환되는 구조 사상 $C_*(MG(n,m)) \otimes L_*(\mathcal{A})[n] \to L_*(\mathcal{A})[m]$ 를 구성한다.
• 메트릭이 부여된 리본 그래프 위의 열린 형식과 열린 형식의 열린 핵을 사용하여, 리만 곡면의 모듈리 공간에 대한 조각별 선형 모델을 구성한다.
• 호몰로지 편향 정리의 보조정리를 적용하여, 캘라비-야우 타원 공간을 유한 차원 순환 $A_\infty$ 대수로 변환함으로써 TCFT 구성이 가능하게 한다.
• 파oincaré 모델과 시간 0에서의 열린 핵을 통해, 기하적 구성과 대수적 구성 사이에 쌍방향 준동치 사슬을 수립한다.
• 스펙트럴 시퀀스 추론을 사용하여, 기하적 구성과 대수적 구성 간의 준동치를 보이며, 호몰로지 수준에서의 동치를 증명한다.

실험 결과

연구 질문

• RQ1 히르미티안 메트릭과 같은 미분기하학적 입력을 사용하여, 순수하게 대수적 호모토피 대수학적 방법 없이 캘라비-야우 타원 공간에 대해 닫힌 TCFT를 기하학적으로 구성할 수 있는가?
• RQ2 제안된 구성이 전체 리만 곡면의 모듈리 공간을 다루는 호흐실트 호몰로지 위의 연산을 생성하는가, 기존의 스트링 토폴로지 연산을 확장하는가?
• RQ3 더 명시적인 기하적 구성임에도 불구하고, 콘체프치-소이벨만 및 코스텔로의 대수적 구성과 동치인가?
• RQ4 이 구성은 고차 종수 B-모델에 적용 가능하며, 분할함수를 모듈리 공간의 기본 체인 위의 적분으로 복원하는가?
• RQ5 구성은 히르미티안 메트릭의 선택에 대해 호모토피 불변성을 유지하는가, 기하학적 불변성을 보장하는가?

주요 결과

• 논문은 메타-그래프 프롭 $MG$ 의 체인 복합체 위에 릿지-대체 대수를 구성하며, 이는 세갈의 프롭 $\mathcal{S}$ 와 약하게 동치이다. 이는 캘라비-야우 타원 공간의 호흐실트 복합체 모델 위에 작용한다.
• 이로 인해 유도된 구조는 호흐실트 호몰로지 위에 호몰로지 장 이론을 유도하며, 사상 $H_*(\mathcal{S}(n,m)) \to \text{Hom}(HH_*(\mathcal{A},\mathcal{A})^{\otimes n}, HH_*(\mathcal{A},\mathcal{A})^{\otimes m})$ 가 존재한다.
• 단순연결, 폐쇄, 정규화된 다양체 $M$ 의 드 레함 복합체에 대해, 이 구성은 전체 리만 곡면의 모듈리 공간의 호몰로지에 의해 인덱스화된 스트링 토폴로지 연산을 복원한다.
• 구성은 히르미티안 메트릭의 선택에 대해 호모토피 불변성을 유지하므로 기하학적 불변성을 보장한다.
• 구성은 축소된 리본 그래프 $\tilde{\gamma}$ 에서 유도된 스트링 토폴로지 연산과 가환함을 보이며, $H_*(L_*(\Omega^*M)[n])$ 과 $H^*(\mathcal{L}M)^{\otimes n}$ 을 연결하는 가환 다이어그램으로 보여진다.
• 캘라비-야우 다양체 $X$ 의 B-모델에 대해, 구성은 허드지 호몰로지 $H^{-\ast}(X, \Omega^\ast(X))$ 위에 모듈리 공간 체인의 명시적 작용을 제공하며, 이는 확장된 변형 공간 $\oplus H^i(X, \wedge^j TX)$ 와 쌍대이다. 또한 이는 분할함수를 모듈리 공간의 기본 체인 위의 적분으로 기하학적으로 실현한다.