[논문 리뷰] A characterization of toric varieties in characteristic p

Piotr Achinger|arXiv (Cornell University)|2013. 03. 24.

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

한 줄 요약

이 논문은 정수형 대수적으로 닫힌 체에서 양의 특성을 가진 매끄럽고 사영인 대상이 토릭 다양체일 조건을 규명한다. 즉, 푸아소르 사상에 의한 모든 가역층의 푸시포워드가 가역층들의 직합으로 분해될 때이고, 그 증명은 코크스 링과 쿤츠의 기준을 사용하여, 푸아소르 토글 위에서의 평탄성은 코크스 링이 다항식 링임을 강제하며, 따라서 다양체가 토릭임을 보여준다. 이는 양의 특성에서 푸아소르 분할 행동을 통해 토릭 다양체를 특성화한다.

ABSTRACT

If $X$ is a smooth toric variety over an algebraically closed field of positive characteristic and $L$ is an invertible sheaf on $X$, it is known that $F_* L$, the push-forward of $L$ along the Frobenius morphism of $X$, is a direct sum of invertible sheaves. We show that this property characterizes smooth projective toric varieties.

연구 동기 및 목표

• 가환체의 양의 특성에서 매끄럽고 사영적인 토릭 다양체를 푸아소르 사상에 의한 가역층의 분할 행동을 통해 특성화하는 것.
• 매끄럽고 사영적인 다양체에서 모든 가역층에 대해 푸아소르 사상의 푸시포워드가 가역층들의 직합으로 분해될 조건이 토릭 다양체임을 증명하는 것.
• 코크스 링 접근법을 적용하고 쿤츠의 정규성 기준을 사용하여 특성 0에서의 기존 결과를 양의 특성으로 확장하는 것.
• 코크스 링 형식론에 의존함으로써, 일반화가 비사영 다양체로 확장되지 않는 한계를 명확히 하는 것.

제안 방법

• Picard 군이 자유 아벨 군이 되는 유한 에탈 커버를 고려하여, Picard 군이 자유 아벨 군인 경우로 귀납하는 것.
• X의 코크스 링 $ R $을 사용하며, 이는 Picard 군에 따라 분할된다. 모든 $ L $에 대해 $ F_*L $가 분해된다는 가정은 $ R $이 $ R^p $ 위에서 평탄하다는 것을 의미한다.
• 쿤츠의 기준 적용: $ R $이 $ R^p $ 위에서 평탄하면 $ R $은 정규적이며, 따라서 다항식 링이다.
• 레마 5를 사용하여, 차수 0에 체가 있고 최대 동차 이상이 주어진 정규적, 분할된 다항식 링과 동형임을 결론짓는 것.
• 코크스 링 형식론을 사용할 수 있도록, $ Y \to X $를 유한 에탈 커버로 구성하여, 그로 인한 당김 Picard 군이 자유가 되도록 하는 것.
• 토리에 대해 루나의 에탈 슬라이스 정리에 의해 정당화된 [KW11, 정리 1.5]를 양의 특성에서 적용하여 $ Y $가 토릭임을 결론짓고, 따라서 에탈 동형에 의해 $ X $도 토릭임을 유도한다.

실험 결과

연구 질문

• RQ1 모든 가역층 $ L $에 대해 $ F_*L $가 가역층들의 직합으로 분해되는 성질이, 양의 특성에서 매끄럽고 사영적인 토릭 다양체를 특성화하는가?
• RQ2 일般적으로 특성 0의 가정에 의존하는 코크스 링 접근법이, 양의 특성에서 토릭 다양체를 특성화하는 데 사용될 수 있는가?
• RQ3 푸아소르 사상이 양의 특성에서 토릭 다양체를 다른 매끄럽고 사영적인 다양체와 구별하는 데 어떤 역할을 하는가?
• RQ4 코크스 링 형식론에 의존함으로써, 이 특성화가 비사영 다양체로 얼마나 넓게 확장될 수 있는가?

주요 결과

• 대수적으로 닫힌 체에서 특성이 $ p > 0 $인 매끄럽고 사영인 다양체 $ X $는, 모든 가역층 $ L $에 대해 $ F_*L $가 가역층들의 직합으로 분해될 때이고, 그 조건이 토릭 다양체임을 보여준다.
• 푸아소르 푸시포워드 $ F_*\mathcal{O}_X(D) $는, $ D - \ell E $를 표현하는 계수 $ \{0,1,\ldots,\ell-1\} $를 가진 $ T $-불변의 분할수에 따라 다중도를 가진 가역층들의 직합으로 분해된다.
• 분해 가정에 의해 유도된 코크스 링 $ R $이 $ R^p $ 위에서 평탄하다는 사실은, 쿤츠의 기준에 의해 $ R $이 정규적이며, 따라서 다항식 링임을 의미한다.
• 코크스 링의 정규성은 토릭 다양체의 분류에 따라 $ X $가 토릭 다양체임을 강제한다.
• 이 증명은 $ X $의 사영성에 의존하며, [KW11]에서의 코크스 링 특성화는 사영성에 의존하고 일반적으로 온전한 다양체에서는 실패하므로, 사영성이 필수적이다.
• 코크스 링 형식론에 의존하므로, 이 결과는 비사영 다양체로 확장되지 않는다.