[논문 리뷰] Abelian Hurwitz-Hodge integrals

Paul D. Johnson, Rahul Pandharipande외 1명|arXiv (Cornell University)|2008. 03. 04.

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

한 줄 요약

이 논문은 아벨 호모토프리 군을 가진 적절한 커버의 모듈리 공간 위에서 선형 호지 적분을 쐐기군 대수의 곱으로 표현하여 계산한다. 순환군에서 충실한 표현을 가지는 경우 결과는 이중 허위츠 수로 줄어들며, 자명한 군의 경우 에케달-란도-샤필로-바인슈타인 공식을 회복하여 단일 허위츠 수를 얻는다.

ABSTRACT

Hodge classes on the moduli space of admissible covers with monodromy group G are associated to irreducible representations of G. We evaluate all linear Hodge integrals over moduli spaces of admissible covers with abelian monodromy in terms of multiplication in an associated wreath group algebra. In case G is cyclic and the representation is faithful, the evaluation is in terms of double Hurwitz numbers. In case G is trivial, the formula specializes to the well-known result of Ekedahl-Lando-Shapiro-Vainshtein for linear Hodge integrals over the moduli space of curves in terms of single Hurwitz numbers.

연구 동기 및 목표

• 아벨 호모토프리 군을 가진 적절한 커버의 모듈리 공간 위에서 선형 호지 적분을 평가하는 것.
• 표현 이론과 안정된 사상 이론을 통해 호지 적분과 허위츠 수 사이의 연결 고리를 설정하는 것.
• 곡선의 모듈리 공간 위에서 선형 호지 적분에 대한 에케달-란도-샤필로-바인슈타인 공식을 아벨 커버의 경우로 일반화하는 것.
• 쐐기군 대수의 구조를 이용하여 호지 적분을 통일된 프레임워크로 계산하는 것.
• 불안정한 경우로의 계산을 확장하고, 차수 및 기수 조건을 통해 일관성을 검증하는 것.

제안 방법

• 안정된 사상 이론을 활용하여 적절한 커버의 모듈리 공간을 분류 스택 $\mathcal{B}G$ 로의 안정된 사상의 모듈리 공간으로 식별한다.
• 아벨 군 $G$ 의 기약 표현 $R$ 에 대해 호지 클래스 $\lambda_i^R$ 를 연결하여 $\overline{\mathcal{M}}_{g,\gamma}(\mathcal{B}G)$ 위의 벡터 복합체 $\mathbb{E}^R$ 를 형성한다.
• 국소화 기법을 적용하여 호지 클래스 $\lambda_i^R$ 와 $\bar{\psi}_j$ 클래스의 최상위 교차 수를 계산한다.
• 자기동형사상 군 보정을 사용하여 $K$-커버에서 $\Sigma_d$-커버로의 忽略 맵을 통해 계산을 허위츠 수로 환원한다.
• $G \wr \Sigma_d$ 의 쐐기곱의 구조를 이용하여 적분을 $G \wr \Sigma_d$ 의 군 대수 내의 곱으로 표현한다.
• 정리 3의 증명에서 두 맵 $\rho$ 와 $\rho'$ 간의 차수 및 기수 조건이 일관됨을 검증한다.

실험 결과

연구 질문

• RQ1 아벨 적절한 커버의 모듈리 공간 위에서 선형 호지 적분은 어떻게 군 대수의 구조로 표현될 수 있는가?
• RQ2 모노드로피 군이 순환군이고 표현이 충실한 경우, 호지 적분과 이중 허위츠 수 사이의 정확한 관계는 무엇인가?
• RQ3 자명한 군의 경우 공식은 어떻게 에케달-란도-샤필로-바인슈타인 결과로 줄어들며, 단일 허위츠 수를 회복하는가?
• RQ4 추가 레이블링 데이터가 있는지 없는지에 따라 허위츠 수를 연결하는 데 자동사상 군 보정은 어떤 역할을 하는가?
• RQ5 불안정한 호지 적분은 어떤 조건에서 나타나며, 공식에서 어떻게 일관되게 정의되는가?

주요 결과

• 아벨 군 $G$ 에 대해 $\overline{\mathcal{M}}_{g,\gamma}(\mathcal{B}G)$ 위에서의 선형 호지 적분은 쐐기군 대수 $G \wr \Sigma_d$ 의 곱으로 평가된다.
• $G = \mathbb{Z}_a$ 이고 충실한 표현을 가지는 경우, 호지 적분은 가중된 이중 허위츠 수 $H_{g,K}(\overline{\nu},\overline{\mu})$ 의 합으로 줄어든다.
• 군 $G$ 가 자명한 경우 공식은 에케달-란도-샤필로-바인슈타인 결과로 특수화되어 단일 허위츠 수를 회복한다.
• $\overline{\mathcal{M}}_{g,\iota \cup \kappa}(\mathcal{B}K)$ 에서 $\overline{\mathcal{M}}_{g,d/a + \ell(\mu)}$ 로의 忽略 맵 $\rho^\prime$ 의 차수는 $\rho$ 와 일치하여 계산의 일관성을 확보한다.
• $\sum \kappa_j - dx = 0$ 의 기수 조건은 두 맵 $\rho$ 와 $\rho^\prime$ 에서 동일하게 적용되며, 정리 3의 환원을 검증한다.
• 불안정한 적분, 예를 들어 $\int_{\overline{\mathcal{M}}_{0,(0)}(\mathcal{B}G)} \frac{\sum (-a)^i \lambda_i^R}{1 - x\bar{\psi}_1} = \frac{1}{|G|} \cdot \frac{1}{x^2}$ 는 일관되게 정의되며 공식에 포함된다.