[논문 리뷰] A case study of intersections on blowups of the moduli of curves

Samouil Molcho, Dhruv Ranganathan|arXiv (Cornell University)|2021. 06. 29.

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

한 줄 요약

이 논문은 로그 기하학, 풀턴의 블로업 공식, 조각별 다항식 연산자를 사용하여, 이중 램프리프 사이클의 가상의 엄격한 전환으로서 나타나는 다각형 접촉 사이클이 곡선의 모듈리 공간에서 타우토로지컬 임을 증명함으로써, 이 사이클들이 타우토로지컬 랭크에 속해 있음을 보여준다. 주요 결과는 이러한 사이클들이 타우토로지컬 랭크에 속해 있으며, 로그 기하학적 컴팩티피케이션을 통해 고차원 설정으로 펌프레-판다리파데 결과를 일반화한다.

ABSTRACT

We explain how logarithmic structures select principal components in an intersection of schemes. These manifest in Chow homology and can be understood using strict transforms under logarithmic blowups. Our motivation comes from Gromov--Witten theory. The extit{toric contact cycles} in the moduli space of curves parameterize curves that admit a map to a fixed toric variety with prescribed contact orders. We show that they are intersections of virtual strict transforms of double ramification cycles in blowups of the moduli space of curves. We supply a calculation scheme for the virtual strict transforms, and deduce that toric contact cycles lie in the tautological ring of the moduli space of curves. This is a higher dimensional analogue of a result of Faber--Pandharipande. The operational Chow rings of Artin fans play a basic role, and are shown to be isomorphic to rings of piecewise polynomials on associated cone complexes. The ingredients in our analysis are Fulton's blowup formula, Aluffi's formulas for Segre classes of monomial schemes, piecewise polynomials, and degeneration methods. A model calculation in toric intersection theory is treated without logarithmic methods and may be read independently.

연구 동기 및 목표

• 곡선의 모듈리 공간의 로그 컴팩티피케이션에서의 사이클의 교차 이론을 이해하기 위해.
• 로그 기하학적 그로모프-위튼 이론에서 난이도 있는 분해 및 곱 공식의 실패를 해결하기 위해, 컴팩티피케이션의 전체 역체계를 고려하기 위해.
• 로그 기하학적 그로모프-위튼 이론의 핵심 대상인 다각형 접촉 사이클이 곡선의 모듈리 공간의 차우 링에서 타우토로지컬 클래스임을 보여주기 위해.
• 블로업 공식, 세그레 클래스, 조각별 다항식을 사용하여 가상의 엄격한 전환을 체계적으로 계산하는 프레임워크를 개발하기 위해.

제안 방법

• 컴팩티피케이션을 블로업과 루트 스택의 역체계로 모델링하여 로그 기하학을 사용해 전체 기하적 구조를 포괄한다.
• 풀턴의 블로업 공식과 알루피의 단항식 스킴의 세그레 클래스 공식을 사용하여 가상의 엄격한 전환의 보정을 계산한다.
• 블로업의 상전이를 통해 클래스의 투영을 기술하기 위해 조각별 다항식 연산자를 적용하며, 특히 예외적 분리에서의 행동을 다룬다.
• 약한 인수분해 정리를 사용하여 부드러운 중심을 따라 블로업과 블로우다운의 순서로 서로 다른 컴팩티피케이션을 연결한다.
• 이중 램프리프 사이클의 스트라타를 위한 프로젝티브 번들의 모델을 구성하여 문제를 더 작은, 귀납적으로 해결 가능한 경우로 축소한다.
• 아르틴 팬의 운영 차우 링과 그에 대응하는 콧 복합체 위의 조각별 다항식의 링 사이의 동형을 활용하여 타우토로지컬 클래스를 분석한다.

실험 결과

연구 질문

• RQ1 로그 구조는 스킴의 교차에서 주요 성분을 어떻게 선택하며, 이는 차우 homology에 어떻게 나타나는가?
• RQ2 로그 모듈리 공간의 최소 모델에서 표준적인 교차 공식이 실패하는 이유는 무엇이며, 더 세밀한 컴팩티피케이션에서는 어떻게 복구할 수 있는가?
• RQ3 곡선의 모듈리 공간에서의 다각형 접촉 사이클은 타우토로지컬인가? 만약 그렇다면, 가상의 엄격한 전환 관점에서 기하학적 기원은 무엇인가?
• RQ4 블로업에 대한 이중 램프리프 사이클의 가상의 엄격한 전환은 알고리즘적으로 계산할 수 있으며, 타우토로지컬 랭크에 여전히 속하는가?
• RQ5 아르틴 팬의 운영 차우 링과 조각별 다항식은 로그 기하학적 모듈리 문제에서 타우토로지컬 클래스를 기술하는 데 어떤 역할을 하는가?

주요 결과

• 다각형 접촉 사이클이 곡선의 모듈리 공간의 타우토로지컬 랭크에 속해 있음이 입증되었으며, 펌프레-판다리파데의 결과를 로그 기하학적 그로모프-위튼 이론으로 일반화하였다.
• 블로업에 대한 이중 램프리프 사이클의 가상의 엄격한 전환은 타우토로지컬 클래스의 풀백과 군의 정상 뭉치의 채르근 루트로 생성된 부분환에 속한다.
• 가상의 엄격한 전환의 보정 클래스는 예외적 분리에 지지되어 있으며, 가상의 당김과 블로업을 따라 당김을 통해 계산된다.
• 아르틴 팬의 운영 차우 링은 그에 대응하는 콧 복합체 위의 조각별 다항식의 링과 동형이며, 이는 타우토로지컬 계산에 조합론적 도구를 제공한다.
• 논문에서 구성된 프로젝티브 번들의 모델은 타우토로지컬리티 문제를 이중 램프리프 사이클의 정점에서의 더 작은 경우로 축소할 수 있게 한다.
• 주요 결과는 약한 인수분해 정리와 프로젝티브 번들의 공식을 사용하여, 더 낮은 종수 또는 더 낮은 표시 수의 경우로 축소함으로써 귀납적으로 증명된다.