Canonical growth conditions associated to ample line bundles (Q1704075): Difference between revisions

From MaRDI portal
Set OpenAlex properties.
ReferenceBot (talk | contribs)
Changed an Item
 
(One intermediate revision by one other user not shown)
Property / arXiv ID
 
Property / arXiv ID: 1509.05528 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Okounkov bodies and toric degenerations / rank
 
Normal rank
Property / cites work
 
Property / cites work: A new capacity for plurisubharmonic functions / rank
 
Normal rank
Property / cites work
 
Property / cites work: Bergman kernels and equilibrium measures for line bundles over projective manifolds / rank
 
Normal rank
Property / cites work
 
Property / cites work: Growth of balls of holomorphic sections and energy at equilibrium / rank
 
Normal rank
Property / cites work
 
Property / cites work: Divisorial Zariski decompositions on compact complex manifolds / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q2967764 / rank
 
Normal rank
Property / cites work
 
Property / cites work: The pseudo-effective cone of a compact Kähler manifold and varieties of negative Kodaira dimension / rank
 
Normal rank
Property / cites work
 
Property / cites work: Monge-Ampère equations in big cohomology classes / rank
 
Normal rank
Property / cites work
 
Property / cites work: Differentiability of volumes of divisors and a problem of Teissier / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q5287410 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q4027238 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Integrable systems, toric degenerations and Okounkov bodies / rank
 
Normal rank
Property / cites work
 
Property / cites work: Restricted Bergman kernel asymptotics / rank
 
Normal rank
Property / cites work
 
Property / cites work: On the volume of graded linear series and Monge-Ampère mass / rank
 
Normal rank
Property / cites work
 
Property / cites work: Okounkov bodies and Seshadri constants / rank
 
Normal rank
Property / cites work
 
Property / cites work: Toric degenerations and symplectic geometry of smooth projective varieties / rank
 
Normal rank
Property / cites work
 
Property / cites work: Algebraic Equations and Convex Bodies / rank
 
Normal rank
Property / cites work
 
Property / cites work: Newton-Okounkov bodies, semigroups of integral points, graded algebras and intersection theory / rank
 
Normal rank
Property / cites work
 
Property / cites work: The partial Legendre transformation for plurisubharmonic functions / rank
 
Normal rank
Property / cites work
 
Property / cites work: Infinitesimal Newton-Okounkov bodies and jet separation / rank
 
Normal rank
Property / cites work
 
Property / cites work: Positivity of line bundles and Newton-Okounkov bodies / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q4650505 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Convex bodies associated to linear series / rank
 
Normal rank
Property / cites work
 
Property / cites work: Symplectic packings and algebraic geometry / rank
 
Normal rank
Property / cites work
 
Property / cites work: Base loci of linear series are numerically determined / rank
 
Normal rank
Property / cites work
 
Property / cites work: Brunn-Minkowski inequality for multiplicities / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q4665062 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Stetige streng pseudokonvexe Funktionen / rank
 
Normal rank
Property / cites work
 
Property / cites work: Homogeneous Monge–Ampère Equations and Canonical Tubular Neighbourhoods in Kähler Geometry / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q2782344 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Analyticity of sets associated to Lelong numbers and the extension of closed positive currents / rank
 
Normal rank
Property / cites work
 
Property / cites work: Transforming metrics on a line bundle to the Okounkov body / rank
 
Normal rank
Property / cites work
 
Property / cites work: Canonical growth conditions associated to ample line bundles / rank
 
Normal rank

Latest revision as of 06:47, 15 July 2024

