Orthogonal Mappings and Rigidity

• Orthogonal mappings are functions that preserve the orthogonality relation induced by inner products, often forcing maps to be scalar multiples of isometries or Jordan-type morphisms.
• Approximate orthogonality, quantified by metrics like the minimum modulus, reveals stability properties linking bounded invertibility with near-exact inner-product scaling.
• In settings such as Hilbert C*-modules and von Neumann algebras, orthogonal mappings display rigidity phenomena that underpin similarity structures and lead to Jordan extensions.

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 (Moslehian et al., 2015, Li et al., 2024).

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; $x,y$0 preserves normalized inner products; $x,y$1 is strongly orthogonality preserving; equal norms are preserved; norm order is preserved; and one-sided orthogonality preservation

$x,y$2

already holds. Thus, in the real linear setting, orthogonality preservation alone forces $x,y$3 to be a positive scalar multiple of an isometry (Moslehian et al., 2015).

The same paper links orthogonality to angle preservation. If $x,y$4 are real inner product spaces and $x,y$5, then an injective nonzero linear map $x,y$6 is a similarity whenever

$x,y$7

for all $x,y$8, together with the condition that

$x,y$9

This identifies fixed-angle preservation and orthogonality preservation as manifestations of the same similarity structure (Moslehian et al., 2015).

In complex inner product spaces, additivity alone is substantially weaker than linearity, yet orthogonality preservation remains rigid. For nonzero additive mappings $$\widehat{(x,y)}=\arccos \frac{\langle x,y\rangle}{\|x\|\,\|y\|}\in[0,\pi],$$0 with dense image and $$\widehat{(x,y)}=\arccos \frac{\langle x,y\rangle}{\|x\|\,\|y\|}\in[0,\pi],$$1, the following are equivalent: $$\widehat{(x,y)}=\arccos \frac{\langle x,y\rangle}{\|x\|\,\|y\|}\in[0,\pi],$$2 is additive and orthogonality preserving; $$\widehat{(x,y)}=\arccos \frac{\langle x,y\rangle}{\|x\|\,\|y\|}\in[0,\pi],$$3 is additive and preserves orthogonality in both directions; $$\widehat{(x,y)}=\arccos \frac{\langle x,y\rangle}{\|x\|\,\|y\|}\in[0,\pi],$$4 is linear or conjugate-linear and orthogonality preserving; $$\widehat{(x,y)}=\arccos \frac{\langle x,y\rangle}{\|x\|\,\|y\|}\in[0,\pi],$$5 is linear or conjugate-linear and preserves orthogonality in both directions; and there exists $$\widehat{(x,y)}=\arccos \frac{\langle x,y\rangle}{\|x\|\,\|y\|}\in[0,\pi],$$6 such that

$$\widehat{(x,y)}=\arccos \frac{\langle x,y\rangle}{\|x\|\,\|y\|}\in[0,\pi],$$7

Equivalently, $$\widehat{(x,y)}=\arccos \frac{\langle x,y\rangle}{\|x\|\,\|y\|}\in[0,\pi],$$8 is a positive scalar multiple of either a linear isometry or a conjugate-linear isometry (Li et al., 2024). The hypotheses $$\widehat{(x,y)}=\arccos \frac{\langle x,y\rangle}{\|x\|\,\|y\|}\in[0,\pi],$$9 and dense image are essential in the proof, and the one-dimensional case admits additive orthogonality preservers that are neither linear nor conjugate-linear (Li et al., 2024).

2. Approximate orthogonality and stability theory

A quantitative extension replaces exact orthogonality by approximate orthogonality. On a Hilbert space, vectors $x\perp y$0 are $x\perp y$1-orthogonal if

$x\perp y$2

and a bounded linear operator $x\perp y$3 is $x\perp y$4-approximately orthogonality preserving if

$x\perp y$5

For $x\perp y$6, the optimal orthogonality defect

$x\perp y$7

admits the exact formula

$x\perp y$8

where

$x\perp y$9

is the minimum modulus. Consequently,

$\widehat{(x,y)}=\frac{\pi}{2}$0

