Showing 1–17 of 17 results for author: Choi, S R

On existence of bounded relative-global complements for Fano fibrations

Authors: Sung Rak Choi, Chuyu Zhou

Abstract: For Fano fibrations with $ε$-lc singularities of a fixed dimension, we show the existence of bounded relative-global complements. If the base of the fibration is of dimension one, we even show the existence of bounded relative-global klt complements. For Fano fibrations with $ε$-lc singularities of a fixed dimension, we show the existence of bounded relative-global complements. If the base of the fibration is of dimension one, we even show the existence of bounded relative-global klt complements. △ Less

Submitted 19 February, 2024; originally announced February 2024.

Comments: 15 pages

Adjoint asymptotic multiplier ideal sheaves

Authors: Sung Rak Choi, Sungwook Jang, Donghyeon Kim

Abstract: In this paper, we initiate the study of a triple $(X,Δ,D)$ which consists of a pair $(X,Δ)$ and a polarizing pseudoeffective divisor $D$. The adjoint asymptotic multiplier ideal sheaf $\mathcal{J}(X,Δ;\lVert D \rVert)$ associated to the triple gives a simultaneous generalization of the multiplier ideal sheaf $\mathcal{J}(D)$ and asymptotic multiplier ideal sheaf $\mathcal{J}(\lVert D \rVert)$. We… ▽ More In this paper, we initiate the study of a triple $(X,Δ,D)$ which consists of a pair $(X,Δ)$ and a polarizing pseudoeffective divisor $D$. The adjoint asymptotic multiplier ideal sheaf $\mathcal{J}(X,Δ;\lVert D \rVert)$ associated to the triple gives a simultaneous generalization of the multiplier ideal sheaf $\mathcal{J}(D)$ and asymptotic multiplier ideal sheaf $\mathcal{J}(\lVert D \rVert)$. We describe the closed set defined by the ideal sheaf $\mathcal{J}(X,Δ;\lVert D \rVert)$ in terms of the minimal model program. We also characterize the case where $\mathcal{J}(X,Δ;\lVert D \rVert)=\mathcal{O}_X$. Lastly, we also prove a Nadel type vanishing theorem of cohomology using $\mathcal{J}(X,Δ;\lVert D \rVert)$. △ Less

Submitted 3 June, 2024; v1 submitted 13 November, 2023; originally announced November 2023.

ACC of plc thresholds

Authors: Sung Rak Choi, Sungwook Jang

Abstract: In this paper, we define potential log canonical threshold and prove that the set of those thresholds satisfies the ascending chain condition (ACC). We also consider collections of sequences of Fano type varieties and we study their basic properties including boundedness. In this paper, we define potential log canonical threshold and prove that the set of those thresholds satisfies the ascending chain condition (ACC). We also consider collections of sequences of Fano type varieties and we study their basic properties including boundedness. △ Less

Submitted 18 August, 2023; v1 submitted 22 September, 2022; originally announced September 2022.

On subadditivity of Okounkov bodies for algebraic fiber spaces

Authors: Sung Rak Choi, **hyung Park

Abstract: The purpose of this paper is to establish a subadditivity theorem of Okounkov bodies for algebraic fiber spaces. As applications, we obtain a product formula of the restricted canonical volumes for algebraic fiber spaces and a sufficient condition for an algebraic fiber space to be birationally isotrivial in terms of Okounkov bodies when a general fiber is of general type. Furthermore, we also pro… ▽ More The purpose of this paper is to establish a subadditivity theorem of Okounkov bodies for algebraic fiber spaces. As applications, we obtain a product formula of the restricted canonical volumes for algebraic fiber spaces and a sufficient condition for an algebraic fiber space to be birationally isotrivial in terms of Okounkov bodies when a general fiber is of general type. Furthermore, we also prove the subadditivity of the numerical Iitaka dimensions for algebraic fiber spaces, and this confirms some numerical variants of the Iitaka conjecture. We hope that our results would provide a new approach toward the Iitaka conjecture. △ Less

Submitted 2 November, 2021; originally announced November 2021.

Comparing numerical Iitaka dimensions again

Authors: Sung Rak Choi, **hyung Park

