nLab pin group

Redirected from "pin groups".
Contents

Contents

Idea

A PinPin-group is a double cover of an orthogonal group. Its restriction along the inclusion of the special orthogonal group is a Spin group. Hence a PinPin-group is “like the corresponding Spin group, but including reflections”.

Definition

Definition

A quadratic vector space (V,,)(V, \langle -,-\rangle) is a vector space VV over finite dimension over a field kk of characteristic 0, and equipped with a symmetric bilinear form ,:VVk\langle -,-\rangle \colon V \otimes V \to k.

Conventions as in (Varadarajan 04, section 5.3).

We write q:vv,vq\colon v \mapsto \langle v ,v \rangle for the corresponding quadratic form.

Definition

The Clifford algebra CL(V,q)CL(V,q) of a quadratic vector space, def. , is the associative algebra over kk which is the quotient

Cl(V,q)T(V)/I(V,q) Cl(V,q) \coloneqq T(V)/I(V,q)

of the tensor algebra of VV by the ideal generated by the elements vvq(v)v \otimes v - q(v).

Since the tensor algebra T(V)T(V) is naturally \mathbb{Z}-graded, the Clifford algebra Cl(V,q)Cl(V,q) is naturally /2\mathbb{Z}/2\mathbb{Z}-graded.

Let ( n,q=||)(\mathbb{R}^n, q = {\vert -\vert}) be the nn-dimensional Cartesian space with its canonical scalar product. Write Cl ( n)Cl^\mathbb{C}(\mathbb{R}^n) for the complexification of its Clifford algebra.

Proposition

There exists a unique complex representation

Cl ( n)End(Δ n) Cl^{\mathbb{C}}(\mathbb{R}^n) \longrightarrow End(\Delta_n)

of the algebra Cl ( n)Cl^\mathbb{C}(\mathbb{R}^n) of smallest dimension

dim (Δ n)=2 [n/2]. dim_{\mathbb{C}}(\Delta_n) = 2^{[n/2]} \,.
Definition

The Pin group Pin(V;q)Pin(V;q) of a quadratic vector space, def. , is the subgroup of the group of units in the Clifford algebra Cl(V,q)Cl(V,q)

Pin(V,q)GL 1(Cl(V,q)) Pin(V,q) \hookrightarrow GL_1(Cl(V,q))

on those elements which are multiples v 1v nv_1 \cdots v_{n} of elements v iVv_i \in V with q(v i)=1q(v_i) = 1.

The Spin group Spin(V,q)Spin(V,q) is the further subgroup of Pin(V;q)Pin(V;q) on those elements which are even number multiples v 1v 2kv_1 \cdots v_{2k} of elements v iVv_i \in V with q(v i)=1q(v_i) = 1.

Specifically, “the” Spin group is

Spin(n)Spin( n), Spin(n) \coloneqq Spin(\mathbb{R}^n) \,,

where we understand the standard quadratic form on n\mathbb{R}^n for either global sign

n q ± x ±i(x i) 2 \array{ \mathbb{R}^n &\overset{q_{\pm}}{\longrightarrow}& \mathbb{R} \\ \vec x &\mapsto& \pm \underset{i}{\sum} (x^i)^2 }

The corresponding two PinPin-groups are denoted

Pin ±(n)Pin( n,q ±) Pin_\pm(n) \;\coloneqq\; Pin\big( \mathbb{R}^n, q_\pm\big)

Examples

groupsymboluniversal coversymbolhigher coversymbol
orthogonal groupO(n)\mathrm{O}(n)Pin groupPin(n)Pin(n)Tring groupTring(n)Tring(n)
special orthogonal groupSO(n)SO(n)Spin groupSpin(n)Spin(n)String groupString(n)String(n)
Lorentz groupO(n,1)\mathrm{O}(n,1)\,Spin(n,1)Spin(n,1)\,\,
anti de Sitter groupO(n,2)\mathrm{O}(n,2)\,Spin(n,2)Spin(n,2)\,\,
conformal groupO(n+1,t+1)\mathrm{O}(n+1,t+1)\,
Narain groupO(n,n)O(n,n)
Poincaré groupISO(n,1)ISO(n,1)Poincaré spin groupISO^(n,1)\widehat {ISO}(n,1)\,\,
super Poincaré groupsISO(n,1)sISO(n,1)\,\,\,\,
superconformal group

rotation groups in low dimensions:

Dynkin labelsp. orth. groupspin grouppin groupsemi-spin group
SO(2)Spin(2)Pin(2)
B1SO(3)Spin(3)Pin(3)
D2SO(4)Spin(4)Pin(4)
B2SO(5)Spin(5)Pin(5)
D3SO(6)Spin(6)
B3SO(7)Spin(7)
D4SO(8)Spin(8)SO(8)
B4SO(9)Spin(9)
D5SO(10)Spin(10)
B5SO(11)Spin(11)
D6SO(12)Spin(12)
\vdots\vdots
D8SO(16)Spin(16)SemiSpin(16)
\vdots\vdots
D16SO(32)Spin(32)SemiSpin(32)

see also

References

A standard textbook account is

See also

The following article discusses which of the Pin groups are in fact compatible with general relativity

Last revised on May 25, 2022 at 14:45:02. See the history of this page for a list of all contributions to it.