Showing 1–49 of 49 results for author: Jonsson, M

Weighted extremal Kähler metrics on resolutions of singularities

Authors: Sébastien Boucksom, Mattias Jonsson, Antonio Trusiani

Abstract: Generalizing previous results of Arezzo-Pacard-Singer, Seyyedali-Székelyhidi and Hallam, we prove the invariance under smooth blowups of the class of weighted extremal Kähler manifolds, modulo a log-concavity assumption on the first weight. Through recent work of Di Nezza-Jubert-Lahdili and Han-Liu, this is obtained as a consequence of a general uniform coercivity estimate for the (relative, weigh… ▽ More Generalizing previous results of Arezzo-Pacard-Singer, Seyyedali-Székelyhidi and Hallam, we prove the invariance under smooth blowups of the class of weighted extremal Kähler manifolds, modulo a log-concavity assumption on the first weight. Through recent work of Di Nezza-Jubert-Lahdili and Han-Liu, this is obtained as a consequence of a general uniform coercivity estimate for the (relative, weighted) Mabuchi energy on the blowup, which applies more generally to any equivariant resolution of singularities of Fano type of a compact Kähler klt space whose Mabuchi energy is assumed to be coercive. △ Less

Submitted 8 December, 2024; originally announced December 2024.

Comments: 62 pages, no figures

MSC Class: 58E11; 53C55; 32U05

Regularity of the solution to a real Monge--Ampère equation on the boundary of a simplex

Authors: Rolf Andreasson, Jakob Hultgren, Mattias Jonsson, Enrica Mazzon, Nicholas McCleerey

Abstract: Motivated by conjectures in Mirror Symmetry, we continue the study of the real Monge--Ampère operator on the boundary of a simplex. This can be formulated in terms of optimal transport, and we consider, more generally, the problem of optimal transport between symmetric probability measures on the boundary of a simplex and of the dual simplex. For suitably regular measures, we obtain regularity pro… ▽ More Motivated by conjectures in Mirror Symmetry, we continue the study of the real Monge--Ampère operator on the boundary of a simplex. This can be formulated in terms of optimal transport, and we consider, more generally, the problem of optimal transport between symmetric probability measures on the boundary of a simplex and of the dual simplex. For suitably regular measures, we obtain regularity properties of the transport map, and of its convex potential. To do so, we exploit boundary regularity results for optimal transport maps by Caffarelli, together with the symmetries of the simplex. △ Less

Submitted 12 January, 2025; v1 submitted 3 March, 2024; originally announced March 2024.

Comments: 13 pages; to appear in International Mathematics Research Notices

MSC Class: 35J96; 53A15 (primary); 14J32; 14J33; 14T90; 32Q25 (secondary)

Singularities of the solution to a Monge--Ampère equation on the boundary of the 3-simplex

Authors: Mattias Jonsson, Nicholas McCleerey, Neil Patram, Benjamin W. Scott

Abstract: We show that the metric defined by the solution to the tropical Monge-Ampère equation, as defined by Hultgren, Mazzon, and the first two authors, on the boundary of the 3-simplex is asymptotic to the Gross-Wilson metric on $S^2$ near each of the 6 singular points. We deduce in addition that the solution is not $C^{1,1}$ across the singular points. Compared to previous works, our starting point is… ▽ More We show that the metric defined by the solution to the tropical Monge-Ampère equation, as defined by Hultgren, Mazzon, and the first two authors, on the boundary of the 3-simplex is asymptotic to the Gross-Wilson metric on $S^2$ near each of the 6 singular points. We deduce in addition that the solution is not $C^{1,1}$ across the singular points. Compared to previous works, our starting point is the real Monge-Ampère equation, as opposed to the complex structure. △ Less

Submitted 26 September, 2023; originally announced September 2023.

Comments: 16 pages, 4 figures. Comments welcome!

MSC Class: 53B05 (Primary) 35J96; 49Q22 (Secondary)

Measures of finite energy in pluripotential theory: a synthetic approach

Authors: Sebastien Boucksom, Mattias Jonsson

Abstract: We introduce a synthetic approach to global pluripotential theory, covering in particular the case of a compact Kähler 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… ▽ More We introduce a synthetic approach to global pluripotential theory, covering in particular the case of a compact Kähler 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. △ Less

Submitted 4 July, 2023; originally announced July 2023.

Comments: 48 pages

MSC Class: 31D05; 32Q26

Non-Archimedean Green's functions and Zariski decompositions

Authors: Sebastien Boucksom, Mattias Jonsson

Abstract: We study the non-Archimedean Monge-Ampère 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ère measure is a finite atomic measure supported i… ▽ More We study the non-Archimedean Monge-Ampère 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ère 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. △ Less

Submitted 31 March, 2023; originally announced April 2023.

Comments: 39 pages

MSC Class: 32Q26; 32P05

Geodesic Rays in the Donaldson--Uhlenbeck--Yau Theorem

Authors: Mattias Jonsson, Nicholas McCleerey, Sanal Shivaprasad

Abstract: We give new proofs of two implications in the Donaldson--Uhlenbeck--Yau theorem. Our proofs are based on geodesic rays of Hermitian metrics, inspired by recent work on the Yau--Tian--Donaldson conjecture. We give new proofs of two implications in the Donaldson--Uhlenbeck--Yau theorem. Our proofs are based on geodesic rays of Hermitian metrics, inspired by recent work on the Yau--Tian--Donaldson conjecture. △ Less

Submitted 18 November, 2022; v1 submitted 17 October, 2022; originally announced October 2022.

Comments: 24 pgs; v2: fixed some notational inconsistencies

MSC Class: Primary: 53C07; Secondary: 14J60; 32Q15; 58E15

Tropical and non-Archimedean Monge-Ampère equations for a class of Calabi-Yau hypersurfaces

Authors: Jakob Hultgren, Mattias Jonsson, Enrica Mazzon, Nicholas McCleerey

Abstract: For a class of maximally degenerate families of Calabi-Yau hypersurfaces of complex projective space, we study associated non-Archimedean and tropical Monge-Ampère equations, taking place on the associated Berkovich space, and the essential skeleton therein, respectively. For a symmetric measure on the skeleton, we prove that the tropical equation admits a unique solution, up to an additive consta… ▽ More For a class of maximally degenerate families of Calabi-Yau hypersurfaces of complex projective space, we study associated non-Archimedean and tropical Monge-Ampère equations, taking place on the associated Berkovich space, and the essential skeleton therein, respectively. For a symmetric measure on the skeleton, we prove that the tropical equation admits a unique solution, up to an additive constant. Moreover, the solution to the non-Archimedean equation can be derived from the tropical solution, and is the restriction of a continuous semipositive toric metric on projective space. Together with the work of Yang Li, this implies the weak metric SYZ conjecture on the existence of special Lagrangian fibrations in our setting. △ Less

Submitted 3 January, 2024; v1 submitted 29 August, 2022; originally announced August 2022.

Comments: To appear in Adv. Math

MSC Class: 14J32; 14J33; 32P05; 32Q25; 35J96; 53A15 (primary) 05E14; 14T90 (secondary)

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

Authors: Sebastien Boucksom, Mattias Jonsson

Abstract: 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 $β(μ)\in\mathbb{R}$, defined on convex combinations $μ$ 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 i… ▽ More 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 $β(μ)\in\mathbb{R}$, defined on convex combinations $μ$ 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 $β$-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. △ Less

Submitted 30 August, 2023; v1 submitted 19 June, 2022; originally announced June 2022.

Comments: Final version, to appear in Crelle's journal

MSC Class: 32Q26; 32P05

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

Authors: Sebastien Boucksom, Mattias Jonsson

Abstract: 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… ▽ More 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ère energy of a bounded function is equal to the energy of its usc regularized plurisubharmonic envelope. △ Less

Submitted 6 September, 2023; v1 submitted 14 June, 2022; originally announced June 2022.

Comments: 9 pages, addendum to the paper arXiv:1801.08229. To appear in Ann. Fac. Sci. Toulouse Math

MSC Class: 32P99 (primary) 32U15 (secondary)

A non-Archimedean approach to K-stability, I: Metric geometry of spaces of test configurations and valuations

Authors: Sébastien Boucksom, Mattias Jonsson

Abstract: For any polarized variety (X,L), we show that test configurations and, more generally, R-test configurations (defined as finitely generated filtrations of the section ring) can be analyzed in terms of Fubini-Study functions on the Berkovich analytification of X with respect to the trivial absolute value on the ground field. Building on non-Archimedean pluripotential theory, we describe the (Hausdo… ▽ More For any polarized variety (X,L), we show that test configurations and, more generally, R-test configurations (defined as finitely generated filtrations of the section ring) can be analyzed in terms of Fubini-Study functions on the Berkovich analytification of X with respect to the trivial absolute value on the ground field. Building on non-Archimedean pluripotential theory, we describe the (Hausdorff) completion of the space of test configurations, with respect to two natural pseudo-metrics, in terms of plurisubharmonic functions and measures of finite energy on the Berkovich space. We also describe the Hausdorff quotient of the space of all filtrations, and establish a 1--1 correspondence between divisorial norms and divisorial measures, both being determined in terms of finitely many divisorial valuations. △ Less

Submitted 6 September, 2023; v1 submitted 23 July, 2021; originally announced July 2021.

Comments: 70 pages. Final version, to appear in Ann. Inst. Fourier

MSC Class: 32Q26; 32P05; 32U05; 14J45; 14G22

Birational maps with transcendental dynamical degree

Authors: Jason Bell, Jeffrey Diller, Mattias Jonsson, Holly Krieger

Abstract: We give examples of birational selfmaps of $\mathbb{P}^d, d \geq 3$, whose dynamical degree is a transcendental number. This contradicts a conjecture by Bellon and Viallet. The proof uses a combination of techniques from algebraic dynamics and diophantine approximation. We give examples of birational selfmaps of $\mathbb{P}^d, d \geq 3$, whose dynamical degree is a transcendental number. This contradicts a conjecture by Bellon and Viallet. The proof uses a combination of techniques from algebraic dynamics and diophantine approximation. △ Less

Submitted 25 October, 2023; v1 submitted 8 July, 2021; originally announced July 2021.

Comments: To appear in Proc. Lond. Math. Soc

MSC Class: 32H50 (primary); 37F10; 11J81; 14E05 (secondary)

A transcendental dynamical degree

Authors: Jason P. Bell, Jeffrey Diller, Mattias Jonsson

Abstract: We give an example of a dominant rational selfmap of the projective plane whose dynamical degree is a transcendental number. We give an example of a dominant rational selfmap of the projective plane whose dynamical degree is a transcendental number. △ Less

Submitted 12 January, 2021; v1 submitted 1 July, 2019; originally announced July 2019.

Comments: 26 pages. Exposition has been changed after receiving a careful referee report. To appear in Acta Math

MSC Class: 32H50 (primary); 37F10; 11J81; 14E05 (secondary)

Convergence of p-adic pluricanonical measures to Lebesgue measures on skeleta in Berkovich spaces

Authors: Mattias Jonsson, Johannes Nicaise

Abstract: Let $K$ be a non-archimedean local field, $X$ a smooth and proper $K$-scheme, and fix a pluricanonical form on $X$. For every finite extension $K'$ of $K$, the pluricanonical form induces a measure on the $K'$-analytic manifold $X(K')$. We prove that, when $K'$ runs through all finite tame extensions of $K$, suitable normalizations of the pushforwards of these measures to the Berkovich analytifica… ▽ More Let $K$ be a non-archimedean local field, $X$ a smooth and proper $K$-scheme, and fix a pluricanonical form on $X$. For every finite extension $K'$ of $K$, the pluricanonical form induces a measure on the $K'$-analytic manifold $X(K')$. We prove that, when $K'$ runs through all finite tame extensions of $K$, suitable normalizations of the pushforwards of these measures to the Berkovich analytification of $X$ converge to a Lebesgue-type measure on the temperate part of the Kontsevich--Soibelman skeleton, assuming the existence of a strict normal crossings model for $X$. We also prove a similar result for all finite extensions $K'$ under the assumption that $X$ has a log smooth model. This is a non-archimedean counterpart of analogous results for volume forms on degenerating complex Calabi--Yau manifolds by Boucksom and the first-named author. Along the way, we develop a general theory of Lebesgue measures on Berkovich skeleta over discretely valued fields. △ Less

Submitted 7 May, 2019; originally announced May 2019.

A non-Archimedean approach to K-stability

Authors: Sébastien Boucksom, Mattias Jonsson

Abstract: We study K-stability properties of a smooth Fano variety X using non-Archimedean geometry, specifically the Berkovich analytification of X with respect to the trivial absolute value on the ground field. More precisely, we view K-semistability and uniform K-stability as conditions on the space of plurisubharmonic (psh) metrics on the anticanonical bundle of X. Using the non-Archimedean Calabi-Yau t… ▽ More We study K-stability properties of a smooth Fano variety X using non-Archimedean geometry, specifically the Berkovich analytification of X with respect to the trivial absolute value on the ground field. More precisely, we view K-semistability and uniform K-stability as conditions on the space of plurisubharmonic (psh) metrics on the anticanonical bundle of X. Using the non-Archimedean Calabi-Yau theorem and the Legendre transform, this allows us to give a new proof that K-stability is equivalent to Ding stability. By choosing suitable psh metrics, we also recover the valuative criterion of K-stability by Fujita and Li. Finally, we study the asymptotic Fubini-Study operator, which associates a psh metric to any graded filtration (or norm) on the anticanonical ring. Our results hold for arbitrary smooth polarized varieties, and suitable adjoint/twisted notions of K-stability and Ding stability. They do not rely on the Minimal Model Program. △ Less

Submitted 28 May, 2018; originally announced May 2018.

MSC Class: 32Q26; 32P05; 32U05; 14J45; 14G22

Global pluripotential theory over a trivially valued field

Authors: Sébastien Boucksom, Mattias Jonsson

Abstract: We develop global pluripotential theory in the setting of Berkovich geometry over a trivially valued field. Specifically, we define and study functions and measures of finite energy and the non-Archimedean Monge-Ampere operator on any (possibly reducible) projective variety. We also investigate the topology of the space of valuations of linear growth, and the behavior of psh functions thereon. We develop global pluripotential theory in the setting of Berkovich geometry over a trivially valued field. Specifically, we define and study functions and measures of finite energy and the non-Archimedean Monge-Ampere operator on any (possibly reducible) projective variety. We also investigate the topology of the space of valuations of linear growth, and the behavior of psh functions thereon. △ Less

Submitted 22 March, 2022; v1 submitted 24 January, 2018; originally announced January 2018.

Comments: 143 pages, 1 figure. Various improvements, psh functions now defined and studied relative to any (not necessarily ample) class. Final version, to appear in Ann. Fac. Sci. Toulouse

MSC Class: 32P09; 32W20; 32U05

Thresholds, valuations, and K-stability

Authors: Harold Blum, Mattias Jonsson

Abstract: Let X be a normal complex projective variety with at worst klt singularities, and L a big line bundle on X. We use valuations to study the log canonical threshold of L, as well as another invariant, the stability threshold. The latter generalizes a notion by Fujita and Odaka, and can be used to characterize when a Q-Fano variety is K-semistable or uniformly K-stable. It can also be used to general… ▽ More Let X be a normal complex projective variety with at worst klt singularities, and L a big line bundle on X. We use valuations to study the log canonical threshold of L, as well as another invariant, the stability threshold. The latter generalizes a notion by Fujita and Odaka, and can be used to characterize when a Q-Fano variety is K-semistable or uniformly K-stable. It can also be used to generalize volume bounds due to Fujita and Liu. The two thresholds can be written as infima of certain functionals on the space of valuations on X. When L is ample, we prove that these infima are attained. In the toric case, toric valuations acheive these infima, and we obtain simple expressions for the two thresholds in terms of the moment polytope of L. △ Less

Submitted 10 February, 2020; v1 submitted 14 June, 2017; originally announced June 2017.

Comments: minor changes, to appear in Adv. Math

MSC Class: 32Q26; 14J45; 32Q20; 14J17

Limit shapes of stable configurations of a generalized Bulgarian solitaire

Authors: Kimmo Eriksson, Markus Jonsson, Jonas Sjöstrand

Abstract: Bulgarian solitaire is played on $n$ cards divided into several piles; a move consists of picking one card from each pile to form a new pile. In a recent generalization, $σ$-Bulgarian solitaire, the number of cards you pick from a pile is some function $σ$ of the pile size, such that you pick $σ(h)\le h$ cards from a pile of size $h$. Here we consider a special class of such functions. Let us call… ▽ More Bulgarian solitaire is played on $n$ cards divided into several piles; a move consists of picking one card from each pile to form a new pile. In a recent generalization, $σ$-Bulgarian solitaire, the number of cards you pick from a pile is some function $σ$ of the pile size, such that you pick $σ(h)\le h$ cards from a pile of size $h$. Here we consider a special class of such functions. Let us call $σ$ well-behaved if $σ(1)=1$ and if both $σ(h)$ and $h-σ(h)$ are non-decreasing functions of $h$. Well-behaved $σ$-Bulgarian solitaire has a geometric interpretation in terms of layers at certain levels being picked in each move. It also satisfies that if a stable configuration of $n$ cards exists it is unique. Moreover, if piles are sorted in order of decreasing size ($λ_1 \ge λ_2\ge \dots$) then a configuration is convex if and only if it is a stable configuration of some well-behaved $σ$-Bulgarian solitaire. If sorted configurations are represented by Young diagrams and scaled down to have unit height and unit area, the stable configurations corresponding to an infinite sequence of well-behaved functions ($σ_1, σ_2, \dots$) may tend to a limit shape $φ$. We show that every convex $φ$ with certain properties can arise as the limit shape of some sequence of well-behaved $σ_n$. For the special case when $σ_n(h)=\lceil q_n h \rceil$ for $0 < q_n \le 1$, these limit shapes are triangular (in case $q_n^2 n\rightarrow 0$), or exponential (in case $q_n^2 n\rightarrow \infty$), or interpolating between these shapes (in case $q_n^2 n\rightarrow C>0$). △ Less

Submitted 21 March, 2017; originally announced March 2017.

Tropical and non-Archimedean limits of degenerating families of volume forms

Authors: Sébastien Boucksom, Mattias Jonsson

Abstract: We study the asymptotic behavior of volume forms on a degenerating family of compact complex manifolds. Under rather general conditions, we prove that the volume forms converge in a natural sense to a Lebesgue-type measure on a certain simplicial complex. In particular, this provides a measure-theoretic version of a conjecture by Kontsevich--Soibelman and Gross--Wilson, bearing on maximal degenera… ▽ More We study the asymptotic behavior of volume forms on a degenerating family of compact complex manifolds. Under rather general conditions, we prove that the volume forms converge in a natural sense to a Lebesgue-type measure on a certain simplicial complex. In particular, this provides a measure-theoretic version of a conjecture by Kontsevich--Soibelman and Gross--Wilson, bearing on maximal degenerations of Calabi--Yau manifolds. △ Less

Submitted 20 December, 2016; v1 submitted 17 May, 2016; originally announced May 2016.

Comments: Minor changes. To appear in Journal de l'Ecole polytechnique

MSC Class: 32Q25; 14J32; 14T05; 53C23; 32P05; 14G22

Uniform K-stability and asymptotics of energy functionals in Kähler geometry

Authors: Sébastien Boucksom, Tomoyuki Hisamoto, Mattias Jonsson

Abstract: Consider a polarized complex manifold (X,L) and a ray of positive metrics on L defined by a positive metric on a test configuration for (X,L). For most of the common functionals in Kähler geometry, we prove that the slope at infinity along the ray is given by evaluating the non-Archimedean version of the functional (as defined in our earlier paper) at the non-Archimedean metric on L defined by the… ▽ More Consider a polarized complex manifold (X,L) and a ray of positive metrics on L defined by a positive metric on a test configuration for (X,L). For most of the common functionals in Kähler geometry, we prove that the slope at infinity along the ray is given by evaluating the non-Archimedean version of the functional (as defined in our earlier paper) at the non-Archimedean metric on L defined by the test configuration. Using this asymptotic result, we show that coercivity of the Mabuchi functional implies uniform K-stability. △ Less

Submitted 19 May, 2020; v1 submitted 3 March, 2016; originally announced March 2016.

Comments: New version with errata (an error was found in the proof of Theorem 5.6). The affected parts of the paper are marked in red

MSC Class: 53C55; 14L24; 32P05; 32Q20; 32Q26

Markov chains on graded posets: Compatibility of up-directed and down-directed transition probabilities

Authors: Kimmo Eriksson, Markus Jonsson, Jonas Sjöstrand

Abstract: We consider two types of discrete-time Markov chains where the state space is a graded poset and the transitions are taken along the covering relations in the poset. The first type of Markov chain goes only in one direction, either up or down in the poset (an \emph{up chain} or \emph{down chain}). The second type toggles between two adjacent rank levels (an \emph{up-and-down chain}). We introduc… ▽ More We consider two types of discrete-time Markov chains where the state space is a graded poset and the transitions are taken along the covering relations in the poset. The first type of Markov chain goes only in one direction, either up or down in the poset (an \emph{up chain} or \emph{down chain}). The second type toggles between two adjacent rank levels (an \emph{up-and-down chain}). We introduce two compatibility concepts between the up-directed transition probabilities (an \emph{up rule}) and the down-directed (a \emph{down rule}), and we relate these to compatibility between up-and-down chains. This framework is used to prove a conjecture about a limit shape for a process on Young's lattice. Finally, we settle the questions whether the reverse of an up chain is a down chain for some down rule and whether there exists an up or down chain at all if the rank function is not bounded. △ Less

Submitted 11 December, 2015; originally announced December 2015.

A variational approach to the Yau-Tian-Donaldson conjecture

Authors: Robert Berman, Sébastien Boucksom, Mattias Jonsson

Abstract: We give a variational proof of a version of the Yau-Tian-Donaldson conjecture for twisted Kähler-Einstein currents, and use this to express the greatest (twisted) Ricci lower bound in terms of a purely algebro-geometric stability threshold. Our approach does not involve the continuity method or Cheeger-Colding-Tian theory, and uses instead pluripotential theory and valuations. Along the way, we st… ▽ More We give a variational proof of a version of the Yau-Tian-Donaldson conjecture for twisted Kähler-Einstein currents, and use this to express the greatest (twisted) Ricci lower bound in terms of a purely algebro-geometric stability threshold. Our approach does not involve the continuity method or Cheeger-Colding-Tian theory, and uses instead pluripotential theory and valuations. Along the way, we study the relationship between geodesic rays and non-Archimedean metrics. △ Less

Submitted 8 September, 2020; v1 submitted 15 September, 2015; originally announced September 2015.

Comments: Added Appendix B on a valuative analysis of singularities of plurisubharmonic functions. Various other small changes and improvements. To appear in Journal of the AMS

MSC Class: 53C55; 14J45; 32P05; 32Q20; 32Q26

On the complex dynamics of birational surface maps defined over number fields

Authors: Mattias Jonsson, Paul Reschke

Abstract: We show that any birational selfmap of a complex projective surface that has dynamical degree greater than one and is defined over a number field automatically satisfies the Bedford-Diller energy condition after a suitable birational conjugacy. As a consequence, the complex dynamics of the map is well-behaved. We also show that there is a well-defined canonical height function. We show that any birational selfmap of a complex projective surface that has dynamical degree greater than one and is defined over a number field automatically satisfies the Bedford-Diller energy condition after a suitable birational conjugacy. As a consequence, the complex dynamics of the map is well-behaved. We also show that there is a well-defined canonical height function. △ Less

Submitted 8 December, 2015; v1 submitted 13 May, 2015; originally announced May 2015.

Comments: Added simplified argument for algebraically stable maps on the projective plane. To appear in Crelle's Journal. 19 pages

MSC Class: 32H50; 37F10; 37P30; 37P55; 37A25; 37B40; 32U40

Uniform K-stability, Duistermaat-Heckman measures and singularities of pairs

Authors: Sébastien Boucksom, Tomoyuki Hisamoto, Mattias Jonsson

Abstract: The purpose of the present paper is to set up a formalism inspired from non-Archimedean geometry to study K-stability. We first provide a detailed analysis of Duistermaat-Heckman measures in the context of test configurations, characterizing in particular the trivial case. For any normal polarized variety (or, more generally, polarized pair in the sense of the Minimal Model Program), we introduce… ▽ More The purpose of the present paper is to set up a formalism inspired from non-Archimedean geometry to study K-stability. We first provide a detailed analysis of Duistermaat-Heckman measures in the context of test configurations, characterizing in particular the trivial case. For any normal polarized variety (or, more generally, polarized pair in the sense of the Minimal Model Program), we introduce and study the non-Archimedean analogues of certain classical functionals in Kähler geometry. These functionals are defined on the space of test configurations, and the Donaldson-Futaki invariant is in particular interpreted as the non-Archimedean version of the Mabuchi functional, up to an explicit error term. Finally, we study in detail the relation between uniform K-stability and singularities of pairs, reproving and strengthening Y. Odaka's results in our formalism. This provides various examples of uniformly K-stable varieties. △ Less

Submitted 30 November, 2016; v1 submitted 24 April, 2015; originally announced April 2015.

Comments: Small changes. To appear in Ann. Inst. Fourier

MSC Class: 14L24; 32P05; 32Q20

The Non-Archimedean Monge-Ampere Equation

Authors: Sebastien Boucksom, Charles Favre, Mattias Jonsson

Abstract: 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. 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. △ Less

Submitted 21 April, 2015; v1 submitted 19 February, 2015; originally announced February 2015.

Comments: To appear in the Proceedings of the Simons Symposia on Tropical and Non-Archimedean Geometry

MSC Class: 32P09; 32W20; 32U05

Degenerations of amoebae and Berkovich spaces

Authors: Mattias Jonsson

Abstract: We prove a continuity result for the fibers of the Berkovich analytification of a complex algebraic variety with respect to the the maximum of the Archimedean norm and the trivial norm. As a consequence, we obtain generalizations of a result of Mikhalkin and Rullgard about degenerations of amoebae onto tropical varieties. We prove a continuity result for the fibers of the Berkovich analytification of a complex algebraic variety with respect to the the maximum of the Archimedean norm and the trivial norm. As a consequence, we obtain generalizations of a result of Mikhalkin and Rullgard about degenerations of amoebae onto tropical varieties. △ Less

Submitted 7 April, 2015; v1 submitted 5 June, 2014; originally announced June 2014.

Comments: To appear in Math. Ann

MSC Class: Primary: 14T05; Secondary: 32A60; 32P05; 14M25

The Limit Shape of a Stochastic Bulgarian Solitaire

Authors: Kimmo Eriksson, Markus Jonsson, Jonas Sjöstrand

Abstract: We consider a stochastic version of Bulgarian solitaire: A number of cards are distributed in piles; in every round a new pile is formed by cards from the old piles, and each card is picked independently with a fixed probability. This game corresponds to a multi-square birth-and-death process on Young diagrams of integer partitions. We prove that this process converges in a strong sense to an expo… ▽ More We consider a stochastic version of Bulgarian solitaire: A number of cards are distributed in piles; in every round a new pile is formed by cards from the old piles, and each card is picked independently with a fixed probability. This game corresponds to a multi-square birth-and-death process on Young diagrams of integer partitions. We prove that this process converges in a strong sense to an exponential limit shape as the number of cards tends to infinity. Furthermore, we bound the probability of deviation from the limit shape and relate this to the number of rounds played in the solitaire. △ Less

Submitted 11 December, 2015; v1 submitted 10 September, 2013; originally announced September 2013.

Comments: Splitting up Theorem 1 into Theorem 1 and Theorem 2 to clarify the average shape result. Results unchanged

MSC Class: 60J10; 05A17

A refinement of Izumi's Theorem

Authors: Sébastien Boucksom, Charles Favre, Mattias Jonsson

Abstract: We improve Izumi's inequality, which states that any divisorial valuation v centered at a closed point 0 on an algebraic variety Y is controlled by the order of vanishing at 0. More precisely, as v ranges through valuations that are monomial with respect to coordinates in a fixed birational model X dominating Y, we show that for any regular function f on Y at 0, the function v--> v(f)/\ord_0(f) is… ▽ More We improve Izumi's inequality, which states that any divisorial valuation v centered at a closed point 0 on an algebraic variety Y is controlled by the order of vanishing at 0. More precisely, as v ranges through valuations that are monomial with respect to coordinates in a fixed birational model X dominating Y, we show that for any regular function f on Y at 0, the function v--> v(f)/\ord_0(f) is uniformly Lipschitz continuous as a function of the weight defining v. As a consequence, the volume of v is also a Lipschitz continuous function. Our proof uses toroidal techniques as well as positivity properties of the images of suitable nef divisors under birational morphisms. △ Less

Submitted 18 September, 2012; originally announced September 2012.

Comments: 23 pages, 1 figure

An algebraic approach to the openness conjecture of Demailly and Kollar

Authors: Mattias Jonsson, Mircea Mustata

Abstract: We reduce the Openness Conjecture of Demailly and Kollár on the singularities of plurisubharmonic functions to a purely algebraic statement. We reduce the Openness Conjecture of Demailly and Kollár on the singularities of plurisubharmonic functions to a purely algebraic statement. △ Less

Submitted 12 February, 2013; v1 submitted 18 May, 2012; originally announced May 2012.

Comments: Small modifications. 26 pages. To appear in J. Inst. Math. Jussieu

MSC Class: 32U05 (Primary) 32U25; 14F18; 12J20; 14B05 (Secondary)

Canonical heights for plane polynomial maps of small topological degree

Authors: Mattias Jonsson, Elizabeth Wulcan

Abstract: We study canonical heights for plane polynomial mappings of small topological degree. In particular, we prove that for points of canonical height zero, the arithmetic degree is bounded by the topological degree and hence strictly smaller than the first dynamical degree. The proof uses the existence, proved by Favre and the first author, of certain compactifications of the plane adapted to the dyna… ▽ More We study canonical heights for plane polynomial mappings of small topological degree. In particular, we prove that for points of canonical height zero, the arithmetic degree is bounded by the topological degree and hence strictly smaller than the first dynamical degree. The proof uses the existence, proved by Favre and the first author, of certain compactifications of the plane adapted to the dynamics. △ Less

Submitted 24 October, 2012; v1 submitted 1 February, 2012; originally announced February 2012.

Comments: Modified title and some references in response to the new version of the paper by Silverman. 10 pages. To appear in Math. Res. Lett

MSC Class: 37P30 (Primary) 11G50; 37P15 (Secondary)

Dynamics on Berkovich spaces in low dimensions

Authors: Mattias Jonsson

Abstract: These are expanded lecture notes for the summer school on Berkovich spaces that took place at the Institut de Mathématiques de Jussieu, Paris in 2010. They serve to illustrate some techniques and results from the dynamics on low-dimensional Berkovich spaces and to exhibit the structure of these spaces. These are expanded lecture notes for the summer school on Berkovich spaces that took place at the Institut de Mathématiques de Jussieu, Paris in 2010. They serve to illustrate some techniques and results from the dynamics on low-dimensional Berkovich spaces and to exhibit the structure of these spaces. △ Less

Submitted 12 October, 2014; v1 submitted 9 January, 2012; originally announced January 2012.

Comments: This version is very close to the one that will appear in "Berkovich Spaces and Applications", Lecture Notes in Mathematics, 2119, Springer

MSC Class: 37P50

Solution to a non-Archimedean Monge-Ampère equation

Authors: S. Boucksom, C. Favre, M. Jonsson

Abstract: Let X be a smooth projective Berkovich space over a complete discrete valuation field K of residue characteristic zero, and assume that X is defined over a function field admitting K as a completion. Let further m be a positive measure on X and L be an ample line bundle such that the mass of m is equal to the degree of L. Then we show the existence a continuous semipositive metric whose associated… ▽ More Let X be a smooth projective Berkovich space over a complete discrete valuation field K of residue characteristic zero, and assume that X is defined over a function field admitting K as a completion. Let further m be a positive measure on X and L be an ample line bundle such that the mass of m is equal to the degree of L. Then we show the existence a continuous semipositive metric whose associated measure is equal to m in the sense of Zhang and Chambert-Loir. This we do under a technical assumption on the support of m, which is, for instance, fulfilled if the support is a finite set of divisorial points. Our method draws on analogues of the variational approach developed to solve complex Monge-Ampère equations on compact Kähler manifolds by Berman, Guedj, Zeriahi and the first named author, and of Kołodziej's continuity estimates. It relies in a crucial way on the compactness properties of singular semipositive metrics, as defined and studied in a companion article. △ Less

Submitted 30 December, 2011; originally announced January 2012.

Comments: 47 pages

Singular semipositive metrics in non-Archimedean geometry

Authors: S. Boucksom, C. Favre, M. Jonsson

Abstract: Let X be a smooth projective Berkovich space over a complete discrete valuation field K of residue characteristic zero, endowed with an ample line bundle L. We introduce a general notion of (possibly singular) semipositive (or plurisubharmonic) metrics on L, and prove the analogue of the following two basic results in the complex case: the set of semipositive metrics is compact modulo constants, a… ▽ More Let X be a smooth projective Berkovich space over a complete discrete valuation field K of residue characteristic zero, endowed with an ample line bundle L. We introduce a general notion of (possibly singular) semipositive (or plurisubharmonic) metrics on L, and prove the analogue of the following two basic results in the complex case: the set of semipositive metrics is compact modulo constants, and each semipositive metric is a decreasing limit of smooth semipositive ones. In particular, for continuous metrics our definition agrees with the one by S.-W. Zhang. The proofs use multiplier ideals and the construction of suitable models of X over the valuation ring of K, using toroidal techniques. △ Less

Submitted 21 January, 2014; v1 submitted 30 December, 2011; originally announced January 2012.

Comments: 49 pages, 1 figure. Accepted in the Journal of Algebraic Geometry

A finiteness property of graded sequences of ideals

Authors: Mattias Jonsson, Mircea Mustata

Abstract: Given a graded sequence of ideals (a_m) on a smooth variety $X$ having finite log canonical threshold, suppose that for every m we have a divisor E_m over X that computes the log canonical threshold of a_m, and such that the log discrepancies of the divisors E_m are bounded. We show that in this case the set of divisors E_m is finite. Given a graded sequence of ideals (a_m) on a smooth variety $X$ having finite log canonical threshold, suppose that for every m we have a divisor E_m over X that computes the log canonical threshold of a_m, and such that the log discrepancies of the divisors E_m are bounded. We show that in this case the set of divisors E_m is finite. △ Less

Submitted 4 July, 2011; v1 submitted 17 November, 2010; originally announced November 2010.

Comments: 9 pages; v2: final version, to appear in Algebra and Number Theory

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

Valuations and asymptotic invariants for sequences of ideals

Authors: Mattias Jonsson, Mircea Mustata

Abstract: We study asymptotic jumping numbers for graded sequences of ideals, and show that every such invariant is computed by a suitable real valuation of the function field. We conjecture that every valuation that computes an asymptotic jumping number is necessarily quasi-monomial. This conjecture holds in dimension two. In general, we reduce it to the case of affine space and to graded sequences of valu… ▽ More We study asymptotic jumping numbers for graded sequences of ideals, and show that every such invariant is computed by a suitable real valuation of the function field. We conjecture that every valuation that computes an asymptotic jumping number is necessarily quasi-monomial. This conjecture holds in dimension two. In general, we reduce it to the case of affine space and to graded sequences of valuation ideals. Along the way, we study the structure of a suitable valuation space. △ Less

Submitted 20 October, 2011; v1 submitted 16 November, 2010; originally announced November 2010.

Comments: 49 pages; v2: we now work more generally in the setting of arbitrary excellent regular schemes; some details regarding the definition of quasi-monomial valuations have been added in Section 3.1; v3: minor changes, this is the final version, to appear in Ann. Inst. Fourier (Grenoble)

MSC Class: 14F18 (Primary) 12J20; 14B05 (Secondary)

Stabilization of monomial maps

Authors: Mattias Jonsson, Elizabeth Wulcan

Abstract: A monomial (or equivariant) selfmap of a toric variety is called stable if its action on the Picard group commutes with iteration. Generalizing work of Favre to higher dimensions, we show that under suitable conditions, a monomial map can be made stable by refining the underlying fan. In general, the resulting toric variety has quotient singularities; in dimension two we give criteria for when it… ▽ More A monomial (or equivariant) selfmap of a toric variety is called stable if its action on the Picard group commutes with iteration. Generalizing work of Favre to higher dimensions, we show that under suitable conditions, a monomial map can be made stable by refining the underlying fan. In general, the resulting toric variety has quotient singularities; in dimension two we give criteria for when it can be chosen smooth, as well as examples when it cannot. △ Less

Submitted 16 September, 2010; v1 submitted 22 January, 2010; originally announced January 2010.

Comments: To appear in Michigan Math. J

MSC Class: 32H50; 14M25

Algebraic webs invariant under endomorphisms

Authors: Marius Dabija, Mattias Jonsson

Abstract: We classify noninvertible, holomorphic selfmaps of the projective plane that preserve an algebraic web. In doing so, we obtain interesting examples of critically finite maps. We classify noninvertible, holomorphic selfmaps of the projective plane that preserve an algebraic web. In doing so, we obtain interesting examples of critically finite maps. △ Less

Submitted 22 July, 2009; originally announced July 2009.

Comments: 9 pages, 1 figure. To appear in Publ. Mat

MSC Class: 32H50; 14C21

On Bochner-Martinelli residue currents and their annihilator ideals

Authors: Mattias Jonsson, Elizabeth Wulcan

Abstract: We study the residue current R^f of Bochner-Martinelli type associated with a tuple f=(f_1,...,f_m) of holomorphic germs at the origin in C^n, whose common zero set equals the origin. Our main results are a geometric description of R^f in terms of the Rees valuations associated with the ideal (f) generated by f and a characterization of when the annihilator ideal of R^f equals (f). We study the residue current R^f of Bochner-Martinelli type associated with a tuple f=(f_1,...,f_m) of holomorphic germs at the origin in C^n, whose common zero set equals the origin. Our main results are a geometric description of R^f in terms of the Rees valuations associated with the ideal (f) generated by f and a characterization of when the annihilator ideal of R^f equals (f). △ Less

Submitted 4 November, 2008; originally announced November 2008.

Comments: 22 pages, 1 figure

MSC Class: 32A26; 32A27; 32S45

Dynamical compactifications of C^2

Authors: Charles Favre, Mattias Jonsson

Abstract: We find good dynamical compactifications for arbitrary polynomial mappings of C^2 and use them to show that the degree growth sequence satisfies a linear integral recursion formula. For maps of low topological degree we prove that the Green function is well behaved. For maps of maximum topological degree, we give normal forms. We find good dynamical compactifications for arbitrary polynomial mappings of C^2 and use them to show that the degree growth sequence satisfies a linear integral recursion formula. For maps of low topological degree we prove that the Green function is well behaved. For maps of maximum topological degree, we give normal forms. △ Less

Submitted 2 September, 2009; v1 submitted 18 November, 2007; originally announced November 2007.

Comments: 31 pages. To appear in Ann. of Math

MSC Class: 32H50; 37F10; 32H04; 32J05; 13A18

Endomorphisms of the plane preserving a pencil of curves

Authors: Marius Dabija, Mattias Jonsson

Abstract: We classify endomorphisms of the plane that preserve a pencil of curves. We classify endomorphisms of the plane that preserve a pencil of curves. △ Less

Submitted 1 March, 2007; originally announced March 2007.

Comments: 5 pages. To appear in Internat. J. Math

MSC Class: 32H50; 14C21

Valuations and plurisubharmonic singularities

Authors: Sebastien Boucksom, Charles Favre, Mattias Jonsson

Abstract: 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 prope… ▽ More 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 φ. △ Less

Submitted 14 September, 2007; v1 submitted 16 February, 2007; originally announced February 2007.

Comments: 37 pages, new version. Changed the terminology from convex fonctions to formal psh functions. Corrected statement about the continuity of formal psh functions. Added a proof of the continuity of psh envelopes (theorem 5.13). Clarified the exposition (removed a section on the action of finite maps on formal psh functions). Added new references

Degree growth of meromorphic surface maps

Authors: S. Boucksom, C. Favre, M. Jonsson

Abstract: We study the degree growth of iterates of meromorphic selfmaps of compact Kahler surfaces. Using cohomology classes on the Riemann-Zariski space we show that the degrees grow similarly to those of mappings that are algebraically stable on some birational model. We study the degree growth of iterates of meromorphic selfmaps of compact Kahler surfaces. Using cohomology classes on the Riemann-Zariski space we show that the degrees grow similarly to those of mappings that are algebraically stable on some birational model. △ Less

Submitted 25 May, 2007; v1 submitted 10 August, 2006; originally announced August 2006.

Comments: 17 pages, final version, to appear in Duke Math Journal

Differentiability of volumes of divisors and a problem of Teissier

Authors: Sebastien Boucksom, Charles Favre, Mattias Jonsson

Abstract: 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… ▽ More 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. △ Less

Submitted 4 September, 2007; v1 submitted 10 August, 2006; originally announced August 2006.

Comments: 28 pages. Final version. To appear in J. Alg. Geom

MSC Class: 14C20 (Primary); 14E05; 52A40 (Secondary)

Eigenvaluations

Authors: Charles Favre, Mattias Jonsson

Abstract: We study the dynamics in C^2 of superattracting fixed point germs and of polynomial maps near infinity. In both cases we show that the asymptotic attraction rate is a quadratic integer, and construct a plurisubharmonic function with the adequate invariance property. This is done by finding an infinitely near point at which the map becomes rigid: the critical set is contained in a totally invaria… ▽ More We study the dynamics in C^2 of superattracting fixed point germs and of polynomial maps near infinity. In both cases we show that the asymptotic attraction rate is a quadratic integer, and construct a plurisubharmonic function with the adequate invariance property. This is done by finding an infinitely near point at which the map becomes rigid: the critical set is contained in a totally invariant set with normal crossings. We locate this infinitely near point through the induced action of the dynamics on a space of valuations. This space carries an real-tree structure and conveniently encodes local data: an infinitely near point corresponds to a open subset of the tree. The action respects the tree structure and admits a fixed point--or eigenvaluation--which is attracting in a certain sense. A suitable basin of attraction corresponds to the desired infinitely near point. △ Less

Submitted 29 January, 2007; v1 submitted 19 October, 2004; originally announced October 2004.

Comments: 48 pages, 2 figures, To appear in Annales de l'ENS

MSC Class: 32H50; 14R10; 13A18

Valuations and multiplier ideals

Authors: Charles Favre, Mattias Jonsson

Abstract: We present a new approach to the study of multiplier ideals in a local, two-dimensional setting. Our method allows us to deal with ideals, graded systems of ideals and plurisubharmonic functions in a unified way. Among the applications are a formula for the complex integrability exponent of a plurisubharmonic function in terms of Kiselman numbers, and a proof of the openness conjecture by Demail… ▽ More We present a new approach to the study of multiplier ideals in a local, two-dimensional setting. Our method allows us to deal with ideals, graded systems of ideals and plurisubharmonic functions in a unified way. Among the applications are a formula for the complex integrability exponent of a plurisubharmonic function in terms of Kiselman numbers, and a proof of the openness conjecture by Demailly and Kollar. Our technique also yields new proofs of two recent results: one on the structure of the set of complex singularity exponents for holomorphic functions; the other by Lipman and Watanabe on the realization of ideals as multiplier ideals. △ Less

Submitted 24 February, 2005; v1 submitted 7 June, 2004; originally announced June 2004.

Comments: 32 pages, 3 figures. To appear in J. Amer. Math. Soc

MSC Class: 14B05; 32U25; 13H05

Valuative analysis of planar plurisubharmonic functions

Authors: Charles Favre, Mattias Jonsson

Abstract: We show that valuations on the ring R of holomorphic germs in dimension 2 may be naturally evaluated on plurisubharmonic functions, giving rise to generalized Lelong numbers in the sense of Demailly. Any plurisubharmonic function thus defines a real-valued function on the set V of valuations on R and--by way of a natural Laplace operator defined in terms of the tree structure on V--a positive me… ▽ More We show that valuations on the ring R of holomorphic germs in dimension 2 may be naturally evaluated on plurisubharmonic functions, giving rise to generalized Lelong numbers in the sense of Demailly. Any plurisubharmonic function thus defines a real-valued function on the set V of valuations on R and--by way of a natural Laplace operator defined in terms of the tree structure on V--a positive measure on V. This measure contains a great deal of information on the singularity at the origin. Under mild regularity assumptions, it yields an exact formula for the mixed Monge-Ampere mass of two plurisubharmonic functions. As a consequence, any generalized Lelong number can be interpreted as an average of valuations. Using our machinery we also show that the singularity of any positive closed (1,1) current T can be attenuated in the following sense: there exists a finite composition of blowups such that the pull-back of T decomposes into two parts, the first associated to a divisor with normal crossing support, the second having small Lelong numbers. △ Less

Submitted 9 February, 2005; v1 submitted 12 January, 2004; originally announced January 2004.

Comments: Final version. To appear in Inventiones Math. 37 pages, 5 figures

MSC Class: 32U25; 13A18; 13H05

The valuative tree

Authors: Charles Favre, Mattias Jonsson

Abstract: We describe the set V of all real valued valuations v on the ring C[[x,y]] normalized by min{v(x),v(y)}=1. It has a natural structure of an R-tree, induced by the order relation v is less than v' iff v(f) is less than v'(f) for all f. It can also be metrized, endowing it with a metric tree structure. From the algebraic point of view, these structures are obtained by taking a suitable quotient of… ▽ More We describe the set V of all real valued valuations v on the ring C[[x,y]] normalized by min{v(x),v(y)}=1. It has a natural structure of an R-tree, induced by the order relation v is less than v' iff v(f) is less than v'(f) for all f. It can also be metrized, endowing it with a metric tree structure. From the algebraic point of view, these structures are obtained by taking a suitable quotient of the Riemann-Zariski variety of C[[x,y]], in order to force it to be a Hausdorff topological space. The tree structure on V also provides an identification of valuations with balls of irreducible curves in a natural ultrametric. We show that the dual graphs of all sequences of blow-ups patch together, yielding an R-tree naturally isomorphic to V. Altogether, this gives many different approaches to the valuative tree V. We then describe a natural Laplace operator on V. It associates to (special) functions of V a complex Borel measure. Using this operator, we show how measures on the valuative tree can be used to encode naturally both integrally closed ideals in R and cohomology classes of the local analog of voute etoilee over the complex plane. △ Less

Submitted 26 November, 2003; v1 submitted 17 October, 2002; originally announced October 2002.

Comments: 206 pages, 21 figures

MSC Class: 14H20; 13A18; 54F50

Brolin's Theorem for curves in two complex dimensions

Authors: Charles Favre, Mattias Jonsson

Abstract: Given a holomorphic selfmap f of the complex projective plane of algebraic degree at least 2, we give sufficient conditions on a positive closed (1,1) current S of unit mass under which the normalized pullbacks of S under iterates of f converge to the Green current T. In particular, we completely characterize the plane algebraic curves whose normalized pullbacks converge weakly to T. Given a holomorphic selfmap f of the complex projective plane of algebraic degree at least 2, we give sufficient conditions on a positive closed (1,1) current S of unit mass under which the normalized pullbacks of S under iterates of f converge to the Green current T. In particular, we completely characterize the plane algebraic curves whose normalized pullbacks converge weakly to T. △ Less

Submitted 31 May, 2001; originally announced May 2001.

Comments: 30 pages

MSC Class: 32F50; 58F23; 32U25

Stable manifolds of holomorphic diffeomorphisms

Authors: Mattias Jonsson, Dror Varolin

Abstract: We consider stable manifolds of a holomorphic diffeomorphism of a complex manifold. Using a conjugation of the dynamics to a (non-stationary) polynomial normal form, we show that typical stable manifolds are biholomorphic to complex Euclidean space. We consider stable manifolds of a holomorphic diffeomorphism of a complex manifold. Using a conjugation of the dynamics to a (non-stationary) polynomial normal form, we show that typical stable manifolds are biholomorphic to complex Euclidean space. △ Less

Submitted 18 March, 2002; v1 submitted 29 January, 2001; originally announced January 2001.

Comments: 17 pages. Revised version. To appear in Inv. Math

MSC Class: 32H50;32Q30;58F23

Regular Polynomial Endomorphisms of C^k

Authors: Eric Bedford, Mattias Jonsson

Abstract: We study the dynamics of polynomial mappings f:C^k to C^k of degree at least 2 that extend continuously to projective space P^k. Our approach is to study the dynamics near the hyperplane at infinity and then making a descent to K --- the set of points with bounded orbits --- via external rays. We study the dynamics of polynomial mappings f:C^k to C^k of degree at least 2 that extend continuously to projective space P^k. Our approach is to study the dynamics near the hyperplane at infinity and then making a descent to K --- the set of points with bounded orbits --- via external rays. △ Less

Submitted 18 May, 1998; originally announced May 1998.

Comments: 54 pages. PostScript figures

Report number: Stony Brook IMS 1998/3