--- title: Orthogonal Mappings and Rigidity url: https://www.emergentmind.com/topics/orthogonal-mappings type: topic --- # Orthogonal Mappings and Rigidity Orthogonal mappings are maps that preserve an orthogonality relation, most often in the sense \[ x\perp y \;\Longrightarrow\; T x \perp T y, \] with the orthogonality relation induced by an inner product, a module-valued inner product, a projection lattice, or an indefinite Hermitian form. Across these settings, a recurrent rigidity phenomenon appears: weak-looking orthogonality preservation often forces a map to be a similarity, a scalar multiple of an isometry, or a Jordan-type morphism. In real inner product spaces, nonzero linear orthogonality preservers are exactly similarities; in complex inner product spaces, even additive orthogonality preservers with dense image reduce to linear or conjugate-linear scaled isometries under mild nondegeneracy hypotheses [1504.06293], [2410.08101]. ## 1. Classical inner-product-space rigidity In a real inner product space, the angle between nonzero vectors \(x,y\) is defined by \[ \widehat{(x,y)}=\arccos \frac{\langle x,y\rangle}{\|x\|\,\|y\|}\in[0,\pi], \] and \(x\perp y\) is the special case \(\widehat{(x,y)}=\frac{\pi}{2}\), equivalently \(\langle x,y\rangle=0\). A linear map \(T:X\to Y\) is a similarity if there exists \(\gamma>0\) such that \[ \|Tx\|=\gamma\|x\| \qquad (x\in X). \] The central rigidity theorem in this setting states that for a nonzero linear map between real inner product spaces, the following are equivalent: \(T\) is a similarity; \(T\) preserves normalized inner products; \(T\) is strongly orthogonality preserving; equal norms are preserved; norm order is preserved; and one-sided orthogonality preservation \[ x\perp y \implies Tx\perp Ty \] already holds. Thus, in the real linear setting, orthogonality preservation alone forces \(T\) to be a positive scalar multiple of an isometry [1504.06293]. The same paper links orthogonality to angle preservation. If \(X,Y\) are real inner product spaces and \(\theta\in(0,\pi)\), then an injective nonzero linear map \(T:X\to Y\) is a similarity whenever \[ x\underset{\theta}{\angle} y \iff Tx\underset{\theta}{\angle} Ty \] for all \(x,y\in X\), together with the condition that \[ \|x\|=\|y\| \text{ and } x\underset{\theta}{\angle} y \implies \|Tx\|=\|Ty\|. \] This identifies fixed-angle preservation and orthogonality preservation as manifestations of the same similarity structure [1504.06293]. In complex inner product spaces, additivity alone is substantially weaker than linearity, yet orthogonality preservation remains rigid. For nonzero additive mappings \(A:H\to K\) with dense image and \(\dim(H)\ge 2\), the following are equivalent: \(A\) is additive and orthogonality preserving; \(A\) is additive and preserves orthogonality in both directions; \(A\) is linear or conjugate-linear and orthogonality preserving; \(A\) is linear or conjugate-linear and preserves orthogonality in both directions; and there exists \(\gamma>0\) such that \[ \|A(x)\|=\gamma\|x\| \qquad (\forall x\in H). \] Equivalently, \(A\) is a positive scalar multiple of either a linear isometry or a conjugate-linear isometry [2410.08101]. The hypotheses \(\dim(H)\ge 2\) and dense image are essential in the proof, and the one-dimensional case admits additive orthogonality preservers that are neither linear nor conjugate-linear [2410.08101]. ## 2. Approximate orthogonality and stability theory A quantitative extension replaces exact orthogonality by approximate orthogonality. On a Hilbert space, vectors \(x,y\) are \(\varepsilon\)-orthogonal if \[ |(x,y)| \le \varepsilon \|x\|\,\|y\|, \] and a bounded linear operator \(T\) is \(\varepsilon\)-approximately orthogonality preserving if \[ x\perp y \implies Tx\perp^\varepsilon Ty. \] For \(T\in B(H)\setminus\{0\}\), the optimal orthogonality defect \[ \hat{\varepsilon}(T)=\inf\{\varepsilon\in[0,1]: T \text{ is } \varepsilon\text{-AOP}\} \] admits the exact formula \[ \hat{\varepsilon}(T)=\frac{\|T\|^2-m(T)^2}{\|T\|^2+m(T)^2}, \] where \[ m(T)=\inf\{\|Tx\|:\|x\|=1\} \] is the minimum modulus. Consequently, \[ \hat{\varepsilon}(T)<1 \iff m(T)>0, \] so linear approximately orthogonality-preserving operators are exactly the operators bounded from below [1409.6540]. Exact orthogonality preservation is recovered at \(\hat{\varepsilon}(T)=0\), equivalently when \(T\) is a scalar multiple of an isometry [1409.6540]. In Hilbert \(C^*\)-modules, approximate orthogonality is defined module-theoretically. For \(\delta\in[0,1)\), \[ x\perp^\delta y \quad\Longleftrightarrow\quad \|\langle x,y\rangle\|\le \delta\|x\|\,\|y\|, \] equivalently \[ |\langle x,y\rangle|\le \delta |x||y|. \] A map \(T:\mathscr E\to\mathscr F\) is \((\delta,\varepsilon)\)-orthogonality preserving if \[ |\langle x,y\rangle|\le \delta |x||y| \;\Longrightarrow\; |\langle Tx,Ty\rangle|\le \varepsilon |Tx||Ty|. \] Under the standing hypothesis \[ \mathbb K(\mathscr H)\subseteq \mathscr A\subseteq \mathbb B(\mathscr H), \] a nonzero \(\mathscr A\)-linear \((\delta,\varepsilon)\)-orthogonality preserving map satisfies the quantitative estimate \[ \big\|\langle Tx,Ty\rangle-\|T\|^2\langle x,y\rangle\big\| \le \frac{4(\varepsilon-\delta)}{(1-\delta)(1+\varepsilon)}\,\|Tx\|\,\|Ty\|, \qquad x,y\in\mathscr E. \] This expresses that approximate orthogonality preservation forces approximate inner-product scaling [1611.08380]. In the balanced case \(\varepsilon=\delta\), the right-hand side vanishes, yielding \[ \langle Tx,Ty\rangle=\|T\|^2\langle x,y\rangle, \] so \(T/\|T\|\) is an isometric \(\mathscr A\)-module embedding; equivalently, balanced approximate preservation collapses to exact orthogonality preservation in this class of modules [1611.08380]. ## 3. Hilbert \(C^*\)-modules and operator-algebraic structure For an inner product \(\mathscr A\)-module \(\mathscr E\), orthogonality is \[ x\perp y \quad\Longleftrightarrow\quad \langle x,y\rangle=0, \] and the module-valued norm element is \[ |x|:=\langle x,x\rangle^{1/2}. \] In this setting, orthogonality-preserving maps need not a priori behave like Hilbert-space similarities, but strong rigidity reappears over large classes of coefficient algebras. If \[ \mathbb K(\mathscr H)\subseteq \mathscr A\subseteq \mathbb B(\mathscr H) \] and \(T:\mathscr E\to\mathscr F\) is an \(\mathscr A\)-linear mapping between inner product \(\mathscr A\)-modules, then \(T\) is orthogonality preserving if and only if \[ |x|\le |y| \;\Rightarrow\; |Tx|\le |Ty| \qquad (x,y\in\mathscr E). \] In the same framework, the exact analogues of similarity, norm-scaling, and strong orthogonality preservation again collapse to one class of maps, namely scalar multiples of module isometries [1504.06293]. A different operator-module direction concerns orthogonally additive maps. A mapping \(f:W\to G\) is orthogonally additive if \[ x\perp y \implies f(x+y)=f(x)+f(y). \] For Hilbert modules over \(\mathcal K(\mathcal H)\) or \(\mathcal{HS}(\mathcal H)\), every continuous orthogonally additive mapping \(f\) from a Hilbert module \(W\) to a complex normed space has the canonical form \[ f(x)=T(x)+\Phi(\langle x,x\rangle), \] where \(T\) is a continuous additive mapping and \(\Phi\) is a continuous linear mapping [1304.7207]. This is the module analogue of the additive-plus-quadratic decompositions familiar from classical orthogonality spaces. Holomorphic maps between \(C^*\)-algebras admit an analogous structure theorem. Let \[ f:B_A(0,\varrho)\to B \] be holomorphic, with Taylor series at zero uniformly convergent on \(U=B_A(0,\delta)\). If \(f\) is orthogonally additive on \(U\), orthogonality preserving on \(A_{sa}\cap U\), and \(f(U)\) contains an invertible element in \(B\), then there exist a sequence \((h_n)\) in \(B^{**}\) and Jordan \(^*\)-homomorphisms \[ \Theta,\widetilde{\Theta}:M(A)\to B^{**} \] such that \[ f(a)=\sum_{n=1}^\infty h_n \widetilde{\Theta}(a^n) = \sum_{n=1}^\infty \Theta(a^n) h_n \] uniformly for \(a\in U\) [1310.0407]. When \(B\) is abelian, the unitality and invertible-value assumptions can be relaxed while retaining the same Jordan-theoretic description [1310.0407]. ## 4. Projection orthogonality and Jordan extension in von Neumann algebras A distinct but closely related theory studies orthogonality-preserving maps on projection lattices of semi-finite von Neumann algebras. Here the basic datum is a map \[ \Phi:P(A)_f\to P(B) \] defined by support projections, \[ \Phi(p)=s(U(p)), \] where \[ U:\mathcal F(\tau)\to S(B,\nu) \] is linear and \(P(A)_f\) denotes the finite-trace projections. The orthogonality hypothesis is one-sided and support-based: \[ pq=0 \implies \Phi(p+q)=\Phi(p)+\Phi(q), \] equivalently \[ pq=0 \implies s(U(p))\,s(U(q))=0. \] This is weaker than a projection orthoisomorphism and is tailored to maps extracted from linear operators on noncommutative function spaces [1811.04053]. Under a continuity hypothesis on \(U\), such a support-defined orthogonality-preserving projection map extends to a positive linear map on \(\mathcal F(\tau)\) satisfying \[ \|\Phi(x)\|_B\le \|x\|_A \quad\text{and}\quad \Phi(x^2)=\Phi(x)^2 \qquad (x\in \mathcal F(\tau)^{sa}). \] Under normality assumptions, the extension continues uniquely to a normal Jordan \(^*\)-homomorphism on the whole algebra: \[ \Phi:A\to B, \qquad \Phi(x)=\operatorname{SOT}\!-\!\lim_{p\in\mathcal D}\Phi(pxp). \] This yields a partial generalization of Dye’s theorem that does not require the initial von Neumann algebra to be free of type \(I_2\) summands [1811.04053]. The structural theme is the same as in the linear and holomorphic theories: one-sided orthogonality preservation, once coupled to the right algebraic setting, promotes to Jordan structure. ## 5. Projective, CR, and Grassmannian orthogonal mappings In several complex variables and CR geometry, orthogonal mappings are local holomorphic maps that preserve an orthogonality incidence relation induced by an indefinite Hermitian form. On projective space \(\mathbb P^{r,s,t}\), with \[ (z,w)_{r,s,t}=z^*Hw, \] one defines \[ p=[z],\ q=[w],\qquad p\perp q \iff (z,w)_{r,s,t}=0. \] A local holomorphic map \[ F:U\subset \mathbb P^{r,s,t}\to \mathbb P^{r',s',t'} \] is orthogonal if \[ p\perp q \implies F(p)\perp F(q). \] Such maps send null spaces to null spaces, and under signature restrictions they are forced to be null, quasi-linear, or quasi-standard. For example, if \(r,s\ge 2\) and \[ \min\{r',s'\}\le \min\{r,s\}, \] then a local orthogonal map is either null or quasi-linear; if \(t'=0\), it is either null or linear; and with sign preservation it becomes quasi-standard or standard [2110.04046]. This orthogonality formalism recasts rigidity of CR maps between hyperquadrics in a coordinate-free projective language. A two-map variant is given by orthogonal pairs: \[ F=(f_1,f_2),\qquad z\perp w \implies f_1(z)\perp f_2(w). \] Orthogonal pairs generalize single orthogonal maps and also generalize holomorphic Segre maps between Segre families of hyperquadrics. Under the low-codimension condition \[ r'+s' \le 2(r+s)-3, \] every local orthogonal pair \[ U\subset \mathbb P^{r,s}\to \mathbb P^{r',s',t'} \] is either null or quasi-standard [2109.09340]. This is a rigidity theorem for orthogonality-preserving incidence geometry rather than for linear orthogonality alone. A further extension replaces projective space by a complex Grassmannian endowed with an orthogonal structure. For \(p,q\in G(r,r+s)\), represented by matrices \(A_p,A_q\), one defines \[ p\perp q \iff A_p I_{r,s} A_q^H=0. \] The resulting orthogonal Grassmannian \(\mathcal G(r,s)\) identifies positive points with the type I bounded symmetric domain \[ \Omega_{r,s}=\{A\in M_{r,s}: I_r-AA^H>0\}, \] and null points with its Shilov boundary \[ S(\Omega_{r,s})=\{A\in M_{r,s}: I_r=AA^H\}. \] Local orthogonal maps on \(\mathcal G(r,s)\) therefore generalize holomorphic maps preserving Shilov boundary. In the rank-one source case \(\mathcal G(1,s)\cong \mathbb P^{1,s}\), if \[ F:\Omega_{1,s}\to \Omega_{r',s'} \] preserves Shilov boundaries, then \(F\) is constant when \[ s'-r'