Showing 1–26 of 26 results for author: Gongyo, Y

On twisted Kawamata's semi-positivity and finite generation of generalized canonical rings

Authors: Yoshinori Gongyo, Shigeharu Takayama

Abstract: We give a twisted version of the Kawamata semi-positivity theorem by the $\mathbb{Q}$-line bundle with a vanishing Lelong number at every point. Moreover, we apply the result for the finite generation problem of canonical rings for Birkar's generalized pairs. We give a twisted version of the Kawamata semi-positivity theorem by the $\mathbb{Q}$-line bundle with a vanishing Lelong number at every point. Moreover, we apply the result for the finite generation problem of canonical rings for Birkar's generalized pairs. △ Less

Submitted 10 April, 2024; originally announced April 2024.

Comments: 22pages

MSC Class: 14D06; 14E30; 32J25

Effective non-vanishing and Mukai type conjecture

Authors: Yoshinori Gongyo

Abstract: We introduce some invariants of Fano varieties and propose a Mukai-type conjecture which characterizes the product of projective spaces. Moreover, we prove that the Ambro--Kawamata effective non-vanishing conjecture implies the Mukai-type conjecture. We introduce some invariants of Fano varieties and propose a Mukai-type conjecture which characterizes the product of projective spaces. Moreover, we prove that the Ambro--Kawamata effective non-vanishing conjecture implies the Mukai-type conjecture. △ Less

Submitted 28 June, 2023; v1 submitted 15 June, 2023; originally announced June 2023.

Comments: 9 pages, no figure, v2: fix some mistakes in the definitions and typos

MSC Class: Primary 14J45; Secondary 14E30

Generalized complexity of surfaces

Authors: Yoshinori Gongyo, Joaquín Moraga

Abstract: In this article, we introduce the generalized complexity of a generalized Calabi--Yau pair $(X,B,\textbf{M})$. This invariant compares the dimension of $X$ and Picard rank of $X$ with the sum of the coefficients of $B$ and $\textbf{M}$. It generalizes the complexity introduced by Shokurov. We show that a generalized log Calabi-Yau pair $(X,B,\textbf{M})$ of dimension $2$ with generalized complexit… ▽ More In this article, we introduce the generalized complexity of a generalized Calabi--Yau pair $(X,B,\textbf{M})$. This invariant compares the dimension of $X$ and Picard rank of $X$ with the sum of the coefficients of $B$ and $\textbf{M}$. It generalizes the complexity introduced by Shokurov. We show that a generalized log Calabi-Yau pair $(X,B,\textbf{M})$ of dimension $2$ with generalized complexity $0$ satisfies that $X$ is toric. This generalizes a result due to Brown, McKernan, Svaldi, and Zhong in the case of surfaces. Furthermore, we show that a generalized klt log Calabi-Yau surface $(X,\textbf{M})$ with generalized complexity $0$ satisfies that $X\simeq \mathbb{P}^2$ or $X\simeq \mathbb{P}^1\times \mathbb{P}^1$. Thus, this invariant interpolates between the characterization of toric varieties and the Kobayashi-Ochiai Theorem. As an application, we show that $3$-fold singularities with generalized complexity $0$ are toric. Furthermore, we show a local version of Kobayashi-Ochiai Theorem in dimension $3$. △ Less

Submitted 19 January, 2023; originally announced January 2023.

Comments: 27 pages

MSC Class: Primary 14E30; Secondary 14J32; 14B05

On generalized minimal log discrepancy

Authors: Weichung Chen, Yoshinori Gongyo, Yusuke Nakamura

Abstract: We discuss the ACC conjecture and the LSC conjecture for minimal log discrepancies of generalized pairs. We prove that some known results on these two conjectures for usual pairs are still valid for generalized pairs. We also discuss the theory of complements for generalized pairs. We discuss the ACC conjecture and the LSC conjecture for minimal log discrepancies of generalized pairs. We prove that some known results on these two conjectures for usual pairs are still valid for generalized pairs. We also discuss the theory of complements for generalized pairs. △ Less

Submitted 9 April, 2024; v1 submitted 17 December, 2021; originally announced December 2021.

Comments: 44 pages. To appear in J. Math. Soc. Japan

MSC Class: 14E30 (Primary); 14B05 (Secondary)

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

