arXiv subjects

Sebastien Boucksom

Publications and source records attributed to Sebastien Boucksom.

14 recordsLinked to original sources

arXiv2025

From amoebas to pluripotential theory on hybrid analytic spaces

These lecture notes are an introduction to the use of non-Archimedean geometry in the study of meromorphic degenerations of complex algebraic varieties. They provide a self-contained discussion of hybrid spaces, which fill in one-parameter degenerations with the associated non-Archimedean Berkovich space as a central fiber. The main focus is on the interplay between complex and non-Archimedean pluripotential theory, and on the relation between convergence of psh metrics and the associated Monge-Ampere measures in the hybrid space, following work of the author with M.Jonsson, and recent breakthrough work by Y.Li.

math.AG↗

arXiv2023

Measures of finite energy in pluripotential theory: a synthetic approach

We introduce a synthetic approach to global pluripotential theory, covering in particular the case of a compact K\"ahler manifold and that of a projective Berkovich space over a non-Archimedean field. We define and study the space of measures of finite energy, introduce twisted energy and free energy functionals thereon, and show that coercivity of these functionals is an open condition with respect to the polarization.

math.CV↗

arXiv2023

Non-Archimedean Green's functions and Zariski decompositions

We study the non-Archimedean Monge-Amp\`ere equation on a smooth projective variety over a discretely or trivially valued field. First, we give an example of a Green's function, associated to a divisorial valuation, which is not Q-PL (i.e. not a model function in the discretely valued case). Second, we produce an example of a function whose Monge-Amp\`ere measure is a finite atomic measure supported in a dual complex, but which is not invariant under the retraction associated to any snc model. This answers a question by Burgos Gil et al in the negative. Our examples are based on geometric constructions by Cutkosky and Lesieutre, and arise via base change from Green's functions over a trivially valued field; this theory allows us to efficiently encode the Zariski decomposition of a pseudoeffective numerical class.

math.AG↗

arXiv2022

A non-Archimedean approach to K-stability, II: divisorial stability and openness

To any projective pair $(X,B)$ equipped with an ample $\mathbb{Q}$-line bundle $L$ (or even any ample numerical class), we attach a new invariant $\beta(\mu)\in\mathbb{R}$, defined on convex combinations $\mu$ of divisorial valuations on $X$, viewed as point masses on the Berkovich analytification of $X$. The construction is based on non-Archimedean pluripotential theory, and extends the Dervan-Legendre invariant for a single valuation--itself specializing to Li and Fujita's valuative invariant in the Fano case, which detects K-stability. Using our $\beta$-invariant, we define divisorial (semi)stability, and show that divisorial semistability implies $(X,B)$ is sublc (i.e. its log discrepancy function is non-negative), and that divisorial stability is an open condition with respect to the polarization $L$. We also show that divisorial stability implies uniform K-stability in the usual sense of (ample) test configurations, and that it is equivalent to uniform K-stability with respect to all norms/filtrations on the section ring of $(X,L)$, as considered by Chi Li.

math.AG↗

arXiv2022

Addendum to the article `Global pluripotential theory over a trivially valued field'