Abstract: To seek for the useful numerical analogues to the Iitaka dimension, various numerical Iitaka dimensions have been defined from a number of different perspectives. It has been accepted that all the known numerical Iitaka dimensions coincide with each other until the recent discovery of a counterexample constructed by Lesieutre. In this paper, we prove that many of them still coincide with the numer… ▽ More To seek for the useful numerical analogues to the Iitaka dimension, various numerical Iitaka dimensions have been defined from a number of different perspectives. It has been accepted that all the known numerical Iitaka dimensions coincide with each other until the recent discovery of a counterexample constructed by Lesieutre. In this paper, we prove that many of them still coincide with the numerical Iitaka dimension introduced by Boucksom-Demailly-Păun-Peternell. On the other hand, we show that some other numerical Iitaka dimensions introduced by Nakayama and Lehmann can be arbitrarily larger than the rest of numerical Iitaka dimensions. We also study some properties of abundant divisors. △ Less

Submitted 1 November, 2021; originally announced November 2021.

Comments: 22 pages, comments welcome

On a generalized Batyrev's cone conjecture

Authors: Sung Rak Choi, Yoshinori Gongyo

Abstract: We discuss some variants of cone theorem for movable curves in any codimensions. We discuss some variants of cone theorem for movable curves in any codimensions. △ Less

Submitted 25 February, 2020; originally announced February 2020.

Comments: 16pages, 1 figure

MSC Class: 14E30

Local numerical equivalences and Okounkov bodies in higher dimensions

Authors: Sung Rak Choi, **hyung Park, Joonyeong Won

Abstract: We continue to explore the numerical nature of the Okounkov bodies focusing on the local behaviors near given points. More precisely, we show that the set of Okounkov bodies of a pseudoeffective divisor with respect to admissible flags centered at a fixed point determines the local numerical equivalence class of divisors which is defined in terms of refined divisorial Zariski decompositions. Our r… ▽ More We continue to explore the numerical nature of the Okounkov bodies focusing on the local behaviors near given points. More precisely, we show that the set of Okounkov bodies of a pseudoeffective divisor with respect to admissible flags centered at a fixed point determines the local numerical equivalence class of divisors which is defined in terms of refined divisorial Zariski decompositions. Our results extend Roé's work on surfaces to higher dimensional varieties although our proof is essentially different in nature. △ Less

Submitted 7 August, 2020; v1 submitted 7 August, 2018; originally announced August 2018.

Comments: 20 pages

A product formula for volumes of divisors via Okounkov bodies

Authors: Sung Rak Choi, Seung-Jo Jung, **hyung Park, Joonyeong Won

Abstract: We generalize Kawamata's product formula for volumes of canonical divisors to arbitrary divisors using Okounkov bodies We generalize Kawamata's product formula for volumes of canonical divisors to arbitrary divisors using Okounkov bodies △ Less

Submitted 25 August, 2019; v1 submitted 14 June, 2018; originally announced June 2018.

Comments: 13 pages. Final version

Okounkov bodies associated to abundant divisors and Iitaka fibrations

Authors: Sung Rak Choi, **hyung Park, Joonyeong Won

Abstract: The aim of this paper is to study the Okounkov bodies associated to abundant divisors. As a main result, we prove that the valuative Okounkov bodies of an abundant divisor encode all the numerical properties. We apply this result to recover the asymptotic base loci of an abundant divisor from the valuative Okounkov bodies. We also give a criterion of when the valuative and limiting Okounkov bodies… ▽ More The aim of this paper is to study the Okounkov bodies associated to abundant divisors. As a main result, we prove that the valuative Okounkov bodies of an abundant divisor encode all the numerical properties. We apply this result to recover the asymptotic base loci of an abundant divisor from the valuative Okounkov bodies. We also give a criterion of when the valuative and limiting Okounkov bodies of an abundant divisor coincide by comparing their Euclidean volumes. To obtain these results, we prove some variants of Fujita's approximations for Okounkov bodies using Iitaka fibrations. △ Less

Submitted 1 November, 2021; v1 submitted 16 November, 2017; originally announced November 2017.

Comments: 28 pages, comments welcome, we have clarified the issue on numerical Iitaka dimensions

Okounkov bodies associated to pseudoeffective divisors II

Authors: Sung Rak Choi, **hyung Park, Joonyeong Won