Kollár's injectivity theorem for globally $F$-regular varieties

Authors: Yoshinori Gongyo, Shunsuke Takagi

Abstract: We prove Kollár's injectivity theorem for globally $F$-regular varieties. We prove Kollár's injectivity theorem for globally $F$-regular varieties. △ Less

Submitted 21 February, 2018; originally announced February 2018.

Comments: 10 pages

MSC Class: 14F17; 13A35

Nef anti-canonical divisors and rationally connected fibrations

Authors: Sho Ejiri, Yoshinori Gongyo

Abstract: We study the Iitaka-Kodaira dimension of nef relative anti-canonical divisors. As a consequence, we prove that given a complex projective variety with klt singularities, if the anti-canonical divisor is nef, then the dimension of a general fibre of the maximal rationally connected fibration is at least the Iitaka-Kodaira dimension of the anti-canonical divisor. We study the Iitaka-Kodaira dimension of nef relative anti-canonical divisors. As a consequence, we prove that given a complex projective variety with klt singularities, if the anti-canonical divisor is nef, then the dimension of a general fibre of the maximal rationally connected fibration is at least the Iitaka-Kodaira dimension of the anti-canonical divisor. △ Less

Submitted 15 June, 2018; v1 submitted 11 February, 2018; originally announced February 2018.

Comments: 13 pages, v2: an error in Theorem 3.1 corrected

MSC Class: 14D06; 14M22

Journal ref: Compositio Math. 155 (2019) 1444-1456

Remarks on log Calabi--Yau structure of varieties admitting polarized endomorphism

Authors: Amaël Broustet, Yoshinori Gongyo

Abstract: We discuss the Calabi--Yau type structure of normal projective surfaces and Mori dream spaces admitting a non-trivial polarized endomorphism. We discuss the Calabi--Yau type structure of normal projective surfaces and Mori dream spaces admitting a non-trivial polarized endomorphism. △ Less

Submitted 20 January, 2017; v1 submitted 5 July, 2016; originally announced July 2016.

Comments: 13 pages, Major revision, v3. remove serious and non serious mistakes, v4. minor modification, the final version to appear in Taiwanese Journal of Mathematics, special issue for the proceedings of the conference "Algebraic Geometry in East Asia 2016"

MSC Class: 32H50; 20K30; 08A35; 14E30

Rational points on log Fano threefolds over a finite field

Authors: Yoshinori Gongyo, Yusuke Nakamura, Hiromu Tanaka

Abstract: We prove the $W\mathcal{O}$-rationality of klt threefolds and the rational chain connectedness of klt Fano threefolds over a perfect field of characteristic $p>5$. As a consequence, any klt Fano threefold over a finite field has a rational point. We prove the $W\mathcal{O}$-rationality of klt threefolds and the rational chain connectedness of klt Fano threefolds over a perfect field of characteristic $p>5$. As a consequence, any klt Fano threefold over a finite field has a rational point. △ Less

Submitted 30 November, 2016; v1 submitted 15 December, 2015; originally announced December 2015.

Comments: 35 pages, v2: minor revisions, v3: minor revisions, to appear in Journal of the European Mathematical Society

Versions of injectivity and extension theorems

Authors: Yoshinori Gongyo, Shin-ichi Matsumura

Abstract: We give an analytic version of the injectivity theorem by using multiplier ideal sheaves, and prove some extension theorems for the adjoint bundle of dlt pairs. Moreover, by combining techniques of the minimal model program, we obtain some results for semi-ampleness related to the abundance conjecture in birational geometry and the Strominger-Yau-Zaslow conjecture for hyperKähler manifolds. We give an analytic version of the injectivity theorem by using multiplier ideal sheaves, and prove some extension theorems for the adjoint bundle of dlt pairs. Moreover, by combining techniques of the minimal model program, we obtain some results for semi-ampleness related to the abundance conjecture in birational geometry and the Strominger-Yau-Zaslow conjecture for hyperKähler manifolds. △ Less

Submitted 29 July, 2014; v1 submitted 24 June, 2014; originally announced June 2014.

Comments: 21 pages. v2: The exposition of the proof of Corollary 4.3 is improved. arXiv admin note: text overlap with arXiv:1308.2033

MSC Class: 14E30; 14F18; 32L10; 32L20

