Real structure

From Wikipedia, the free encyclopedia

In mathematics, a real structure on a complex vector space is a way to decompose the complex vector space in the direct sum of two real vector spaces. The prototype of such a structure is the field of complex numbers itself, considered as a complex vector space over itself and with the conjugation map $\sigma :{{\mathbb C}}\to {{\mathbb C}}\,$ , with $\sigma (z)={{\bar z}}$ , giving the "canonical" real structure on ${{\mathbb C}}\,$ , that is ${{\mathbb C}}={{\mathbb R}}\oplus i{{\mathbb R}}\,$ .

The conjugation map is antilinear: $\sigma (\lambda z)={{\bar \lambda }}\sigma (z)\,$ and $\sigma (z_{1}+z_{2})=\sigma (z_{1})+\sigma (z_{2})\,$ .

Vector space

A real structure on a complex vector space V is an antilinear involution $\sigma :V\to V$ . A real structure defines a real subspace $V_{{{\mathbb {R}}}}\subset V$ , its fix locus, and the natural map

$V_{{{\mathbb R}}}\otimes _{{{\mathbb {R}}}}{{\mathbb C}}\to V$

is an isomorphism. Conversely any vector space that is the complexification of a real vector space has a natural real structure.

One first notes that every complex space V has a real form obtained by taking the same vectors as in the original set and restricting the scalars to be real. If $t\in V\,$ and $t\neq 0$ then the vectors $t\,$ and $it\,$ are linear independent in the real form of V. Hence:

$\dim _{{{\mathbb R}}}V=2\dim _{{{\mathbb C}}}V$

Naturally, one would wish to represent V as the direct sum of two real vector spaces, the "real and imaginary parts of V". There is no canonical way of doing this: such a splitting is an additional real structure in V. It may be introduced as follows.^[1] Let $\sigma :V\to V\,$ be an antilinear map such that $\sigma \circ \sigma =id_{{V}}\,$ , that is an antilinear involution of the complex space V. Any vector $t\in V\,$ can be written ${t=t^{{+}}+t^{{-}}}\,$ , where $t^{+}={1 \over {2}}(t+\sigma t)$ and $t^{-}={1 \over {2}}(t-\sigma t)\,$ .

Therefore, one gets a direct sum of vector spaces $V=V^{{+}}\oplus V^{{-}}\,$ where:

$V^{{+}}=\{t\in V|\sigma t=t\}$ and $V^{{-}}=\{t\in V|\sigma t=-t\}\,$ .

Both sets $V^{+}\,$ and $V^{-}\,$ are real vector spaces. The linear map $K:V^{+}\to V^{-}\,$ , where $K(t)=it\,$ , is an isomorphism of real vector spaces, whence:

$\dim _{{{\mathbb R}}}V^{+}=\dim _{{{\mathbb R}}}V^{-}=\dim _{{{\mathbb C}}}V\,$ .

The first factor $V^{+}\,$ is also denoted by $V_{{{\mathbb {R}}}}\,$ and is left invariant by $\sigma \,$ , that is $\sigma (V_{{{\mathbb {R}}}})\subset V_{{{\mathbb {R}}}}\,$ . The second factor $V^{-}\,$ is usually denoted by $iV_{{{\mathbb {R}}}}\,$ . The direct sum $V=V^{{+}}\oplus V^{{-}}\,$ reads now as:

$V=V_{{{\mathbb {R}}}}\oplus iV_{{{\mathbb {R}}}}\,$ ,

i.e. as the direct sum of the "real" $V_{{{\mathbb {R}}}}\,$ and "imaginary" $iV_{{{\mathbb {R}}}}\,$ parts of V. This construction strongly depends on the choice of an antilinear involution of the complex vector space V. The complexification of the real vector space $V_{{{\mathbb {R}}}}\,$ , i.e., $V^{{{\mathbb {C}}}}=V_{{{\mathbb R}}}\otimes _{{{\mathbb {R}}}}{\mathbb {C}}\,$ admits a natural real structure and hence is canonically isomorphic to the direct sum of two copies of $V_{{{\mathbb R}}}\,$ :

$V_{{{\mathbb R}}}\otimes _{{{\mathbb {R}}}}{\mathbb {C}}=V_{{{\mathbb {R}}}}\oplus iV_{{{\mathbb {R}}}}\,$ .

It follows a natural linear isomorphism $V_{{{\mathbb R}}}\otimes _{{{\mathbb {R}}}}{\mathbb {C}}\to V\,$ between complex vector spaces with a given real structure.

A real structure on a complex vector space V, that is an antilinear involution $\sigma :V\to V\,$ , may be equivalently described in terms of the linear map ${\hat \sigma }:V\to {\bar V}\,$ from the vector space $V\,$ to the complex conjugate vector space ${\bar V}\,$ defined by

$v\mapsto {\hat \sigma }(v):=\overline {\sigma (v)}\,$ .^[2]

Algebraic variety

For an algebraic variety defined over a subfield of the real numbers, the real structure is the complex conjugation acting on the points of the variety in complex projective or affine space. Its fixed locus are the space of real points of the variety (which may be empty).

Scheme

For a scheme defined over a subfield of the real numbers, complex conjugation is in a natural way a member of the Galois group of the algebraic closure of the basefield. The real structure is the Galois action of this conjugation on the extension of the scheme over the algebraic closure of the base field. The real points are the points whose residue field is fixed (which may be empty).

Notes

↑ Budinich, P. and Trautman, A. The Spinorial Chessboard. Spinger-Verlag, 1988, p. 29.
↑ Budinich, P. and Trautman, A. The Spinorial Chessboard. Spinger-Verlag, 1988, p. 29.

References

Horn and Johnson, Matrix Analysis, Cambridge University Press, 1985. ISBN 0-521-38632-2. (antilinear maps are discussed in section 4.6).
Budinich, P. and Trautman, A. The Spinorial Chessboard. Spinger-Verlag, 1988. ISBN 0-387-19078-3. (antilinear maps are discussed in section 3.3).

This article is issued from Wikipedia. The text is available under the Creative Commons Attribution/Share Alike; additional terms may apply for the media files.