[논문 리뷰] Constructions of nontautological classes on moduli spaces of curves

T.M. Graber, Rahul Pandharipande|ArXiv.org|2001. 04. 04.

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

한 줄 요약

이 논문은 곡선의 모듈리 공간에서 타우토로지적이지 않은 명시적 대수적 사이클을 구성하며, 기껏해야 홀수 코homology와 경계 스트라타 간의 상호작용을 활용한다. 접합 사상에 의한 코homology 클래스의 역상 분석과 쿠른트 분해 기준을 적용하여, 특정 구역, 특히 종수 2의 비유계 곡선 구역과 경계 디바이더 내의 대각선이 타우토로지적이지 않음을 증명함으로써, Q 위에서 타우토로지적이지 않은 클래스의 존재에 관해 오랫동안 남아 있던 질문을 해결한다.

ABSTRACT

We construct explicit examples of algebraic cycles in \bar M_g (for large g congruent to 2 mod 4) and in M_2,20 (no bar) which are not in the tautological ring. In an appendix we give a general method for computing intersections in the tautological ring.

연구 동기 및 목표

• 모듈리 공간에서 Q 위에 정의된 타우토로지적이지 않은 대수적 사이클이 존재하는지 여부를 밝히는 것.
• 대수적 사이클이 타우토로지 코homology 링 RH^{*}(M_{g,n})에 포함되지 않는 코homology 이미지를 가질 수 있는지 여부를 확인하는 것.
• 비콤팩트 공간 M_{g,n}에서 타우토로지적이지 않은 클래스의 존재를 조사하는 것.
• 그러한 사이클의 명시적 구성 제공을 통해 추상적 존재 증명을 넘어서는 것.

제안 방법

• 쿠른트 분해 기반 기준 사용: 만약 어떤 코homology 클래스의 역상이 모듈리 공간의 곱으로부터 타우토로지적이지 않다면, 원래 클래스는 타우토로지적이지 않다.
• 경계 디바이더에 있는 클래스들을 연결하기 위해 접합 사상 ι: M_{g₁,n₁∪{*}} × M_{g₂,n₂∪{•}} → M_{g₁+g₂,n₁+n₂}를 적용한다.
• 피카르트와 겸즐러의 결과에 따르면, M_{1,11}과 홀수이면서 충분히 큰 h에 대해 M_{h,1}에서의 홀수 코homology를 활용하여 타우토로지적이지 않은 행동을 탐지한다.
• M_{2,20}에서 10개의 서로소 전위션의 곱에 의해 유도되는 호환에 의해 유도되는 군 작용의 고정점 집합을 분석하여 코디멘션 1의 구역을 구성한다.
• 특히 ψ 및 κ 클래스에 대해, 스트라타 사상에 의한 타우토로지 클래스의 역상 공식을 사용하여, 역상에서의 타우토로지적 행동을 검증한다.
• 경계 포함에 의한 대각선 클래스의 푸시포워드를 적용하여, 고차원 모듈리 공간에서의 타우토로지적이지 않은 행동을 탐지한다.

실험 결과

연구 질문

• RQ1 Q 위에서 곡선의 모듈리 공간에 타우토로지적이지 않은 대수적 사이클이 존재하는가?
• RQ2 대수적 사이클이 타우토로지 코homology 링 RH^{*}(M_{g,n})에 포함되지 않는 코homology 이미지를 가질 수 있는가?
• RQ3 비콤팩트 모듈리 공간 M_{g,n}에서 타우토로지적이지 않은 클래스가 존재하는가?
• RQ4 M_{2,22}의 경계 디바이더 내에 있는 대각선 클래스는 타우토로지적이지 않은가?
• RQ5 단지 추상적 존재 증명을 넘어서, 타우토로지적이지 않은 사이클의 명시적 구성이 가능한가?

주요 결과

• 종수 2h의 곡선이 종수 h 곡선으로의 도수 2 사상이 존재하는 구역 Y의 클래스 [Y]는 충분히 큰 홀수 h에 대해 RH^{*}(M_{2h})에서 타우토로지적이지 않다.
• 20개의 점을 가진 비유계 곡선에 대한 호환에 의해 고정점 집합의 클래스 [Z]는 RH^{*}(M_{2,20})에 속하지 않으며, 이는 그 타우토로지적이지 않은 성질을 증명한다.
• 겟즐러의 M_{1,11}에 관한 결과를 분석함으로써, [Z]는 내부 공간 M_{2,20}에서도 여전히 타우토로지적이지 않다.
• M_{1,12}×M_{1,12}에서의 대각선 클래스 Δ를 경계 사상에 의해 M_{2,22}로 푸시포워드한 결과는 RH^{*}(M_{2,22})에서 타우토로지적이지 않다.
• 저자들은 Q 위에서 정의된 명시적이고 정수 계수를 가진 타우토로지적이지 않은 대수적 사이클을 제공하여, 오랫동안 남아 있던 이러한 사이클의 존재에 관한 질문에 답한다.
• 이 구성은 홀수 코homology가 존재할 경우 쿠른트 분해가 타우토로지적이지 않게 실패함에 기반하며, 이를 통해 구체적인 탐지 방법을 제공한다.