Uniform bounds for strongly $F$-regular surfaces

Authors: Paolo Cascini, Yoshinori Gongyo, Karl Schwede

Abstract: We show that if $(X,B)$ is a two dimensional Kawamata log terminal pair defined over an algebraically closed field of characteristic $p$, and $p$ is sufficiently large, depending only on the coefficients of $B$, then $(X,B)$ is also strongly $F$-regular. We show that if $(X,B)$ is a two dimensional Kawamata log terminal pair defined over an algebraically closed field of characteristic $p$, and $p$ is sufficiently large, depending only on the coefficients of $B$, then $(X,B)$ is also strongly $F$-regular. △ Less

Submitted 18 July, 2014; v1 submitted 31 January, 2014; originally announced February 2014.

Comments: 19 pages, to appear in Transactions of the American Mathematical Society

MSC Class: 14F18; 13A35; 14B05

On Rational Connectedness of Globally F-Regular Threefolds

Authors: Yoshinori Gongyo, Zhiyuan Li, Zsolt Patakfalvi, Karl Schwede, Hiromu Tanaka, Hong R. Zong

Abstract: In this paper, we show that projective globally $F$-regular threefolds, defined over an algebraically closed field of characteristic $p\geq 11$, are rationally chain connected. In this paper, we show that projective globally $F$-regular threefolds, defined over an algebraically closed field of characteristic $p\geq 11$, are rationally chain connected. △ Less

Submitted 17 October, 2014; v1 submitted 30 July, 2013; originally announced July 2013.

Comments: 36 pages, largely rewritten according to referee advice, comments are welcome!

Journal ref: Advances in Mathematics, vol. 280, 47--78 (2015)

On the anti-canonical ring and varieties of Fano type

Authors: Paolo Cascini, Yoshinori Gongyo

Abstract: We study the anti-canonical ring of a projective variety and we characterise varieties of log Fano type depending on the singularities of these models. We study the anti-canonical ring of a projective variety and we characterise varieties of log Fano type depending on the singularities of these models. △ Less

Submitted 15 August, 2013; v1 submitted 19 June, 2013; originally announced June 2013.

Comments: 13 pages, v2: remove Example 5.2 from v1, v3: Reference added

Surfaces of globally $F$-regular and $F$-split type

Authors: Yoshinori Gongyo, Shunsuke Takagi

Abstract: We prove that normal projective surfaces of dense globally $F$-split type (resp. globally $F$-regular type) are of Calabi-Yau type (resp. Fano type). We prove that normal projective surfaces of dense globally $F$-split type (resp. globally $F$-regular type) are of Calabi-Yau type (resp. Fano type). △ Less

Submitted 29 May, 2013; v1 submitted 14 May, 2013; originally announced May 2013.

Comments: 18 pages, v2: expanded explanations, typos corrected

MSC Class: 14J32; 14J45 (Primary) 14B05; 13A35 (Secondary)

On log canonical rings

Authors: Osamu Fu**o, Yoshinori Gongyo

Abstract: We discuss the relationship among various conjectures in the minimal model theory including the finite generation conjecture of the log canonical rings and the abundance conjecture. In particular, we show that the finite generation conjecture of the log canonical rings for log canonical pairs can be reduced to that of the log canonical rings for purely log terminal pairs of log general type. We discuss the relationship among various conjectures in the minimal model theory including the finite generation conjecture of the log canonical rings and the abundance conjecture. In particular, we show that the finite generation conjecture of the log canonical rings for log canonical pairs can be reduced to that of the log canonical rings for purely log terminal pairs of log general type. △ Less

Submitted 11 July, 2013; v1 submitted 21 February, 2013; originally announced February 2013.

Comments: 11 pages, v2: revision following referee's report, Appendix is new, the referee's proof of Lemma 3.2 is added

MSC Class: 14E30

On the moduli b-divisors of lc-trivial fibrations

Authors: Osamu Fu**o, Yoshinori Gongyo

Abstract: Roughly speaking, by using the semi-stable minimal model program, we prove that the moduli part of an lc-trivial fibration coincides with that of a klt-trivial fibration induced by adjunction after taking a suitable generically finite cover. As an application, we obtain that the moduli part of an lc-trivial fibration is b-nef and abundant by Ambro's result on klt-trivial fibrations. Roughly speaking, by using the semi-stable minimal model program, we prove that the moduli part of an lc-trivial fibration coincides with that of a klt-trivial fibration induced by adjunction after taking a suitable generically finite cover. As an application, we obtain that the moduli part of an lc-trivial fibration is b-nef and abundant by Ambro's result on klt-trivial fibrations. △ Less

