The Frobenius structure theorem for affine log Calabi-Yau varieties containing a torus

We show that the naive counts of rational curves in any affine log Calabi-Yau variety $U$, containing an open algebraic torus, determine in a surprisingly simple way, a family of log Calabi-Yau varieties, as the spectrum of a commutative associative algebra equipped with a compatible multilinear form. This is directly inspired by a very similar conjecture of Gross-Hacking-Keel in mirror symmetry, known as the Frobenius structure conjecture. Although the statement involves only elementary algebraic geometry, our proof employs Berkovich non-archimedean analytic methods. We construct the structure constants of the algebra via counting non-archimedean analytic disks in the analytification of $U$. We establish various properties of the counting, notably deformation invariance, symmetry, gluing formula and convexity. In the special case when $U$ is a Fock-Goncharov skew-symmetric X-cluster variety, we prove that our algebra generalizes, and in particular gives a direct geometric construction of, the mirror algebra of Gross-Hacking-Keel-Kontsevich.