arXiv subjects
Publications and source records attributed to Mattias Jonsson.
These notes expand on talks given by the authors at the 2025 Summer Research Institute in Algebraic Geometry in Fort Collins, Colorado. We discuss the relation between algebraic, analytic, and non-Archimedean geometry over the complex numbers, and sketch a proof of a version of the Yau--Tian--Donaldson conjecture for constant scalar curvature Kähler metrics.
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.
We establish a version, formulated in terms of non-Archimedean pluripotential theory, of the Yau-Tian-Donaldson conjecture for constant scalar curvature and, more generally, weighted extremal Kähler metrics with prescribed compact symmetry group on an arbitrary polarized projective manifold. This is accomplished by extending important previous work of Chi Li to the weighted case, and by establishing general slope formulas for the relevant weighted entropy and energy functionals. Among other things, our approach relies on key a priori estimates for cscK metrics due to Chen-Cheng (recently extended to the weighted case by Di Nezza-Jubert-Lahdili and Han-Liu), and on a crucial estimate for psh envelopes due to Berman-Demailly-Di Nezza-Trapani.
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.
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.
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 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.
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.
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.
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.
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.
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.
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 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 give an example of a dominant rational selfmap of the projective plane whose dynamical degree is a transcendental number.
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.
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.
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.