Spectral measures associated to rank two Lie groups and finite subgroups of \(\mathrm{GL}(2,\mathbb Z)\) (Q281132): Difference between revisions

In the introduction of this paper, the authors recall that the spectral measure of an operator is a compactly supported probability measure on the spectrum of that operator. A representation graph of a Lie group \(G\) is the fusion graph for an irreducible character of \(G\). A spectral measure for a Lie group \(G\) is defined to be the spectral measure of the adjacency matrix of such a fusion graph of \(G\). The joint spectral measure of \(G\) is defined as above with support given by the joint spectrum of the two adjacency matrices of the representation graphs for two fundamental representations of \(G\). The pushforward of the joint spectral measure under the projection onto the spectrum of one of the two representations yields the corresponding spectral measure. For rank two Lie groups \(G\), these spectral measures can be defined as measures over the two dimensional torus as their maximal torus of \(G\). There is a surjection from the two-torus to the joint spectrum of \(G\), which is invariant under the action of the Weyl group of \(G\). Omitted here are more connections to the conformal field theory such as subfactors and beyond. After the preliminaries, it is obtained that such joint spectral measures for rank two Lie groups are determined in terms of the Lebesgue measure and the Jacobian for the change of variables, where the cases of \(\mathrm{SU}(3)\), \(\mathrm{Sp}(2)\) and \(G_2\) have been done by the authors [Commun. Math. Phys. 295, No. 2, 363--413 (2010; Zbl 1210.46046); ibid. 301, No. 3, 771--809 (2011; Zbl 1217.46041); ibid. 337, No. 3, 1161--1197 (2015; Zbl 1321.46067)], and two preprints, and the other cases such as \(\mathbb T^2=U(1)\times U(1)\), \(U(1)\times\mathrm{SU}(2)\), \(U(2)\), \(\mathrm{SU}(2)\times\mathrm{SU}(2)\), \(\mathrm{SO}(4)\), and \(\mathrm{PSU}(3)\) are considered in details, with infinite graphs, Bratteli and Dynkin diagrams, fundamental domain graphs, and graphs of weights, as plane or cubic figures.