[논문 리뷰] Combinatorial and algebro-geometric cohomology classes on the moduli spaces of curves

Enrico Arbarello, Maurizio Cornalba|arXiv (Cornell University)|1994. 06. 30.

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

한 줄 요약

이 논문은 곡선의 모듈리 공간 위의 조합적 사이클과代수기하학적 코homology 클래스 사이의 기하학적 대응을 수립하며, 조합적 사이클 $W_{m_*,n}$ 상에서 $\psi$-클래스의 교차수는 무덤-모리타-밀러 클래스의 명시적 다항식 $X_{m_*,n}$ 상에서의 교차수와 일치함을 보여준다. 핵심 결과는 Deligne-Mumford 컴actsification $\overline{\mathcal{M}}_{g,n}$ 위에서 조합적 사이클과 대수적 코homology 클래스 사이의 정확한 딜레아이티 관계이며, 이는 차원 1에서 및 첫 11개의 무게 사례에서 검증되었다.

ABSTRACT

Based on the combinatorial description of the moduli spaces of curves provided by Strebel differentials, Witten and Kontsevich have introduced combinatorial cohomology classes $W_{(m_0,m_1,m_2,\dots),n}$, and conjectured that these can be expressed in terms of Mumford-Morita-Miller classes. It is argued that this link should be provided by a theorem of Di Francesco, Itzykson and Zuber which relates the derivatives of the Witten-Kontsevich partition function with respect to one set of variables to the derivatives with respect to the other set of variables. Two things are shown. First of all that this works in complex codimension 1. Secondly that in all the cases when it has been possible to make the Di Francesco, Itzykson and Zuber correpondence explicit this translates into identities of the type $$ \int_{W_{(m_0,m_1,m_2,\dots),n}}\prodψ_i^{d_i} =\int_{\overline{\cal{M}}_{g,n}} X_{(m_0,m_1,m_2,\dots),n}\prodψ_i^{d_i} $$ where the $X_{(m_0,m_1,m_2,\dots),n}$ are explicit polynomials in the algebro-geometric classes and the $ψ_i$ are the Chern classes of the point bundles, for any choice of $d_1,\dots,d_n$.

연구 동기 및 목표

• 모듈리 공간 $\mathcal{M}_{g,n}$ 위의 조합적 사이클 $W_{m_*,n}$ 과 대수기하학적 코homology 클래스 사이의 기하학적 연결을 수립하기 위해.
• 조합적 사이클이 무덤-모리타-밀러 클래스로 표현될 수 있다는 윌튼의 추측을 검증하기 위해.
• 조합적 사이클 $W_{m_*,n}$ 상에서 $\psi_i$-클래스의 교차수와 $\overline{\mathcal{M}}_{g,n}$ 의 타우톨로지 링 내 명시적 다항식 $X_{m_*,n}$ 상에서의 교차수가 일치함을 보여주기 위해.
• 디 프라페스코-잇시코른-지버 대응을 컴팩티피케이션된 모듈리 공간 위의 기하학적 딜레아이티 관계로 확장하기 위해.

제안 방법

• 콘체비치의 매트릭스 모델을 사용하여 $\psi$-클래스 교차수의 생성함수 $F$ 를 헤르미트 매트릭스 적분의 渐近 전개와 연결한다.
• 디 프라페스코-잇시코른-지버 대응을 적용하여 $s$-변수에 대한 $\exp F$ 의 도함수를 $t$-변수에 대한 도함수의 조합으로 변환한다.
• 유도된 항등식을 기하학적으로 해석하여 조합적 사이클 $W_{m_*,n}$ 과 대수적 클래스 $X_{m_*,n}$ 사이의 코homological 딜레아이티 관계로 해석한다.
• 특이 곡선으로의 $\overline{\mathcal{M}}_{g,n}$ 의 분할과 쌍대 그래프 형식론을 사용하여 차원 1의 경우를 분석한다.
• $\psi_i$-클래스를 표시점에서의 코탄젠트 선다발의 체르누 클래스로 해석하여 교차수를 정의한다.
• 명시적인 다항식 $X_{m_*,n}$ 을 $\psi$-클래스 및 기타 타우톨로지 클래스의 형태로 기술하고, 무게 11까지 검증한다.

실험 결과

연구 질문

• RQ1 모듈리 공간 $\mathcal{M}_{g,n}$ 위의 조합적 사이클 $W_{m_*,n}$ 는 $\overline{\mathcal{M}}_{g,n}$ 의 대수적 코homology 클래스로 표현될 수 있는가?
• RQ2 디 프라페스코-잇시코른-지버 대응은 컴팩티피케이션된 모듈리 공간의 코homology 클래스의 형태로 기하학적으로 실현될 수 있는가?
• RQ3 조합적 사이클 $W_{m_*,n}$ 상에서의 교차수 $\int_{W_{m_*,n}} \prod \psi_i^{d_i}$ 는 명시적 다항식 $X_{m_*,n}$ 상에서의 $\int_{\overline{\mathcal{M}}_{g,n}} X_{m_*,n} \prod \psi_i^{d_i}$ 와 일치하는가?
• RQ4 조합적 사이클과 대수적 클래스 사이의 딜레아이티 관계는 차원 1을 초월하여 확장될 수 있는가?

주요 결과

• 조합적 사이클 $W_{m_*,n}$ 상에서의 교차수 $\langle \tau_{d_1} \dots \tau_{d_n} \rangle_{m_*}$ 는 $\overline{\mathcal{M}}_{g,n}$ 의 타우톨로지 링 내 명시적 대수적 클래스 $X_{m_*,n}$ 상에서의 교차수와 일치한다.
• 차원 1에서, 이 딜레아이티 관계가 성립하는 코homology 부분공간은 $n > 1$ 일 때 최대이며, 이는 딜레아이티 관계의 강도를 확인한다.
• 첫 11개의 무게 사례(생성함수 $F$ 의 차수로 정의됨)에서, 디 프라페스코-잇시코른-지버 대응은 정확한 코homological 항등식으로 번역된다.
• 생성함수 $F$ 는 $s$-와 $t$-도함수 사이의 대응을 코딩하는 편미분 방정식계를 만족하며, 이는 기하학적으로 코homological 항등식으로 실현된다.
• $\partial^3 F / \partial s_2^3$ 에 대해 명시적으로 검증하여, $t$-도함수와 $\psi$-클래스 항들을 포함한 복잡한 표현식을 도출하였다.
• 결과는 디 프라페스코-잇시코른-지버 대응이 $\overline{\mathcal{M}}_{g,n}$ 위의 조합적 클래스와 대수기하학적 클래스 사이의 깊은 기하학적 딜레아이티 관계를 뒷받침한다는 추측을 지지한다.