[논문 리뷰] A model for complex analytic equivariant elliptic cohomology from quantum field theory

Daniel Berwick-Evans, Arnav Tripathy|arXiv (Cornell University)|2018. 05. 10.

Homotopy and Cohomology in Algebraic Topology참고 문헌 68인용 수 5

한 줄 요약

이 논문은 배경 게이지 장과 자유 페르미온을 갖는 2차원 $\nabla=(0,1)$ 초대칭 양자장 이론을 사용하여 복소해석적 등변 타원형 코homology에 대한 기하 모델을 구축한다. 자유 페르미온 이론의 분할 함수를 표현에서의 등변 타원형 오일러 클래스와 동일시하고, $U(1)$-게이지 장의 모듈리 스택이 보편 이중 타원곡선의 복소해석적 구조와 호환되는 곱셈을 지닌다는 것을 보여, 물리적으로 타원곡선의 덧셈 법칙을 실현한다.

ABSTRACT

We construct a global geometric model for complex analytic equivariant elliptic cohomology for all compact Lie groups. Cocycles are specified by functions on the space of fields of the two-dimensional sigma model with background gauge fields and $\mathcal{N} = (0, 1)$ supersymmetry. We also consider a theory of free fermions valued in a representation whose partition function is a section of a determinant line bundle. We identify this section with a cocycle representative of the (twisted) equivariant elliptic Euler class of the representation. Finally, we show that the moduli stack of $U(1)$-gauge fields carries a multiplication compatible with the complex analytic group structure on the universal (dual) elliptic curve, with the Euler class providing a choice of coordinate. This provides a physical manifestation of the elliptic group law central to the homotopy-theoretic construction of elliptic cohomology.

연구 동기 및 목표

• 모든 컴acts Lie 군에 대해 복소해석적 등변 타원형 코homology에 대한 전역 기하 모델을 구축하기.
• 표현에 값이 부여된 자유 페르미온 이론의 분할 함수를 등변 타원형 오일러 클래스의 코chain 대표로 해석하기.
• 보편 (이중) 타원곡선의 복소해석적 구조와 호환되는 $U(1)$-게이지 장의 모듈리 스택에서 타원곡선 덧셈 법칙의 물리적 실현 제공하기.
• 양자장 이론을 통한 호모토피 이론적 타원형 코homology 구성의 물리적 표현 수립하기.

제안 방법

• 등변 타원형 코hom로의 코chain은 $\nabla=(0,1)$ 초대칭과 배경 게이지 장을 갖는 2차원 시그마 모델의 장 공간 위의 함수로 정의된다.
• 표현에 값이 부여된 자유 페르미온 이론의 분할 함수는 결정선다발의 단면으로 식별되며, 이는 (완화된) 등변 타원형 오일러 클래스의 코chain을 나타낸다.
• $U(1)$-게이지 장의 모듈리 스택이 보편 (이중) 타원곡선의 복소해석적 군 법칙과 호환되는 곱셈 구조를 지닌다는 것이 입증된다.
• 복소해석성 조건은 $SL_2(\mathbb{Z})$-작용 하에서의 제약 맵과 리 대수 스케일링을 통해 도입되어, 타원곡선의 복소구조와의 호환성 보장한다.
• $\widehat{\rm Bun}_G(E)$의 모듈리 스택 위에 미분적 고리 대수의 층을 구성하며, 이는 왜곡된 섹터에서 정의되고, 불변성 및 복소해석성 조건을 만족한다.
• 건설 과정은 $\pi_0(G)$- 및 $SL_2(\mathbb{Z})$-등변성을 포함하며, $\beta$와 리 대수의 쌍대를 스케일링하여 변환 호환성 확보한다.

실험 결과

연구 질문

• RQ1 양자장 이론을 통해 어떻게 복소해석적 등변 타원형 코homology에 대한 기하 모델을 구축할 수 있는가?
• RQ2 표현에 값이 부여된 자유 페르미온 이론의 분할 함수는 등변 타원형 오일러 클래스의 코chain 대표로 해석될 수 있는가?
• RQ3 $U(1)$-게이지 장의 모듈리 스택은 보편 (이중) 타원곡선의 복소해석적 구조와 호환되는 곱셈을 지닐 수 있는가?
• RQ4 호모토피 이론적 타원형 코homology의 핵심인 타원곡선 덧셈 법칙은 이 틀에서 어떻게 물리적으로 실현되는가?

주요 결과

• 논문은 2차원 $\nabla=(0,1)$ 초대칭 양자장 이론을 사용하여 모든 컴acts Lie 군에 대해 복소해석적 등변 타원형 코homology에 대한 전역 기하 모델을 구축한다.
• 표현에 값이 부여된 자유 페르미온 이론의 분할 함수는 (완화된) 등변 타원형 오일러 클래스의 코chain을 나타낸다는 것이 입증된다.
• $U(1)$-게이지 장의 모듈리 스택은 보편 (이중) 타원곡선의 복소해석적 군 구조와 호환되는 곱셈을 지닌다.
• 오일러 클래스는 모듈리 스택 위의 좌표의 표준 선택을 제공하며, 물리적 맥락에서 타원곡선 덧셈 법칙을 실현한다.
• 건설 과정은 $SL_2(\mathbb{Z}) \times \pi_0(G)$-등변성을 만족하며, $\beta$와 리 대수의 쌍대를 스케일링하여 변환 호환성 확보된다.
• $\widehat{\rm Bun}_G(E)$ 위의 미분형식 층이 잘 정의된 $\mathcal{O}$-모듈로서, $G_0$-작용과 $SL_2(\mathbb{Z})$-작용 하에서 불변성 및 복소해석성 조건을 만족하는 단면을 가진다.