1: \begin{definition}[$b$-Symplectic models]\label{bsymplecticmodel}

2: Consider the $b$-symplectic form on $\tilde{E}=T^*S^1\times(H\times_{H_z} \mathfrak{m}^*\times V_z)$  given by

3: \begin{equation}\label{coverform}

4: \tilde \omega_0=\omega_{c'}+\omega_{MGS}

5: \end{equation}

6: where $\omega_{c'}$ is the $b$-symplectic form on $T^*S^1$ of modular period $c'=ck$  given by Definition \ref{twistedsymplectic},

7: and $\omega_{MGS}$ is the symplectic form on $Y_z^{H} = H\times_{H_z} \mathfrak{m}^*\times V_z$ given by the symplectic slice theorem (Theorem \ref{symplecticslicetheorem}). Consider the quotient $b$-symplectic structure on $E=\tilde{E}/\mathbb{Z}_l$ where $ \frac{m}{l}\in \mathbb{Z}_l$ acts on $T^{*}S^1$ as the cotangent lift of $\mathbb{Z}_l$ acting by translations on $S^1$ and acts on the factor $H \times_{H_z} \mathfrak{m}^*\times V_z$ equipped with the coordinates $[k, \eta, v]$ of Theorem \ref{symplecticslicetheorem} either by

8: \begin{enumerate}

9: \item  $\frac{m}{l} \cdot  [k, \eta, v]=[k, \sigma^m(\eta), \sigma^m(v)]$ for a linear symplectomorphism $\sigma$.

10: \item $\frac{m}{l} \cdot [k, \eta, v]=[h^m \cdot k, \eta, v]$ where $h$ is some element of $H$.

11: \end{enumerate}

12: Then $E$ has a unique $b$-symplectic structure such that the projection is a local $b$-symplectomorphism (see Remark \ref{remark:quotientpoisson}). We call these normal forms \textbf{$b$-symplectic models with symplectic slice $V_z$ and modular period $c\frac{k}{l}$}.

13: \end{definition}

14: