[논문 리뷰] On subvarieties with nef normal bundle

Chung-Ching Lau|arXiv (Cornell University)|2016. 09. 25.

Advanced Topology and Set Theory인용 수 1

한 줄 요약

이 논문은 노멀 번들의 네파성(nefness)을 가지는 부분다양체의 일반화로 '네파성 부분다양체(nef subscheme)'의 개념을 도입하고, 이에 대해 흑효성(pseudoeffective) 및 큰(big) 분할선수(divisor)가 그 부분다양체로의 제한에서도 그 성질을 유지함을 증명한다. 이는 앰플리튜드와 네파성의 전이성(transitivity)을 증명하고, 네파성 부분다양체의 투사에 의한 순환류의 이미지들로 생성된 약한 이동 가능성(cone)을 정의하며, Totaro의 q-암플리티드 이론을 활용하여 Demailly-Peternell-Schneider의 결과를 고차원 코드레인지(subschemes)로 확장한다.

ABSTRACT

The goal of this work is to study positivity of subvarieties with nef normal bundle in the sense of intersection theory. After Ottem's work on ample subschemes, we introduce the notion of a nef subscheme, which generalizes the notion of a subvariety with nef normal bundle. We show that restriction of a pseudoeffective (resp. big) divisor to a nef subvariety is pseudoeffective (resp. big). We also show that ampleness and nefness are transitive properties. We define the weakly movable cone as the cone generated by the pushforward of cycle classes of nef subvarieties via proper surjective maps. This cone contains the movable cone and shares similar intersection-theoretic properties with it, thanks to the aforementioned properties of nef subvarieties. On the other hand, we prove that if $Y\subset X$ is an ample subscheme of codimension $r$ and $D|_Y$ is $q$-ample, then $D$ is $(q+r)$-ample. This is analogous to a result proved by Demailly-Peternell-Schneider. We use the theory of $q$-ample divisors, as developed by Totaro, throughout the paper.

연구 동기 및 목표

• 노멀 번들의 네파성(nefness)을 가지는 부분다양체를 일반화하기 위해 '네파성 부분다양체(nef subscheme)'의 개념을 도입한다.
• 네파성 부분다양체로의 제한에 대해 흑효성(pseudoeffective) 및 큰(big) 분할선수(divisor)의 성질이 어떻게 행동하는지 조사한다.
• 부분다양체의 맥락에서 앰플리튜드와 네파성의 전이성(transitivity)을 확립한다.
• 네파성 부분다양체의 순환류의 투사 이미지들로 생성된 약한 이동 가능성(cone)을 정의하고 이를 연구한다.
• Totaro의 q-암플리티드 분할선수 이론을 활용하여 Demailly-Peternell-Schneider의 q-암플리티드 결과를 고차원 코드레인지의 부분다양체로 확장한다.

제안 방법

• 네파성 부분다양체의 개념을 도입하여, 노멀 번들의 네파성(nefness)을 가지는 부분다양체의 일반화로 삼는다.
• 교차 이론 기법을 사용하여, 네파성 부분다양체로의 흑효성 및 큰 분할선수의 제한을 분석한다.
• 순환류와 적절한 전순사 사상의 분석을 통해 앰플리튜드와 네파성의 전이성을 증명한다.
• 약한 이동 가능성(cone)을, 적절한 전순사 사상에 의한 네파성 부분다양체의 순환류의 이미지들로 생성된 영역의 폐쇄로 정의한다.
• Totaro의 q-암플리티드 분할선수 이론을 적용하여, 만약 $ D|_Y $ 가 $ r $-코드레인지의 앰플리튜드 부분다양체 $ Y \subset X $ 에서 q-암플리티드이면, $ D $ 는 $ (q+r) $-암플리티드임을 증명한다.
• 네파성 노멀 번들을 가지는 부분다양체의 맥락에서 흑효성 및 큰 분할선수의 성질을 활용하여 교차 이론적 결과를 도출한다.

실험 결과

연구 질문

• RQ1 네파성 부분다양체의 개념은 어떤 방식으로 노멀 번들의 네파성(nefness)을 가지는 부분다양체를 일반화하는가?
• RQ2 네파성 부분다양체로의 제한에서 분할선수의 흑효성 및 큰 성질은 어떻게 변화하는가?
• RQ3 네파성 노말 번들을 가지는 부분다양체의 맥락에서 앰플리튜드 또는 네파성은 전이성(transitivity)을 가지는가?
• RQ4 약한 이동 가능성(cone)은 이동 가능성(cone)과 어떻게 관련되어 있으며, 네파성 부분다양체로부터 어떤 교차 이론적 성질을 물려받는가?
• RQ5 특히 고차원 코드레인지에서, 분할선수의 q-암플리티드 성질은 부분다양체에서 전체 다양체로 얼마나 잘 올라가는가?

주요 결과

• 네파성 부분다양체로의 흑효성 분할선수의 제한은 여전히 흑효성이다.
• 네파성 부분다양체로의 큰 분할선수의 제한은 여전히 크다.
• 네파성 노말 번들을 가지는 부분다양체에 대해 앰플리튜드와 네파성은 전이성 성질을 가진다.
• 네파성 부분다양체의 순환류의 투사 이미지들로 생성된 약한 이동 가능성(cone)은 이동 가능성(cone)을 포함하며, 유사한 교차 이론적 성질을 공유한다.
• 만약 $ Y \subset X $ 가 코드레인지 $ r $ 의 앰플리튜드 부분다양체이고 $ D|_Y $ 가 q-암플리티드이면, $ D $ 는 $ (q+r) $-암플리티드이다.
• Totaro가 개발한 q-암플리티드 분할선수 이론이, 부분다양체에서 전체 다양체로의 앰플리튜드 성질을 올리는 데 핵심적인 기술적 프레임워크를 제공한다.