[논문 리뷰] The Analogue of the Dedekind Eta Function for CY Manifolds I

Jamey Bass, Andrey Todorov|ArXiv.org|2005. 03. 12.

Advanced Algebra and Geometry참고 문헌 6인용 수 5

한 줄 요약

이 논문은 캘라비-야우 (CY) 다양체에 대해 Kronecker 한계 공식의 첫 번째 국소적 유사체를 수립한다. (0,1)-형식 위의 라플라스 연산자의 정규화된 행렬식과 Weil-Petersson 계량, 캐논리컬 번들의 해석적 노름 사이의 관계를 규명한 공식을 유도한다. $ dd^c \log\det\Delta_{\tau,1} = -\operatorname{Im}(W.P.) $임을 보이며, 이는 행렬식이 노름이 판별자 위치와 연결된 선다발의 해석적 섹션임을 의미한다. 이는 타원 곡선의 경우 $ \det\Delta_{\tau,1} = (\operatorname{Im}\tau)^2 |\eta(\tau)|^4 $임을 일반화한다.

ABSTRACT

This is the first of a series of articles in which we are going to study the regularized determinants of the Laplacians of Calabi Yau metrics acting on (0,q) forms on the moduli space of CY manifolds with a fixed polarization. It is well known that in case of the elliptic curves the Kronecker limit formula gives an explicit formula for the regularized determinants of the flat metrics with fixed volume on the elliptic curves. The following formula holds in this case; the regularized determinant is the product of the imaginary part of the complex number in the Siegel upper half plane with the Dedekind eta function. It is well known fact that the Dedekind eta function in power 24 is a cusp automorphic form of weight 12 related to the discriminant of the elliptic curve. Thus we can view that the regularized determinant is the norm of a section of some power of the line bundle of the classes of cohomologies of (1,0) forms of the elliptic curves over its moduli space. Our purpose is to generalize this fact in the case of CY manifolds. In this paper we will establish the local analogue of the Kronecker limit formula for CY manifolds.

연구 동기 및 목표

• 타원 곡선에서의 Kronecker 한계 공식을 캘라비-야우 다양체로 일반화하여, 라플라스 연산자의 정규화된 행렬식과 Dedekind 에타 함수 사이의 관계를 확장한다.
• 고정된 극화를 가진 CY 다양체의 모듈리 공간 위에서 (0,1)-형식 위의 라플라스 연산자의 정규화된 행렬식에 대한 국소 공식을 수립한다.
• 행렬식의 로그 도함수가 Weil-Petersson 계량의 포텐셜임을 보이며, 해석적 및 기하학적 불변량을 연결한다.
• 모듈리 공간 위의 상대적 이중화층이 위상적으로 자명함을 증명하여, 행렬식이 선다발의 해석적 섹션을 정의함을 보인다.
• CY 메트릭의 정규화된 행렬식을 통한 CY 다양체의 대수적 판별자 연구에 기초를 마련한다.

제안 방법

• 라플라스 연산자의 (0,q)-형식 위의 zeta 함수에 대한 변분 공식을 사용하여, 정규화된 행렬식의 헤시안과 반해석적 도함수를 계산한다.
• 타원 곡선의 경우 $ \det\Delta_{\tau,1} = (\operatorname{Im}\tau)^2 |\eta(\tau)|^4 $로 주어지는 Kronecker 한계 공식을 모델로 삼고, 이를 고차원 CY 다양체로 일반화한다.
• 열린 핵자기 추적 공식을 사용하여 Weil-Petersson 계량을 곡률 형식의 허수부로 계산하고, $ \log\det\Delta_{\tau,q} $의 헤시안과 연결한다.
• 비틀림 극한과 추적 클래스 연산자를 활용하여 모듈리 공간 위에서 스펙트럼 zeta 함수와 그 도함수를 분석한다.
• $ \det\Delta_{\tau,n} = \det\Delta_{\tau,n-1}^{\prime\prime} $라는 사실을 활용하여 (0,n)-형식 위의 계산을 낮은 차수의 형식으로 환원하고, 쌍대성과 추적 항등식을 이용한다.
• $ n $차원 공간에서 선형 연산자에 대해 $ \operatorname{Tr}(A \wedge \mathrm{id}_{n-1}) = \operatorname{Tr}(A) $라는 항등식을 적용하여 번들 값 연산자의 추적을 계산한다.

실험 결과

연구 질문

• RQ1 타원 곡선에서의 Kronecker 한계 공식은 라플라스 연산자의 정규화된 행렬식을 기준으로 어떻게 캘라비-야우 다양체로 일반화될 수 있는가?
• RQ2 CY 다양체의 모듈리 공간에서 $ \log\det\Delta_{\tau,q} $의 헤시안은 기하학적 및 해석적 의미가 무엇인가?
• RQ3 (0,1)-형식 위의 라플라스 연산자의 정규화된 행렬식은 Weil-Petersson 계량과 캐논리컬 번들의 해석적 노름과 어떻게 관련이 있는가?
• RQ4 CY 다양체의 모듈리 공간 위의 상대적 이중화층은 위상적으로 자명한가? 이는 행렬식 함수에 대해 어떤 의미를 갖는가?
• RQ5 추적 항등식과 쌍대성을 활용하여 (0,n)-형식 위의 라플라스 연산자의 행렬식은 낮은 차수의 계산으로 환원될 수 있는가?

주요 결과

• $ \log\det\Delta_{\tau,1} $의 헤시안은 $ dd^c \log\det\Delta_{\tau,1} = -\operatorname{Im}(W.P.) $를 만족하며, 이는 행렬식이 Weil-Petersson 계량의 포텐셜임을 보여준다.
• 정규화된 행렬식 $ \det\Delta_{\tau,1} $는 $ (\operatorname{Im}\tau)^2 |\eta(\tau)|^4 $에 비례하며, 이는 타원 곡선의 경우를 CY 다양체로 일반화한 것이다.
• 상대적 이중화층 $ \pi_*\omega_{\mathcal{X}/\mathfrak{M}_L} $는 위상적으로 자명하다. 이는 $ dd^c \log\det\Delta_{\tau,1} $의 영향으로 인해 첫 번째 체른 클래스가 0이 되기 때문이다.
• $ n $차원 CY 다양체에서 $ (K_M)^{\otimes n} \cong \mathcal{O}_M $를 만족할 경우, 공식 $ dd^c \log\det\Delta_{\tau,n} = -\operatorname{Im}(W.P.) $가 성립하며, 이는 고차형식으로의 결과 확장을 보여준다.
• $ \wedge^n V $ 위에서 연산자 $ A \wedge \mathrm{id}_{n-1} $의 추적은 $ \operatorname{Tr}(A) $와 같으며, 이는 추적 항등식을 통해 $ \det\Delta_{\tau,n} $를 $ \det\Delta_{\tau,n-1}^{\prime\prime} $로 환원할 수 있음을 가능하게 한다.