1: \begin{definition}\label{defgg} {\rm (The gauge group $\G_{3/2}$.) A measurable function

2: $g:M\rightarrow K \subset End\ \V$ is a bounded function into the linear space

3: $End\ \V$ and consequently its

4: weak derivatives are well defined. Following \cite{G70} we will write $g \in W_1(M;K)$

5: if $\|g - I_\V\|_2 <\infty$ and the derivatives $\p_j g \in L^2(M; End\ \V)$.

6: The 1-form $g^{-1} dg := \sum_{j=1}^3 g^{-1}(\p_j g)dx^j$ is then an a.e. defined  $\kf$ valued 1-form.

7: The Sobolev norm $\|g^{-1}dg \|_{H_a}$ is defined as in  \eref{Lap5}.

8: For an element $g \in W_1(M;K)$

9:  the restriction $g|\p M$ is well defined almost everywhere on $\p M$ by a Sobolev trace theorem.

10: The three versions of $\G_{3/2}$ that we will need are given in the following definitions.

11: \begin{align*}

12: \G_{3/2}(\R^3)

13:    = \Big\{g \in W_1(\R^3; K): g^{-1}dg \in H_{1/2}(\R^3;\L^1\otimes \kf) \Big\}, \qquad \qquad \ \ \

14: \end{align*}

15: If $M \ne \R^3$ define

16: \begin{align*}

17: \G_{3/2}^N(M) &= \Big\{g \in W_1(M; K): g^{-1}dg \in H_{1/2}(M;\L^1\otimes \kf) \Big\}, \\

18: \G_{3/2}^D(M) & = \Big\{g \in W_1(M; K): g^{-1}dg \in H_{1/2}(M;\L^1\otimes \kf),\  g = I_\V\ \text{on}\ \p M \Big\},

19: \end{align*}

20: It should be understood that the two spaces denoted  $H_{1/2}(M;\L^1\otimes \kf)$ are those

21: determined by Neumann, respectively Dirichlet,  boundary conditions. It was proved in \cite[Theorem 5.3]{G70}

22: that all three versions of $\G_{3/2}$ are complete topological groups in the metric

23: $dist(g,h) = \| g^{-1} dg - h^{-1} dh\|_{H_{1/2}} +\| g-h\|_{L^2(M; End\, \V)}$.

24: }

25: \end{definition}