Middle semicontinuity for unbounded operators (Q5928672)

The paper is a continuation of the author's paper in Rocky Mountain J. Math. 25, 1395-1415 (1995; Zbl 0857.46037) several significant definitions are not reproduced. Let \(A\) be a C\(^{ \ast}\)-algebra, \(A^{ \ast \ast}\) its enveloping von Neumann algebra, \(M(A)\) the multiplier algebra of \(A\), \(K_{A}\) the minimal dense ideal of \(A\), \(\Gamma(K_{A})\)the set of multipliers of \(K_{A}\). The first result is the isomorphism of \(\Gamma(K_{A})\) with the inverse limit of \(M(A/J)\), over the closed ideals \(J\) of \(A\) such that \(\text{Prim}(A/J)\) is the closure of a \(C \in \Lambda\), \(\Lambda\) being the family of all relatively compact open subset of \(\text{Prim}(A)\). A selfadjoint unbounded (not necessarily densely defined) \(h\) affiliated to \(A^{ \ast \ast}\) is said to be unbounded middle lower semicontinuous (\(\in MLSC(A)\)) if there exists \(x \geq 0\) in \(\Gamma(K_{A})\) with \(h+x \geq 0\) and strongly lower semicontinuous (\(h+x \in SLSC(A)_{+}\)). For an open \(D \subset \text{Prim}(A)\), \(p_{D}\) denotes the open central projection corresponding to the ideal \(I(D)\) and and \(p_{\overline {D}} = 1-p_{{\mathbb C}\overline {D}}\). \(h\) is said to be \(q-LSC\) if \(\chi_{(t, \infty)}(h)+(1-p_{h})\) is open for all \(t \in {\mathbb R}\), where \(p_{h}\) is the projection on the closure of the domain of \(h\). Suppose \(A\) is \(\sigma\)-unital. Then, if \(h\) is \(q-LSC\) and \(hp_{ \overline {C}}\) is bounded below for every \(C \in \Lambda\), the author proves \(h \in MLSC(A)\). For such a \(h\) affiliated to the center \({\mathcal Z}(A^{ \ast \ast})\), \(h^{\vee} : \text{Prim}(A) \rightarrow(- \infty,+\infty ]\) is defined by \([\pi] \rightarrow \pi^{ \ast \ast}(c(h))\), where \(c(h)\) is affiliated to \({\mathcal Z}(A^{ \ast \ast})\) and, for every projection \(z \in {\mathcal Z}(A^{ \ast \ast})\), \(z c(h)\) is the central support of \(z h\) if \(z h\) is densely defined and bounded above on \(I m z\); \(c(h)\) is infinite on the ``remainder''. The author proves that \(h \rightarrow h^{\vee}\) is an isomorphism of the set of all \(h \in MLSC(A)\) affiliated with \({\mathcal Z}(A^{ \ast \ast})\) and the set of all lower continuous \(\text{Prim}(A) \rightarrow(- \infty,+\infty ]\) bounded below on every \(\overline {C}\), \(C \in \Lambda\). If \(h\),\(-k\) are \(q-LSC\), \(h \geq_{q} k\) and for every \(C \in \Lambda\), \(hp_{\overline {C}}\) and \(-kp_{\overline {C}}\) are bounded below, then the author proves that there exists a selfadjoint \(x \in \Gamma(K_{A})\) with \(k \leq x \leq h\) and, if \(h\), \(-k\), are also bounded below, then \(x\) may be taken in \(M(A)\). The author states also other conditions on \(h\), implied by \(h \in MLSC(A)\), shows that for \(A = C_{0}(X)\) for a normal, countably paracompact, locally compact Hausdorff \(X\) they are equivalent to \(h \in MLSC(A)\) and also that they are equivalent if \(A\) is \(\sigma\)-unital and \(\text{Prim}(A)\) is Hausdorff. For \(A = C_{0}(X)\), \(h \in MLSC(A)\) is equivalent to: \(h\), as a function \(X \rightarrow {\mathbb R}\), is lower semicontinuous and bounded below by a continuous function.