Showing 1–34 of 34 results for author: Tsuji, H

The Gaussian correlation inequality for centered convex sets and the case of equality

Authors: Shohei Nakamura, Hiroshi Tsuji

Abstract: Inspired from Milman's observation, we prove that the Gaussian correlation inequality holds for centered convex sets and characterize the case of equality. Furthermore, we confirm a nonsymmetric version of the inequality proposed by Szarek--Werner. The existing arguments due to Royen and Milman are seemingly difficult to be applied for these purposes since both of them involve certain approximatio… ▽ More Inspired from Milman's observation, we prove that the Gaussian correlation inequality holds for centered convex sets and characterize the case of equality. Furthermore, we confirm a nonsymmetric version of the inequality proposed by Szarek--Werner. The existing arguments due to Royen and Milman are seemingly difficult to be applied for these purposes since both of them involve certain approximation arguments that reduce the inequality to some weaker form. To overcome this difficulty, we generalize our previous work on the inverse Brascamp--Lieb inequality. △ Less

Submitted 23 June, 2025; v1 submitted 5 April, 2025; originally announced April 2025.

Comments: 34 pages. Changed the title, fixed the condition (3.4), and added Section 5 in which the case of equality is discussed

MSC Class: 39B62; 52A40 (primary); 60E15; 60G15 (secondary)

A generalized Legendre duality relation and Gaussian saturation

Authors: Shohei Nakamura, Hiroshi Tsuji

Abstract: Motivated by the barycenter problem in optimal transportation theory, Kolesnikov--Werner recently extended the notion of the Legendre duality relation for two functions to the case for multiple functions. We further generalize the duality relation and then establish the centered Gaussian saturation property for a Blaschke--Santaló type inequality associated with it. Our approach to the understandi… ▽ More Motivated by the barycenter problem in optimal transportation theory, Kolesnikov--Werner recently extended the notion of the Legendre duality relation for two functions to the case for multiple functions. We further generalize the duality relation and then establish the centered Gaussian saturation property for a Blaschke--Santaló type inequality associated with it. Our approach to the understanding such a generalized Legendre duality relation is based on our earlier observation that directly links Legendre duality with the inverse Brascamp--Lieb inequality. More precisely, for a large family of degenerate Brascamp--Lieb data, we prove that the centered Gaussian saturation property for the inverse Brascamp--Lieb inequality holds true when inputs are restricted to even and log-concave functions. As an application to convex geometry, we establish the most important case of a conjecture of Kolesnikov and Werner about the Blaschke--Santaló inequality for multiple even functions as well as multiple symmetric convex bodies. Furthermore, in the direction of information theory and optimal transportation theory, this provides an affirmative answer to another conjecture of Kolesnikov--Werner about a Talagrand type inequality for multiple even probability measures that involves the Wasserstein barycenter. △ Less

Submitted 8 October, 2024; v1 submitted 20 September, 2024; originally announced September 2024.

Comments: 45 pages; We fixed some typos, and added some detailed arguments in the end of Section 5

MSC Class: 39B62; 52A40 (primary); 26D15; 52A38; 94A17 (secondary)

A note on ubiquity of geometric Brascamp-Lieb data

Authors: Neal Bez, Anthony Gauvan, Hiroshi Tsuji

Abstract: Relying substantially on work of Garg, Gurvits, Oliveira and Wigderson, it is shown that geometric Brascamp--Lieb data are, in a certain sense, ubiquitous. This addresses a question raised by Bennett and Tao in their recent work on the adjoint Brascamp--Lieb inequality. Relying substantially on work of Garg, Gurvits, Oliveira and Wigderson, it is shown that geometric Brascamp--Lieb data are, in a certain sense, ubiquitous. This addresses a question raised by Bennett and Tao in their recent work on the adjoint Brascamp--Lieb inequality. △ Less

Submitted 31 July, 2024; originally announced July 2024.

Comments: 0 figure, comments are welcome !

Duality and Heat flow

Authors: Dario Cordero-Erausquin, Nathael Gozlan, Shohei Nakamura, Hiroshi Tsuji

