[논문 리뷰] Localizing Virtual Cycles by Cosections

Young‐Hoon Kiem, Jun Li|arXiv (Cornell University)|2010. 07. 19.

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

한 줄 요약

이 논문은 대체로 가역성의 장애층에 대한 코세크션을 사용하여 대수기하학에서 가상 순환의 새로운 국소화 기법을 제안한다. 국소화된 고스킨 맵을 구성함으로써, 저자들은 가상 순환이 코세크션이 전사가 아닐 때의 분열 위치로 국소화됨을 보이며, 이는 헬로모르픽 2형식에 대해 '영' 사상으로 표현되는 경우에만 존재하는 국소화된 가상 순환을 정의할 수 있게 한다. 이는 표면의 골모-바이트 인버티언트에 대한 결과를 일반화하고 재확인한다.

ABSTRACT

We show that a cosection of the obstruction sheaf of a perfect obstruction theory localizes the virtual cycle to the non-surjective locus of the cosection. We give algebraic constructions of localized Gysin maps and localized virtual cycles. Various applications of these constructions are discussed.

연구 동기 및 목표

• 안정 매핑의 모듈리 공간 및 기타 기하학적 불변량에서 가상 순환을 국소화하는 새로운 방법을 개발하기 위해.
• 특히 헬로모르픽 2형식이 존재할 경우 기존 기법이 실패할 때 가상 순환을 계산하는 데 도전하는 문제를 다루기 위해.
• 표면의 헬로모르픽 2형식이 존재하는 경우 리-파커의 골모-바이트 인버티언트 국소화 결과를 일반화하기 위해.
• 코세크션 국소화를 통해 칼라비-야우 3차원 다양체와 하이르베르트 스킴에 적용 가능한 감소된 가상 기본류를 정의하기 위해.

제안 방법

• 전사성의 위치 외부에서 정의된 메로모르픽 코세크션 $ \rho $ 를 가진 벡터 번들의 국소화된 고스킨 맵 $ s_{E,\rho}^{!} $ 를 구성하기 위해.
• 여기서 $ {\cal M}(\sigma) $ 는 코세크션 $ \sigma $ 의 전사가 아닌 위치이며, $ E(\rho) = E|_{{\cal M}(\sigma)} \cup \ker(\rho) $ 를 정의하기 위해.
• 내재적 정규 콘은 코세크션의 균근 콘 스택에 포함됨을 증명함으로써 국소화된 가상 순환의 구성이 가능해지게 하기 위해.
• 국소화된 고스킨 맵을 사용하여 국소화된 가상 순환 $ [{\cal M}]^{\mathrm{vir}}_{\mathrm{loc}} \in A_*{\cal M}(\sigma) $ 를 정의하기 위해.
• 포함사상 $ \iota: {\cal M}(\sigma) \to {\cal M} $ 를 통해 국소화된 고스킨 맵과 표준 고스킨 맵 사이의 호환성을 확립하기 위해.
• 영점 단면의 횡단적 편향을 사용하여 국소화된 고스킨 맵의 해석적 정의를 제시하고, 사이클에서 호모로지 클래스로의 비교를 통해 대수적 정의와의 동치성을 증명하기 위해.

실험 결과

연구 질문

• RQ1 장애층에 코세크션이 존재할 경우, 모듈리 공간의 가상 순환이 부분 다양체로 국소화될 수 있는가?
• RQ2 메로모르픽 코세크션이 있는 벡터 번들의 국소화된 고스킨 맵을 어떻게 정의할 수 있는가?
• RQ3 국소화된 가상 순환과 배경 공간의 원래 가상 순환 사이의 관계는 무엇인가?
• RQ4 이 기법을 사용하여 리-파커의 표면의 골모-바이트 인버티언트에 대한 알려진 국소화 결과를 복원하거나 일반화할 수 있는가?
• RQ5 코세크션이 정칙이자 전사일 경우, 이 구성이 감소된 가상 기본류를 도출하는가?

주요 결과

• 가상 순환 $ [{\cal M}]^{\mathrm{vir}} $ 는 코세크션 $ \sigma $ 가 전사가 아닐 때의 위치 $ {\cal M}(\sigma) $ 로 국소화되며, 이는 국소화된 가상 순환 $ [{\cal M}]^{\mathrm{vir}}_{\mathrm{loc}} \in A_*{\cal M}(\sigma) $ 를 통해 이루어진다.
• 국소화된 가상 순환은 $ [{\cal M}]^{\mathrm{vir}} = \iota_*[ {\cal M}]^{\mathrm{vir}}_{\mathrm{loc}} $ 를 만족한다. 여기서 $ \iota: {\cal M}(\sigma) \to {\cal M} $ 는 포함사상이다.
• 헬로모르픽 2형식 $ \theta $ 를 가진 스무스 준사영 다양체 $ X $ 에 대해, $ \overline{\cal M}_{g,n}(X,\beta) $ 의 가상 기본류는 $ \beta $ 가 $ \theta $-영 안정 매핑으로 표현될 경우에만 존재한다.
• 코세크션이 정칙이자 전사일 경우, 이 구성은 감소된 가상 기본류를 도출하며, 오쿠노코프-판다리파ande의 감소된 클래스 구성 방법을 일반화한다.
• 국소화된 고스킨 맵은 표준 고스킨 맵과 호환된다: $ \iota_* \circ s_{E,\sigma}^! = s_E^! \circ \tilde{\iota}_* $.
• 횡단적 편향을 사용한 국소화된 고스킨 맵의 해석적 정의가 구성되었으며, 사이클에서 호모로지 클래스로의 비교를 통해 대수적 정의와 일치함을 보였다.