[논문 리뷰] Hurwitz-Hodge Integrals, the E6 and D4 root systems, and the Crepant Resolution Conjecture

Jim Bryan, Amin Gholampour|ArXiv.org|2007. 08. 30.

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

한 줄 요약

이 논문은 모노드로미 군이 A₄ 및 ℤ₂×ℤ₂인 ℙ¹에 대한 degree-4 쌍대 덮개의 모듈리 공간 위에서 허리츠-호지 적분에 대한 생성함수를 계산하며, 이를 E₆ 및 D₄ 루트 체계의 양의 루트에 대한 삼각함수 합으로 표현한다. 주요 결과로는 이러한 적분과 [ℂ³/A₄] 및 [ℂ³/(ℤ₂×ℤ₂)]의 오르비포인트의 성분이 0인 골모브-위트젠 퍼텐셜 사이의 직접적 연결을 증명함으로써, 가상 국소화 및 메이크레이 대응 기법을 통해 이 경우에 대한 크렙란트 해소 추측을 증명한다.

ABSTRACT

Let G be the group A_4 or Z_2xZ_2. We compute the integral of λ_g on the Hurwitz locus H_G\subset M_g of curves admitting a degree 4 cover of P^1 having monodromy group G. We compute the generating functions for these integrals and write them as a trigonometric expression summed over the positive roots of the E_6 and D_4 root systems respectively. As an application, we prove the Crepant Resolution Conjecture for the orbifolds [C^3/A_4] and [C^3/(Z_2xZ_2)].

연구 동기 및 목표

• 모노드로미 군 G = A₄ 또는 ℤ₂×ℤ₂인 degree-4 쌍대 덮개의 모듈리 공간에서 허리츠-호지 적분에 대한 생성함수를 계산한다.
• 메이크레이 대응을 통해 E₆ 및 D₄ 루트 체계의 기하학과 이러한 적분을 연결한다.
• 오르비포인트 [ℂ³/G]의 성분이 0인 골모브-위트젠 퍼텐셜의 비고전적 부분과 G-허리츠-호지 적분의 생성함수 사이의 정확한 일치를 확립한다.
• 가상 국소화 및 메이크레이 대응 기법을 사용하여 오르비포인트 [ℂ³/A₄] 및 [ℂ³/(ℤ₂×ℤ₂)]에 대한 크렙란트 해소 추측을 증명한다.

제안 방법

• 고전적 메이크레이 대응을 사용하여 A₄ 및 ℤ₂×ℤ₂의 이중 덮개를 E₆ 및 D₄ 딘킨 도표와 연관시킨다.
• 공轭류 데이터, 표현의 특징, G의 SO(3)에서의 3차원 표현을 사용하여 수정된 표기 테이블 행렬 Lᵣⁱ를 정의한다.
• 생성함수 F_G(x₁,x₂,x₃)를 R⁺의 양의 루트를 따라 합하여 표현하며, 변수 xᵢ의 선형 조합의 삼각함수와 표현 이론적 계수를 포함한다.
• BG 위의 날카로운 안정 사상의 모듈리 공간에 가상 국소화를 적용하여 가상 정규 벡터장(bundle)을 −R•π∗f∗V로 계산한다.
• 가상 정규 벡터장과 호지 벡터장 사이의 관계를, 일반적인 degree-4 덮개의 기저 구조층의 편제로 하는 K-이론 계산을 통해 연결한다.
• 가상 정규 벡터장의 총 체르누 클래스가 호지 벡터장의 체르누 클래스와 일치한다는 사실을 이용하여 불변량의 등식을 증명한다.

실험 결과

연구 질문

• RQ1 G = A₄ 및 ℤ₂×ℤ₂에 대해 G-허리츠-호지 적분을 루트 체계 자료로 어떻게 표현할 수 있는가?
• RQ2 G-허리츠-호지 적분의 생성함수와 오르비포인트 [ℂ³/G]의 성분이 0인 골모브-위트젠 퍼텐셜 사이의 정확한 관계는 무엇인가?
• RQ3 E₆ 및 D₄ 루트 체계는 이 맥락에서 A₄ 및 ℤ₂×ℤ₂의 표현 이론적 구조를 어느 정도로 캡슐화하는가?
• RQ4 이 틀을 사용하여 오르비포인트 [ℂ³/A₄] 및 [ℂ³/(ℤ₂×ℤ₂)]에 대한 크렙란트 해소 추측을 검증할 수 있는가?
• RQ5 등급 부여된 골모브-위트젠 이론에서의 가상 국소화 기법은 오르비포인트 불변량과 곡선의 모듈리 공간 위의 호지 적분을 어떻게 연결하는가?

주요 결과

• G = A₄에 대해 생성함수 F_G(x₁,x₂,x₃)는 E₆의 양의 루트를 따라 합하여 표현되며, xᵢ의 선형 조합의 삼각함수와 표현 이론적 계수를 포함한다.
• G = ℤ₂×ℤ₂에 대해 생성함수 F_G(x₁,x₂,x₃)는 D₄의 양의 루트를 따라 합하여 명시적으로 계산되며, 유사한 삼각함수적 구조를 가진다.
• 오르비포인트 [ℂ³/G]의 성분이 0인 골모브-위트젠 퍼텐셜의 비고전적 부분은 G-허리츠-호지 적분의 생성함수와 일치한다.
• BG 위의 날카로운 안정 사상의 모듈리 공간의 가상 정규 벡터장은 일반적인 degree-4 덮개를 따라 편제한 계산을 통해 K-이론에서 호지 벡터장의 쌍대와 동형임을 보였다.
• 이 대응을 통해 G-허리츠-로컬라이제이션의 각 성분에서 λ_g의 적분이 계산되었으며, 그 결과는 오르비포인트 골모브-위트젠 불변량과 일치한다.
• 가상 국소화 및 루트 체계 자료를 통해 생성함수의 등식을 확립함으로써, [ℂ³/A₄] 및 [ℂ³/(ℤ₂×ℤ₂)]에 대한 크렙란트 해소 추측이 증명되었다.