Abstract: We reveal the relation between the Legendre transform of convex functions and heat flow evolution, and how it applies to the functional Blaschke-Santalo inequality. We also describe local maximizers in this inequality. We reveal the relation between the Legendre transform of convex functions and heat flow evolution, and how it applies to the functional Blaschke-Santalo inequality. We also describe local maximizers in this inequality. △ Less

Submitted 11 February, 2025; v1 submitted 22 March, 2024; originally announced March 2024.

The functional volume product under heat flow

Authors: Shohei Nakamura, Hiroshi Tsuji

Abstract: We prove that the functional volume product for even functions is monotone increasing along the Fokker--Planck heat flow. This in particular yields a new proof of the functional Blaschke--Santaló inequality by K. Ball and also Artstein-Avidan--Klartag--Milman in the even case. This result is the consequence of a new understanding of the regularizing property of the Ornstein--Uhlenbeck semigroup.… ▽ More We prove that the functional volume product for even functions is monotone increasing along the Fokker--Planck heat flow. This in particular yields a new proof of the functional Blaschke--Santaló inequality by K. Ball and also Artstein-Avidan--Klartag--Milman in the even case. This result is the consequence of a new understanding of the regularizing property of the Ornstein--Uhlenbeck semigroup. That is, we establish an improvement of Borell's reverse hypercontractivity inequality for even functions and identify the sharp range of the admissible exponents. As another consequence of successfully identifying the sharp range for the inequality, we derive the sharp $L^p$-$L^q$ inequality for the Laplace transform for even functions. The best constant of the inequality is attained by centered Gaussians, and thus this provides an analogous result to Beckner's sharp Hausdorff--Young inequality. Our technical novelty in the proof is the use of the Brascamp--Lieb inequality for log-concave measures and Cramér--Rao's inequality in this context. △ Less

Submitted 20 March, 2024; v1 submitted 31 December, 2023; originally announced January 2024.

Comments: In this update, we have mentioned about the "detropicalised" approach that has been proposed in the discussion of Klartag and Tao in Tao's blog post as it is closely related this work. We have mentioned works of Berndtsson--Mastrantonis--Rubinstein and Kolesnikov--Werner. Also, we have split the result on the stability from this version. This part will be in the forthcoming paper

