Laws of trigonometry on 𝑆𝑈(3)

Abstract

The orbit space of congruence classes of triangles in S U ( 3 ) SU(3) has dimension 8 8 . Each corner is given by a pair of tangent vectors ( X , Y ) (X,Y) , and we consider the 8 8 functions tr X 2 , i tr X 3 , tr Y 2 , i tr Y 3 , tr X Y , i tr X 2 Y , i tr X Y 2 {\text {tr}}{X^2},i{\text {tr}}{X^3},{\text {tr}}{Y^2},i{\text {tr}}{Y^3},{\text {tr}}XY,i{\text {tr}}{X^2}Y,i{\text {tr}}X{Y^2} and tr X 2 Y 2 {\text {tr}}{X^2}{Y^2} which are invariant under the full isometry group of S U ( 3 ) SU(3) . We show that these 8 8 corner invariants determine the isometry class of the triangle. We give relations (laws of trigonometry) between the invariants at the different corners, enabling us to determine the invariants at the remaining corners, including the values of the remaining side and angles, if we know one set of corner invariants. The invariants that only depend on one tangent vector we will call side invariants, while those that depend on two tangent vectors will be called angular invariants. For each triangle we then have 6 6 side invariants and 12 12 angular invariants. Hence we need 18 − 8 = 10 18 - 8 = 10 laws of trigonometry. If we restrict to S U ( 2 ) SU(2) , we get the cosine laws of spherical trigonometry. The basic tool for deriving these laws is a formula expressing tr ( exp X exp Y ) {\text {tr}}({\operatorname {exp}}X{\operatorname {exp}}Y) in terms of the corner invariants.