PCT Quantum Symmetries

PCT Quantum Symmetries

We discuss how PCT quantum symmetries (Def. below) are classified (Prop. below) by a “10-fold way” (Cor. below).

The definition and the argument is quite straightforward. Just for completeness we offer some Preliminaries, but the reader may want to skip right ahead to the Definition and Classification.

The 10-fold classification of these PCT quantum symmetries immediately induces other incarnations of the 10-fold way, notably:

the classification of flavors of topological K-theory

(by the Atiyah-Jänich theorem in terms of graded Fredholm operators, see there)

and with that

• the 10-fold way in the K-theory classification of topological phases of matter.

Preliminaries

Let:

ℋ\mathscr{H} be a countably infinite-dimensional complex Hilbert space,

U ( ℋ ) \mathrm{U}(\mathscr{H}) denote its unitary group,

TT be a real structure on ℋ\mathscr{H}, hence a complex antilinear involution,

C 2 (t)≔{id,T}C_2^{(t)} \coloneqq {id, T} denote the group generated by TT.

Observe that the semidirect product of the unitary group with that generated by TT is isomorphic the group consisting of unitary operators and anti-unitary operators:

(1)U(ℋ)⋊C 2 (t) ⟶∼ U(ℋ)⊔U anti(ℋ) (U,id) ↦ U (U,T) ↦ U∘T. \begin{array}{ccc} \mathrm{U}(\mathscr{H}) \rtimes C_2^{(t)} &\overset{\sim}{\longrightarrow}& \mathrm{U}(\mathscr{H}) \sqcup \mathrm{U}_{anti}(\mathscr{H}) \ (U, id) &\mapsto& U \ (U, T) &\mapsto& U \circ T \mathrlap{,.} \end{array}

This relation passes to projective unitary groups:

PU(ℋ) ≔U(ℋ)/U(1) PU anti(ℋ) ≔U anti(ℋ)/U(1) \begin{aligned} P \mathrm{U}(\mathscr{H}) &\coloneqq; \mathrm{U}(\mathscr{H})/\mathrm{U}(1) \ P \mathrm{U}_{anti}(\mathscr{H}) &\coloneqq; \mathrm{U}_{anti}(\mathscr{H})/\mathrm{U}(1) \end{aligned}

in that we have an analogous isomorphism

PU(ℋ)⋊C 2 (t) ⟶∼ PU(ℋ)⊔PU anti(ℋ) ([U],id) ↦ [U] ([U],T) ↦ [U∘T]. \begin{array}{ccc} P \mathrm{U}(\mathscr{H}) \rtimes C_2^{(t)} &\overset{\sim}{\longrightarrow}& P\mathrm{U}(\mathscr{H}) \sqcup P\mathrm{U}_{anti}(\mathscr{H}) \ ([U], id) &\mapsto& [U] \ ([U], T) &\mapsto& [U \circ T] \mathrlap{,.} \end{array}

This group of projective unitary/antiunitary operators is the group of quantum symmetries as usually considered (Wigner’s theorem).

We next enlarge this a little more to include what may be thought of as particle/antiparticle symmetry, often referred to as charge conjugation symmetry.

To that end, let

ℋ gr≔ℋ⊖ℋ\mathscr{H}_{gr} \coloneqq \mathscr{H} \ominus \mathscr{H} denote the ℤ 2\mathbb{Z}_2-graded Hilbert space,

PP the grading involution on ℋ\mathscr{H}:

ℋ ⟶P ℋ (ψ + ψ −) ↦ (ψ − ψ +) \begin{array}{ccc} \mathscr{H} &\overset{P}{\longrightarrow}& \mathscr{H} \ \left( \begin{matrix} \psi_+ \ \psi_- \end{matrix} \right) &\mapsto& \left( \begin{matrix} \psi_- \ \psi_+ \end{matrix} \right) \end{array}

C 2 (p)≔{id,P}C_2^{(p)} \coloneqq {id, P} denote the group generated by PP,

C 2 (c)≔{id,C≔PT}C_2^{(c)} \coloneqq {id, C \coloneqq P T} denote the group generated by P∘TP \circ T,

U gr(ℋ gr)≔U(ℋ) 2⋊C 2 (p)\mathrm{U}_{gr}(\mathscr{H}_{gr}) \coloneqq \mathrm{U}(\mathscr{H})^{2 \rtimes C_2}{(p)} denote the semidirect product which is isomorphic to the subgroup of U(ℋ gr)\mathrm{U}(\mathscr{H}_{gr}) on the operators which are of homogeneous degree (either even or odd),

PU gr(ℋ gr)≔U(ℋ) 2U(1)⋊C 2 (p)P\mathrm{U}_{gr}(\mathscr{H}_{gr}) \coloneqq \frac{\mathrm{U}(\mathscr{H})^{2}{\mathrm{U}(1)} \rtimes C_2}{(p)} denote the corresponding projective group

Finally, combine all this to consider the following:

Definition and Classification

Definition

The group of graded quantum symmetries is the semidirect product

(2)QS≔U(ℋ) 2U(1)⋊(C 2 (t)×C 2 (c)), QS ;\coloneqq; \frac{ \mathrm{U}(\mathscr{H})^{2 }{ \mathrm{U}(1) } \rtimes \big( C_2}{(t)} \times C_2^{(c)} \big) \mathrlap{,,}

of the even graded projective unitary group with the operations of degree involution PP and complex involution TT.

This is a group extension