Submitted 9 April, 2014; v1 submitted 18 October, 2012; originally announced October 2012.

Comments: 13 pages, v2: final version, to appear in Annales de l'Institut Fourier

MSC Class: Primary 14N30; 14E30; Secondary 14J10

Characterization of varieties of Fano type via singularities of Cox rings

Authors: Yoshinori Gongyo, Shinnosuke Okawa, Akiyoshi Sannai, Shunsuke Takagi

Abstract: We show that every Mori dream space of globally $F$-regular type is of Fano type. As an application, we give a characterization of varieties of Fano type in terms of the singularities of their Cox rings. We show that every Mori dream space of globally $F$-regular type is of Fano type. As an application, we give a characterization of varieties of Fano type in terms of the singularities of their Cox rings. △ Less

Submitted 5 January, 2012; originally announced January 2012.

Comments: 22 pages

MSC Class: 14J45 (Primary) 13A35; 14B05; 14E30 (Secondary)

On images of weak Fano manifolds II

Authors: Osamu Fu**o, Yoshinori Gongyo

Abstract: We consider a smooth projective surjective morphism between smooth complex projective varieties. We give a Hodge theoretic proof of the following well-known fact: If the anti-canonical divisor of the source space is nef, then so is the anti-canonical divisor of the target space. We do not use mod $p$ reduction arguments. In addition, we make some supplementary comments on our paper: On images of w… ▽ More We consider a smooth projective surjective morphism between smooth complex projective varieties. We give a Hodge theoretic proof of the following well-known fact: If the anti-canonical divisor of the source space is nef, then so is the anti-canonical divisor of the target space. We do not use mod $p$ reduction arguments. In addition, we make some supplementary comments on our paper: On images of weak Fano manifolds. △ Less

Submitted 5 January, 2012; originally announced January 2012.

Comments: 8 pages

MSC Class: 14J45 (Primary) 14N30; 14E30 (Secondary)

Remarks on the non-vanishing conjecture

Authors: Yoshinori Gongyo

Abstract: We discuss a difference between the rational and the real non-vanishing conjecture for pseudo-effective log canonical divisors of log canonical pairs. We also show the log non-vanishing theorem for rationally connected varieties under assuming Shokurov's ACC conjectures. We discuss a difference between the rational and the real non-vanishing conjecture for pseudo-effective log canonical divisors of log canonical pairs. We also show the log non-vanishing theorem for rationally connected varieties under assuming Shokurov's ACC conjectures. △ Less

Submitted 28 May, 2012; v1 submitted 5 January, 2012; originally announced January 2012.

Comments: 9 pages, v2: revision following referee's comments

MSC Class: 14E30

Log pluricanonical representations and abundance conjecture

Authors: Osamu Fu**o, Yoshinori Gongyo

Abstract: We prove the finiteness of log pluricanonical representations for projective log canonical pairs with semi-ample log canonical divisor. As a corollary, we obtain that the log canonical divisor of a projective semi log canonical pair is semi-ample if and only if so is the log canonical divisor of its normalization. We also treat many other applications. We prove the finiteness of log pluricanonical representations for projective log canonical pairs with semi-ample log canonical divisor. As a corollary, we obtain that the log canonical divisor of a projective semi log canonical pair is semi-ample if and only if so is the log canonical divisor of its normalization. We also treat many other applications. △ Less

Submitted 8 April, 2012; v1 submitted 3 April, 2011; originally announced April 2011.

Comments: 35 pages, v2: minor modifications, v3: major revised

MSC Class: 14E30 (Primary) 14E07 (Secondary)

Reduction maps and minimal model theory

Authors: Yoshinori Gongyo, Brian Lehmann