Abstract: We first prove some basic properties of Okounkov bodies, and give a characterization of Nakayama and positive volume subvarieties of a pseudoeffective divisor in terms of Okounkov bodies. Next, we show that each valuative and limiting Okounkov bodies of a pseudoeffective divisor which admits the birational good Zariski decomposition is a rational polytope with respect to some admissible flag. This… ▽ More We first prove some basic properties of Okounkov bodies, and give a characterization of Nakayama and positive volume subvarieties of a pseudoeffective divisor in terms of Okounkov bodies. Next, we show that each valuative and limiting Okounkov bodies of a pseudoeffective divisor which admits the birational good Zariski decomposition is a rational polytope with respect to some admissible flag. This is an extension of the result of Anderson-Küronya-Lozovanu about the rational polyhedrality of Okounkov bodies of big divisors with finitely generated section rings. △ Less

Submitted 24 April, 2017; v1 submitted 31 July, 2016; originally announced August 2016.

Comments: 14 pages, deleted previous Section 5 and fixed several gaps in the previous version. to appear in Taiwanese J. Math. (special issue for the proceedings of the conference Algebraic Geometry in East Asia 2016)

Okounkov bodies and Zariski decompositions on surfaces

Authors: Sung Rak Choi, **hyung Park, Joonyeong Won

Abstract: The purpose of this paper is to investigate the close relation between Okounkov bodies and Zariski decompositions of pseudoeffective divisors on smooth projective surfaces. Firstly, we completely determine the limiting Okounkov bodies on such surfaces, and give applications to Nakayama constants and Seshadri constants. Secondly, we study how the shapes of Okounkov bodies change as we vary the divi… ▽ More The purpose of this paper is to investigate the close relation between Okounkov bodies and Zariski decompositions of pseudoeffective divisors on smooth projective surfaces. Firstly, we completely determine the limiting Okounkov bodies on such surfaces, and give applications to Nakayama constants and Seshadri constants. Secondly, we study how the shapes of Okounkov bodies change as we vary the divisors in the big cone. △ Less

Submitted 24 April, 2017; v1 submitted 2 March, 2016; originally announced March 2016.

Comments: 16 pages, Changed Section 5 and corrected typos, to appear in Bull. Korean. Math. Soc. (special volume for Magadan Conference)

Okounkov bodies associated to pseudoeffective divisors

Authors: Sung Rak Choi, Yoonsuk Hyun, **hyung Park, Joonyeong Won

Abstract: An Okounkov body is a convex subset in Euclidean space associated to a big divisor on a smooth projective variety with respect to an admissible flag. In this paper, we introduce two convex bodies associated to pseudoeffective divisors, called the valuative Okounkov bodies and the limiting Okounkov bodies, and show that these convex bodies reflect the asymptotic properties of pseudoeffective diviso… ▽ More An Okounkov body is a convex subset in Euclidean space associated to a big divisor on a smooth projective variety with respect to an admissible flag. In this paper, we introduce two convex bodies associated to pseudoeffective divisors, called the valuative Okounkov bodies and the limiting Okounkov bodies, and show that these convex bodies reflect the asymptotic properties of pseudoeffective divisors as in the case with big divisors. Our results extend the works of Lazarsfeld-Mustaţă and Kaveh-Khovanskii. For this purpose, we define and study special subvarieties, called the Nakayama subvarieties and the positive volume subvarieties, associated to pseudoeffective divisors. △ Less

Submitted 4 February, 2018; v1 submitted 17 August, 2015; originally announced August 2015.

Comments: 24 pages. Final version. To appear in J. London Math. Soc

Asymptotic base loci via Okounkov bodies

Authors: Sung Rak Choi, Yoonsuk Hyun, **hyung Park, Joonyeong Won

Abstract: An Okounkov body is a convex subset of Euclidean space associated to a divisor on a smooth projective variety with respect to an admissible flag. In this paper, we recover the asymptotic base loci from the Okounkov bodies by studying various asymptotic invariants such as the asymptotic valuations and the moving Seshadri constants. Consequently, we obtain the nefness and ampleness criteria of divis… ▽ More An Okounkov body is a convex subset of Euclidean space associated to a divisor on a smooth projective variety with respect to an admissible flag. In this paper, we recover the asymptotic base loci from the Okounkov bodies by studying various asymptotic invariants such as the asymptotic valuations and the moving Seshadri constants. Consequently, we obtain the nefness and ampleness criteria of divisors in terms of the Okounkov bodies. Furthermore, we compute the divisorial Zariski decomposition by the Okounkov bodies, and find upper and lower bounds for moving Seshadri constants given by the size of simplexes contained in the Okounkov bodies. △ Less