MSC Class: {39B62; 52A40 (primary); 52A38; 80A19 (secondary)

Analytic aspects of the dilation inequality for symmetric convex sets in Euclidean spaces

Authors: Hiroshi Tsuji

Abstract: We discuss an analytic form of the dilation inequality for symmetric convex sets in Euclidean spaces, which is a counterpart of analytic aspects of Cheeger's isoperimetric inequality. We show that the dilation inequality for symmetric convex sets is equivalent to a certain bound of the relative entropy for symmetric quasi-convex functions, which is close to the logarithmic Sobolev inequality or Cr… ▽ More We discuss an analytic form of the dilation inequality for symmetric convex sets in Euclidean spaces, which is a counterpart of analytic aspects of Cheeger's isoperimetric inequality. We show that the dilation inequality for symmetric convex sets is equivalent to a certain bound of the relative entropy for symmetric quasi-convex functions, which is close to the logarithmic Sobolev inequality or Cramér--Rao inequality. As corollaries, we investigate the reverse Shannon inequality, logarithmic Sobolev inequality, Kahane--Khintchine inequality, deviation inequality and isoperimetry. We also give new probability measures satisfying the dilation inequality for symmetric convex sets via bounded perturbations and tensorization. △ Less

Submitted 12 May, 2023; originally announced May 2023.

Comments: 33 pages

MSC Class: 28A75; 26D10; 60E15

Hypercontractivity beyond Nelson's time and its applications to Blaschke--Santaló inequality and inverse Santaló inequality

Authors: Shohei Nakamura, Hiroshi Tsuji

Abstract: We explore an interplay between an analysis of diffusion flows such as Ornstein--Uhlenbeck flow and Fokker--Planck flow and inequalities from convex geometry regarding the volume product. More precisely, we introduce new types of hypercontractivity for the Ornstein--Uhlenbeck flow and clarify how these imply the Blaschke--Santaló inequality and the inverse Santaló inequality, also known as Mahler'… ▽ More We explore an interplay between an analysis of diffusion flows such as Ornstein--Uhlenbeck flow and Fokker--Planck flow and inequalities from convex geometry regarding the volume product. More precisely, we introduce new types of hypercontractivity for the Ornstein--Uhlenbeck flow and clarify how these imply the Blaschke--Santaló inequality and the inverse Santaló inequality, also known as Mahler's conjecture. Motivated the link, we establish two types of new hypercontractivity in this paper. The first one is an improvement of Borell's reverse hypercontractivity inequality in terms of Nelson's time relation under the restriction that the inputs have an appropriate symmetry. We then prove that it implies the Blaschke--Santaló inequality. At the same time, it also provides an example of the inverse Brascamp--Lieb inequality due to Barthe--Wolff beyond their non-degenerate condition. The second one is Nelson's forward hypercontractivity inequality with exponents below 1 for the inputs which are log-convex and semi-log-concave. This yields new lower bounds of the volume product for convex bodies whose boundaries are well curved. This consequence provides a quantitative result of works by Stancu and Reisner--Schütt--Werner where they observed that a convex body with well curved boundary is not a local minimum of the volume product. △ Less

Submitted 6 December, 2022; originally announced December 2022.

Comments: 50 pages

MSC Class: 26D10; 47D07; 52A40(primary); 39B62; 52A38(secondary)

Stability of hypercontractivity, the logarithmic Sobolev inequality, and Talagrand's cost inequality

Authors: Neal Bez, Shohei Nakamura, Hiroshi Tsuji

Abstract: We provide deficit estimates for Nelson's hypercontractivity inequality, the logarithmic Sobolev inequality, and Talagrand's transportation cost inequality under the restriction that the inputs are semi-log-subharmonic, semi-log-convex, or semi-log-concave. In particular, our result on the logarithmic Sobolev inequality complements a recently obtained result by Eldan, Lehec and Shenfeld concerning… ▽ More We provide deficit estimates for Nelson's hypercontractivity inequality, the logarithmic Sobolev inequality, and Talagrand's transportation cost inequality under the restriction that the inputs are semi-log-subharmonic, semi-log-convex, or semi-log-concave. In particular, our result on the logarithmic Sobolev inequality complements a recently obtained result by Eldan, Lehec and Shenfeld concerning a deficit estimate for inputs with small covariance. Similarly, our result on Talagrand's transportation cost inequality complements and, for a large class of semi-log-concave inputs, improves a deficit estimate recently proved by Mikulincer. Our deficit estimates for hypercontractivity will be obtained by using a flow monotonicity scheme built on the Fokker--Planck equation, and our deficit estimates for the logarithmic Sobolev inequality will be derived as a corollary. For Talagrand's inequality, we use an optimal transportation argument. An appealing feature of our framework is robustness and this allows us to derive deficit estimates for the hypercontracivity inequality associated with the Hamilton--Jacobi equation, the Poincaré inequality, and for Beckner's inequality. △ Less

Submitted 7 June, 2022; v1 submitted 28 January, 2022; originally announced January 2022.

Comments: 59 pages. Title changed and exposition revised

MSC Class: 26D10; 47D07; 52A40 (primary); 35K05; 60J60 (secondary)

Dilation type inequalities for strongly-convex sets in weighted Riemannian manifolds

Authors: Hiroshi Tsuji

Abstract: In this paper, we consider a dilation type inequality on a weighted Riemannian manifold, which is classically known as Borell's lemma in high-dimensional convex geometry. We investigate the dilation type inequality as an isoperimetric type inequality by introducing the dilation profile and estimate it by the one for the corresponding model space under lower weighted Ricci curvature bounds. We also… ▽ More In this paper, we consider a dilation type inequality on a weighted Riemannian manifold, which is classically known as Borell's lemma in high-dimensional convex geometry. We investigate the dilation type inequality as an isoperimetric type inequality by introducing the dilation profile and estimate it by the one for the corresponding model space under lower weighted Ricci curvature bounds. We also explore functional inequalities derived from the comparison of the dilation profiles under the nonnegative weighted Ricci curvature. In particular, we show several functional inequalities related to various entropies. △ Less

Submitted 10 April, 2021; originally announced April 2021.

Comments: 34 pages

MSC Class: 53C20; 28A75; 26D10; 60E15

Symmetrized Talagrand Inequalities on Euclidean Spaces

Authors: Hiroshi Tsuji

Abstract: In this paper, we study the symmetrized Talagrand inequality that was proved by Fathi and has a connection with the Blaschke-Santaló inequality in convex geometry. As corollaries of our results, we have several refined functional inequalities under some conditions. We also give an alternative proof of Fathi's symmetrized Talagrand inequality on the real line and some applications. In this paper, we study the symmetrized Talagrand inequality that was proved by Fathi and has a connection with the Blaschke-Santaló inequality in convex geometry. As corollaries of our results, we have several refined functional inequalities under some conditions. We also give an alternative proof of Fathi's symmetrized Talagrand inequality on the real line and some applications. △ Less

Submitted 26 April, 2020; originally announced April 2020.

Comments: 24 pages

MSC Class: 52A40; 60D05; 26D15; 46B20

Dynamical construction of Kähler-Einstein metrics on bounded pseudoconvex domains

Authors: Hajime Tsuji

Abstract: In this note we shall prove that the complete Kähler-Einstein volume form on a bounded strongly pseudoconvex domain with $C^{\infty}$-boundary is the normalized limit of a sequence of Bergman kernels. In this note we shall prove that the complete Kähler-Einstein volume form on a bounded strongly pseudoconvex domain with $C^{\infty}$-boundary is the normalized limit of a sequence of Bergman kernels. △ Less

Submitted 9 December, 2013; v1 submitted 16 November, 2013; originally announced November 2013.

Comments: 9 pages, no figures

MSC Class: 32T15; 32Q20. 32A25

Global generation of the direct images of relative pluricanonical systems

Authors: Hajime Tsuji

Abstract: We prove global generation of the direct images of relative pluricanonical systems of sufficiently large and divisible multiples over the complement of the discriminant locus. We prove global generation of the direct images of relative pluricanonical systems of sufficiently large and divisible multiples over the complement of the discriminant locus. △ Less

Submitted 4 December, 2010; originally announced December 2010.

Comments: 46

MSC Class: 53C25

Canonical singular hermitian metrics on relative logcanonical bundles

Authors: Hajime Tsuji

Abstract: This supersedes 0704.0566. We prove the invariance of logarithmic plurigenera for a projective family of KLT pairs and the adjoint line bundle of KLT line bundles. The proof uses the canonical singular hermitian metrics on relative logcanonical bundles. This supersedes 0704.0566. We prove the invariance of logarithmic plurigenera for a projective family of KLT pairs and the adjoint line bundle of KLT line bundles. The proof uses the canonical singular hermitian metrics on relative logcanonical bundles. △ Less

Submitted 27 September, 2010; v1 submitted 9 August, 2010; originally announced August 2010.

Comments: 49pages, no figure, expanded version (add references and improved results)

MSC Class: 14J25

Ricci iterations and canonical Kähler-Einstein currents on log canonical pairs

Authors: Hajime Tsuji

Abstract: In this article we construct a canonical Kähler-Einstein current on a LC (log canonical) pairs of log general type as the limit of a sequence of canonical Kähler-Einstein currents on KLT(Kawamata log terminal) pairs of log general type. We call the volume form associated with the canonical Kähler-Einstein current the canonical measure of the LC pair. We prove that the relative canonical measure on… ▽ More In this article we construct a canonical Kähler-Einstein current on a LC (log canonical) pairs of log general type as the limit of a sequence of canonical Kähler-Einstein currents on KLT(Kawamata log terminal) pairs of log general type. We call the volume form associated with the canonical Kähler-Einstein current the canonical measure of the LC pair. We prove that the relative canonical measure on a projective family of LC pairs of log general type defines a singular hermitian metric on the relative log canonical bundle and the metric has semipositive curvature in the sense of current. This is the first semipositivity result for relative log canonical bundles of a family of LC pairs in general dimension. Our proof depends on certain Ricci iterations and dynamical systems of Bergman kernels. △ Less

Submitted 4 November, 2012; v1 submitted 31 March, 2009; originally announced March 2009.

Comments: Minor change

MSC Class: 53C25

Canonical measures and the dynamical systems of Bergman kernels

Authors: Hajime Tsuji

Abstract: In this article, we construct the canonical semipositive current or the canonical measure ($=$ the potential of the canonical semipositive current) on a smooth projective variety of nonnegative Kodaira dimension in terms of a dynamical system of Bergman kernels. This current is considered to be a generalization of a Kähler-Einstein metric and coincides the one constructed independently by J. Song… ▽ More In this article, we construct the canonical semipositive current or the canonical measure ($=$ the potential of the canonical semipositive current) on a smooth projective variety of nonnegative Kodaira dimension in terms of a dynamical system of Bergman kernels. This current is considered to be a generalization of a Kähler-Einstein metric and coincides the one constructed independently by J. Song and G. Tian. The major difference between their work and the present article is that they found the canonical measure in terms of Käher-Ricci flows, while I found the canonical measure in terms of the dynamical system of Bergman kernels. Hence the present approach can be viewed as the discrete version of the Kähler-Ricci flow. △ Less

Submitted 7 March, 2011; v1 submitted 13 May, 2008; originally announced May 2008.

Comments: Minor changes

MSC Class: 53C25

Extension of log pluricanonical forms from subvarieties

Authors: Hajime Tsuji

Abstract: In this paper, I prove a very general extension theorem for log pluricanonical systems. The main application of this extension theorem is (together with Kawamata's subadjunction theorem) to give an optimal subadjunction theorem which relates the positivities of canonical bundle of the ambient projective manifold and that of the (maximal) center of log canonical singularities. This is an extensio… ▽ More In this paper, I prove a very general extension theorem for log pluricanonical systems. The main application of this extension theorem is (together with Kawamata's subadjunction theorem) to give an optimal subadjunction theorem which relates the positivities of canonical bundle of the ambient projective manifold and that of the (maximal) center of log canonical singularities. This is an extension of the corresponding result in my previous work where I dealt with log pluricanonical systems of general type. This subadjunction theorem indicates an approach to solve the abundance conjecture for canonical divisors (or log canonical divisors) in terms of the induction in dimension. △ Less

Submitted 5 November, 2007; v1 submitted 17 September, 2007; originally announced September 2007.

Comments: numerous typos corrected, minor change of the statements

MSC Class: 14J40; 32J18; 32H50

Canonical volume forms on compact Kähler manifolds

Authors: Hajime Tsuji

Abstract: We construct a canonical singular hermitian metric with semipositive curvature current on the canonical line bundle of a compact Kähler manifold with pseudoeffective canonical bundle. We construct a canonical singular hermitian metric with semipositive curvature current on the canonical line bundle of a compact Kähler manifold with pseudoeffective canonical bundle. △ Less

Submitted 1 July, 2007; originally announced July 2007.

Comments: 5pages, no figure

MSC Class: 14J15

Canonical singular hermitian metrics on relative canonical bundles

Authors: Hajime Tsuji

Abstract: We introduce a new class of canonical AZD's (called the supercanonical AZD's) on the canonical bundles of smooth projective varieties with pseudoeffective canonical classes. We study the variation of the supercanonical AZD $\hat{h}_{can}$ under projective deformations and give a new proof of the invariance of plurigenera. We introduce a new class of canonical AZD's (called the supercanonical AZD's) on the canonical bundles of smooth projective varieties with pseudoeffective canonical classes. We study the variation of the supercanonical AZD $\hat{h}_{can}$ under projective deformations and give a new proof of the invariance of plurigenera. △ Less

Submitted 5 November, 2007; v1 submitted 4 April, 2007; originally announced April 2007.

Comments: Correction on the proof of Lemma 3.2 and Corollary 3.4

MSC Class: 14J15

Curvature semipositivity of relative pluricanonical systems

Authors: Hajime Tsuji

Abstract: We prove semipositivity of the curvature of the Narashimhan-Simha metric on an arbitrary flat projective family of varieties with only canonical singularities. This also implies that the direct image of pluricanonical systems have a natural continuous hermitian strucutre with semipositive curvature curvature current in the sense of Nakano. This is an improvement of the author's preprint ``Refine… ▽ More We prove semipositivity of the curvature of the Narashimhan-Simha metric on an arbitrary flat projective family of varieties with only canonical singularities. This also implies that the direct image of pluricanonical systems have a natural continuous hermitian strucutre with semipositive curvature curvature current in the sense of Nakano. This is an improvement of the author's preprint ``Refined semipositivity and moduli of canonical models (2005)''. △ Less

Submitted 28 March, 2007; v1 submitted 25 March, 2007; originally announced March 2007.

Comments: 24pages no figure, Reference up dated and correction on the proof of Theorem 5.5

MSC Class: 14J15; 14J40; 32J18

Dynamical construction of Kähler-Einstein metrics

