[논문 리뷰] Stringy Hodge numbers of varieties with Gorenstein canonical singularities

Victor V. Batyrev|arXiv (Cornell University)|1997. 11. 06.

Algebraic Geometry and Number Theory참고 문헌 19인용 수 146

한 줄 요약

이 논문은 최대한 Gorenstein 극한 특이성을 가진 대수다양체에 대해 스트링이론적 E-함수를 도입하여, 궤도 공간 위의 모티빅 적분 구성에 기반해 스트링이론적 호지 수를 정의한다. 주요 기여는 스트링이론적 호지 수가 특이성을 가진 칼라비-양 다양체에 대해서도 거울 대칭 관계 $ h^{p,q}_{\text{st}}(V) = h^{d-p,q}_{\text{st}}(V^*) $ 를 만족함을 수학적으로 엄밀하게 증명한 것이다.

ABSTRACT

We introduce the notion of stringy E-function for an arbitrary normal irreducible algebraic variety X with at worst log-terminal singularities. We prove some basic properties of stringy E-functions and compute them explicitly for arbitrary Q-Gorenstein toric varieties. Using stringy E-functions, we propose a general method to define stringy Hodge numbers for projective algebraic varieties with at worst Gorenstein canonical singularities. This allows us to formulate the topological mirror duality test for arbitrary Calabi-Yau varieties with canonical singularities. In Appendix we explain non-Archimedian integrals over spaces of arcs. We need these integrals for the proof of the main technical statement used in the definition of stringy Hodge numbers.

연구 동기 및 목표

• 표준 호지 수가 거울 대칭 대칭 관계를 만족하지 못하는 Gorenstein 극한 특이성을 가진 칼라비-양 다양체에 대해 스트링이론적 호지 수를 정의하기 위해.
• 특이성을 가진 칼라비-양 다양체에 대해 표준 호지 수가 거울 대칭 관계 $ h^{p,q}(V) = h^{d-p,q}(V^*) $ 를 만족하지 못하는 문제를 해결하기 위해.
• 새로운 불변량인 스트링이론적 E-함수를 도입하여, 특이성을 가진 칼라비-양 다양체로 상위 거울 대칭 테스트를 일반화하기 위해.
• 비아르키메데스 적분을 사용하여 스트링이론적 E-함수의 특이성 해소 방법에 대한 선택에 대해 독립성을 증명하기 위해.

제안 방법

• 궤도 공간 $ J_\fz(X) $ 위에서의 모티빅 적분을 통해 $ \bbQ(u,v) $ 에 대한 유리함수로 스트링이론적 E-함수 $ E_{\text{st}}(X; u, v) $ 를 도입한다.
• 정규 교차를 가진 분리자 $ D $ 에 대해, $ J_\fz(X) $ 의 실린더 위에서 함수 $ F_D $ 의 지수적 적분을 사용하여 스트링이론적 E-함수를 정의한다.
• 궤도 공간 위의 비아르키메데스 적분을 사용하여 분리자 성분들 沿해의 영차수에 따라 분할된 실린더 집합 $ U_{m_1,\dots,m_r}(X,D) $ 의 체적을 계산한다.
• 모든 해소에 대해 $ E_{\text{st}}(X; \tau\theta^{-1}, \tau^{-1}\theta^{-1}) $ 와 일치함을 보여, 적분 $ \text{Vol}_X(J_\fz(X)) $ 가 해소의 선택에 관계없이 독립적임을 증명한다.
• 두 개의 주어진 해소를 동시에 지배하는 공통 해소를 통해 스트링이론적 E-함수의 밀링 변환에 대한 불변성을 확립한다.
• 스트링이론적 E-함수 $ E_{\text{st}}(X; u, v) $ 가 다항식일 경우, 그 계수로부터 스트링이론적 호지 수 $ h^{p,q}_{\text{st}}(X) $ 를 유도한다.

실험 결과

연구 질문

• RQ1 표준 호지 수가 거울 대칭 대칭 관계를 만족하지 못하는 Gorenstein 극한 특이성을 가진 칼라비-양 다양체에 대해 상위 거울 대칭 테스트를 확장할 수 있는가?
• RQ2 특이성을 가진 칼라비-양 다양체에 대해 일반화된 호지 수를 정의할 수 있는 잘 정의된 불변량이 존재하는가? 이는 거울 대칭 관계 $ h^{p,q}_{\text{st}}(V) = h^{d-p,q}_{\text{st}}(V^*) $ 를 만족해야 한다.
• RQ3 주어진 특이 다양체에 대해 스트링이론적 E-함수가 다양한 해소에 대해 불변하는가?
• RQ4 궤도 공간 위의 모티빅 적분을 사용하여, 자명한 캐논리컬 클래스를 가진 특이 칼라비-양 다양체에 대해 정규 불변량을 정의할 수 있는가?
• RQ5 모든 정규 프로젝티브 다양체 중에서 최대한 Gorenstein 극한 특이성을 가진 경우에 대해 스트링이론적 E-함수는 계산 가능하고 잘 정의되는가?

주요 결과

• 모든 정규 프로젝티브 다양체 $ X $ 에 대해 최대한 Gorenstein 극한 특이성을 가진 경우, 스트링이론적 E-함수 $ E_{\text{st}}(X; u, v) $ 는 잘 정의되어 있고 해소의 선택에 관계없이 독립적이다.
• $ \bbQ $-Gorenstein 토릭 다양체의 경우, 스트링이론적 E-함수는 명시적으로 계산되며, 이는 구성의 구체적 실현을 제공한다.
• 스트링이론적 E-함수 $ E_{\text{st}}(X; u, v) $ 가 다항식일 경우, 그 계수는 스트링이론적 호지 수 $ h^{p,q}_{\text{st}}(X) $ 를 정의하며, 이는 거울 대칭 대칭 관계 $ h^{p,q}_{\text{st}}(V) = h^{d-p,q}_{\text{st}}(V^*) $ 를 만족한다.
• 예제 1.2에서 스트링이론적 호지 수 $ h^{2,2}_{\text{st}}(V) $ 는 1820 으로 계산되었으며, 이는 나이브 호지 수 $ h^{2,2}(V) = 1816 $ 과의 4의 오차를 수정한다.
• 자명한 캐논리컬 클래스를 가진 다양체에 대해 스트링이론적 E-함수는 밀링 변환에 대해 불변이며, 이는 이 설정에서 스트링이론적 호지 수가 밀링 불변량임을 의미한다.
• 비아르키메데스 적분을 통한 구성은 $ 분리자 모든 성분에 대해 a_j + 1 > 0 $ 이면, 적분 $ \text{Vol}_X(J_\fz(X)) $ 의 수렴성과 잘 정의됨을 보장한다.