[논문 리뷰] Concave transforms of filtrations and rationality of Seshadri constants

Alex Küronya, Catriona Maclean외 1명|arXiv (Cornell University)|2019. 01. 02.

Algebraic Geometry and Number Theory참고 문헌 38인용 수 2

한 줄 요약

이 논문은 섹션 링 위의 필터링의 오목 변환과 추상적 순서 그룹의 뉴턴–오쿠누코프 체 사이의 연결고리를 설정하며, 오목 변환의 하위그래프가 자체적으로 뉴턴–오쿠누코프 체임을 보여준다. 이를 통해 Seshadri 상수의 유리성 기준을 증명한다: 만약 블로우업에서의 특정 선다발의 부피가 유리수이면(예를 들어 그 섹션 링이 유한 생성일 경우), Seshadri 상수는 유리수이다.

ABSTRACT

We show that the subgraph of the concave transform of a multiplicative filtration on a section ring is the Newton--Okounkov body of a certain semigroup, and if the filtration is induced by a divisorial valuation, then the associated graded algebra is the algebra of sections of a concrete line bundle in higher dimension. We use this description to give a rationality criterion for certain Seshadri constants. Along the way we introduce Newton--Okounkov bodies of abstract graded semigroups and determine conditions for their slices to be Newton--Okounkov bodies of subsemigroups.

연구 동기 및 목표

• Z^n의 부분세미군에 국한되지 않고, 추상적 순서 그룹의 취소 가능하고 토르션 프리 세미군으로 뉴턴–오쿠누코프 체를 일반화한다.
• 섹션 링 위의 필터링의 오목 변환의 하위그래프가 명시적인 세미군과 대수의 뉴턴–오쿠누코프 체임을 보이고, 특히 필터링이 분할가치화에서 유래할 경우를 포함하여 이를 증명한다.
• 블로우업 표면에서의 선다발 부피의 정수성 조건을 이용하여 Seshadri 상수의 유리성 기준을 수립한다.
• 일반적인 세미군 프레임워크 아래에서 필터링된 뉴턴–오쿠누코프 체의 처리를 통합하고, 새로운 기하학적 및 대수적 구성으로 기존 결과를 재현한다.
• 제한된 세미군을 통한 점근적으로 볼록한 세미군의 부피에 대한 정수적 공식을 제시하며, 문헌에서 이전에 알려진 결과를 일반화한다.

제안 방법

• Z^n의 부분세미군에서 일반화된 고전적 구성 방식을 바탕으로, 추상적 순서 그룹의 취소 가능하고 토르션 프리 세미군에 대한 뉴턴–오쿠누코프 체를 정의한다.
• 섹션 링 위의 필터링의 오목 변환을 정의하고, 그 하위그래프가 특정 세미군의 뉴턴–오쿠누코프 체임을 증명한다.
• 필터링이 분할가치화에서 유래할 경우, 관련된 순서화된 대수는 고차원에서의 구체적 선다발의 절단과 대응됨을 보인다.
• 푸비니 정리와 알려진 부피 공식을 사용하여 오목 변환의 적분을 블로우업 선다발의 부피를 통해 Seshadri 상수와 연결한다.
• [25]의 섹션 링의 유한 생성성에 관한 기준을 적용하여 부피의 정수성을 확보하고, 이로부터 Seshadri 상수의 유리성을 유도한다.
• 블로우업에서의 선다발이 크고 네프임을 보장할 수 있는 조건을 설정하여 섹션 링의 유한 생성성과 부피의 유리성을 보장한다.

실험 결과

연구 질문

• RQ1 Z^n에 임bedded되어 있지 않은 추상적 순서 그룹의 취소 가능하고 토르션 프리 세미군에 대해 뉴턴–오쿠누코프 체를 정의할 수 있는가?
• RQ2 섹션 링 위의 필터링의 오목 변환의 하위그래프는 명시적인 세미군의 뉴턴–오쿠누코프 체인가?
• RQ3 무엇이 조건이면 매끄러운 사영 표면에서의 선다발의 Seshadri 상수가 유리수인가?
• RQ4 오목 변환의 적분은 Seshadri 상수와 블로우업 선다발의 부피와 어떻게 관련되는가?
• RQ5 일부 블로우업에서의 선다발의 섹션 링의 유한 생성성으로부터 Seshadri 상수의 유리성을 유추할 수 있는가?

주요 결과

• 곱셈적 필터링의 오목 변환의 하위그래프는 명시적인 세미군의 뉴턴–오쿠누코프 체이며, 필터링이 분할가치화에서 유래할 경우 고차원에서의 구체적 선다발의 뉴턴–오쿠누코프 체에 대응된다.
• 매끄러운 사영 표면에서, 블로우업 $\widetilde{X}$ 위의 선다발 $\widetilde{L}$의 부피가 유리수이면(예를 들어 $R(\widetilde{X}, \widetilde{L})$가 유한 생성일 경우), Seshadri 상수 $\varepsilon(L;x)$는 유리수이다.
• 적분 $\iota(L;x) = \int_{\Delta_{Y_\bullet}(L)} \phi_{v_x}$ 는 $\iota(L;x) \geq \frac{\varepsilon(L;x)^{n+1}}{(n+1)! \cdot (L^n)}$ 를 만족하며, $\varepsilon(L;x) = \mu(L;x)$ 일 때 등호가 성립한다.
• 만약 $\varepsilon(L;x)$ 가 무리수이면, $\iota(L;x)$ 도 무리수이므로, $\iota(L;x)$ 가 유리수이면 $\varepsilon(L;x)$ 도 유리수임을 유추할 수 있다.
• 정수 $b$ 가 존재하여 $\varepsilon(L;x) < b < \varepsilon(L-K_X;x) - 2$ 를 만족하고 $\widetilde{L} - K_{\widetilde{X}}$ 가 크고 네프이면, $\varepsilon(L;x)$ 는 유리수이다.
• 특히 $\varepsilon(-K_X) \geq 3$ 이면 그러한 정수 $b$ 가 존재하므로, 블로우업에서의 음의 곡선에 대한 지식 없이도 $\varepsilon(L;x)$ 가 유리수임을 보장할 수 있다.