so linear approximately orthogonality-preserving operators are exactly the operators bounded from below (Tuxanidy et al., 2014). Exact orthogonality preservation is recovered at $\widehat{(x,y)}=\frac{\pi}{2}$1, equivalently when $\widehat{(x,y)}=\frac{\pi}{2}$2 is a scalar multiple of an isometry (Tuxanidy et al., 2014).

In Hilbert $\widehat{(x,y)}=\frac{\pi}{2}$3-modules, approximate orthogonality is defined module-theoretically. For $\widehat{(x,y)}=\frac{\pi}{2}$4,

$\widehat{(x,y)}=\frac{\pi}{2}$5

equivalently

$\widehat{(x,y)}=\frac{\pi}{2}$6

A map $\widehat{(x,y)}=\frac{\pi}{2}$7 is $\widehat{(x,y)}=\frac{\pi}{2}$8-orthogonality preserving if

$\widehat{(x,y)}=\frac{\pi}{2}$9

Under the standing hypothesis

$\langle x,y\rangle=0$0

a nonzero $\langle x,y\rangle=0$1-linear $\langle x,y\rangle=0$2-orthogonality preserving map satisfies the quantitative estimate

$\langle x,y\rangle=0$3

This expresses that approximate orthogonality preservation forces approximate inner-product scaling (Moslehian et al., 2016). In the balanced case $\langle x,y\rangle=0$4, the right-hand side vanishes, yielding

$\langle x,y\rangle=0$5

so $\langle x,y\rangle=0$6 is an isometric $\langle x,y\rangle=0$7-module embedding; equivalently, balanced approximate preservation collapses to exact orthogonality preservation in this class of modules (Moslehian et al., 2016).

3. Hilbert $\langle x,y\rangle=0$8-modules and operator-algebraic structure

For an inner product $\langle x,y\rangle=0$9-module $T:X\to Y$0, orthogonality is

$T:X\to Y$1

and the module-valued norm element is

$T:X\to Y$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

$T:X\to Y$3

and $T:X\to Y$4 is an $T:X\to Y$5-linear mapping between inner product $T:X\to Y$6-modules, then $T:X\to Y$7 is orthogonality preserving if and only if

$T:X\to Y$8

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 (Moslehian et al., 2015).

A different operator-module direction concerns orthogonally additive maps. A mapping $T:X\to Y$9 is orthogonally additive if

$\gamma>0$0

For Hilbert modules over $\gamma>0$1 or $\gamma>0$2, every continuous orthogonally additive mapping $\gamma>0$3 from a Hilbert module $\gamma>0$4 to a complex normed space has the canonical form

$\gamma>0$5

where $\gamma>0$6 is a continuous additive mapping and $\gamma>0$7 is a continuous linear mapping (Ilisevic et al., 2013). This is the module analogue of the additive-plus-quadratic decompositions familiar from classical orthogonality spaces.

Holomorphic maps between $\gamma>0$8-algebras admit an analogous structure theorem. Let

$\gamma>0$9

be holomorphic, with Taylor series at zero uniformly convergent on $\|Tx\|=\gamma\|x\| \qquad (x\in X).$0. If $\|Tx\|=\gamma\|x\| \qquad (x\in X).$1 is orthogonally additive on $\|Tx\|=\gamma\|x\| \qquad (x\in X).$2, orthogonality preserving on $\|Tx\|=\gamma\|x\| \qquad (x\in X).$3, and $\|Tx\|=\gamma\|x\| \qquad (x\in X).$4 contains an invertible element in $\|Tx\|=\gamma\|x\| \qquad (x\in X).$5, then there exist a sequence $\|Tx\|=\gamma\|x\| \qquad (x\in X).$6 in $\|Tx\|=\gamma\|x\| \qquad (x\in X).$7 and Jordan $\|Tx\|=\gamma\|x\| \qquad (x\in X).$8-homomorphisms

$\|Tx\|=\gamma\|x\| \qquad (x\in X).$9

such that

$T$0

uniformly for $T$1 (Garcés et al., 2013). When $T$2 is abelian, the unitality and invertible-value assumptions can be relaxed while retaining the same Jordan-theoretic description (Garcés et al., 2013).

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

$T$3

defined by support projections,

$T$4

where

$T$5

is linear and $T$6 denotes the finite-trace projections. The orthogonality hypothesis is one-sided and support-based: $T$7 equivalently

$T$8