Authors: Hajime Tsuji

Abstract: In this paper, I give a new construction of a Kähler-Einstein metrics on a smooth projective variety with ample canonical bundle. This result can be generalized to the construction of a singular Kähler-Einstein metric on a smooth projective variety of general type which gives an AZD of the canonical bundle. Also the variation of Bergman kernels and Kähler-Einstein volume form have been considere… ▽ More In this paper, I give a new construction of a Kähler-Einstein metrics on a smooth projective variety with ample canonical bundle. This result can be generalized to the construction of a singular Kähler-Einstein metric on a smooth projective variety of general type which gives an AZD of the canonical bundle. Also the variation of Bergman kernels and Kähler-Einstein volume form have been considered. △ Less

Submitted 13 March, 2007; v1 submitted 25 June, 2006; originally announced June 2006.

Comments: 25pages, no figure, Proof of Lemma 3.6 has been replaced by a result of Bedford and Taylor

MSC Class: 53C25; 32G07

Variation of Bergman kernels of adjoint line bundles

Authors: Hajime Tsuji

Abstract: Generalizing the recent result of Berndtsson, we prove the Nakano semipositivity of the direct image of relative pluricanonical systems and the direct image of relative adjoint (singular) hermitian line bundle with semipositive curvature. This gives a new proof of Kawamata's theorem on the semipositivity of the direct image of relative pluricanonical systems. Generalizing the recent result of Berndtsson, we prove the Nakano semipositivity of the direct image of relative pluricanonical systems and the direct image of relative adjoint (singular) hermitian line bundle with semipositive curvature. This gives a new proof of Kawamata's theorem on the semipositivity of the direct image of relative pluricanonical systems. △ Less

