1: \begin{definition}\label{def:extended-dirac-bracket}

2: We denote by $\{\,,\,\}_D$ the antisymmetric bilinear function $\{\,,\,\}_D:

3: C^\infty(\RR^2\times \restpogr)\times C^\infty(\RR^2\times \restpogr)\to

4: C^\infty (\RR^2\times \restpogr)$ that takes the form described in Theorem

5: \ref{thm:generic-dirac-bracket}. With $\RR^2$ parametrised by $\psi,\alpha$ and

6: the different copies of $\pogr$ labelled by

7: $\{M_3,\dots,M_n,A_1,B_1,\dots,A_g,B_g\}$, this bracket is given by:

8: \begin{enumerate}

9: \item $\{\psi,\alpha\}_D=0$, and for all $f\in\cif(\restlogr)$,

10:   $X,Y\in\{M_3,\dots,B_g\}$:

11:   \begin{equation}\label{eq:extended-dirac-bracket-for-gauge-fixed}

12:     \begin{aligned}

13:       \{\psi, f \}_D &= 0, &

14:       \{\psi, \bj_X \}_D &= -\idadi{X} \, \bq_\psi, \\

15:       \{\alpha, f\}_D &= \smashoperator{\sum_{Y\in\{M_3,\dots,B_g\}}} q_\alpha^a(J_{R,a}^Y+J_{L,a}^Y)f, &

16:       \{\alpha, \bj_X\}_D &= -\idadi{X} \bq_\theta - \bq_\alpha \wedge \bj_X,

17:     \end{aligned}

18:   \end{equation}

19:   with $\bq_\psi, \bq_\alpha,\bq_\theta: \RR^2 \to \RR^3$ satisfying $\bq_\psi

20:   \wedge \bq_\alpha = 0$ and

21:   $\partial_\alpha\bq_\psi=\partial_\alpha\bq_\alpha=\partial_\alpha^2

22:   \bq_\theta= 0$.

23: 

24: \item For all functions $F, G \in \cif(\restpogr)$: $\{F, G\}_D =

25:   \frrestbivector(\diffd F \otimes \diffd G)$, where $\frrestbivector$ is the

26:   Poisson bivector \eqref{eq:fr-bivector} and $r: \RR^2 \to \poal \oo \poal$ is

27:   given by

28:   \begin{equation}\label{eq:extended-dirac-r}

29:     r (\psi,\alpha)= P_a \otimes J^a - V^{bc}(\psi)(P_b \otimes J_c - J_c \otimes P_b) + \ee^{bcd}m_d(\psi,\alpha) P_b \otimes P_c,

30:   \end{equation}

31:   with a map $V:\RR \to \Mat(3, \RR)$ that does not depend on $\alpha$ and a

32:   vector-valued function $\bm:\RR^2\to \RR^3$ satisfying

33:   $\partial_\alpha^2\bm=0$.

34: \end{enumerate}

35: \end{definition}

36: