Topological aspects of quasi \(^\ast\)-algebras with sufficiently many \(^\ast\)-representations (Q6084030)

The main object considered in the paper is a quasi $^*$-algebra \((\mathfrak{A},\mathfrak{A}_0)\), which is a pair consisting of a vector space \(\mathfrak{A}\) and a $^*$-algebra \(\mathfrak{A}_0\) contained in \(\mathfrak{A}\) as a subspace such that the following are satisfied: \begin{itemize} \item[{(i)}] \(\mathfrak{A}\) carries an involution \(a\mapsto a^*\) extending the involution of \(\mathfrak{A}_0\); \item[{(ii)}] \(\mathfrak{A}\) is a bimodule over \(\mathfrak{A}_0\) and the module multiplications extend the multiplication of \(\mathfrak{A}_0\); \item[{(iii)}] \((ax)^*=x^*a^*\) for every \(a\in\mathfrak{A}\) and \(x\in\mathfrak{A}_0\). \end{itemize} A quasi $^*$-algebra \((\mathfrak{A},\mathfrak{A}_0)\) is said to be locally convex if \(\mathfrak{A}\) is a locally convex vector space with a topology \(\tau\) having the following properties: \begin{itemize} \item[{(a)}] the involution \(x\mapsto x^*\), \(x\in\mathfrak{A}_0\), is continuous; \item[{(b)}] for every \(a\in\mathfrak{A}\) the multiplications \(x\mapsto ax\) and \(x\mapsto xa\) from \(\mathfrak{A}_0\) into \(\mathfrak{A}\) are continuous; \item[{(c)}] \(\mathfrak{A}_0\) is dense in \(\mathfrak{A}\) for the topology \(\tau\). \end{itemize} The basic idea of the authors is to take a quasi $^*$-algebra \((\mathfrak{A},\mathfrak{A}_0)\) with a sufficiently big family \(\mathcal{M}\) of invariant positive sesquilinear forms on \(\mathfrak{A}\times\mathfrak{A}\), in the sense that for every \(a\in\mathfrak{A}\), \(a\ne 0\), there exists a form \(\varphi\in\mathcal{M}\) such that \(\varphi (a,a)>0\), and next using this family to construct a class of locally convex quasi $^*$-algebras \((\mathfrak{A}[\tau],\mathfrak{A}_0)\) whose bounded elements constitute a \(C^*\)-algebra. They call algebras obtained in that way locally convex quasi GA$^*$-algebras. They also examine some properties of these algebras and pose some open problems.