Submitted 14 November, 2005; originally announced November 2005.

MSC Class: 32G05

Pluricanonical systems of projective varieties of general type II

Authors: Hajime Tsuji

Abstract: This is a revised version of the second half of my paper math.AG/9909021. We prove that there exists a positive integer $ν_{n}$ depending only on $n$ such that for every smooth projective $n$-fold of general type $X$ defined over complex numbers, $\mid mK_{X}\mid$ gives a birational rational map from $X$ into a projective space for every $m\geq ν_{n}$. This is a revised version of the second half of my paper math.AG/9909021. We prove that there exists a positive integer $ν_{n}$ depending only on $n$ such that for every smooth projective $n$-fold of general type $X$ defined over complex numbers, $\mid mK_{X}\mid$ gives a birational rational map from $X$ into a projective space for every $m\geq ν_{n}$. △ Less

Submitted 10 April, 2005; v1 submitted 18 September, 2004; originally announced September 2004.

Comments: 35pages, no figure, expanded explanation

MSC Class: 14C30

Pluricanonical systems of projective 3-folds of general type

Authors: Hajime Tsuji

Abstract: We prove that for every positive integer $m\geq 18(2^{9}\cdot 3^{7})!$ and every smooth projective 3-fold of general type X defined over complex numbers, $\mid mK_{X}\mid$ gives a birational rational map from X into a projective space. We prove that for every positive integer $m\geq 18(2^{9}\cdot 3^{7})!$ and every smooth projective 3-fold of general type X defined over complex numbers, $\mid mK_{X}\mid$ gives a birational rational map from X into a projective space. △ Less

