Compactifications of cluster varieties and convexity
In [GHKK18], Gross-Hacking-Keel-Kontsevich discuss compactifications of cluster varieties from "positive subsets" in the real tropicalization of the mirror. To be more precise, let be the scattering diagram of a cluster variety (of either type -- or ), and let be a closed subset of -- the ambient space of . The set is positive if the theta functions corresponding to the integral points of and its -dilations define an -graded subalgebra of . In particular, a positive set defines a compactification of through a Proj construction applied to the corresponding -graded algebra. In this paper we give a natural convexity notion for subsets of , called "broken line convexity", and show that a set is positive if and only if it is broken line convex. The combinatorial criterion of broken line convexity provides a tractable way to construct positive subsets of , or to check positivity of a given subset.