Abstract: We use reduction maps to study the minimal model program. Our main result is that the existence of a good minimal model for a klt pair $(X,Δ)$ can be detected on the base of the $(K_{X}+Δ)$-trivial reduction map. Thus we show that the main conjectures of the minimal model program can be interpreted as a natural statement on the existence of curves on $X$. We use reduction maps to study the minimal model program. Our main result is that the existence of a good minimal model for a klt pair $(X,Δ)$ can be detected on the base of the $(K_{X}+Δ)$-trivial reduction map. Thus we show that the main conjectures of the minimal model program can be interpreted as a natural statement on the existence of curves on $X$. △ Less

Submitted 8 April, 2012; v1 submitted 8 March, 2011; originally announced March 2011.

Comments: 19 pages, v2:major revised

MSC Class: 14E30

Journal ref: Compositio Math. 149 (2013) 295-308

On the minimal model theory for dlt pairs of numerical log Kodaira dimension zero

Authors: Yoshinori Gongyo

Abstract: We prove the existence of good log minimal models for dlt pairs of numerical log Kodaira dimension 0. We prove the existence of good log minimal models for dlt pairs of numerical log Kodaira dimension 0. △ Less

Submitted 2 September, 2011; v1 submitted 7 January, 2011; originally announced January 2011.

Comments: 12 pages, v2: title has been changed and revision following referee's comments

MSC Class: 14E30

On canonical bundle formulae and subadjunctions

Authors: Osamu Fu**o, Yoshinori Gongyo

Abstract: We consider a canonical bundle formula for generically finite proper surjective morphisms and obtain subadjunction formulae for minimal log canonical centers of log canonical pairs. We also treat related topics and applications. We consider a canonical bundle formula for generically finite proper surjective morphisms and obtain subadjunction formulae for minimal log canonical centers of log canonical pairs. We also treat related topics and applications. △ Less

Submitted 21 September, 2010; originally announced September 2010.

Comments: 12 pages

MSC Class: Primary 14N30; Secondary 14E30

Abundance theorem for numerically trivial log canonical divisors of semi-log canonical pairs

Authors: Yoshinori Gongyo

Abstract: We prove the abundance theorem for numerically trivial log canonical divisors of log canonical pairs and semi-log canonical pairs. We prove the abundance theorem for numerically trivial log canonical divisors of log canonical pairs and semi-log canonical pairs. △ Less

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

Comments: 16 pages,v2:Corollary 3.2 removed, title has been changed slightly

MSC Class: 14E30

On images of weak Fano manifolds

Authors: Osamu Fu**o, Yoshinori Gongyo

Abstract: We consider a smooth projective morphism between smooth complex projective varieties. If the source space is a weak Fano (or Fano) manifold, then so is the target space. Our proof is Hodge theoretic. We do not need mod $p$ reduction arguments. We also discuss related topics and questions. We consider a smooth projective morphism between smooth complex projective varieties. If the source space is a weak Fano (or Fano) manifold, then so is the target space. Our proof is Hodge theoretic. We do not need mod $p$ reduction arguments. We also discuss related topics and questions. △ Less

Submitted 30 April, 2010; v1 submitted 7 March, 2010; originally announced March 2010.

Comments: 17 pages, v2:added Section 6

MSC Class: Primary 14J45; Secondary 14N30; 14E30

On weak Fano varieties with log canonical singularities

Authors: Yoshinori Gongyo

Abstract: We prove that the anti-canonical divisors of weak Fano 3-folds with log canonical singularities are semiample. Moreover, we consider semiampleness of the anti-log canonical divisor of any weak log Fano pair with log canonical singularities. We show semiampleness dose not hold in general by constructing several examples. Based on those examples, we propose sufficient conditions which seem to be t… ▽ More We prove that the anti-canonical divisors of weak Fano 3-folds with log canonical singularities are semiample. Moreover, we consider semiampleness of the anti-log canonical divisor of any weak log Fano pair with log canonical singularities. We show semiampleness dose not hold in general by constructing several examples. Based on those examples, we propose sufficient conditions which seem to be the best possible and we prove semiampleness under such conditions. In particular we derive semiampleness of the anti-canonical divisors of log canonical weak Fano 4-folds whose lc centers are at most 1-dimensional. We also investigate the Kleiman-Mori cones of weak log Fano pairs with log canonical singularities. △ Less

Submitted 6 May, 2010; v1 submitted 4 November, 2009; originally announced November 2009.

Comments: 18 pages, v2:some errors were corrected, title has been changed

MSC Class: 14E30; 14J45