1: \begin{definition}

2: \label{def:sign}

3: Let $A$ be a real continuous-trace algebra with spectrum

4: $(X,\iota)$. In other words $X=\widehat{A_\bC}$, which is Hausdorff

5: since $A$ has continuous trace, and let $\iota$ be the involution on

6: $X$ defined by Proposition \ref{prop:Ahatinv}. The \emph{sign choice}

7: of $A$ is the map $\alpha\co X^\iota\to \{+,-\}$ attaching a $+$ sign

8: to fixed points of real type and a $-$ sign to fixed points of

9: quaternionic type. (Of course, $\iota$ acts freely on $X\smallsetminus

10: X^\iota$, and the orbits of this action correspond to the pairs of conjugate

11: representations of complex type.)

12: 

13: Note that if we give $\{+,-\}$ the discrete topology, then it is easy

14: to see that $\alpha$ is continuous\footnote{One way to see this is to

15:   apply the part of Theorem \ref{thm:AandAC} about characters. If

16:   $e\in A_+$ is a local minimal projection near $x\in X$, then $\Tr

17:   \pi(e) =1$ if $\pi$ is close to $x$ and $\alpha(x)=+$ and $\Tr

18:   \pi(e) =2$ if $\pi$ is close to $x$ and $\alpha(x)=-$.}, so it is

19: constant on each connected component of $X^\iota$.

20: 

21: Incidentally, the name \emph{sign choice} for this invariant comes

22: from a physical application we will see in Section \ref{sec:KR}, where

23: it is related to the signs of O-planes in string theory.

24: \end{definition}

25: