[논문 리뷰] The Index Bundle for a Family of Dirac-Ramond Operators

Christopher L Harris|arXiv (Cornell University)|2012. 02. 09.

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

한 줄 요약

이 논문은 콪한 스피너 다양체의 가족에 대해 디랙-라몽 연산자의 인덱스 번들을 연구하며, 이를 $ q $ 의 멱급수에 계수를 가진 편향된 디랙 연산자들의 형식적 합으로 간주한다. 카라누르 특성의 모듈라성과 자바-유사 형식을 이용하여, $ K(X)[[q]] $ 내에서 인덱스 번들의 명시적 공식을 유도하고, 1차 푸앵카르티에 클래스가 자명한 8차원 스트링 다양체의 경우 이 인덱스 번들을 $ L(E_8) $ 번들로 식별한다.

ABSTRACT

We study the index bundle of the Dirac-Ramond operator associated with a family $π: Z o X$ of compact spin manifolds. We view this operator as the formal twisted Dirac operator $\dd \otimes \bigotimes_{n=1}^{\infty}S_{q^n}TM_{\C}$ so that its index bundle is an element of $K(X)[[q]]$. When $p_1 (Z) = 0$, we derive some explicit formulas for the Chern character of this index bundle using its modular properties. We also use the modularity to identify our index bundle with an $L(E_8)$ bundle in a special case.

연구 동기 및 목표

• 가족적 콤팩트 스피너 다양체의 맥락에서 디랙-라몽 연산자의 인덱스 번들을 정의하고 연구하는 것.
• 인덱스 번들을 $ K(X)[[q]] $ 내에서 편향된 디랙 연산자 인덱스들의 형식적 합으로 표현하는 것.
• 모듈라 불변성과 자바-유사 형식을 이용하여 인덱스 번들의 명시적 카라누르 특성 공식을 도출하는 것.
• 1차 푸앵카르티에 클래스가 0인 8차원 스트링 다양체의 경우 인덱스 번들을 기본 표현을 가진 $ E_8 $ 루프 군과 관련된 $ L(E_8) $-번들과 식별하는 것.

제안 방법

• 디랙-라몽 연산자를 형식적 편향된 디랙 연산자 $ \not{\partial} \otimes \bigotimes_{n=1}^\infty S_{q^n} TM_\mathbb{C} $ 로 간주하여 $ K(X)[[q]] $ 내의 인덱스를 도출한다.
• 코homological 가족 인덱스 정리를 사용하여 $ \widehat{A} $-유형과 카라누르 특성을 통해 특성 클래스와 인덱스를 연결한다.
• 아이젠슈타인 급수 $ E_2, E_4, E_6 $ 와 자바-유사 형식의 모듈라 성질을 적용하여 인덱스 번들의 카라누르 특성에 대한 명시적 표현을 도출한다.
• 뉴턴 항등식을 사용하여 코homology 루트의 거듭제곱 합을 폴트리지 클래스로 표현함으로써 $ \operatorname{ch}(W_n) $ 를 계산한다.
• 생성 급수 $ \sum_{n=0}^\infty q^n W_n = \bigotimes_{j=1}^\infty S_{q^j} W_\mathbb{C} $ 를 사용하여 형식적 번들 계수를 정의한다.
• 1차 푸앵카르티에 클래스가 0일 때 알려진 이상성 상쇄 공식과 비교하여 일관성을 검증한다.

실험 결과

연구 질문

• RQ1 가족적 스피너 다양체 위의 디랙-라몽 연산자 인덱스 번들을 $ q $-adic 계수를 가진 $ K $-이론으로 체계적으로 기술할 수 있는가?
• RQ2 인덱스 번들의 카라누르 특성을 지배하는 모듈라 성질은 무엇이며, 이를 명시적 공식 유도에 어떻게 활용할 수 있는가?
• RQ3 디랙-라몽 연산자 인덱스 번들이 언제 $ E_8 $ 루프 군의 기본 표현과 관련된 $ L(E_8) $-번들과 일치하는가?
• RQ4 인덱스 성분 $ \operatorname{ch}_0 $, $ \operatorname{ch}_2 $ 등은 비자명한 $ p_1 $-클래스 하에서 어떻게 변환되며, 어떤 관계가 도출되는가?

주요 결과

• 1차 푸앵카르티에 클래스가 0일 경우, 디랙-라몽 연산자 인덱스 번들의 카라누르 특성은 $ E_4(q) $, $ E_6(q) $, 그리고 폴트리지 클래스를 포함하는 모듈라 표현으로 주어진다.
• 인덱스 번들은 $ \operatorname{ch}_0(\operatorname{Ind} \not{\partial}^{V_1}) = 248 \operatorname{ch}_0(\operatorname{Ind} \not{\partial}) $ 과 $ \operatorname{ch}_2(\operatorname{Ind} \not{\partial}^{V_1}) = -496 \operatorname{ch}_2(\operatorname{Ind} \not{\partial}) $ 를 만족하며, 알려진 이상성 상쇄 공식과 일치한다.
• 차원이 16 미만인 8차원 스트링 다양체의 경우, $ (K(X) \otimes \mathbb{Q})[[q]] $ 내에서 인덱스 번들은 $ E_8 $ 루프 군의 기본 표현과 관련된 $ L(E_8) $-번들과 동치이다.
• $ \operatorname{ch}_0 $ 과 $ \operatorname{ch}_2 $ 의 명시적 공식은 각각 섬유 위의 적분으로 표현된다: $ \int_Y \frac{-31p_2(V)}{180} $ 과 $ \int_Y \frac{-13p_1(V)p_2(V) + 62p_3(V)}{7560} $.
• 생성 급수 $ \bigotimes_{j=1}^\infty S_{q^j} W_\mathbb{C} $ 는 인덱스 번들을 형식적 편향된 디랙 연산자 인덱스의 합으로 표현할 수 있게 하여 모듈라 분석을 가능하게 한다.
• 카라누르 특성 전개는 $ \widehat{a}(V,\tau) e^{G_2(\tau)p_1(V)} $ 가 $ \exp\left( \sum_{n=1}^\infty \frac{2}{(2n)!} G_{2n}(\tau) \operatorname{Tr}(y^{2n}) \right) $ 를 통해 인덱스를 코딩함을 드러내며, 이를 아이젠슈타인 급수와 뉴턴 항등식을 사용하여 재작성한다.