Searcharxiv⌕ Search

arXiv · 2610.25602

On solutions to tropical Monge-Ampère equations

Abstract

This paper develops convex analysis on tropical varieties and investigates the properties of the tropical Monge-Ampère equations. We start by introducing notions of plurisubharmonic functions and Kähler forms on arbitrary tropical varieties. We show that many classical results of pluripotential theory extend to this setting, including an analogue of Demailly's regularization theorem. Next, we study the solutions to the tropical Monge-Ampère equations. While we establish their uniqueness, we show that the existence is not guaranteed in general. More precisely, we prove that the tropical analogue of the Calabi-Yau theorem fails for any pair $(X, θ)$ consisting of a compact tropical variety $X$ of dimension at least two satisfying a mild genericity assumption, and a tropical Kähler form $θ$ on $X$. In particular, there exist measures compactly supported in the open part of $X$ that admit no solution. In contrast, for tropical varieties that are regular in codimension one, we show the existence of solutions. Finally, via strongly faithful tropicalizations whose existence is established in this paper, we relate the tropical solutions, when they exist, to the solutions of non-Archimedean Monge-Ampère equations on Berkovich spaces.

Explore related subjects

Keep this discovery

Explore connections, maps & timelines

BibTeXRIS

Omid Amini, Matthieu Piquerez, Lyuhui Wu. 2026-10-19. On solutions to tropical Monge-Ampère equations. https://arxiv.org/abs/2610.25602

Cite the original work for its findings. Save a collection to share your selection of sources.

KEEP EXPLORING

Related papers

A cluster criterion for potential degeneracy of superelliptic curves

Let $K$ be a field with a discrete valuation; let $p$ be a prime; and let $C$ be the curve defined by an equation of the form $y^p = f(x)$. We show that the curve $C$ has a model over an algebraic extension of $K$ whose special fiber consists of genus-$0$ components and has at worst nodal singularities if and only if the cluster data of the roots of $f$ satisfies a certain criterion, and when these hold, we show explicitly how to build the minimal regular model of $C$. We develop an interpretation of cluster data in terms of a convex hull in the Berkovich projective line and express the above results directly in terms of this convex hull.

math.AG↗

A note on complex Lie Algebras isomorphic to their conjugate

A real Lie algebra defines by extension of scalars a complex Lie algebra that is isomorphic to its Galois conjugate. In this paper, we are interested in the converse property: given a complex Lie algebra that is isomorphic to its conjugate, is it defined over the real numbers? We prove the existence of a $10$-dimensional nilpotent complex Lie algebra for which the answer is negative, disproving a recent conjecture by Deré. In addition, we compute the generic obstruction to this descent problem in terms of Brauer groups.

math.AG↗