Submitted 9 April, 2002; originally announced April 2002.

Comments: 20pages

MSC Class: 32H25

Subadjunction theorem for pluricanonical divisors

Authors: Hajime Tsuji

Abstract: We prove a subadjunction theorem which relates the multi-adjoint linear system of the ambient space and the linear system of the restricted bundle on a subvariety. We prove a subadjunction theorem which relates the multi-adjoint linear system of the ambient space and the linear system of the restricted bundle on a subvariety. △ Less

Submitted 9 January, 2002; v1 submitted 29 November, 2001; originally announced November 2001.

Comments: 10pages, no figures

MSC Class: 32H25

Quasi-Projectivity of Moduli Spaces

Authors: Georg Schumacher, Hajime Tsuji

Abstract: By means of analytic methods the quasi-projectivity of the moduli space of algebraically polarized varieties with a not necessarily reduced complex structure is proven including the case of non-uniruled polarized varieties. By means of analytic methods the quasi-projectivity of the moduli space of algebraically polarized varieties with a not necessarily reduced complex structure is proven including the case of non-uniruled polarized varieties. △ Less

Submitted 12 November, 2001; originally announced November 2001.

Comments: 50pages

MSC Class: 32J25

Deformation Invariance of Plurigenera

Authors: Hajime Tsuji

Abstract: We prove the invariance of plurigenera under smooth projective deformations in full generality. The proof is done by several estimates of singular hermitian metrics in terms of $L^{2}$-extension theorem of holomorphic sections. We prove the invariance of plurigenera under smooth projective deformations in full generality. The proof is done by several estimates of singular hermitian metrics in terms of $L^{2}$-extension theorem of holomorphic sections. △ Less

Submitted 5 February, 2001; v1 submitted 22 December, 2000; originally announced December 2000.

Comments: 15pages, no figure introduction was expanded and misquoted Theorem 2.4 is corrected

MSC Class: 32J25

Invariance of plurigenera of varieties with nonngative Kodaira dimensions

Authors: Hajime Tsuji

Abstract: We prove the invariance of plurigenera under smooth projective deformations of varieties with nonnegative Kodaira dimensions. We prove the invariance of plurigenera under smooth projective deformations of varieties with nonnegative Kodaira dimensions. △ Less

Submitted 30 November, 2000; originally announced November 2000.

Comments: 19pages

MSC Class: 32J25

Effective birationality of pluricanonical systems

Authors: Hajime Tsuji

Abstract: This is a sequal paper to math.AG/9909021. By using the theory of AZD originated by the author, I prove that for every smooth projective $n$-fold $X$ of general type and every \[ m\geq \lceil\sum_{\ell =1}^{n}\sqrt[\ell]{2} \ell\rceil +1, \] $\mid mK_{X}\mid$ gives a birational rational map from $X$ into a projective space, unless it has a nontrivial (relative dimension is positive) rational fib… ▽ More This is a sequal paper to math.AG/9909021. By using the theory of AZD originated by the author, I prove that for every smooth projective $n$-fold $X$ of general type and every \[ m\geq \lceil\sum_{\ell =1}^{n}\sqrt[\ell]{2} \ell\rceil +1, \] $\mid mK_{X}\mid$ gives a birational rational map from $X$ into a projective space, unless it has a nontrivial (relative dimension is positive) rational fiber space structure whose general fiber is birational to a variety of relatively low degree in a projective space. △ Less

Submitted 22 June, 2000; originally announced June 2000.

Comments: 25pages

MSC Class: 32J25

Bound of automorphisms of projective varieties of general type

Authors: Hajime Tsuji

Abstract: We prove that there exists a positive number $C_{n}$ depending only on $n$ such that for every smooth projective $n$-fold of general type $X$ defined over {\bf C}, the automorphism group $Aut(X)$ satisfies the inequality $\sharp{Aut}(X)\leq C_{n}\cdotμ(X,K_{X})$, where $μ(X,K_{X})$ is the volume of $X$ with respect to $K_{X}$. We prove that there exists a positive number $C_{n}$ depending only on $n$ such that for every smooth projective $n$-fold of general type $X$ defined over {\bf C}, the automorphism group $Aut(X)$ satisfies the inequality $\sharp{Aut}(X)\leq C_{n}\cdotμ(X,K_{X})$, where $μ(X,K_{X})$ is the volume of $X$ with respect to $K_{X}$. △ Less

