[논문 리뷰] On the chiral ring of Calabi-Yau hypersurfaces in toric varieties

Anvar R. Mavlyutov|ArXiv.org|2000. 10. 31.

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

한 줄 요약

이 논문은 토릭 다양체 내의 칼라비-야우 초표면에 대한 편재환의 완전한 대수적 기술을 제공한다. 특히 3차원 경우에 대해 다루며, 잭비안 링과 잔여 사상으로 다항식 및 비다항식 부분을 정의하고, 토릭 기하학과 지신 사상(기하학적 코hom로지의 쿠퍼 곱을 계산하는 데 사용)을 통해 명시적인 쿠퍼 곱의 구조를 유도한다. 이는 반대칭 초표면의 양자 코hom로지 링의 완전한 계산으로 끝난다.

ABSTRACT

We study the B-model chiral ring of Calabi-Yau hypersurfaces in Batyrev's mirror construction. The main result is an explicit description of a subring of the chiral ring of semiample regular (transversal to torus orbits) Calabi-Yau hypersurfaces. This subring includes the marginal operators and contains all information about the correlation functions used by physicists. Computation of the chiral ring passes through a description of cohomology of semiample hypersurfaces. Here, we develop the techniques for calculating of the cohomology of resolutions.

연구 동기 및 목표

• 완전 단순 토릭 다양체 내의 준스무스 초표면에 대해 $\oplus_p H^p(X, \wedge^p \mathcal{T}_X)$의 편재환을 완전히 기술하기.
• 편재환을 다항식 부분과 비다항식 부분으로 분해하며, 후자는 잭비안 링의 몫환에서 유래한다.
• 특히 칼라비-야우 경우에서, 반대칭 초표면의 정규 초표면에 대해 중간 코hom로지와 편재환의 정확한 대수적 기술을 확립하기.
• 토릭 기하학, 지신 사상, 그리고 팬에서 유래한 조합론적 자료를 사용하여 편재환의 곱의 구조를 계산하기.

제안 방법

• 오르비폭에 대해 자리지의 $p$-번째 외적 파워 $\wedge^p \mathcal{T}_X$ 를 도입하고, 잭비안 링 $R(f)_{*\beta}$ 에서 $H^*(X, \wedge^* \mathcal{T}_X)$ 로의 링 준동형을 구성한다.
• 다항식 부분을 $R_1(f)_{*\beta}$ 의 상으로 정의하며, 칼라비-야우 경우에 단사로 매핑된다.
• 몫환 $R^\sigma(f)$ 에서 $H^*(X, \wedge^* \mathcal{T}_X)$ 로의 모듈러 맵을 구성하여 비다항식 부분을 유도하며, 다항식 부분과 호환된다.
• 지신 호모로지와 투영 공식을 사용하여 코hom로지 내 쿠퍼 곱을 계산하며, 특히 $H^{d-1}(X, \wedge^{d-1} \mathcal{T}_X)$ 에서 수행된다.
• 반대칭 정규 초표면의 코hom로지를 토릭 부분과 잔여 부분으로 분해하여 직접 합 분해를 보여준다.
• 새로운 링 $R_1^\sigma(f)$ 를 사용하여 크고 네프 정규 초표면의 중간 코hom로지를 기술하고, 전체 곱의 구조 계산을 가능하게 한다.

실험 결과

연구 질문

• RQ1 토릭 다양체 내 칼라비-야우 초표면에 대해 편재환 $\oplus_p H^p(X, \wedge^p \mathcal{T}_X)$ 을 어떻게 완전히 기술할 수 있는가?
• RQ2 편재환의 비다항식 부분의 대수적 구조는 무엇이며, 다항식 부분과 어떻게 관련되어 있는가?
• RQ3 쿠퍼 곱은 어떻게 토릭 및 잔여 코hom로지 성분에서 유래하는가?
• RQ4 팬의 조합론적 자료를 기반으로 반대칭 초표면의 편재환에 대한 명시적 곱의 구조는 무엇인가?
• RQ5 고차 곱이 사라지거나 단순화되는 조건은 무엇이며, 특히 최소 칼라비-야우 경우에서 어떻게 되는가?

주요 결과

• 3차원 칼라비-야우 초표면의 편재환은 다항식 부분 $R_1(f)_{*\beta}$ 와 $R^\sigma(f)$ 에서 유래한 비다항식 부분을 통해 완전히 기술되며, 전체 곱의 구조가 계산되었다.
• 반대칭 정규 초표면의 경우, 편재환은 중간 코hom로지와 동형이며, $\gamma_A$, $\gamma^i_A$, $\gamma^{i}_{AB}$ 를 포함한 쿠퍼 곱을 사용하여 명시적으로 곱의 구조가 계산되었다.
• $H^{d-1}(X, \wedge^{d-1} \mathcal{T}_X)$ 내에서 쿠퍼 곱 $\gamma^i_A \cup \gamma^i_B$ 는 $\frac{\mathrm{mult}(\sigma_k + \sigma_{k+1}) \gamma_{\mu^{-1}(ABG^\sigma(f))}}{\mathrm{mult}(\sigma_k)\mathrm{mult}(\sigma_{k+1})}$ 로 주어지며, 피라미드의 다중성에 명시적인 의존성이 있다.
• $\rho_i = \rho_{l_k}$ 가 $\Sigma_X$ 에 속하지 않을 경우, 삼중 곱 $\gamma^i_A \cup \gamma^i_B \cup \gamma^i_C$ 는 $\gamma_{\mu^{-1}(ABCH^\sigma(f)G^\sigma(f))}$ 에 비례하며, 피라미드의 다중성에 따라 계수에 의존한다.
• 모든 2차원 피라미드의 다중성이 1일 경우, 삼중 곱 $\gamma^i_A \cup \gamma^i_B \cup \gamma^i_C$ 는 0이 되며, 이는 바티레프의 구성에서 최소 칼라비-야우 초표면에 대해 성립한다.
• 곱의 구조는 $\cup[\omega_1]: H^{d-1}(X, \mathcal{O}_X) \to H^{d-1}(X, \Omega^{d-1}_X)$ 의 동형과 호환되며, 양자 쿠퍼링의 명시적 계산을 가능하게 한다.