Submitted 16 November, 2017; v1 submitted 3 July, 2015; originally announced July 2015.

Comments: 17 pages. Final version

Journal ref: Adv. Math. 323 (2018), 784-810

Potentially non-klt locus and its applications

Authors: Sung Rak Choi, **hyung Park

Abstract: We introduce the notion of potentially klt pairs for normal projective varieties with pseudoeffective anticanonical divisor. The potentially non-klt locus is a subset of $X$ which is birationally transformed precisely into the non-klt locus on a $-K_X$-minimal model of $X$. We prove basic properties of potentially non-klt locus in comparison with those of classical non-klt locus. As applications,… ▽ More We introduce the notion of potentially klt pairs for normal projective varieties with pseudoeffective anticanonical divisor. The potentially non-klt locus is a subset of $X$ which is birationally transformed precisely into the non-klt locus on a $-K_X$-minimal model of $X$. We prove basic properties of potentially non-klt locus in comparison with those of classical non-klt locus. As applications, we give a new characterization of varieties of Fano type, and we also improve results on the rational connectedness of uniruled varieties with pseudoeffective anticanonical divisor. △ Less

Submitted 9 June, 2016; v1 submitted 27 December, 2014; originally announced December 2014.

Comments: 25 pages. We slightly modified the definitions of potentially klt pairs and potentially non-klt loci, and corrected a gap in the proof of Proposition 4.4

MSC Class: 14E30 (Primary); 14J17; 14M22; 14J45 (Secondary)

Factorization of anticanonical maps of Fano type varieties

Authors: Sung Rak Choi, DongSeon Hwang, **hyung Park

Abstract: The purpose of the present paper is to generalize Sakai's work on anticanonical models of rational surfaces to varieties of Fano type. We first prove a characterization of Fano type varieties using the singularities of anticanonical models. Secondly, we study the decomposition of the anticanonical map using the $K_X$-minimal model program. The purpose of the present paper is to generalize Sakai's work on anticanonical models of rational surfaces to varieties of Fano type. We first prove a characterization of Fano type varieties using the singularities of anticanonical models. Secondly, we study the decomposition of the anticanonical map using the $K_X$-minimal model program. △ Less

Submitted 27 December, 2014; v1 submitted 30 May, 2014; originally announced May 2014.

Comments: 19 pages. We have corrected typos and mistakes. This will appear in IMRN

MSC Class: 14J45; 14E30

On the dual of the mobile cone

Authors: Sung Rak Choi

Abstract: We prove that the cone of mobile divisors and the cone of curves birationally movable in codimension 1 are dual in the $(K+B)$-negative part for a klt pair $(X/Z,B)$. We also prove the structure theorem and the contraction theorem for the expanded cone of curves birationally movable in codimension 1. The duality of the cones gives a partial answer to the problem posed by Sam Payne. We prove that the cone of mobile divisors and the cone of curves birationally movable in codimension 1 are dual in the $(K+B)$-negative part for a klt pair $(X/Z,B)$. We also prove the structure theorem and the contraction theorem for the expanded cone of curves birationally movable in codimension 1. The duality of the cones gives a partial answer to the problem posed by Sam Payne. △ Less

Submitted 8 May, 2011; v1 submitted 21 November, 2010; originally announced November 2010.

Comments: Clarified a few arguments

Geography of log models:theory and applications

Authors: Sung Rak Choi, Vyacheslav Shokurov

Abstract: An introduction to geography of log models with applications to positive cones of FT varieties and to geometry of minimal models and Mori fibrations. An introduction to geography of log models with applications to positive cones of FT varieties and to geometry of minimal models and Mori fibrations. △ Less

Submitted 16 May, 2010; v1 submitted 1 September, 2009; originally announced September 2009.

Comments: 69 pages. Typos are corrected. Sections 6 and 7 are modified

MSC Class: 14E30