Hilbert \(C^{*}\)-modules in which all relatively strictly closed submodules are complemented

We give the characterization and description of all full Hilbert modules and associated algebras having the property that each relatively strictly closed submodule is orthogonally complemented. A strict topology is determined by an essential closed two-sided ideal in the associated algebra and a related ideal submodule. It is shown that these are some modules over hereditary algebras containing the essential ideal isomorphic to the algebra of (not necessarily all) compact operators on a Hilbert space. The characterization and description of that broader class of Hilbert modules and their associated algebras is given. As auxiliary results we give properties of strict and relatively strict submodule closures, the characterization of orthogonal closedness and orthogonal complementing property for single submodules, relation of relative strict topology and projections, properties of outer direct sums with respect to the ideals in \(\ell_\infty\) and isomorphisms of Hilbert modules, and we prove some properties of hereditary algebras and associated hereditary modules with respect to the multiplier algebras, multiplier Hilbert modules, corona algebras and corona modules.

Rigidity theory for C∗-dynamical systems and the “Pedersen Rigidity Problem”, II

This is a follow-up to a paper with the same title and by the same authors. In that paper, all groups were assumed to be abelian, and we are now aiming to generalize the results to nonabelian groups. The motivating point is Pedersen’s theorem, which does hold for an arbitrary locally compact group [Formula: see text], saying that two actions [Formula: see text] and [Formula: see text] of [Formula: see text] are outer conjugate if and only if the dual coactions [Formula: see text] and [Formula: see text] of [Formula: see text] are conjugate via an isomorphism that maps the image of [Formula: see text] onto the image of [Formula: see text] (inside the multiplier algebras of the respective crossed products). We do not know of any examples of a pair of non-outer-conjugate actions such that their dual coactions are conjugate, and our interest is therefore exploring the necessity of latter condition involving the images; and we have decided to use the term “Pedersen rigid” for cases where this condition is indeed redundant. There is also a related problem, concerning the possibility of a so-called equivariant coaction having a unique generalized fixed-point algebra, that we call “fixed-point rigidity”. In particular, if the dual coaction of an action is fixed-point rigid, then the action itself is Pedersen rigid, and no example of non-fixed-point-rigid coaction is known.

Rigidity theory for C∗-dynamical systems and the “Pedersen rigidity problem”

Let [Formula: see text] be a locally compact abelian group. By modifying a theorem of Pedersen, it follows that actions of [Formula: see text] on [Formula: see text]-algebras [Formula: see text] and [Formula: see text] are outer conjugate if and only if there is an isomorphism of the crossed products that is equivariant for the dual actions and preserves the images of [Formula: see text] and [Formula: see text] in the multiplier algebras of the crossed products. The rigidity problem discussed in this paper deals with the necessity of the last condition concerning the images of [Formula: see text] and [Formula: see text]. There is an alternative formulation of the problem: an action of the dual group [Formula: see text] together with a suitably equivariant unitary homomorphism of [Formula: see text] give rise to a generalized fixed-point algebra via Landstad’s theorem, and a problem related to the above is to produce an action of [Formula: see text] and two such equivariant unitary homomorphisms of [Formula: see text] that give distinct generalized fixed-point algebras. We present several situations where the condition on the images of [Formula: see text] and [Formula: see text] is redundant, and where having distinct generalized fixed-point algebras is impossible. For example, if [Formula: see text] is discrete, this will be the case for all actions of [Formula: see text].