Submitted 21 April, 2000; originally announced April 2000.

Comments: 24pages

MSC Class: 14E05 32J25

Numerical trivial fibrations

Authors: Hajime Tsuji

Abstract: We develop an intersection theory for a singular hemitian line bundle with positive curvature current on a smooth projective variety and irreducible curves on the variety. And we prove the existence of a natural rational fibration structure associated with the singular hermitian line bundle. Also for any pseudoeffective line bundle on a smooth projective variety, we prove the existence of a rati… ▽ More We develop an intersection theory for a singular hemitian line bundle with positive curvature current on a smooth projective variety and irreducible curves on the variety. And we prove the existence of a natural rational fibration structure associated with the singular hermitian line bundle. Also for any pseudoeffective line bundle on a smooth projective variety, we prove the existence of a rational natural fibration structure associated with the line bundle. We also characterize a numerically trivial singular hermitain line bundle on a smooth projective variety. △ Less

Submitted 24 October, 2000; v1 submitted 4 January, 2000; originally announced January 2000.

MSC Class: 32J25

Pluricanonical systems of projective varieties of general type

Authors: Hajime Tsuji

Abstract: We prove that there exists a positive integer $ν_{n}$ depending only on $n$ such that for every smooth projective $n$-fold of general type $X$ defined over {\bf C}, $\mid mK_{X}\mid$ gives a birational rational map from $X$ into a projective space for every $m\geq ν_{n}$. This theorem gives an affirmative answer to Severi's conjecture. The key ingredients of the proof are the theory of AZD which… ▽ More We prove that there exists a positive integer $ν_{n}$ depending only on $n$ such that for every smooth projective $n$-fold of general type $X$ defined over {\bf C}, $\mid mK_{X}\mid$ gives a birational rational map from $X$ into a projective space for every $m\geq ν_{n}$. This theorem gives an affirmative answer to Severi's conjecture. The key ingredients of the proof are the theory of AZD which was originated by the aurhor and the subadjunction formula for AZD's of logcanoncial divisors. △ Less

Submitted 9 September, 2004; v1 submitted 3 September, 1999; originally announced September 1999.

Comments: 27pages, rewritten so that algebraists can read easily

MSC Class: 32J25

Finite Generation of Canonical Rings

Authors: Hajime Tsuji

Abstract: We prove the finite generation of canonical rings of projective variety of general type defined over complex numbers. We prove the finite generation of canonical rings of projective variety of general type defined over complex numbers. △ Less

Submitted 8 September, 2000; v1 submitted 16 August, 1999; originally announced August 1999.

Comments: minor change

MSC Class: 32J25

Boundedness of Q-Fano varieties of Picard number one

Authors: Hajime Tsuji

Abstract: We prove the birational boundedness of Q-Fano varieties with Picard number one and dimension $n$ for every $n$. We do not use Mori theory. We prove the birational boundedness of Q-Fano varieties with Picard number one and dimension $n$ for every $n$. We do not use Mori theory. △ Less

Submitted 21 May, 1999; v1 submitted 7 March, 1999; originally announced March 1999.

Comments: 19pages

Generalized Bergmann Metrics and Invariance of Plurigenera

Authors: Hajime Tsuji

Abstract: An invariant kernel for the pluricanonical system of a projective manifold of general type is introduced. Using this kernel we prove that the Yau volume form on a smooth projective variety has seminegative Ricci curvature. As a biproduct we prove the invariance of plurigenera for smooth projective deformations of manifolds of general type. An invariant kernel for the pluricanonical system of a projective manifold of general type is introduced. Using this kernel we prove that the Yau volume form on a smooth projective variety has seminegative Ricci curvature. As a biproduct we prove the invariance of plurigenera for smooth projective deformations of manifolds of general type. △ Less

Submitted 28 April, 1996; originally announced April 1996.

Report number: MSRI 1996-030