Let EE be a over a C∗C^*-algebra AA. A densely defined AA-linear operator T:Dom⁡(T)→ET:\operatorname{Dom}(T)\to E, whose domain is a dense right AA-submodule of EE, is regular if TT is closed, its adjoint T∗T^* is densely defined, and

Ran⁡(1+T∗T)\operatorname{Ran}(1+T^*T)

is dense in EE. The adjoint is defined by requiring ⟨Tx,y⟩=⟨x,T∗y⟩\langle Tx,y\rangle=\langle x,T^*y\rangle for every x∈Dom⁡(T)x\in\operatorname{Dom}(T). A regular operator is self-adjoint when T=T∗T=T^*, including equality of domains. Regularity is additional structure in Hilbert-module theory; closed need not be regular.

Graph and bounded transform

Regularity is equivalent to orthogonal complementability of the graph of TT in E⊕EE\oplus E, with the densely defined adjoint condition understood. It also makes

FT=T(1+T∗T)−1/2F_T=T(1+T^*T)^{-1/2}

a bounded with ∥FT∥≤1\|F_T\|\leq1. Conversely, suitable contractions arise as bounded transforms of regular operators. This correspondence supplies the continuous functional calculus used in unbounded KKKK-theory.

The self-adjoint case

For a self-adjoint regular TT, the operators T±iT\pm i have bounded adjointable inverses E→Dom⁡(T)⊂EE\to\operatorname{Dom}(T)\subset E, and continuous functional calculus is available for functions on R\mathbb R. Conversely, a closed whose T+iT+i and T−iT-i have dense range is self-adjoint and regular. These range conditions replace Hilbert-space arguments that would otherwise rely on automatic .

Comparison with Hilbert spaces

When the coefficient algebra is C\mathbb C, every closed densely defined operator with densely defined adjoint is regular. This fails for general Hilbert C∗C^*-modules because closed submodules need not be orthogonally complemented. Hence “regular” here is unrelated to regularity of a measure, elliptic regularity, or a regular point of an operator pencil.

References
  1. E. Christopher Lance, Hilbert C-Modules: A Toolkit for Operator Algebraists*, Cambridge University Press, 1995. Publisher DOI record. Relevant: Chapter 9 on regular operators and Chapter 10 on the bounded transform.
  2. Bruce Blackadar, K-Theory for Operator Algebras, 2nd ed., Cambridge University Press, 1998. Publisher DOI record. Relevant: §13.3 on regular operators on Hilbert modules.