The Torus of Triangles
Eric Brussel,Madeleine E. Goertz
2024-09-18
Abstract:We prove the 2-torus $\mathbb T$, an abelian linear algebraic group, occurs as a compactification of the moduli space of labeled, oriented, similarity classes of triangles. A (possibly degenerate) triangle is {\it inscribable} if it can be inscribed in a circle. We show $\mathbb T$ is a fine moduli space of labeled, oriented, possibly-degenerate inscribable classes, and that the (moduli) stack of (unlabeled, unoriented) possibly-degenerate inscribable classes is the quotient $[\mathbb T/D_6]$. To illustrate how aptly $\mathbb T$ describes triangle classes we show the main triangle types form distinguished algebraic structures: subgroups, cosets, and elements of small order, and use the natural metric on $\mathbb T$ to compare them.
Metric Geometry,Algebraic Geometry