Cayley transform (Lie theory) Created 2026-09-24 Updated 2026-11-05
The Cayley transform is the rational matrix function , defined when is invertible. For the orthogonal group, unitary group, and analogous groups preserving a nondegenerate bilinear form or Hermitian form, it gives a local parametrization near the identity by their Lie algebras. If , expanding both sides gives
so . The inverse chart is wherever is invertible. The Cayley transform of a real skew-symmetric matrix is the positive-definite real orthogonal example.
The formula is not a parametrization of an arbitrary Matrix Lie group. For example, belongs to the special linear Lie algebra, but , so its transform is not in the special linear group. In indefinite form-preserving groups, the Cayley chart's full domain can also meet components outside the identity component of a Lie group; its local behavior near zero alone does not imply a global parametrization.
Write , , so and . The factors commute because both are polynomials in . Also has a matrix inverse since it is the transpose of the invertible . Thus the Cayley transform of a real skew-symmetric matrix, with its parameter replaced by , satisfies
Hence is an orthogonal matrix. Its inverse is ; this lets us distinguish the symmetric and skew-symmetric Cayley transforms below.
Commuting inverse. Assume is invertible, as required by the displayed inverse. Multiplication gives
Multiply on both sides by to obtain
More generally, a matrix commuting with an invertible matrix also commutes with its inverse.
Orthogonality. For a real skew-symmetric matrix , . If for a real vector , multiply by to obtain . Thus is invertible; the same argument applies to . For the Cayley transform of a real skew-symmetric matrix,
The factors commute by the first result, so
Therefore
Eigenvector mapping. If , then . Consequently
The denominator cannot vanish. In fact the eigenvalues of a real skew-symmetric matrix are purely imaginary: is the negative of its complex conjugate, so . For the corresponding eigenvalue of is , consistent with orthogonality.
Spectrum in three dimensions. Let be any real three-by-three orthogonal matrix. For a complex eigenvector , implies . A real cubic characteristic polynomial has a real root, necessarily or . Any nonreal roots form a complex-conjugate pair of unit modulus. If all three roots are real, two of the three signs agree and can be grouped as a pair with angle zero or . Thus in every case the eigenvalues can be written
Their product is .
Determinant and fixed axis for the Cayley transform. Since ,
so . This determinant argument works in every dimension. In dimension three the preceding spectrum result then guarantees an eigenvector with . Set . The fixed-vector equation says , so and . Hence
This is the axis fixed by the three-dimensional rotation. Equivalently, a real odd-dimensional skew-symmetric matrix has zero determinant, because .
First, is invertible. If for a real vector, then , whereas the skew-symmetric matrix identity gives ; hence and . Thus its real kernel is trivial, which suffices for invertibility. The same argument applies to .
Using and the rule for the transpose of a product,
The factors and commute, as do the required inverses. Consequently
Thus . This is the Cayley transform of a real skew-symmetric matrix.
Symmetric and skew-symmetric Cayley transforms Created 2026-10-20 Updated 2026-11-05
For a real skew-symmetric matrix , its Cayley transform of a real skew-symmetric matrix with the opposite sign convention has inverse . Since is an orthogonal matrix, symmetry means , or . This forces . Skew-symmetry means , or , which is equivalent to . In that case . Such examples exist in even dimension by taking two-dimensional right-angle rotation matrices in diagonal blocks; in odd real dimension the determinant equation rules them out.