Locally adjointable operators on Hilbert $C^*$-modules

Denis Fufaev,Evgenij Troitsky
2024-03-03
Abstract:In the theory of Hilbert $C^*$-modules over a $C^*$-algebra $A$ (in contrast with the theory of Hilbert spaces) not each bounded operator ($A$-homomorphism) admits an adjoint. The interplay between the sets of adjointable and non-adjointable operators plays a very important role in the theory. We study an intermediate notion of locally adjointable operator $F:M \to N$, i.e. such an operator that $F\circ g$ is adjointable for any adjointable $g: A \to M$. We have introduced this notion recently and it has demonstrated its usefulness in the context of theory of uniform structures on Hilbert $C^*$-modules. In the present paper we obtain an explicit description of locally adjointable operators in important cases.
Operator Algebras,Functional Analysis
What problem does this paper attempt to address?
The problem that this paper attempts to solve is about the theoretical study of locally adjointable operators on Hilbert \(C^*\)-modules. Specifically, the author focuses on the bounded \(A\)-homomorphisms defined between Hilbert \(C^*\)-modules and explores under what conditions these operators can be considered locally adjointable. ### Main problems: 1. **Background problem**: In the theory of Hilbert \(C^*\)-modules, not every bounded operator has an adjoint operator. This phenomenon is different from the theory of Hilbert spaces, in which every bounded linear operator has an adjoint operator. 2. **Core problem**: How to describe and understand those operators that have adjointness in certain specific cases, that is, locally adjointable operators? In particular, for any adjointable \(\gamma : A\rightarrow M\), is the composite operator \(F\circ\gamma\) also adjointable? ### Specific objectives: - **Introduce new concepts**: Define locally adjointable operators and study their properties. - **Explicit description**: Give an explicit description of locally adjointable operators in important cases. - **Application value**: Explore the application of locally adjointable operators in the uniform structure theory of Hilbert \(C^*\)-modules. ### Key definitions: 1. **Hilbert \(C^*\)-module**: Let \(A\) be a \(C^*\)-algebra. A right pre - Hilbert \(C^*\)-module \(M\) is an \(A\)-module equipped with a sesquilinear form \(\langle\cdot,\cdot\rangle\) from \(M\times M\) to \(A\) that satisfies specific conditions. 2. **Adjointable operator**: A bounded \(A\)-homomorphism \(F : M\rightarrow N\) is called adjointable if there exists a unique adjoint operator \(F^*:N\rightarrow M\) such that for all \(x\in M\) and \(y\in N\), \(\langle Fx,y\rangle_N=\langle x,F^*y\rangle_M\). 3. **Locally adjointable operator**: A bounded \(A\)-homomorphism \(F : M\rightarrow N\) is called locally adjointable if for any adjointable homomorphism \(\gamma : A\rightarrow N\), the composite operator \(F\circ\gamma:A\rightarrow N\) is adjointable. ### Main contributions of the paper: - **Introduced the concept of locally adjointable operators** and proved its importance in the uniform structure theory of Hilbert \(C^*\)-modules. - **Gave an explicit description of locally adjointable operators in some important cases**, such as locally adjointable operators on the standard Hilbert \(C^*\)-module \(\ell^2(A)\). - **Established the connection between locally adjointable operators and other related concepts**, such as multiplier modules and uniform structures. Through these works, the author provides a new perspective for the theory of Hilbert \(C^*\)-modules and lays the foundation for further research.