scientific article
Language Label Description Also known as
English
Canonical growth conditions associated to ample line bundles
scientific article

    Statements

    Canonical growth conditions associated to ample line bundles (English)
    0 references
    8 March 2018
    0 references
    In this extremely interesting paper, the author provides a new construction which associates to an ample (or big) line bundle \(L\) on a projective manifold \(X\) a canonical growth condition on the tangent space \(T_{p}X\) of any given point \(p\). Let us recall the main construction of the paper. Let \((X,L)\) be a polarized manifold and \(p \in X\) a point. Pick local holomorphic coordinates \(z_{i}\) centered at \(p\), and choose a local trivialization of \(L\) near \(p\). Then any holomorphic section of \(L\) (or more generally \(kL\)) can be written locally as a Taylor series \[ s = \sum a_{\alpha}z^{\alpha}. \] Let us denote by \(\text{ord}_{p}(s)\) the order of vanishing of \(s\) at \(p\). Then leading order homogeneous part of \(s\), which we will denote by \(s_{\mathrm{hom}}\), is then given by \[ s_{\mathrm{hom}} := \sum_{|\alpha| = \text{ord}_{p}(s)} a_{\alpha}z^{\alpha}, \] or if \(s \equiv 0\), we let \(s_{\mathrm{hom}} \equiv 0\). If \(\gamma(t)\) is a smooth curve in \(\mathbb{C}^{n}\) of the form \(\gamma(t) = tz_{0} +t^{2}h(t)\), then one easily checks that \[ \lim_{t\rightarrow 0} \frac{s(\gamma(t))}{t^{\text{ord}_{p}(s)}} = s_{\mathrm{hom}}(z_{0}), \] which shows that \(s_{\mathrm{hom}}\) in fact is a well-defined homogeneous holomorphic function on the tangent space \(T_{p}X\). A different choice of trivialization would have the trivial effect of multiplying each \(s_{\mathrm{hom}}\) by a fixed constant. Pic a smooth metric \(\phi\) on \(L\). This gives rise to supremum norms on each vector space \(H^{0}(X,kL)\) simply by \[ ||s||^{2}_{k\phi , \infty} := \text{sup} \{ |s(x)|^{2}e^{-k\phi} \}. \] Let \(B_{1}(kL, k\phi ) := \{s \in H^{0}(X,kL) : ||s||_{k \phi , \infty} \leq 1 \}\) be the corresponding unit ball in \(H^{0}(X,kL)\). Definition 1. Let \[ \phi_{L,p} := \overset{*}{\text{sup}} \bigg\{ \frac{1}{k} \text{ln} |s_{\mathrm{hom}}|^{2} : s \in B_{1}(kL, k\phi ), k \in \mathbb{N} \bigg\}. \] Here \(*\) means taking the upper semicontinuous regularization of the supremum. One can show that \(\phi_{L,p}\) is locally bounded from above, hence this function is a PSH function on \(T_{p}X\). It is easy to show that if \(\phi^{'}\) is some other smooth metric on \(L\) and \(|\phi - \phi^{'}|< C\), then \(|\phi_{L,p} - \phi^{'}_{L,p}| < C\). Thus the growth condition \(\phi_{L,p} + \mathcal{O}(1)\) on \(T_{p}X\) is well-defined and depends only on the data \(X\), \(L\), and \(p\). We call it the \textit{canonical growth condition} of \(L\) at \(p\). Now we present the main results of the paper. Theorem A We have that \[ \int_{X} c_{1}(L)^{n} = (L)^{n} = \int_{T_{p}X}MA(\phi_{L,p}), \] where \(MA(\cdot)\) denotes the Monge-Ampère measure. Let us recall that for an ample line bundle \(L\) and a point \(p \in X\) the Seshadri constant is defined as \[ \varepsilon (X,L;p) = \text{inf}_{C} \frac{ L.C}{\text{mult}_{p}C}, \] where the infimum is taken over all curves \(C\) in \(X\). Theorem B. One has \[ \varepsilon(X,L;p) = \text{sup} \{ \lambda : \lambda \, \text{ln}(1 + |z|^{2}) \leq \phi_{L,p} + \mathcal{O}(1) \}. \] The next result of the paper is devoted to infinitesimal Newton-Okounkov bodies is a sense of \textit{A. Küronya} and \textit{V. Lozovanu} [Duke Math. J. 166, No. 7, 1349--1376 (2017; Zbl 1366.14012)]. Theorem C. The canonical growth condition \(\phi_{L,p} + \mathcal{O}(1)\) completely determines all the infinitesimal Newton-Okounkov bodies \(\triangle(L, V_{\bullet})\) of \(L\) at \(p\). In order to formulate the last main result, we need to recall two definitions. Definition 2. Let \(\omega_{0}\) be a Kähler form on \(\mathbb{C}^{n}\). We say that \(\omega_{0}\) fits into \((X,L)\) if for any \(R>0\) there exists a Kähler form \(\omega_{R}\) on \(X\) in \(c_{1}(L)\) together with a Kähler embedding \(f_{R}\) of the ball \((B_{R},\omega_{0}|_{B_{R}})\) into \((X,\omega_{R})\), where \(B_{R} = \{ |z|< R\} \subset \mathbb{C}^{n}\). If the embeddings \(f_{R}\) all can be chosen to map the origin to some fixed point \(p \in X\), we say that \(\omega_{0}\) fits into \((X,L)\) at \(p\). Definition 3. If \(u\) and \(v\) are two real-valued functions on \(\mathbb{C}^{n}\), we say that \(u\) grows faster than \(v\) (and that \(v\) grows slower than \(u\)) if \(u-v\) is bounded from below and proper (for any constant \(C\) there is an \(R > 0\) such that \(u-v > C\) on \(\{z : |z|>r\}\)). Theorem D. Let \(\omega_{0} = dd^{c}\phi_{0}\) be a Kähler form on \(\mathbb{C}^{n}\). If for some isomorphism \(\mathbb{C}^{n} \simeq T_{p}X\) we have that \(\phi_{0}\) grows slower than \(\phi_{L,p}\), then \(\omega_{0}\) fits into \((X,L)\) at \(p\). As it is pointed out by the author, the above results can be generalized to the case when \(L\) is big after suitable changes (i.e., in the case of Theorem B one needs to consider the so-called moving Seshadri constants).
    0 references
    0 references
    growth condition
    0 references
    ample line bundle
    0 references
    toric geometry
    0 references
    Seshadri constant
    0 references
    Okounkov body
    0 references
    Kähler embeddings
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references

    Identifiers