On the structure of graded Hilbert spaces (Q409714)

A graded Hilbert space is a real or complex Hilbert space \(\mathcal{H}\) endowed with a continuous associative product that induces a grading on \(\mathcal{H}\) with respect to an abelian group \(G\) (index set of grading) such that \(\mathcal{H}= cl({\bigoplus_{g\in G} \mathcal{H}_g}) \), where each \(\mathcal{H}_g\) is a closed linear subspace with \(\mathcal{H}_g\mathcal{H}_{h} \subset \mathcal{H}_{gh}\) for any \(h\in G\). Such a Hilbert space is, for instance, the essential idea of the second quantization formulation of quantum mechanics. In the present paper, the author gives a structural information of graded Hilbert spaces \(\mathcal{H}\) with symmetric support (namely, its support \(\Sigma =\{g \in G \setminus \{1\} :\mathcal{H}_g \neq 0\}\) contains the inverse of its elements). In one of the main results, \(\mathcal{H}\) is the closure of \(U+\sum _j I_j\) where \(U\) is a closed subspace of \(\mathcal{H}_1\) and the \(I_j\)'s are certain graded ideals of \(\mathcal{H}\) (in the relative sense) with \(I_j I_k=0\) if \(j \neq k\). Further, for a graded simple Hilbert algebra \(\mathcal{H}\) (viz. a graded Hilbert space with non-zero multiplication in which \((0)\) and \(\mathcal{H}\) are the only graded ideals) the author gives, under some additional conditions, a (Wedderburn-type) theorem; namely \(\mathcal{H}\) is the closure of the orthogonal direct some of its minimal (closed) graded ideals being moreover, graded simple and graded Hilbert spaces. This is an important information, since the study of \(\mathcal{H}\) is then reduced to the study of graded simple ideals.