U(ℋ) 2U(1)↪QS↠C 2 (t)×C 2 (c) \tfrac{ \mathrm{U}(\mathscr{H})^{2 }{ \mathrm{U}(1) } \hookrightarrow QS \twoheadrightarrow C_2}{(t)} \times C_2^{(c)}

of

(3)C 2 (t)×C 2 (c)={id,T,C,P≔CT}, C_2^{(t)} \times C_2^{(c)} ;=; \big{ id, T, C, P \coloneqq C T \big} ,,

which we may call the group of PCT symmetries.

Definition

A PCT quantum symmetry is a lift of a subgroup of PCT symmetries (3) to a quantum symmetry (2), hence a dashed group homomorphism making the following diagram commute:

where for g∈Gg \in G we denote by

(4)g^∈U(ℋ) 2⋊(C 2 (t)×C 2 (c)) \widehat{g} ;\in; \mathrm{U}(\mathscr{H})^{2 \rtimes \big( C_2}{(t)} \times C_2^{(c)} \big)

a representative of the U(1)\mathrm{U}(1)-coset equivalence class [g^]\big[\widehat{g}\big].

Proposition

Given a PCT quantum symmetry G^\widehat{G} (Def. ), we have

if G=C 2 (p)={id,P=CT}G = C_2^{(p)} = \big{id, P = C T\big}, then [P^]\big[\widehat{P}\big] has a representative P^\widehat{P} (4) such that

P^ 2=id, \widehat{P}{}^2 = id \mathrlap{,,} 1.

if T∈GT \in G then [T^]\big[\widehat{T}\big] has a representative T^\widehat{T} (4) such that

T^ 2∈{±id}, \widehat{T}{}^2 \in {\pm id} \mathrlap{,,} 1.

if C∈GC \in G then [C^]\big[\widehat{C}\big] has a representative C^\widehat{C} (4) such that

C^ 2∈{±id}, \widehat{C}{}^2 \in {\pm id} \mathrlap{,,}

and all these cases occur.

Proof

That [(−)^]\big[\widehat{(-)}\big] is a group homomorphism means equivalently that

[P^] 2=id ⇔ P^ 2=ωidfor someω∈U(1). \begin{aligned} & \big[\widehat{P}\big]^2 ;=; id \ \Leftrightarrow ;; & \widehat{P}^2 ;=; \omega, id ;;; \text{for some} ; \omega \in \mathrm{U}(1) ,. \end{aligned}

But since for G=C 2 (p)G = C_2^{(p)} the operator P^\widehat{P} must be unitary according to (1) and hence in particular complex-linear, its rescaling by any square root ω∈U(1)\sqrt{\omega} \in \mathrm{U}(1) yields an alternative representative

[1ωP^]=[P^] \big[ \tfrac{1}{\sqrt{\omega}} \widehat{P} \big] ;=; \big[ \widehat{P} \big]

with the desired property:

(1ωP^) 2 =1ωP^1ωP^ =1ω1ωP^P^ =id. \begin{aligned} \big( \tfrac{1}{\sqrt{\omega}} \widehat{P} \big)^2 & = \tfrac{1}{\sqrt{\omega}} \widehat{P} \tfrac{1}{\sqrt{\omega}} \widehat{P} \ & = \tfrac{1}{\sqrt{\omega}} \tfrac{1}{\sqrt{\omega}} \widehat{P} \widehat{P} \ & = id \mathrlap{,.} \end{aligned} 1.

Group homomorphy again requires that

[T^] 2=id ⇔ T^ 2=ωidfor someω∈U(1), \begin{aligned} & \big[\widehat{T}\big]^2 ;=; id \ \Leftrightarrow ;; & \widehat{T}^2 ;=; \omega, id ;;; \text{for some} ; \omega \in \mathrm{U}(1) ,, \end{aligned}

but now that T^\widehat{T} is anti-unitary and hence in particular complex-antilinear, there is first all a further constraint, namely

T^T^ 2=T^ 2widehatT ⇒ ω *T^=ωT^ ⇔ ω *=ω ⇔ ω∈U(1)∩ℝ ⇔ ω∈{±1}. \begin{aligned} & \widehat{T} \widehat{T}^{2 = \widehat{T}2 \widehatT \ \Rightarrow;; & \omega\ast \widehat{T} = \omega \widehat{T} \ \Leftrightarrow;; & \omega}\ast = \omega \ \Leftrightarrow;; & \omega ,\in, \mathrm{U}(1) \cap \mathbb{R} \ \Leftrightarrow;; & \omega ,\in, {\pm 1} \mathrlap{,.} \end{aligned}

On the other hand, for the same reason the single non-trivial value for ω\omega may no longer be scaled away as before, since now

(±iT^) 2 =(±i)T^(±i)T^ =(±i)(∓i)T^T^ =T^ 2. \begin{aligned} \big( \pm \mathrm{i} \widehat{T} \big)^2 & = (\pm\mathrm{i})\widehat{T} (\pm\mathrm{i})\widehat{T} \ & = (\pm\mathrm{i})(\mp\mathrm{i})\widehat{T}\widehat{T} \ & = \widehat{T}^2 \mathrlap{,.} \end{aligned} 1.

Same argument as in (2.).

Corollary

(10-fold way of PCT quantum symmetries) The set of PCT quantum symmetries (Def. ) falls, by Prop. , into ten classes, according to the following table:

Created on November 6, 2025 at 13:57:45. See the history of this page for a list of all contributions to it.