BZPEERPapers, people, evidence and research pathsDiscover
Research tools
Network
Opportunities
Account
Source author record
Sebastien Boucksom appears in the imported research catalog. Authorship, coauthor and topic links are available while profile ownership is still unclaimed.
Catalog footprint
Research graph
Inspect adjacent papers, topics, institutions and collaborators without losing the researcher page.
BZPEER is loading the nearby papers, people, topics and institutions for this page.
Published work
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.
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.
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 ϕ.
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$.