This is weaker than a projection orthoisomorphism and is tailored to maps extracted from linear operators on noncommutative function spaces (Jager et al., 2018).

Under a continuity hypothesis on $T$9, such a support-defined orthogonality-preserving projection map extends to a positive linear map on $x,y$00 satisfying

$x,y$01

Under normality assumptions, the extension continues uniquely to a normal Jordan $x,y$02-homomorphism on the whole algebra: $x,y$03 This yields a partial generalization of Dye’s theorem that does not require the initial von Neumann algebra to be free of type $x,y$04 summands (Jager et al., 2018). 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 $x,y$05, with

$x,y$06

one defines

$x,y$07

A local holomorphic map

$x,y$08

is orthogonal if

$x,y$09

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 $x,y$10 and

$x,y$11

then a local orthogonal map is either null or quasi-linear; if $x,y$12, it is either null or linear; and with sign preservation it becomes quasi-standard or standard (Gao et al., 2021). 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: $x,y$13 Orthogonal pairs generalize single orthogonal maps and also generalize holomorphic Segre maps between Segre families of hyperquadrics. Under the low-codimension condition

$x,y$14

every local orthogonal pair

$x,y$15

is either null or quasi-standard (Gao, 2021). 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 $x,y$16, represented by matrices $x,y$17, one defines

$x,y$18

The resulting orthogonal Grassmannian $x,y$19 identifies positive points with the type I bounded symmetric domain

$x,y$20

and null points with its Shilov boundary

$x,y$21

Local orthogonal maps on $x,y$22 therefore generalize holomorphic maps preserving Shilov boundary. In the rank-one source case $x,y$23, if

$x,y$24

preserves Shilov boundaries, then $x,y$25 is constant when

$x,y$26

and for

$x,y$27

it reduces, after normalization by automorphisms, to a standard linear embedding (Gao, 8 Aug 2025). The bounds are optimal (Gao, 8 Aug 2025).

6. Terminological extensions and neighboring theories

In adjacent literatures, the phrase “orthogonal mapping” is used in structurally related but non-identical senses. One such extension occurs in invariant theory on Minkowski space. For a subgroup $x,y$28, a map

$x,y$29

is $x,y$30-equivariant if

$x,y$31

and the Lorentzian analogue of the Euclidean gradient principle is that if $x,y$32 is $x,y$33-invariant, then

$x,y$34

is $x,y$35-equivariant. More generally, $x,y$36-equivariant mappings are in one-to-one correspondence with $x,y$37-invariant functions on the doubled space via

$x,y$38

This is a pseudo-orthogonal analogue of classical orthogonal-equivariant mapping theory (Manoel et al., 2019).

A combinatorial and finite-field usage connects complete mappings to orthogonality of Latin squares. If $x,y$39 is a complete mapping over $x,y$40, then

$x,y$41

defines a Latin square orthogonal to the additive Latin square

$x,y$42

For two such constructions,

$x,y$43

orthogonality is equivalent to the condition that

$x,y$44

be a permutation polynomial (Tuxanidy et al., 2014). In this literature, orthogonality is attached to the induced quasigroup or Latin square, while the underlying complete mappings are the algebraic mechanism that produces it (Tuxanidy et al., 2014).

A topological usage concerns the orthogonal group itself. The space of complete orthonormal $x,y$45-frames, identified with $x,y$46, has exactly two path components, corresponding to the two parities of orthonormal frames and, in standard matrix language, to determinant $x,y$47 and $x,y$48. This frames orthogonal mappings as points in a space with a basic two-component topology rather than merely as matrices satisfying $x,y$49 (Sjogren, 2020).

A recent applied usage appears in deep learning. Standard residual blocks

$x,y$50

are generalized to

$x,y$51

where $x,y$52 is fixed and identity-like. For orthogonal residual mappings, $x,y$53 is orthogonal, so all singular values of $x,y$54 are $x,y$55 and all complex eigenvalues have norm $x,y$56. These mappings preserve some of the norm and Jacobian properties of identity skips, but empirically they underperform identity mappings in CNNs and Vision Transformers, while in recurrent networks they impose an inductive bias for time-variant sequences (Lechner et al., 2022). This suggests that, even in applied settings, orthogonality preservation and identity preservation are mathematically close but behaviorally distinct notions.