[논문 리뷰] Logarithmic Chow theory

Lawrence Jack Barrott|arXiv (Cornell University)|2018. 10. 08.

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

한 줄 요약

이 논문은 유한형(fs) 로그 스킴에 대한 정제된 로그 카우 초이 이론을 소개하며, 로그 평탄하고 로그 매끄러운 사상 하에서의 푸시포워드, 풀백, 지신 맵을 포함하는 이중 이론을 확장한다. 주요 기여는 국소적으로 자유로운 로그 구조를 활용하고 로그 완전 이상 이론을 통해 지신 맵을 구성함으로써, 비매끄러운 스킴에 대해서도 잘 정의된 이중 이론과 푸앵카르에 이중성이 존재함을 보여준다.

ABSTRACT

We describe a refined Chow theory for log schemes extending the theory of b-Chow suggested Holmes Pixton and Schmidt based off of a definition of Shokurov. This produces a dimension graded family of Abelian groups supporting a push-forward and pull-back along proper and log flat morphisms respectively, together with a bivariant theory satisfying Poincare Duality. In the final section we relate this construction to the construction of the log normal cone by Leo Herr.

연구 동기 및 목표

• 고전적 카우 이론을 로그 스킴으로 확장하기 위해, 적절한 사상 하에서 푸시포워드와 풀백을 지원하는 이중 이론을 구축하는 것.
• 기저 스킴이 매끄럽지 않더라도, 국소적으로 자유로운 로그 스킴 간의 로그 사상에 대해 지신 풀백 맵을 정의하는 것.
• 기존의 b-카우 이론의 한계를 극복하기 위해 로그 설정에서 작업함으로써, 로그 블로업을 통한 특이점의 해소가 더 취급하기 쉬운 점을 활용하는 것.
• 새로운 이론이 [Her19]에서 제시된 로그 정규 콘 구조와의 관계를 규명하고, 호환성과 기본 클래스의 기하학적 해석을 제공하는 것.
• 로그 모듈리 문제에서의 가상 기본 클래스를 위한 프레임워크를 제공하며, 로그 블로업에서의 호환성과 가상 사이클 행동을 유지하는 것.

제안 방법

• 유한형 $ \operatorname{Spec}k $-위의 fs 로그 스킴의 범주에서 차원에 따라 분할된 함수 $ A_*^{lat} $ 를 정의하여 고전적 카우 군을 일반화한다.
• 적절한 로그 사상과 로그 평탄한 사상 하에서의 푸시포워드와 풀백을 정의하며, 차원 등급을 유지한다.
• 기본 스킴이 $ \operatorname{Spec}k $ 위에서 로그 매끄럽고, 상대 차원이 $ d $ 인 로그 사상에 대해 지신 풀백 $ f^! $ 를 정의한다.
• 로그 완전 이상 이론을 사용하여 $ X \to \mathcal{A}_{X/Y} $ 를 정의하고, 이를 엄격한 사상과 조합함으로써 $ A_*^{lat}(X \to Y) $ 에서 헤르-지신 풀백을 정의한다.
• 로그 모듈리 스택에 이론을 적용하여, 지신 맵을 통한 로그 블로업에서의 가상 기본 클래스의 유지가 가능함을 보여준다.
• 기본 클래스가 호환되는 조건이 만족될 경우, 로그 정규 콘 $ \mathcal{C}^{\ell}_{X/Y} $ 에서의 기본 클래스가 자연스럽게 존재함을 증명한다.

실험 결과

연구 질문

• RQ1 기저 스킴이 매끄럽지 않더라도, 푸시포워드, 풀백, 지신 맵을 지원하는 fs 로그 스킴에 대한 이중 카우 이론을 구성할 수 있는가?
• RQ2 특히 로그 구조가 국소적으로 자유로울 경우, 이상 이론을 통해 로그 설정에서 지신 맵을 어떻게 정의할 수 있는가?
• RQ3 새로운 로그 카우 이론과 [Her19]에서 제시된 로그 정규 콘 구조 간의 관계는 무엇인가?
• RQ4 로그 모듈리 문제에서의 가상 기본 클래스는 로그 블로업에서 호환성과 관련이 있는가? 이는 새로운 이론으로서 어떻게 기록될 수 있는가?
• RQ5 이 이론을 사용하여 [Ran19a]에서 제시된 가상 사이클 호환성 결과를 더 넓은 범위의 로그 스킴로 확장할 수 있는가?

주요 결과

• 유한형 $ \operatorname{Spec}k $-위의 fs 로그 스킴에 대해 이중 로그 카우 이론 $ A_*^{lat} $ 가 구성되었으며, 적절한 사상 하에서 푸시포워드와 풀백을 지원한다.
• 기본 스킴이 $ \operatorname{Spec}k $ 위에서 로그 매끄럽고 상대 차원이 $ d $ 인 로그 사상에 대해 지신 풀백 $ f^! $ 가 정의되었으며, 기대되는 함수적 성질을 만족한다.
• 이론은 푸앵카르에 이중성을 만족하며, 고전적 매끄러운 카우 이론의 이중성 개념을 로그 설정으로 일반화한다.
• 기본 클래스가 호환되는 조건이 만족될 경우, 로그 정규 콘 $ \mathcal{C}^{\ell}_{X/Y} $ 에서의 기본 클래스가 자연스럽게 존재함을 보여주며, [Her19]에서 제기된 질문을 해결한다.
• 로그 완전 이상 이론을 통해 구성된 지신 맵은 추가적인 로그 블로업에서도 안정적이며, 로그 모듈리 문제에서의 호환성을 보장한다.
• 국소적으로 자유로운 로그 스택의 가상 기본 클래스는 로그 블로업에서 유지되며, 이는 [Ran19a]의 결과와 유사한 호환성 결과를 로그 설정에서 확인한다.