Characters of the infinite symplectic group -- a Riesz ring approach (Q1103161)

Let G denote the infinite symplectic group. The main purpose of this paper is to develop a ring structure for the \(K_ 0\)-group \(K_ 0(C^*(G))\) and to investigate its consequences for the classification of finite and infinite characters. For this aim, in a first step, the classification of the finite characters of G is reduced to the classification of the finite characters of U(\(\infty)\) satisfying additional symmetry requirements. In a second step the primitive ideals of \(C^*(G)\) are classified in terms of its associated dynamical system. A Riesz ring \({\mathfrak R}\) is associated to G which will model the representation theory of G. This is treated as an ``ordered completion'' of its \(K_ 0\)-group. For certain primitive ideals, called by the author locally finite, their \(K_ 0\)-ring is isomorphic to the corresponding quotient of \({\mathfrak R}\). Also, the primitive ideals J whose Riesz ring for the quotient of \(C^*(G)\) by J possesses no positive zero-divisors, called by the author integral, are studied. For the type I \(C^*\)-algebra A which is the quotient of \(C^*(G)\) by \(J=J(\alpha)\in Prim(G)\) with \(\alpha_ 1<\infty\) and \(\alpha_{\infty}=0\), the author proves that it is stably isomorphic to a quotient of \(U(\infty)\) and uses this result to prove that \(K_ 0(A)\) is isomorphic to a lexicographic direct sums of \({\mathbb{Z}}\) over a finite ordered set of signatures. The connection between infinite characters and the ring structure on \({\mathfrak R}\) is given and this result is applied to the classification problem of infinite characters. This problem is reduced to the study of primitive quotients formed by a primitive ideal which is the largest non-integral primitive ideal contained in a given integral primitive ideal. Finally, for the primitive quotient A which corresponds to representations of G in antisymmetric tensors the author shows that \(K_ 0(A)\) is isomorphic to the ring of polynomials \({\mathbb{Z}}[\lambda]\) with the strict ordering on the interval (0,1/4].