The Signed Adjoint of the Conformal Operator
Introduction
A conformal operator is a linear operator $T$ that multiplies a quadratic form by a scalar, $q(Tx) = \lambda(T)q(x)$; read as a signed two-sided operator it is the signed sandwich $x \mapsto a\,\alpha(x)\,b$, and the adjoint of that sandwich is computed with the sign carried by the grade involution $\alpha$. The signed adjoint is the adjoint of the signed operator, and it is sign-reversing: it reverses the sign of the parameters, so the adjoint of the sandwich of $a$ and $b$ is the sandwich of the inverse images. The unitarity condition it defines, $\Theta^{\ddagger}\Theta = \mathrm{id}$, selects the conformal operators with the factor one, that is, the isometries of the form inside the conformal group; the article proves the selection and identifies the sign-reversing adjoint as the obstruction to unitarity for a conformal operator with a nontrivial factor.
The article develops the conformal operator and its sign, the adjoint of a conformal operator with the factor $\lambda T^{-1}$, the signed adjoint with the formulae of the signed sandwich, the unitarity condition it defines and the group of the signed-unitary conformal operators, and the degenerate case in which the sign collapses. The conformal operator itself is The Conformal Operator, the signed sandwich is The Signed Sandwich on an Ordered Algebra and The Signed Adjoint of the Reflection on a Linear Space, and the adjoint is The Adjoint under a Hermitian Pairing.
The article assumes The Conformal Operator for the similarity group, the conformal Laplacian and the Weyl tensor; The Adjoint under a Hermitian Pairing for the adjoint and the self-adjoint elements; Unitary Geometry over a Field with Involution for the Hermitian forms and the unitary group; The Signed Sandwich on an Ordered Algebra of Part III and Reflections as Signed Two-Sided Operators on a Linear Space and The Signed Adjoint of the Reflection on a Linear Space of Part I for the signed sandwich, its adjoint and the grade involution; and Clifford Algebras of Part II for the reflection elements. No distance and no physics is invoked.
The Conformal Operator and Its Sign
The Similarity and the Signed Sandwich
Definition. Let $(V,q)$ be a quadratic space over a field of characteristic not two. A conformal operator is a linear operator $T \in GL(V)$ with $q(Tx) = \lambda(T)q(x)$ for all $x$ and some $\lambda(T) \in K^\times$; the operators form the conformal group $\operatorname{CO}(V,q)$, the factor is a homomorphism to $K^\times$, and the orthogonal group is its kernel. In the Clifford algebra $\mathrm{Cl}(V,q)$ the conformal operators preserving the quadratic cone are the signed two-sided operators
$$ \Theta^{\alpha}_{a,b}(X) = a\,\alpha(X)\,b , $$
where $\alpha$ is the grade involution, negating the odd part and fixing the even part; the sign of the operator is its twist by $\alpha$, and without the twist the sandwich is the ordinary one.
Proposition. The signed sandwich is multiplicative in the pair, $\Theta^\alpha_{a,b}\circ\Theta^\alpha_{c,d} = \Theta^\alpha_{ac,db}$ when $\alpha(a) = a$ on the even parameters, and the operators preserving the quadratic cone are the elements $a$, $b$ of the group generated by the units with $a\,\alpha(X)\,b$ preserving the cone; the reflection $x \mapsto -axa^{-1}$ of a vector $a$ with $q(a) \neq 0$ is the case $a$, $b = a^{-1}$ of the signed sandwich, and it is the geometric instance of the conformal operator in the signed form.
Proof. The composition is $a\alpha(c\alpha(X)d)b = a\alpha(c)\alpha^2(X)\alpha(d)b$, which is the sandwich by $ac$ and $db$ under the commutation condition; the reflection formula is the geometric reflection of Geodesic Reflection as an Operator, in the signed two-sided form. The statement is in The Signed Sandwich on an Ordered Algebra and Clifford Algebras.
The Adjoint of a Conformal Operator
Theorem. Let $h$ be a nondegenerate Hermitian pairing compatible with the quadratic form $q$, and let $T$ be a conformal operator with the factor $\lambda = \lambda(T)$. Then the adjoint of $T$ with respect to $h$ is
$$ T^{\dagger} = \lambda(T)\, T^{-1} , $$
so the adjoint of a conformal operator is again a conformal operator, with the factor $\overline{\lambda(T)}$, and the adjoint of a similarity is its inverse multiplied by the factor; for an isometry, $\lambda = 1$, the adjoint is the inverse, and the conformal operator is unitary.
Proof. From $h(Tx,Ty) = \lambda h(x,y)$ for all $x,y$ and the substitution $y = T^{-1}z$ one gets $h(Tx,z) = \lambda h(x,T^{-1}z)$, which is the defining identity of the adjoint $T^{\dagger} = \lambda T^{-1}$; the factor of the adjoint is computed from $h(T^\dagger x, T^\dagger y) = \bar\lambda \lambda h(x,y)/\lambda = \bar\lambda h(x,y)$ on the appropriate side, and the isometry case is $\lambda = 1$. The statement is in The Adjoint under a Hermitian Pairing and Unitary Geometry over a Field with Involution.
Corollary (the factor is the obstruction). A conformal operator is unitary, $T^{\dagger} = T^{-1}$, exactly when its factor is one; the adjoint differs from the inverse by the factor, so the factor $\lambda(T)$ measures the failure of the conformal operator to be an isometry, and the conformal group is the union of the cosets of the orthogonal group indexed by the factor.
The Signed Adjoint
The Definition
Definition. Let the algebra of the operators carry the grade involution $\alpha$, an involutive automorphism, and let $T^{\dagger}$ be the adjoint with respect to $h$. The signed adjoint of an operator $T$ is
$$ T^{\ddagger} = \alpha\bigl(T^{\dagger}\bigr) , $$
the adjoint twisted by the grade involution; for the signed sandwich $\Theta^{\alpha}_{a,b}$ of the conformal operator, the signed adjoint is computed by the formula of the signed adjoint sandwich,
$$ \bigl(\Theta^{\alpha}_{a,b}\bigr)^{\ddagger} = \Theta^{\alpha}_{\alpha(b),\,\alpha(a)} , $$
which exchanges the two parameters and applies the grade involution to each, that is, reverses the sign of the parameters, and which reduces to the adjoint for $\alpha = \mathrm{id}$.
Theorem. The signed adjoint of the signed sandwich is the signed sandwich of the adjoint parameters, and it is a sign-reversing adjoint: on the even part of the algebra it is the ordinary adjoint, and on the odd part it is the negative of the ordinary adjoint. The signed adjoint is conjugate-linear, additive and anti-multiplicative,
$$ (\Theta\Psi)^{\ddagger} = \Psi^{\ddagger}\Theta^{\ddagger}, \qquad (T^{\ddagger})^{\ddagger} = T , $$
and it is an involution of the algebra of the operators whenever the grade involution and the adjoint commute up to the sign of the grade.
Proof. The formula for the sandwich is the adjoint computation of The Signed Adjoint of the Reflection on a Linear Space applied to the two-sided operator $\Theta^\alpha_{a,b}$, whose adjoint is the sandwich of the adjoints of the parameters with the sign reversed by $\alpha$; the sign reversal is the definition of $\alpha$ on the odd part, and the anti-multiplicativity and the involution property follow from the same properties of the adjoint and the multiplicativity of $\alpha$. The statement is in Reflections as Signed Two-Sided Operators on a Linear Space and The Signed Adjoint of the Reflection on a Linear Space.
The Unitarity Condition
Definition. The signed unitarity condition is
$$ T^{\ddagger}\,T = \mathrm{id} , $$
and the operators satisfying it are the signed-unitary operators of the conformal geometry; the signed adjoint is used in the condition in place of the ordinary adjoint, and the difference is exactly the sign.
Theorem. For a conformal operator with the factor $\lambda = \lambda(T)$ the signed unitarity condition is equivalent to the ordinary unitarity,
$$ T^{\ddagger}T = \mathrm{id} \quad \Longleftrightarrow \quad T^{\dagger}T = \mathrm{id} \quad \Longleftrightarrow \quad \lambda(T) = 1 , $$
so the signed-unitary conformal operators are exactly the isometries of the form, the intersection of the conformal group with the unitary group,
$$ \operatorname{CO}(V,q) \cap U(V,h) = O(V,q) , $$
and the sign-reversing adjoint is the obstruction that removes the operators with a nontrivial factor; the unitarity condition defines the orthogonal group inside the conformal group.
Proof. The condition $T^{\ddagger}T = \mathrm{id}$ reads $\alpha(T^\dagger T) = \mathrm{id}$; because $\alpha$ is an involution and the identity is even, this is $T^\dagger T = \mathrm{id}$; the adjoint of a conformal operator is $\lambda T^{-1}$, so the condition is $\lambda T^{-1}T = \lambda \mathrm{id} = \mathrm{id}$, that is, $\lambda = 1$; the isometry condition is the definition of the orthogonal group and of the unitary group of the form. The statement is in The Conformal Operator and Unitary Geometry over a Field with Involution.
Remark (the agreement of the involutions). The signed adjoint and the ordinary adjoint agree exactly on the even part of the algebra, and the unitarity conditions they define agree because the identity is even; the two conditions would differ for a target operator with an odd component, and the difference is the sign. This is the sense in which the article is the intersection of The Conformal Operator and The Adjoint under a Hermitian Pairing, and the agreement is proved by the computation above and not assumed.
The Degenerate Case
Definition. The degenerate case of the signed adjoint is the case in which the grade involution collapses or the form degenerates: in characteristic two the grade involution of a quadratic space collapses to the identity and the signed adjoint is the ordinary adjoint; when the form $q$ is degenerate the reflection element $a$ with $q(a) = 0$ has no inverse in the Clifford algebra, the sandwich $\Theta^\alpha_{a,a^{-1}}$ is undefined, and the signed adjoint of the corresponding conformal operator does not exist.
Theorem. When the grade involution is the identity the signed adjoint coincides with the ordinary adjoint and the unitarity condition is the ordinary unitarity; when the form is degenerate the signed adjoint fails to be defined for the isotropic parameters, and the operators with an isotropic reflection element have no signed adjoint. The failure is exactly the loss of the sign of the quadratic form, and it is the boundary case of the conformal geometry, in which the conformal structure degenerates to the orthogonal structure of the associated graded form.
Proof. For $\alpha = \mathrm{id}$ the signed adjoint is the adjoint by the definition; for a degenerate form the Clifford algebra has zero divisors and the inverse $a^{-1} = a/q(a)$ does not exist for $q(a) = 0$, so the sandwich formula of the adjoint loses its meaning. The statement is the degenerate-case analysis of The Signed Adjoint of the Reflection on a Linear Space and Clifford Algebras.
Remark (the Weyl tensor and the sign). The conformal operators of a conformal manifold act on the densities of a conformal weight, and the unitarity condition of the article is the infinitesimal form of the conformal invariance of the conformal Laplacian; the Weyl tensor of The Conformal Operator is the invariant that survives when the signed-unitary operators are divided out, and the sign-reversing adjoint measures the difference between the conformal and the isometric structures. The article owns the operator-layer sign and leaves the manifold theory to the companion.
Summary
A conformal operator $T$ multiplies the form by the factor $\lambda(T)$; its adjoint with respect to a compatible Hermitian pairing is $T^{\dagger} = \lambda(T)T^{-1}$, so the factor is the obstruction to unitarity and the isometries are exactly the conformal operators with $\lambda = 1$. The signed adjoint is the adjoint twisted by the grade involution, $T^{\ddagger} = \alpha(T^{\dagger})$, computed for the signed sandwich by the formula $(\Theta^\alpha_{a,b})^{\ddagger} = \Theta^\alpha_{\alpha(b)^{\ddagger},\alpha(a)^{\ddagger}}$; it is sign-reversing, anti-multiplicative and an involution, and it agrees with the ordinary adjoint on the even part. The signed unitarity condition $T^{\ddagger}T = \mathrm{id}$ is equivalent to $T^\dagger T = \mathrm{id}$ and hence to $\lambda(T) = 1$, so the signed-unitary conformal operators are exactly the isometries, $\operatorname{CO}(V,q)\cap U(V,h) = O(V,q)$; the sign-reversing adjoint defines the orthogonal group inside the conformal group. In the degenerate case the grade involution collapses in characteristic two and the sign disappears, while a degenerate form makes the reflection element isotropic and the signed adjoint undefined.
Summary of Notation
| Symbol | Meaning |
|---|---|
| $q(Tx) = \lambda(T)q(x)$ | Conformal operator and factor |
| $\operatorname{CO}(V,q)$ | Conformal group of the quadratic space |
| $\alpha$ | Grade involution of the algebra |
| $\Theta^{\alpha}_{a,b}(X) = a\alpha(X)b$ | Signed two-sided operator |
| $T^{\dagger} = \lambda(T)T^{-1}$ | Adjoint of a conformal operator |
| $T^{\ddagger} = \alpha(T^{\dagger})$ | Signed adjoint |
| $(\Theta^{\alpha}_{a,b})^{\ddagger} = \Theta^{\alpha}_{\alpha(b),\alpha(a)}$ | Signed adjoint of the sandwich, the sign reversal |
| $T^{\ddagger}T = \mathrm{id}$ | Signed unitarity condition |
| $\operatorname{CO}(V,q) \cap U(V,h) = O(V,q)$ | Signed-unitary conformal operators, the isometries |
| $a$ with $q(a) = 0$ | Isotropic parameter, the degenerate case |
Further Reading
- Max-Albert Knus, Alexander Merkurjev, Markus Rost and Jean-Pierre Tignol, The Book of Involutions (American Mathematical Society, 1998), for the algebras with involution and the adjoints.
- Ian R. Porteous, Clifford Algebras and the Classical Groups (Cambridge University Press, 1995), for the Clifford algebra, the reflections and the conformal group.
- Pertti Lounesto, Clifford Algebras and Spinors (Cambridge University Press, 2001), for the reflections, the spin groups and the conformal structure.
- Jean Dieudonné, La géométrie des groupes classiques (Springer, 1955), for the classical groups and their involutions.
- Tsit Yuen Lam, Introduction to Quadratic Forms over Fields (American Mathematical Society, 2005), for the quadratic forms and the orthogonal groups.