This note is an addendum to the paper `Global pluripotential theory over a trivially valued field' by the present authors, in which we prove two results. Let $X$ be an irreducible projective variety over an algebraically closed field field $k$, and assume that $k$ has characteristic zero, or that $X$ has dimension at most two. We first prove that when $X$ is smooth, the envelope property holds for any numerical class on $X$. Then we prove that for $X$ possibly singular and for an ample numerical class, the Monge--Amp\`ere energy of a bounded function is equal to the energy of its usc regularized plurisubharmonic envelope.

math.AG↗

arXiv2015

The Non-Archimedean Monge-Ampere Equation

We give an introduction to our work on the solution to the non-Archimedean Monge-Ampere equation and make comparisons to the complex counterpart. These notes are partially based on talks at the 2015 Simons Symposium on Tropical and Nonarchimedean Geometry.

math.AG↗

arXiv2011

The volume of an isolated singularity

We introduce a notion of volume of a normal isolated singularity that generalizes Wahl's characteristic number of surface singularities to arbitrary dimensions. We prove a basic monotonicity property of this volume under finite morphisms. We draw several consequences regarding the existence of non-invertible finite endomorphisms fixing an isolated singularity. Using a cone construction, we deduce that the anticanonical divisor of any smooth projective variety carrying a non-invertible polarized endomorphism is pseudoeffective. Our techniques build on Shokurov's b-divisors. We define the notion of nef Weil b-divisors, and of nef envelopes of b-divisors. We relate the latter to the pull-back of Weil divisors introduced by de Fernex and Hacon. Using the subadditivity theorem for multiplier ideals with respect to pairs recently obtained by Takagi, we carry over to the isolated singularity case the intersection theory of nef Weil b-divisors formerly developed by Boucksom, Favre, and Jonsson in the smooth case.

math.AG↗

arXiv2010

Growth of balls of holomorphic sections and energy at equilibrium

Let X be a compact complex manifold endowed with a big line bundle L. We define the energy at equilibrium of a weighted subset as the Monge-Ampere energy of the associated extremal plurisubharmonic weight. We prove the differentiability of the energy at equilibrium with respect to the weight, and show that this energy describes the asymptotic behaviour as k goes to infinity of the volume of the induced sup-norm unit ball in the space of global sections of kL. As a consequence of these results, we extend Rumely's Robin-type formula for the transfinite diameter. We also obtain an asymptotic description of the analytic torsion and extend Yuan's equidistribution theorem for algebraic points of small height to the case of a big line bundle.

math.CV↗

arXiv2009

Okounkov bodies of filtered linear series

We associate to a filtration of a graded linear series of a big line bundle a concave function on the Okounkov body whose law with respect to Lebesgue's measure describes the asymptotic distribution of the jumps of the filtration. As a consequence we obtain a Fujita-type approximation theorem in this general filtered setting. We then specialize these results to filtrations by minima in the usual context of Arakelov geometry, thereby obtaining in a simple way a natural construction of an arithmetic Okounkov body, the existence of the arithmetic volume as a limit and the arithmetic Fujita approximation theorem for adelically normed graded linear series. We also obtain by a variant of this construction a short proof of the existence of the sectional capacity.

math.AG↗

arXiv2009

Fekete points and convergence towards equilibrium measures on complex manifolds

Building on the first two authors' previous results, we prove a general criterion for convergence of (possibly singular) Bergman measures towards equilibrium measures on complex manifolds. The criterion may be formulated in terms of growth properties of balls of holomorphic sections, or equivalently as an asymptotic minimization of generalized Donaldson L-functionals. Our result yields in particular the proof of a well-known conjecture in pluripotential theory concerning the equidistribution of Fekete points, and it also gives the convergence of Bergman measures towards equilibrium for Bernstein-Markov measures. Applications to interpolation of holomorphic sections are also discussed.

math.CV↗

arXiv2007

Valuations and plurisubharmonic singularities

We extend to higher dimensions some of the valuative analysis of singularities of plurisubharmonic (psh) functions developed by the last two authors. Following Kontsevich and Soibelman we describe the geometry of the space V of all normalized valuations on C[x_1,...,x_n] centered at the origin. It is a union of simplices naturally endowed with an affine structure. Using relative positivity properties of divisors living on modifications of C^n above the origin, we define formal psh functions on V, designed to be analogues of the usual psh functions. For bounded formal psh functions on V, we define a mixed Monge-Ampere operator which reflects the intersection theory of divisors above the origin of C^n. This operator associates to any (n-1)-tuple of formal psh functions a positive measure of finite mass on V. Next, we show that the collection of Lelong numbers of a given germ u of a psh function at all infinitely near points induces a formal psh function u' on V called its valuative transform. When ϕis a psh Holder weight in the sense of Demailly, the generalized Lelong number nu_ϕ(u) equals the integral of u' against the Monge-Ampere measure of the valuative transform of ϕ. In particular, any generalized Lelong number is an average of valuations. We also show how to compute the multiplier ideal of u and the relative type of u with respect to ϕin the sense of Rashkovskii, in terms of the valuative transforms of u and ϕ.

math.CV↗

arXiv2007

Differentiability of volumes of divisors and a problem of Teissier

We give an algebraic construction of the positive products of pseudo-effective classes first introduced by Boucksom, Demailly, Paun and Peternell, and use them to prove that the volume function on the Neron-Severi space of a projective variety is (once) differentiable. The differential is expressed as a positive product; we also relate it to the restricted volumes introduced by Ein et al and by Takayama. Then we apply our differentiability result to prove an algebro-geometric version of the Diskant inequality in convex geometry, allowing us to characterize the equality case of the Khovanskii-Teissier inequalities for nef and big classes.

math.AG↗

arXiv2002

Higher dimensional Zariski decompositions

Using currents with minimal singularities, we construct pointwise minimal multiplicities for a real pseudo-effective $(1,1)$-class $α$ on a compact complex $n$-fold $X$, which are the local obstructions to the numerical effectivity of $α$. The negative part of $α$ is then defined as the real effective divisor $N(α)$ whose multiplicity along a prime divisor $D$ is just the generic multiplicity of $α$ along $D$, and we get in that way a divisorial Zariski decomposition of $α$ into the sum of a class $Z(α)$ which is nef in codimension 1 and the class of its negative part $N(α)$, which is exceptional in the sense that it is very rigidly embedded in $X$. The positive parts $Z(α)$ generate a modified nef cone, and the pseudo-effective cone is shown to be locally polyhedral away from the modified nef cone, with extremal rays generated by exceptional divisors. We then treat the case of a surface and a hyper-Kähler manifold in some detail: under the intersection form (resp. the Beauville-Bogomolov form), we characterize the modified nef cone and the exceptional divisors; our divisorial Zariski decomposition is orthogonal, and is thus a rational decomposition, which fact accounts for the usual existence statement of a Zariski decomposition on a projective surface, which is thus extended to the hyper-Kähler case. Finally, we explain how the divisorial Zariski decomposition of (the first Chern class of) a big line bundle on a projective manifold can be characterized in terms of the asymptotics of the linear series $|kL|$ as $k\to\infty$.

math.AG↗

arXiv2002

On the volume of a line bundle

Using a result of Fujita on approximate Zariski decompositions and the singular version of Demailly's holomorphic Morse inequalities as obtained by Bonavero, we express the volume of a line bundle in terms of the absolutely continuous parts of all the positive curvature currents on it, with a way to pick an element among them which is most homogeneous with respect to the volume. This enables us to introduce the volume of any pseudoeffective class on a compact Kaehler manifold, and Fujita's theorem is then extended to this context.

math.AG↗