\section{Introduction}

  It has been observed that many pulsars move with much
greater velocities than other stars in our galaxy. This is called the
pulsar kick. See Ref.\cite {hp} for a review. Since neutrinos produced by
the URCA process dominate the emission of energy during the first 10 seconds
after the collapse of a heavy star, and for electrons in the lowest Landau
level the direction of motion is aligned
with the strong magnetic field, it was expected that active neutrino
emission would account for the pulsar velocities. It was shown, however,
that due to the small mean free path of active neutrinos this does not
work\cite{lq,al}. Using the modified URCA process, it was shown that
active neutrino emission might account for the observed pulsar velocities
during the period of about 10 to 20 seconds, when the surface of the
neutrino sphere is at the surface or the proto-neutron star\cite{hjk07}.

  A few years ago an experiment by the MiniBooNE Collaboration\cite{mini}
found that the data for electron neutrino appearance showed an excess at low
energies, in comparison to what was expected in the standard model.
This is consistent with the earlier LSND experiment\cite{lsnd}. An
analysis at that time\cite{ms07} indicated that there are either one
or two sterile neutrinos, but only could extract a wide range of mixing angles.
Due to the long mean path compared to active neutrinos, this suggests
that sterile neutrinos could account for the pulsar kicks. This possibility
was confirmed\cite{khj09}, but due to the uncertainly in mixing angle the
results could not be compared to observations. Prior to this pulsar kicks
from heavier sterile neutrinos, possibly dark matter, was estimated for a
range of parameters\cite{fkmp03}.

Recently the mixing angle in a 3+1 scenerio has been determined with much
greater accuracy\cite{abaz12}. Last year there was a new analysis of short-
baseline neutrino oscillation data\cite{kms11} in which a 3+2 scenerio
is preferred. In the present work we will make use of the theoretical
formulation of Ref\cite{khj09} with the new mixing angle result\cite{abaz12},
calculate the pulsar velocity as a function of temperature, and compare to
observations.

\section{Asymmetric Sterile Neutrino Emissivity and Pulsar
Velocities}

  Within about 10 seconds after the collapse of a large star about 98\%
of neutrino emission occurs, with neutrinos produced mainly by URCA
processes. Due to the strong magnetic field, neutrino momentum asymmetry
is produced within the neutrinosphere if the electron is in
the lowest Landau level, but with a small mean free path they are emitted
only from a small surface layer of the neutrinosphere, and the pulsar kick
cannot be accounted for. If the electron neutrino oscillates to a sterile
neutrino, the mean free path is much greater, and pulsar velocities
consistent with observation are possible, as found in Ref\cite{khj09}. To
determine the pulsar velocities as a function of pulsar luminoscity or
temperature, one must know the effective mean free path and the
the probability, P(0), for the electron to be in the n=0 Landau level.
The expression for the asymmetric neutrino emissivity and resulting pulsar
momentum and velocity was derived in detail in Ref\cite{khj09}, and we shall
therefore only give a brief review. Then the pulsar (neutron star) velocity
will be found as a function of temperature.

\subsection{Mixing Angle in Neutrinosphere Matter}

 With the mixing angle for electron, sterile neutrinos ($\nu_e, \nu_s$)
in neutrinosphere matter =$\theta_m$, the two neutrino flavors have the form
\begin{eqnarray}
\label{1}
      |\nu_1> &=& cos\theta_m |\nu_e> -sin\theta_m |\nu_s> \\
      |\nu_2> &=& sin\theta_m |\nu_e> +cos\theta_m |\nu_s> \; .
 \nonumber
\end{eqnarray}

As was shown in\cite{khj09,fkmp03}, with $\theta$ the mixing angle in vacuum,
$sin^2(2\theta_m) \simeq sin^2(2\theta)$, therefore from Ref\cite{abaz12}
\begin{eqnarray}
\label{2}
         sin^2(2\theta_m) &\simeq& 0.15 \pm .05 \; .
\end{eqnarray}

Note that we used\cite{ms07} $0.004 \le sin^2(2\theta_m) \le0.2$ in
Ref\cite{khj09}

\subsection{Neutrino Emissivity and Pulsar Momentum With a Strong
Magetic Field}

   Using the general formulation for neutrino emissivity, see, e.g.,
Refs~\cite{fm,bw}, the main source of the asymetric emissivity that produces
the pulsar velocity is that the electron has a large probability to
be in the lowest (n=0) Landau level, defined as $P(0)$. A detailed derivation
of the asymetric emissivity, $\epsilon^{AS}$, is given in Ref\cite{khj09},
with the result
\begin{eqnarray}
\label{4}
  \epsilon^{AS} &\simeq& 0.33 \times 10^{21} T_9^7 P(0){\rm erg\; cm^{-3}\;
s^{-1}} \; ,
\end{eqnarray}
where $T_9 = T/(10^9 K)$, with T the temperature. In Refs\cite{hjk07,khj09}
$P(0)$ was derived, with the result that $P(0) \simeq 0.4$, in agreement with
Ref.\cite{fkmp03}. From this and Eq.(\ref{4}) one finds for the proto neutron
star momentum
\begin{eqnarray}
\label{5}
   p_{ns} & \simeq & \frac{V_{eff}}{c} 3.3 \times 10^{21} T_9^7
 {\rm erg\; cm^{-3}} \; ,
\end{eqnarray}
where $V_{eff}$ is the effective volume for the emissivity.

\subsection{Estimate of $V_{eff}$= Effective Volume for Emission}

  $V_{eff}$, the volume at the surface of the neutrinosphere from which
neutrinos are emitted, is given by the mean free path of the sterile neutrino,
$\lambda_s$, and the radius of the neutrinosphere\cite{khj09}:
\begin{eqnarray}
\label{6}
  V_{eff} &=& (4\pi/3)( R_\nu^3-(R_\nu-\lambda_s)^3) \nonumber \\
          &\simeq& 4\pi R_\nu^2 \lambda/sin^2(2\theta) \; ,
\end{eqnarray}
with $\lambda_s = \lambda/sin^2(2\theta)$, where $\lambda$ is the active
neutrino mean free path.

\subsection{Neutron Star Speed = $v_{ns}$(T)}

  Using $p_{ns}=M_{ns} v_{ns}$ and Eqs(\ref{5},\ref{6}), with the mass of the
neutron star taken as $M_{ns}=M_{sun}=2 \times 10^{33}$ gm, one
finds with $sin^2(2\theta)$=.15
\begin{eqnarray}
\label{7}
      v_{ns} &\simeq& 22.3 \times 10^{-7} (\frac{T}{10^{10} K})^7 \frac{km}{s}
\; .
\end{eqnarray}

During the early stages after the collapse of a massive star temperatures
T=20 MeV are expected\cite{fkmp03}. With T = 10 to 20 MeV the
pulsar velosities, with a 50\% range due to the uncertainty in $sin^2(2\theta)$,
 are shown in Fig. 1. These result can be compared to the
pulsar velocity data as a function of luminoscity, as shown in Fig. 2.

\vspace{-2.5cm}
\begin{figure}[ht]
\epsfig{file=vns-sterile12.eps,height=6cm,width=6.cm}
\caption{The pulsar velocity as a function of T for $sin^2(2\theta)=.15 \pm
.05$}
{\label{Fig.1}}
\end{figure}
\vspace{1.5cm}

\begin{figure}[ht]
\epsfig{file=pulskickdata.eps,height=6cm,width=6 cm}
\caption{Pulsar velocity vs luminoscity, Ref\cite{hp97}}
{\label{Fig.2}}
\end{figure}

\newpage

\section{Conclusions}

As can be seen in Fig. 1., pulsar velocities of over 1000 km/s are predicted
from sterile neutrino emission with the mixing angle recently
measured\cite{abaz12}.  Therefore, sterile neutrino emission can account for
the large pulsar velocities for high luminoscities (large T as in Fig. 1)
that have been measured, as shown in Fig. 2.
This is a possible explanation of a puzzle that many have tried to explain
for decades.
\vspace{5mm}

\Large{{\bf Acknowledgements}}\\
\normalsize
This work was supported in part by the DOE contracts W-7405-ENG-36 and
DE-FG02-97ER41014, and in part by a grant from the Pittsburgh Foundation.
We thank Dr. William Louis for information about recent neutrino oscillation
experiments and the measurement of sterile neutrino mixing angles.
\vspace{5mm}


\section{Introduction}
\if0
By a {\it surface}, we mean an oriented two-dimensional smooth manifold possibly with boundary.
The first homology group of a surface and its intersection form reflect the topological structure of the surface.
For example, they have information about the genus and the boundary components of the surface.

To study them in detail, we consider a Lie algebra coming from them.
We call it the homological Goldman Lie algebra of the first homology group of the surface.
Goldman introduced the Lie algebra for study of the moduli space of $GL_1(\mbR )$-flat bundles over the surface \cite[p.295-p.297]{G}.
We define the Lie algebra in a more general setting.
Let $H$ be a $\mbZ$-module, i.e., an abelian group, which is not necessary finitely generated,
and $\langle-,-\rangle :H\times H \rightarrow \mbZ$, $(x,y)\mapsto \langle x,y \rangle$, an alternating $\mbZ$-bilinear form.
For example, we consider $H$ is the first homology group, and $\langle -,-\rangle$ is the intersection form of a surface.
We define a $\mbZ$-linear map
$\mu :H\rightarrow {\rm Hom} _{\mbZ}(H,\mbZ )$
by
$\mu (x)(y)=\langle x,y\rangle$.
Denote by $\mbQ [H]$ the $\mbQ$-vector space with basis the set $H$;
\[
\mbQ [H] :=\left\{ \sum _{i=1}^n c_i[x_i] \mid n \in \mbN ,c_i \in \mbQ ,x_i \in H \right\} ,
\]
where $[-]:H\rightarrow \mbQ H$ is the embedding as basis.
We remark $c[x]\neq [cx] \in \mbQ H$ if $c\neq 1$.
We define a $\mbQ$-bilinear map $[-,-]:\mbQ [H]\times \mbQ [H]\rightarrow \mbQ [H]$ by
$[[x],[y]]:=\langle x,y\rangle [x+y]$ for $x,y\in H$.
It is easy to see that this bilinear map is skew and satisfies the Jacobi identity \cite[p.295-p.297]{G}.
The Lie algebra $(\mbQ [H],[-,-])$ is called the {\it homological Goldman Lie algebra of $(H,\langle -,-\rangle )$}.
The Lie algebra $\mbQ [H]$ equips a product $\mbQ [H]\times \mbQ [H]\rightarrow \mbQ [H]$, $([x],[y])\mapsto [x][y]=[x+y]$ as a group ring.
Then $\mbQ [H]$ is a Poisson algebra.

The Lie algebra $\mbQ [H]$ is introduced by Goldman \cite[p.295-p.297]{G} to study the moduli space of $GL_1(\mbR )$-flat bundles over the surface \cite[p.295-p.297]{G}.
Goldman introduced a more geometric Lie algebra as follows.
Let $\Sigma$ be an oriented surface.
Denote by $[S^1,\Sigma ]$ the set of free homotopy classes of free loops on $\Sigma$.
For two free loops $\alpha ,\beta$ on $\Sigma$ in general position, we define $[\alpha ,\beta ]:=\sum _{p \in \alpha \cap \beta}\varepsilon (p;\alpha ,\beta ) [ \alpha \cdot _p \beta ]$, where $\varepsilon (p;\alpha ,\beta )$ is the local intersection number of $\alpha$ and $\beta$ at $p$, and $\alpha \cdot _p\beta$ is the free homotopy class of the product in the fundamental group with base point $p$.
The bracket induces a well-defined operator in $\mbQ [[S^1,\Sigma ]]$, the free module with basis the set of homotopy classes of free loops, and the operator is skew and satisfies the Jacobi identity \cite{G}.
The Lie algebra $(\mbQ [[S^1,\Sigma ]],[-,-])$ is called the {\it Goldman Lie algebra of $\Sigma$}.
Goldman used the Lie algebra $\mbQ [[S^1,\Sigma ]]$ for study of the space of representations on the fundamental group $\pi _1(\Sigma )$ of the surface $\Sigma$.
The natural projection $[S^1;\Sigma ]\to H_1(\Sigma ;\mbZ )$ induces the surjective Lie algebra homomorphism $\mbQ [[S^1,\Sigma ]]\to \mbQ [H_1(\Sigma ;\mbZ )]$.
Hence we can have some information of the Goldman Lie algebra through the homomorphism $\mbQ [[S^1,\Sigma ]]\to \mbQ [H_1(\Sigma ;\mbZ )]$ from information of the homological Goldman Lie algebra $\mbQ [H_1(\Sigma ;\mbZ )]$.

We determine the second homology group \cite{H-S} of the homological Goldman Lie algebra.
Our main theorem in this paper is the following.
\begin{Thm}\label{2nd homology thm}
    If $\langle -,-\rangle \neq 0$, we have
    \[
        H_2(\mbQ [H^{(1)}])\cong \bigoplus _{z\in {\rm ker}\mu}\mbQ \otimes (H/\mbZ z), \quad
        H_2(\mbQ [H])=(\wedge ^2\mbQ [{\rm ker}\mu ])\oplus H_2(\mbQ [H^{(1)}]).
    \]
\end{Thm}
By universal coefficient theorem, we also have the second cohomology group.
\fi

    By a {\it surface}, we mean an oriented two-dimensional smooth manifold possibly with boundary.
    The first homology group of a surface and its intersection form reflect the topological structure of the surface.
    For example, they have information about the genus and the boundary components of the surface.
    To study them in detail, we consider a Lie algebra coming from them.
    Goldman introduced the Lie algebra for study of the moduli space of  $GL_1(\mbR )$-flat bundles over the surface.
    We define the Lie algebra in more general setting.

    Let $H$ be a $\mbZ$-module, which is not necessary finitely generated, and $\langle -,-\rangle :H\times H\to \mbZ$, $(x,y)\mapsto \langle x,y\rangle$, an alternating $\mbZ$-bilinear form.
    For example, we consider that $H$ is the first homology group of a surface and $\langle -,-\rangle$ is its intersection form.
    We define $\mbZ$-linear map $\mu :H\to {\rm Hom}_{\mbZ}(H,\mbZ )$ by $\mu (x)(y)=\langle x,y\rangle$ for $x,y\in H$.
    Denote by $\mbQ [H]$ the $\mbQ$-vector space with basis the set $H$;
    \[
        \mbQ [H]=\left\{ \sum _{i=1}^m c_i[x_i] | n\in \mbN ,c_i \in \mbQ ,x_i \in H \right\} ,
    \]
    where $[-]:H\to \mbQ [H]$ is the embedding as basis.
    We remark $c[x]\neq [c x]\in \mbQ [H]$ for $c\neq 1$.
    We define $\mbQ$-linear map $[-,-]:\mbQ [H]\times \mbQ [H]\to \mbQ [H]$ by $[[x],[y]]=\langle x,y\rangle [x+y]$ for $x,y\in H$.
    It is easy to see that this bilinear map is skew and satisfies the Jacobi identity \cite[p.295-p.297]{G}.
    The Lie algebra $(\mbQ [H],[-,-])$ is called the {\it homological Goldman Lie algebra of $(H,\langle -,-\rangle )$}.

    Our purpose is to study the algebraic structure of the homological Goldman Lie algebra.
    In the previous paper \cite{T}, we determined all the ideals of the homological Goldman Lie algebra.
    In particular, the derived Lie subalgebra $\mbQ [H]^{(1)}=[\mbQ [H],\mbQ [H]]$ of $\mbQ [H]$ is the $\mbQ$-vector subspace $\mbQ [H\setminus \ker \mu ]$ with the basis the set $H\setminus \ker \mu$, the center $\mathfrak{z}(\mbQ [H])$ of $\mbQ [H]$ is the $\mbQ$-vector subspace $\mbQ [\ker \mu ]$ with the basis the set $\ker \mu$, and the abelianization $\mbQ [H]^{\rm ab}=\mbQ [H]/\mbQ [H] ^{(1)}$ of $\mbQ [H]$ equals the center.
    In other words, the first homology group $H_1(\mbQ [H])$ of $\mbQ [H]$ equals the center.
    In the present paper, we determine the second homology group \cite{H-S} of the homological Goldman Lie algebra.
    That is, our main theorem in this paper is the following.
    \begin{Thm} \label{2nd homology thm}
        If $\langle -,-\rangle \neq 0$, we have isomorphisms
        \[
            H_2(\mbQ [H]^{(1)})\to \bigoplus _{z\in \ker \mu}\mbQ \otimes (H/\mbZ z) \mbox{ and }
        \]
        \[
            H_2(\mbQ [H])\to (\wedge ^2\mbQ [\ker \mu ]) \oplus H_2(\mbQ [H]^{(1)}) .
        \]
    \end{Thm}
    Goldman introduced a more geometric Lie algebra as follows.
    Let $\Sigma$ be a surface.
    Denote by $[S^1,\Sigma ]$ the set of free homotopy classes of free loops on $\Sigma$.
    For two free loops $\alpha$ and $\beta$ on $\Sigma$ in general position, we define $[\alpha ,\beta ]=\sum _{p\in \alpha \cap \beta}\varepsilon (p;\alpha ,\beta )[\alpha \cdot _p \beta ]$, where $\varepsilon (p;\alpha ,\beta )$ is the local intersection number of $\alpha$ and $\beta$ at $p$, and $\alpha \cdot _p \beta$ is the free homotopy class of the product in the fundamental group $\pi _1(\Sigma ,p)$ with base point $p$.
    The bracket induces a well-defined binary operation in $\mbQ [[S^1,\Sigma ]]$, the $\mbQ$-vector space with basis the set of homotopy classes of free loops, and the operation is skew and satisfies the Jacobi identity \cite{G}.
    The Lie algebra $(\mbQ [[S^1,\Sigma ]],[-,-])$ is called the {\it Goldman Lie algebra of $\Sigma$}.
    Goldman used the Lie algebra $\mbQ [[S^1,\Sigma ]]$ for study of the space of representations on the fundamental group $\pi _1(\Sigma )$ of the surface $\Sigma$.
    The natural projection $[S^1,\Sigma ]\to H_1(\Sigma ;\mbZ )$ induces the surjective Lie algebra homomorphism $\mbQ [[S^1,\Sigma ]]\to \mbQ [H_1(\Sigma ;\mbZ )]$.
    Hence we can have some information of the Goldman Lie algebra through the homomorphism $\mbQ [[S^1,\Sigma ]]\to \mbQ [H_1(\Sigma ;\mbZ )]$.
    In fact, as will be shown in Theorem \ref{Goldman 2nd hom}, we have that if $\Sigma$ is connected, then the composition $H_2(\mbQ [[S^1,\Sigma ]])\to H_2(\mbQ [H_1(\Sigma ;\mbZ )]) \to H_2(\mbQ [H_1(\Sigma ;\mbZ )]^{(1)})$ is surjective, where the map $H_2(\mbQ [H_1(\Sigma ;\mbZ )]) \to H_2(\mbQ [H_1(\Sigma ;\mbZ )]^{(1)})$ is the induced map by the projection $\varpi ^{(1)}:\mbQ [H_1(\Sigma ;\mbZ )]=\mbQ [\ker \mu ]\oplus \mbQ [H_1(\Sigma ;\mbZ )\setminus \ker \mu] \to \mbQ [H_1(\Sigma ;\mbZ )\setminus \ker \mu ]$.

    Define the $\mbQ$-linear map $K:\mbQ [H]\to \mbQ \bigotimes _{\mbZ}H$ by $K([x])=1\otimes x$ for $x\in H$.
    The $\mbQ$-vector subspace $\mathfrak{g}_K:=\ker K$ is a Lie subalgebra of $\mbQ [H]$.
    In Theorem \ref{G_K 2nd hom}, we prove that if $\langle -,-\rangle \neq 0$, then the composition $H_2(\mathfrak{g}_K)\to H_2(\mbQ [H])\to H_2(\mbQ [H]^{(1)})$ is surjective.
    The Lie subalgebra $\mathfrak{g}_K$ is related to the Kontsevich's "commutative" \cite{Kon} as follows.
    Assume that $H$ has a symplectic basis $\{ x_i,y_i\} _{i=1}^g$.
    Then $\mbQ \otimes H$ has a symplectic basis $\{ 1\otimes x_i,1\otimes y_i\} _{i=1}^g$.
    The symmetric algebra $\prod _{m=0}^{\infty} {\rm Sym}^m(\mbQ \otimes H)$ equips a Poisson bracket defined by
    \[
        [f,h] = \sum _{i=1}^g\left( \frac{\partial f}{\partial (1\otimes x_i)}\frac{\partial h}{\partial (1\otimes y_i)}-\frac{\partial h}{\partial (1\otimes x_i)}\frac{\partial f}{\partial (1\otimes y_i)}\right) .
    \]
    where $f,h\in \prod _{m=0}^{\infty} {\rm Sym} ^m(\mbQ \otimes H)$ is regarded as formal power series in variables $\{ 1\otimes x_i,1\otimes y_i\} _{i=1}^g$.
    The constant terms $\mbQ \subset \prod _{m=0}^{\infty} {\rm Sym} ^m(\mbQ \otimes H)$ is included in the center of $\prod _{m=0}^{\infty} {\rm Sym} ^m(\mbQ \otimes H)$.
    Hence $\prod _{m=0}^{\infty} {\rm Sym} ^m(\mbQ \otimes H)/\mbQ$ has a natural Lie bracket.
    The composite of the inclusion and the quotient projection $\prod _{m=1}^{\infty} {\rm Sym} ^m(\mbQ \otimes H)\to \prod _{m=0}^{\infty} {\rm Sym} ^m(\mbQ \otimes H)/\mbQ$ is a $\mbQ$-linear isomorphism.
    Then $\prod _{m=1}^{\infty} {\rm Sym} ^m(\mbQ \otimes H)$ also has a Lie bracket.
    The $\mbQ$-linear map $\mbQ [H] \to \prod _{m=0}^{\infty} {\rm Sym} ^m(\mbQ \otimes H)$, $[x]\mapsto {\rm exp}(1\otimes x)$, is a Lie algebra homomorphism.
    By composition, we have a Lie algebra homomorphism $\mbQ [H]\to \prod _{m=1}^{\infty} {\rm Sym} ^m(\mbQ \otimes H)$.
    We denote $\mathfrak{c}_g:=\prod _{m=2}^{\infty} {\rm Sym}^m (\mbQ \otimes H)$, which is a Lie subalgebra of $\prod _{m=1}^{\infty} {\rm Sym}^m (\mbQ \otimes H)$ and the degree completion of Kontsevich's "commutative".
    The Lie subalgebra $\mathfrak{g}_K$ is exactly the inverse image of $\mathfrak{c}_g$ by the Lie algebra homomorphism stated above.
    The Lie algebra $\mathfrak{c}_g$ equals the Lie algebra of formal Hamiltonian vector fields $\mathfrak{ham}_{2 g}$, which has been studied in the context of symplectic foliation \cite{GKF} \cite{M} \cite{K-M}.
    It would be interesting if we could describe the relation between the second cohomology group of $\mathfrak{ham}_{2 g}$ and that of our $\mathfrak{g}_K$.

    In Theorem \ref{3rd coh}, we construct an explicit nontrivial cohomology class in $H^3(\mbQ [H])$ if $\langle -,-\rangle \neq 0$.
    In particular, we have $H^3(\mbQ [H])\neq 0$.

\section{Preparation}
\subsection{Derived algebra of some subalgebra}
Let $S$ be a subset of $H$.
Then we define $S^{(1)}:=\{ u+v\in H \mid u,v\in S ,\langle u,v\rangle \neq 0\}$.
For example, we have
\[
H^{(1)}=H\setminus {\rm ker}\mu .
\]
In fact, assume $x\in H^{(1)}$.
Then there exist $u$ and $v\in H$ with $\langle u,v\rangle \neq 0$ and $x=u+v$.
Since $\langle x,v\rangle =\langle u,v\rangle \neq 0$, we have $x\in H\setminus {\rm ker}\mu$ .
Conversely, assume $x\in H\setminus {\rm ker}\mu$.
Then there exists $y\in H$ with $\langle x,y\rangle \neq 0$.
Since $\langle x-y,y\rangle =\langle x,y\rangle \neq 0$ and $x=(x-y)+y$, we have $x\in H^{(1)}$.
\begin{Prop}
$\mbQ [S]$ is a subalgebra of $\mbQ [H]$ if and only if $S^{(1)}\subset S$.
Then, $(\mbQ [S])^{(1)}=[\mbQ [S],\mbQ [S]]=\mbQ [S^{(1)}]$.
\end{Prop}
\begin{proof}
Assume $\mbQ [S]$ is a subalgebra of $\mbQ [H]$.
For $x\in S^{(1)}$, there exist $u$ and $v\in S$ with $x=u+v$ and $\langle u,v\rangle \neq 0$.
We have $[x]=\frac{1}{\langle u,v\rangle}[[u],[v]]\in [\mbQ [S],\mbQ [S]]\subset \mbQ [S]$.
Hence, we have $x\in S$.
This proves $S^{(1)}\subset S$ and $\mbQ [S^{(1)}]\subset [\mbQ [S],\mbQ [S]]$.

Assume $S^{(1)}\subset S$.
It is trivial $\mbQ [S]$ is a subspace of $\mbQ [H]$ as $\mbQ$-vector space.
For $u$ and $v\in S$, we have
\[
[[u],[v]]
=
\left\{
\begin{matrix}
0, & \mbox{if\ } \langle u,v\rangle =0, \\
\langle u,v\rangle [u+v], & \mbox{if\ } \langle u,v\rangle \neq 0 .
\end{matrix}
\right.
\]
In both cases we have $[[u],[v]]\in \mbQ [S^{(1)}]\subset \mbQ [S]$.
Hence $\mbQ [S]$ is a subalgebra of $\mbQ [H]$.
And this shows $[\mbQ [S],\mbQ [S]]\subset \mbQ [S^{(1)}]$.
This completes the proof of the proposition.
\end{proof}
The center $\mathfrak{z}(\mbQ [H])$ of $\mbQ [H]$ is $\mbQ [{\rm ker}\mu ]$.
In fact, assume $u\in {\rm ker}\mu$.
Then we have $[u] \in \mathfrak{z}(\mbQ [H])$, since $[[u],[v]]=\langle u,v\rangle [u+v]=0$ for $v\in H$.
Conversely, assume $u \in H\setminus {\rm ker}\mu =H^{(1)}$.
Then there exists $v\in H$ with $\langle u,v\rangle \neq 0$.
Then we have $[u] \in \mbQ [H]\setminus \mathfrak{z}(\mbQ [H])$ since $[[u],[v]]=\langle u,v\rangle [u+v]\neq 0$.

The inclusion $\iota ^{(1)}:\mbQ [H^{(1)}]\rightarrow \mbQ [H]$ induces the inclusion homomorphism $C_p(\iota ^{(1)}):C_p(\mbQ [H^{(1)}])\rightarrow C_p(\mbQ [H])$ and the restriction $C^p(\iota ^{(1)}):C^p(\mbQ [H])\rightarrow C^p(\mbQ [H^{(1)}])$.
On the other hand,
we can decompose $\mbQ [H]$ into the center and the derived subalgebra, $\mbQ [H]=\mbQ [{\rm ker}\mu ]\oplus \mbQ [H^{(1)}]$.
The projection $\varpi ^{(1)}:\mbQ [H]\rightarrow \mbQ [H^{(1)}]$ of the decomposition induces the projection $C_p(\varpi ^{(1)}):C_p(\mbQ [H])\rightarrow C_p(\mbQ [H^{(1)}])$ and the zero extension $C^p(\varpi ^{(1)}) :C^p(\mbQ [H^{(1)}])\rightarrow C^p(\mbQ [H])$.
The chain maps $C_*(\iota ^{(1)})$ and $C_*(\varpi ^{(1)})$ satisfy $C_*(\varpi ^{(1)})\circ C_*(\iota ^{(1)})=id$ since $\varpi ^{(1)}\circ \iota ^{(1)}=id$.
By the same reason, the cochain maps $C^*(\iota ^{(1)})$ and $C^*(\varpi ^{(1)})$ satisfy $C^*(\iota ^{(1)})\circ C^*(\varpi ^{(1)})=id$.
\subsection{Decomposition of (co)homology}
Let $S$ be a subset of $H$ with $S^{(1)}\subset S$.
For $p>0$ and $z\in H$, denote by $C_p(\mbQ [S])_{(z)}$ a subspace of $C_p(\mbQ [S])$ generated by the set $\{ [u_1]\wedge \cdots \wedge [u_p]\mid u_1,\ldots ,u_p\in S,u_1+\cdots +u_p=z\}$.
we define a subspace $C^p(\mbQ S)_{(z)}$ of $C^p(\mbQ S)$ by
\[
C^p(\mbQ [S])_{(z)}:=\left\{ \omega \in C^p(\mbQ S) \mid
\begin{matrix}
u_1,\cdots ,u_p\in S, u_1+\cdots +u_p \neq z \\
\Longrightarrow \omega ([u_1],\cdots ,[u_p])=0
\end{matrix}
\right\} .
\]
The subspace $C_*(\mbQ [S])_{(z)}$ is a subcomplex of the chain complex $C_*(\mbQ [S])$ and
the subspace $C^*(\mbQ [S])_{(z)}$ is a subcomplex of the cochain complex $C^*(\mbQ S )$, that is,
we have $\partial (C_p(\mbQ [S])_{(z)})\subset C_{p-1}(\mbQ [S])_{(z)}$ and $d(C^p(\mbQ S)_{(z)})\subset C^{p+1}(\mbQ S)_{(z)}$ for all $p>0$ because $u_1+\cdots +u_p$ define the degree of $\wedge \mbQ [S]$.
We denote
$Z_p(\mbQ [S])_{(z)}:=Z_p(C_*(\mbQ [S])_{(z)})$,
$B_p(\mbQ [S])_{(z)}:=B_p(C_*(\mbQ [S])_{(z)})$,
$H_p(\mbQ [S])_{(z)}:=H_p(C_*(\mbQ [S])_{(z)})$,
$Z^p(\mbQ [S])_{(z)}:=Z^p(C^*(\mbQ [S])_{(z)})$,
$B^p(\mbQ [S])_{(z)}:=B^p(C^*(\mbQ [S])_{(z)})$ and
$H^p(\mbQ [S])_{(z)}:=H^p(C^*(\mbQ [S])_{(z)})$.
Then we have
$Z_p(\mbQ [S])\cong \prod _{z\in H}Z_p(\mbQ [S])_{(z)}$,
$B_p(\mbQ [S])\cong \prod _{z\in H}B_p(\mbQ [S])_{(z)}$,
$H_p(\mbQ [S])\cong \prod _{z\in H}H_p(\mbQ [S])_{(z)}$,
$Z^p(\mbQ [S])\cong \prod _{z\in H}Z^p(\mbQ [S])_{(z)}$,
$B^p(\mbQ [S])\cong \prod _{z\in H}B^p(\mbQ [S])_{(z)}$ and
$H^p(\mbQ [S])\cong \prod _{z\in H}H^p(\mbQ [S])_{(z)}$.

We call $H_p(\mbQ [S])_{(z)}$ or $H_p(\mbQ [S])_{(z)}$ an {\it inner component} if $z\in {\rm ker}\mu$, and an {\it outer component} if $z\in H^{(1)}$.

    \section{Inner component}\label{sec:inner}
        Fix an element $z\in {\rm ker}\mu$ in this section.
        Denote by $\hat{I}$ the $\mbQ$-algebra ideal in $\wedge \mbQ [H]$ generated by the set $\{ [u+v]\wedge [x]-[u]\wedge [x+v]-[v]\wedge [x+u]\mid u,v,x\in H\}$.
        The generator system of $\hat{I}$  consists of homogeneous elements about degree $p\in \{ 0,1,2,\ldots \}$.
        Then we have $\hat{I}=\bigoplus _{p=0}^{\infty}\hat{I}\cap C_p(\mbQ [H])$.
        The generator system of $\hat{I}$ consists of homogeneous elements about degree $x\in H$.
        Then we have $\hat{I}\cap C_p(\mbQ [H])=\bigoplus _{x\in H}\hat{I}\cap C_p(\mbQ [H])_{(x)}$.
        Set $\hat{I}_{p,(x)}=\hat{I}\cap C_p(\mbQ [H])_{(x)}$ and $\hat{C}_p(\mbQ [H])_{(x)}=C_p(\mbQ [H])/\hat{I}_{p,(x)}$.

        Dually, we define the subspace $\hat{C}^p(\mbQ [H])_{(z)}$ of $C^p(\mbQ [H])_{(z)}$ by the following condition;
        $\omega \in \hat{C}^p(\mbQ [H])_{(z)}$ if and only if the map $H^p=H\times \cdots \times H\ni (u_1,\ldots ,u_{p-1})\mapsto \omega ([u_1], \ldots ,[u_{p-1}],[z-u_1-\cdots -u_{p-1}]) \in \mbQ$ is a $\mbZ$-$(p-1)$-linear map.
        \begin{Prop}\label{comp zero}
            The composition $(\mbox{the quotient projection})\circ \partial _p :C_p(\mbQ [H])_{(z)}\to C_{p-1}(\mbQ [H])_{(z)}\to \hat{C}_{p-1}(\mbQ [H])_{(z)}$ is a zero map.
        \end{Prop}
        \begin{proof}
            For $u_1,\ldots ,u_p\in H$ with $u_1+\cdots +u_p=z$, we have
            \begin{eqnarray*}
                &&\partial _p([u_1]\wedge \cdots \wedge [u_p]) \\
                &=& \sum _{1\leq i<j\leq p-1}(-1)^{i+j}\langle u_i,u_j\rangle [u_i+u_j]\wedge [u_1]\wedge \cdots \wedge \hat{[u_i]}\wedge \cdots \wedge \hat{[u_j]}\wedge \cdots \wedge [u_p] \\
                &&+\sum _{k=1}^{p-1}(-1)^{i+p}\langle u_k,u_p\rangle [u_k+u_p]\wedge [u_1]\wedge \cdots \wedge \hat{[u_k]}\wedge \cdots \wedge [u_{p-1}] \\
                &\equiv & \sum _{1\leq i<j\leq p-1}(-1)^{i+j}\langle u_i,u_j\rangle \\
                &&\qquad \big( [u_i]\wedge [u_1]\wedge \cdots \wedge \hat{[u_i]}\wedge \cdots \wedge \hat{[u_j]}\wedge \cdots \wedge [u_{p-1}]\wedge [u_p+u_j] \\
                &&\qquad +[u_j]\wedge [u_1]\wedge \cdots \wedge \hat{[u_i]}\wedge \cdots \wedge \hat{[u_j]}\wedge \cdots \wedge [u_{p-1}]\wedge [u_p+u_i] \big) \\
                &&+\sum _{k=1}^{p-1}(-1)^{i+p}\langle u_k,z-\sum _{\ell =1}^{p-1}u_{\ell}\rangle [u_k+u_p]\wedge [u_1]\wedge \cdots \wedge \hat{[u_k]}\wedge \cdots \wedge [u_{p-1}] \\
                &=& \sum _{1\leq i<j\leq p-1}(-1)^{j-1}\langle u_i,u_j\rangle [u_1]\wedge \cdots \wedge \hat{[u_j]}\wedge \cdots \wedge [u_{p-1}]\wedge [u_p+u_j] \\
                &&+\sum _{1\leq i<j\leq p-1}(-1)^{i}\langle u_i,u_j\rangle [u_1]\wedge \cdots \wedge \hat{[u_i]}\wedge \cdots \wedge [u_{p-1}]\wedge [u_p+u_i] \\
                &&+\sum _{1\leq k<\ell \leq p-1}(-1)^{k-1}\langle u_k,u_{\ell} \rangle [u_1]\wedge \cdots \wedge \hat{[u_k]}\wedge \cdots \wedge [u_{p-1}]\wedge [u_p+u_k] \\
                &&+\sum _{1\leq \ell <k \leq p-1}(-1)^{k}\langle u_{\ell},u_k \rangle [u_1]\wedge \cdots \wedge \hat{[u_k]}\wedge \cdots \wedge [u_{p-1}]\wedge [u_p+u_k] \\
                &=&0 \qquad \mbox{mod }\hat{I}_{p,(z)}.
            \end{eqnarray*}
            This completes the proof of the proposition.
        \end{proof}
        By Proposition \ref{comp zero}, we can define a $\mbQ$-linear map $H_p(\mbQ [H])_{(z)}\to \hat{C}_p(\mbQ [H])_{(z)}$ and $\hat{C}^p(\mbQ [H])_{(z)}\to H^p(\mbQ [H])_{(z)}$.
        \begin{Prop} \label{QotimesH/Zz}
            There is a natural $\mbQ$-linear isomorphism
            \[ \hat{C}_p(\mbQ [H])_{(z)}\longleftarrow \mbQ \otimes _{\mbZ} (\wedge ^{p-1}_{\mbZ}H/\mbZ z). \]
        \end{Prop}
        \begin{proof}
        Define a map $f: \{ (u_1,\cdots ,u_p)\mid u_i\in H, u_1+\cdots +u_p=z\} \to \mbQ \otimes (\wedge ^{p-1}H/\mbZ z)$ by $f(u_1,\cdots ,u_p)=1\otimes (u_1\wedge \cdots \wedge u_{p-1})$.
        We can consider $\mbQ$-$p$-linear extension $f([u_1],\cdots ,[u_p])=f(u_1,\cdots ,u_p)$.
        We denote by $S_p$ the symmetric group of degree $p$.
        For $\sigma \in S_p$ with $\sigma (p)=p$, we have $f(u_{\sigma (1)},\cdots ,u_{\sigma (p)})=({\rm sgn}\sigma )f(u_1,\cdots ,u_p)$ easily.
        For $u_1,\ldots ,u_p\in H$ with $u_1+\cdots u_p=z$, we have
        \begin{eqnarray*}
            f(u_p,u_2,\ldots ,u_{p-1},u_1)
            &=&1\otimes (u_p\wedge u_2\wedge \cdots \wedge u_{p-1}) \\
            &=& 1\otimes (z\wedge u_2\wedge \cdots \wedge u_{p-1}) -\sum _{i=1}^{p-1}1\otimes (u_i\wedge \cdots \wedge u_{p-1}) \\
            &=& -1\otimes (u_1\wedge \cdots \wedge u_{p-1}) \\
            &=& -f(u_1,\cdots ,u_p).
        \end{eqnarray*}
        Hence we have $f(u_{\sigma (1)},\ldots ,u_{\sigma (p)})=({\rm sgn}\sigma )f(u_1,\ldots ,u_p)$ for $\sigma \in S_p$.
        This induces the $\mbQ$-linear map $f:C_p(\mbQ [H])_{(z)}\to \mbQ \otimes (\wedge ^{p-1}H/\mbZ z)$ with $f([u_1]\wedge \cdots \wedge [u_p])=1\otimes (u_1\wedge \cdots \wedge u_{p-1})$.
        For $u_1,v_1,u_2,\ldots ,u_p\in H$ with $u_1+v_1+u_2+\cdots +u_p=z$, we have
        \begin{eqnarray*}
            &&f(u_1+v_1,u_2,\ldots ,u_p) \\
            &=& 1\otimes ((u_1+v_1)\wedge u_2\wedge \cdots \wedge u_{p-1}) \\
            &=& 1\otimes (u_1\wedge u_2\wedge \cdots \wedge u_{p-1})+1\otimes (v_1\wedge u_2\wedge \cdots \wedge u_{p-1}) \\
            &=& f(u_1,u_2,\ldots ,u_{p-1},u_p+v_1)+ f(v_1,u_2,\ldots ,u_{p-1},u_p+u_1).
        \end{eqnarray*}
        This mean $f(I_{p,(z)})=0$ and $f$ induce $f:\hat{C}_p(\mbQ [H])_{(z)}\to \mbQ \otimes (\wedge ^{p-1}H/\mbZ z)$ with $f([u_1]\wedge \cdots \wedge [u_p])=1\otimes (u_1\wedge \cdots \wedge u_{p-1})$.

        We construct the inverse map.
        Define the map $g:\mbQ \times H\times \cdots \times H\to \hat{C}_p(\mbQ [H])_{(z)}$ by $g(c,u_1,\cdots ,u_{p-1})=c[u_1]\wedge \cdots \wedge [u_{p-1}]\wedge [z-u_1-\cdots -u_{p-1}]$.
        It is trivial that $g$ satisfies $g(a+b,u_1,\ldots ,u_{p-1})=g(a,u_1,\ldots ,u_{p-1})+g(b,u_1,\ldots ,u_{p-1})$ and $g(c,u_{\sigma (1)},\ldots ,u_{\sigma (p-1)})=({\rm sgn}\sigma ) g(c,u_1,\ldots ,u_{p-1})$ for $\sigma \in S_{p-1}$.
        Moreover the map $g$ is also $\mbZ$-$p$-linear.
        In fact, we have
        \begin{eqnarray*}
            &&g(c,u_1+v_1,u_2,\ldots ,u_{p-1}) \\
            &=& c[u_1+v_1]\wedge \cdots \wedge [u_{p-1}]\wedge [z-u_1-v_1-u_2-\cdots -u_{p-1}] \\
            &\equiv & c[u_1]\wedge \cdots \wedge [u_{p-1}]\wedge [z-u_1-\cdots -u_{p-1}] \\
            &&\quad +c[v_1]\wedge \cdots \wedge [u_{p-1}]\wedge [z-v_1-u_2-\cdots -u_{p-1}] \\
            &=& g(c,u_1,\ldots ,u_{p-1})+g(c,v_1,u_2,\ldots ,u_{p-1}).
        \end{eqnarray*}
        Moreover we have
        \begin{eqnarray*}
            g(c,z,u_2,\ldots ,u_{p-1})
            &=& c[z]\wedge [u_2]\wedge \cdots \wedge [u_{p-1}]\wedge [z-z-u_2-\cdots -u_{p-1}] \\
            &=& -\sum _{i=2}^{p-1} c[z+u_i]\wedge [u_2]\wedge \cdots \wedge [u_{p-1}]\wedge [u_i] \\
            &=&0.
        \end{eqnarray*}
        Hence the map $g$ induces the $\mbQ$-linear $g:\mbQ \otimes (\wedge ^{p-1}H/\mbZ z)\to \hat{C}_p(\mbQ [H])_{(z)}$ with $g(c\otimes (u_1\wedge \cdots \wedge u_{p-1}))=c[u_1]\wedge \cdots \wedge [u_{p-1}]\wedge [z-u_1-\cdots -u_{p-1}]$.

        Clearly $g$ is the inverse of $f$.
        \end{proof}
        Dually, we have an natural isomorphism $C^p(\mbQ [H])_{(z)}\leftarrow {\rm Hom}_{\mbZ}(\wedge ^2H/\mbZ z,\mbQ )$.
        For the rest of this subsection, we confine ourselves to the only second homology group.
        We have $C_2(\mbQ [H^{(1)}])_{(z)}=Z_2(\mbQ [H^{(1)}])_{(z)}$ and $C_2(\mbQ [H])_{(z)}=Z_2(\mbQ [H])_{(z)}$.
        In fact, $\partial _2([u]\wedge [z-u])=-\langle u,z-u\rangle [z]=0$ for $u\in H^{(1)}$ or $u\in H$.
        Set the inclusion $\iota ^{(1)}:\mbQ [H^{(1)}]\to \mbQ [H]$.
        \begin{Prop}\label{inj}
            The kernel $C_2(\iota ^{(1)})^{-1}(I_{2,(z)})$ of the composition $Z_2(\mbQ [H^{(1)}])_{(z)} \to Z_2(\mbQ [H])_{(z)}\to \hat{C}_2(\mbQ [H])_{(z)}$ equals $B_2(\mbQ [H^{(1)}])_{(z)}$.
        \end{Prop}
        \begin{proof}
            For $u,v\in H^{(1)}$ with $u+v\in H^{(1)}$, we have
            \begin{eqnarray*}
                &&C_2(\iota ^{(1)}) \circ \partial _3([u]\wedge [v]\wedge [z-u-v]) \\
                &=& -\langle u,v\rangle \left( [u+v]\wedge [z-u-v]-[u]\wedge [z-u]-[v]\wedge [z-v]\right) \\
                &\equiv & 0 .
            \end{eqnarray*}
            Hence we obtain $C_2(\iota ^{(1)})^{-1}(I_{2,(z)}) \supset B_2(\mbQ [H^{(1)}])_{(z)}$.
            By similar calculation, we have $I_{2,(z)}\supset B_2(\mbQ [H])_{(z)}$.

            $C_2(\iota ^{(1)})^{-1}(I_{2,(z)})$ is generated by the set $\{ [u+v]\wedge [z-u-v]-[u]\wedge [z-u]-[v]\wedge [z-v] \mid u,v,u+v\in H^{(1)}\}$.
            If $\langle u,v\rangle \neq 0$, then we have $B_2(\mbQ [H^{(1)}])_{(z)}\ni \partial _3(\frac{-1}{\langle u,v\rangle}[u]\wedge [v]\wedge [z-u-v])=[u+v]\wedge [z-u-v]-[u]\wedge [z-u]-[v]\wedge [z-v]$.
            If $u,v,u+v\in H^{(1)}$ and $\langle u,v\rangle =0$, we can take $x\in H^{(1)}$ with $\langle u,x\rangle \neq 0$, $\langle v,x\rangle \neq 0$ and $\langle u+v,x\rangle \neq 0$.
            Then we obtain $[u+v]\wedge [z-u-v]-[u]\wedge [z-u]-[v]\wedge [z-v] \in B_2(\mbQ [H^{(1)}])_{(z)}$ since $-[u+v+x]\wedge [z-u-v-x]+[u+v]\wedge [z-u-v]+[x]\wedge [z-x] \in B_2(\mbQ [H^{(1)}])_{(z)}$, $[u+v+x]\wedge [z-u-v-x]-[u]\wedge [z-u]+[x+v]\wedge [z-x-v] \in B_2(\mbQ [H^{(1)}])_{(z)}$ and $[v+x]\wedge [z-v-x]-[v]\wedge [z-v]+[x]\wedge [z-x] \in B_2(\mbQ [H^{(1)}])_{(z)}$.
            Hence we have $C_2(\iota ^{(1)})^{-1}(I_{2,(z)}) \subset B_2(\mbQ [H^{(1)}])_{(z)}$.
            This completes the proof of the proposition.
        \end{proof}
        By Proposition \ref{inj}, the composition $H_2(\mbQ [H^{(1)}])_{(z)}\to H_2(\mbQ [H])_{(z)} \to \hat{C}_2(\mbQ [H])_{(z)} \to \mbQ \otimes H/\mbZ z$ is injective.
        \begin{Prop} \label{surj}
            The composition $Z_2(\mbQ [H^{(1)}])_{(z)}\to Z_2(\mbQ [H])_{(z)}\to \hat{C}_1(\mbQ [H])_{(z)}\to \mbQ \otimes H/\mbZ z$ is surjective if $\langle -,-\rangle \neq 0$.
        \end{Prop}
        \begin{proof}
        We have $H^{(1)}\neq \emptyset$ since $\langle -,-\rangle \neq 0$.
        Take $x_0\in H^{(1)}$.
        The $\mbQ$-vector space $\mbQ \otimes H/\mbZ z$ is generated by the set $\{ 1\otimes u \mid u\in H\}$.
        The set $\{ 1\otimes u \mid u\in H^{(1)}\}$  also generates $\mbQ \otimes H/\mbZ z$ since we have $1\otimes u=1\otimes (u-x_0)+1\otimes x_0$.
        For $u\in H^{(1)}$, $[u]\wedge [z-u]\in Z^2(\mbQ [H^{(1)})_{(z)}$ corresponds to $1\otimes u$ by the composition.
        \end{proof}
        By Propositions \ref{QotimesH/Zz}, \ref{inj} and \ref{surj}, we obtain a natural isomorphism $H_2(\mbQ [H^{(1)}])_{(z)}\to \mbQ \otimes (H/\mbZ z)$ if $H^{(1)}\neq \emptyset$.
        We have an isomorphism $H_2(\mbQ [H])_{(z)}\cong H_2(\mbQ [{\rm ker}\mu ])_{(z)}\oplus H_2(\mbQ [H^{(1)}])_{(z)}$ by the decomposition $\mbQ [H]=\mbQ [{\rm ker}\mu ]\oplus \mbQ [H^{(1)}]$.
            \section{Outer component}
        Fix an element $z\in H^{(1)}$ in this section.
        The inclusion $\iota ^{(1)}:\mbQ [H^{(1)}]\to \mbQ [H]$ is a section of the projection $\varpi ^{(1)}:\mbQ [H]=\mbQ [{\rm ker}\mu ]\oplus \mbQ [H^{(1)}]\to \mbQ [H^{(1)}]$.
        Then the homomorphism $H_p(\varpi ^{(1)})_{(z)}: H_p(\mbQ [H])_{(z)}\to H_p(\mbQ [H^{(1)}])_{(z)}$ is surjective.
        So we have $H_p(\mbQ [H^{(1)}])_{(z)}=0$ if $H_p(\mbQ [H])_{(z)}=0$.
        \begin{Prop}\label{outer}
            We have $H_2(\mbQ [H])_{(z)}=0$.
        \end{Prop}
        \begin{proof}
            We can take $y\in H$ with $\langle y,z\rangle \neq 0$.
            Define $\Phi _p:C_p(\mbQ [H])_{(z)}\to C_{p+1}(\mbQ [H])_{(z)}$, $p=1,2$, by $\Phi _1([z])=\frac{-1}{\langle y,z\rangle}[y]\wedge [z-y]$ and
            \begin{eqnarray*}
                \Phi _2([u]\wedge [v])
                &=& \frac{-1}{\langle y,z\rangle}([y]\wedge [u-y]\wedge [v]+[y]\wedge [u]\wedge [v-y]) \\
                && +\frac{1}{2 \langle y,z\rangle}[2 y]\wedge [u-y]\wedge [v-y] \\
                && +\frac{\langle u-y,v-y\rangle}{2 \langle y,z\rangle ^2}[y]\wedge [2 y]\wedge [z-3 y] .
            \end{eqnarray*}
            We can check $\Phi _1\circ \partial _2+\partial _3\circ \Phi _2=id _{C_2(\mbQ [H])_{(z)}}$.
            This shows the proposition.
        \end{proof}
        Combine this proposition and the results of the section \ref{sec:inner}, we obtain the main theorem.
        If we consider the case when $\langle -,-\rangle$ is non-degenerate, we have the following corollary.
        \begin{Cor}
        If $\langle -,-\rangle$ is non-degenerate, we have an isomorphism
        \[
            H_2(\mbQ [H])\to H_2(\mbQ [H^{(1)}]) \to \mbQ \otimes H .
        \]
        \end{Cor}
        We remark that this corollary holds also for the case $H=0$, that is, $H^{(1)}=\emptyset$.
        By the universal coefficient theorem, we have another corollary.
        \begin{Cor}
            If $\langle -,-\rangle \neq 0$, we have
            \begin{eqnarray*}
                H^2(\mbQ [H^{(1)}])_{(z)}&\cong & {\rm Hom}_{\mbZ}(H/\mbZ z,\mbQ ) \mbox{ , if } z\in \ker \mu , \\
                H^2(\mbQ [H^{(1)}])_{(z)}&=&0 \mbox{ , if } z\in H^{(1)}, \\
                H^2(\mbQ [H])_{(z)}&=& H^2(\mbQ [\ker \mu ])_{(z)}\oplus H^2(\mbQ [H^{(1)}])_{(z)} ,
            \end{eqnarray*}
            \[
                H^2(\mbQ [H^{(1)}])\cong \prod _{z\in \ker \mu}{\rm Hom}_{\mbZ}(H/\mbZ z,\mbQ ) \mbox{ and }
            \]
            \[
                H^2(\mbQ [H])={\rm Hom}_{\mbQ}(\wedge ^2\mbQ [\ker \mu ],\mbQ )\oplus H^2(\mbQ [H^{(1)}]).
            \]
        \end{Cor}
\section{Applications}
Let $\mathfrak{g}_K$ be the kernel of the $\mbQ$-linear map $K:\mbQ [H]\to \mbQ \otimes H$, $[x]\mapsto 1\otimes x$.
Then $\mathfrak{g}_K$ is a Lie subalgebra of $\mbQ [H]$.
    \begin{Thm} \label{G_K 2nd hom}
        If $\langle -,-\rangle \neq 0$, then
        the composition $H_2(\mathfrak{g}_K ) \to H_2(\mbQ [H]) \to H_2(\mbQ [H^{(1)}])$ is surjective, where the map $H_2(\mathfrak{g}_K )\to H_2(\mbQ [H])$ is the inclusion homomorphism and the map $H_2(\mbQ [H])\to H_2(\mbQ [H^{(1)}])$ is the induced map by the projection $\varpi ^{(1)}:\mbQ [H]=\mbQ [\ker \mu ]\oplus \mbQ [H^{(1)}]\to \mbQ [H^{(1)}]$.
    \end{Thm}
    \begin{proof}
        By Theorem \ref{2nd homology thm}, $H_2(\mbQ [H^{(1)}])$ is generated by the set $\{ [u]\wedge [z-u]\mid z \in \ker \mu ,u\in H^{(1)}\}$ since $H^{(1)}\neq \emptyset$.

        We consider the chain $([2 u]-2 [u] )\wedge ([u -2 u] -2[z-u]+[z]) \in C_2(\mathfrak{g}_K)$ for $z\in \ker \mu$ and $u\in H^{(1)}$.
        This is a cycle since $\langle u,u\rangle =0$ and $\langle u,z\rangle =0$.
        Applying the inclusion homomorphism to the cycle, then we have $([2 u]-2 [u] )\wedge ([z -2 u] -2[z-u]+[z]) \in Z_2(\mbQ [H])$.
        Applying the map $H_2(\varpi ^{(1)})$ to the cycle, then we have $([2 u]-2 [u] )\wedge ([z -2 u] -2[z-u]) \in Z_2(\mbQ [H^{(1)}])$.
        The homology class of the cycle equals the homology class of $6[u]\wedge [z-u]$.
        In fact, we have
        \begin{eqnarray*}
            &&([2 u]-2 [u] )\wedge ([z -2 u] -2[z-u]) \\ &=& [2 u]\wedge [z-2 u] - 2 [2 u]\wedge [z-u] -2 [u]\wedge [z-2 u] +4 [u]\wedge [z-u] .
        \end{eqnarray*}
        By Theorem \ref{2nd homology thm}, we have $[u]\wedge [v]=0\in H_2(\mbQ [H^{(1)}])$ if $u+v\in H^{(1)}$ and $[2 u]\wedge [z-2 u]=2[u]\wedge [z-u]\in H_2(\mbQ [H^{(1)}])$.
        This completes the proof of the proposition.
    \end{proof}
    Let $\Sigma$ be a compact surface.
    Let $g$ be the genus of $\Sigma$ and $r$ the number of the cardinality of the set of the connected components of the boundary of $\Sigma$.
    We consider the surjection from the Goldman Lie algebra of $\Sigma$ onto the homological Goldman Lie algebra of the first homology group of $\Sigma$ with the intersection form.

    We recall the definition of the homomorphism.
    We identify $H_1(\Sigma ;\mbZ )=\pi _1(\Sigma ,*)^{\rm abel}=\pi _1(\Sigma ,*)/[\pi _1(\Sigma ,*),\pi _1(\Sigma ,*)]$.
    Hence we have the abelianization map $q_a:\pi _1(\Sigma ,*)\to H_1(\Sigma ,\mbZ )$.
    This is a group homomorphism.
    We can identify $[S^1,\Sigma ]=\pi _1(\Sigma ,\mbZ )/{\rm conj.}$ since $\Sigma$ is connected.
    Hence we have the quotient map $q_c:\pi _1(\Sigma ,\mbZ )\to [S^1,\Sigma ]$.
    This map is given by forgetting the base point.
    This induces the map between the second homology groups of the Lie algebras.
    Take a projection $q:[S^1,\Sigma ]\to H_1(\Sigma ;\mbZ )$ with $q\circ q_c=q_a$.
    This map is independent of the choice $*\in \Sigma$.
    Set $q=\mbQ [q]:\mbQ [[S^1,\Sigma ]]\to \mbQ [H_1(\Sigma ;\mbZ )]$ the $\mbQ$-linear extension of $q$.
    This is the desired Lie algebra homomorphism.
    \begin{Thm} \label{Goldman 2nd hom}
        The composition $H_2(\varpi ^{(1)})\circ H_2(q):H_2(\mbQ [[S^1,\Sigma ]])\to H_2(\mbQ [H_1(\Sigma ;\mbZ )]) \to H_2(\mbQ [H_1(\Sigma ;\mbZ )^{(1)}])$ is surjective if $\Sigma$ is connected.
    \end{Thm}
    \begin{proof}
        If $H^{(1)}=\emptyset$, then we have $\mbQ [H_1(\Sigma ;\mbZ )^{(1)}]=0$.
        Hence the proposition holds.
        Assume $H^{(1)}\neq \emptyset$.
        Then we have $g\geq 1$.
        Fix a base point $*\in \Sigma$.
        Take based oriented loops $\alpha _1,\beta _1,\ldots ,\alpha _g, \beta _g, \gamma _1,\cdots ,\gamma _r$ as follows.
        ($g=2$, $r=3$)

        \input{S_2,3_with_symplectic_basis.tex}

        The set $\{ \alpha _1,\beta _1,\ldots ,\alpha _g, \beta _g, \gamma _1,\cdots ,\gamma _r \}$ is a generator system of the fundamental group $\pi _1(\Sigma ,*)$ of $\Sigma$.
        They satisfy the relation
        \[
            \alpha _1\beta _1 \alpha _1^{-1}\beta _1^{-1}\cdots \alpha _g\beta _g \alpha _g^{-1}\beta _g^{-1}\gamma _1\cdots \gamma _r=1
        \]
        which is a defining relation of the group $\pi _1(\Sigma ,*)$.
        Set $q_a(\alpha _i)=A_i$, $q_a(\beta _i)=B_i$ and $q_a(\gamma _j)=C_j$.
        They satisfy $\langle A_i,A_j\rangle =\langle B_1,B_j\rangle =\langle C_i,x\rangle =0$ and $\langle A_i,B_i\rangle =\delta _{i,j}$.
        In particular, the kernel $\ker \mu$ is generated by $C_1,\ldots ,C_r\in H$ with the defining relation $C_1+\cdots +C_r=0$.
        Theorem \ref{2nd homology thm} says that the set $\{ [u]\wedge [z-u]\mid x \in \{ A_1,B_1,\ldots ,A_g,B_g,C_1,\ldots ,C_r\} ,z\in \ker \mu \}$ generates $H_2(\mbQ [H^{(1)}])$ as a $\mbQ$-vector space.

        Let $z\in \ker \mu$.
        Then there exist $m_1,\ldots ,m_r\in \mbZ$ with $z=m_1 C_1+\cdots +m_r C_r$.

        Assume $u=A_i$.
        Set $\alpha =\alpha _i$ and $\beta =\gamma _r^{m_r}\cdots \gamma _1^{m_1}\alpha _i^{-1}$.
        We may assume $q_c(\alpha )\cap q_c(\beta )=\emptyset$, that is, there exist $A\in q_c(\alpha )$ and $B\in q_c(\beta )$ with $A(S^1)\cap B(S^1)=\emptyset$.
        This shows that $[q_c(\alpha )]\wedge [q_c(\beta )]\in C_2(\mbQ [[S^1,\Sigma ]])$ is a cycle by the definition of the bracket in $\mbQ [[S^1,\Sigma ]]$.
        We have
        \begin{eqnarray*}
            C_2(\varpi ^{(1)})\circ C_2(q) ([q_c(\alpha )]\wedge [q_c(\beta )] )
            &=& C_2(\varpi ^{(1)})([q\circ q_c(\alpha )]\wedge [q\circ q_c(\beta )]) \\
            &=& C_2(\varpi ^{(1)})([A_i]\wedge [z-A_i]).
        \end{eqnarray*}
        Hence we have the homology class of $[A_i]\wedge [z-A_i]$ is in the image of $H_2(\varpi ^{(1)})\circ H_2(q)$.

        Assume $u=B_i$.
        If we set $\alpha =\beta _i$ and $\beta =\gamma _r^{m_r}\cdots \gamma _1^{m_1}\beta _i^{-1}$, then we have that the homology class of $[B_i]\wedge [z-B_i]$ is included in the image of $H_2(\varpi ^{(1)})\circ H_2(q)$ similarly.

        Assume $u=C_j$.
        We remark $C_2(\varpi ^{(1)})\circ C_2(q)([q_c(\gamma _j)]\wedge [q_c(\gamma _r^{m_r}\cdots \gamma _1^{m_1}\gamma _j^{-1})])=0$ since $C_j\in \ker \mu$.
        By Theorem \ref{2nd homology thm}, we have $[C_j]\wedge [z-C_j]=[C_j-A_g]\wedge [z-C_j+A_g]+[A_g]\wedge [z-A_g] \in H_2(\mbQ [H_1(\Sigma ;\mbZ )^{(1)}])$.
        Hence it is enough to show that $[C_j-A_g]\wedge [z-C_j+A_g]$ is in the image.
        Set $\alpha =\gamma _j \gamma _r^{-1}\cdots \gamma _r^{-1}\alpha _g^{-1}$ and
        \[
            \beta =\alpha _g\gamma _1\cdots \gamma _r \gamma _r^{m_r-m_j}\cdots \gamma _{j+1}^{m_{j+1}-m_j}\gamma _j^{-1}\gamma _{j-1}^{m_{j-1}-m_j}\cdots \gamma _1^{m_1-m_j}.
        \]
        We may also assume $q_c(\alpha )\cap q_c(\beta )=\emptyset$.
        For example, see the following figure ($g=2$, $r=3$, $j=2$, $m_1-m_j=2$, $m_3-m_j=1$).

        \input{S_2,3_with_arrows2.tex}

        We have $q_a(\alpha )=C_j-A_g$ and $q_a(\beta )=z-C_j+A_g$ by $C_1+\cdots +C_r=0$.
        This completes the proof of the proposition.
    \end{proof}
    Essentially, we have the following lemma at the proof of the Proposition \ref{inj}.
    \begin{Lem}\label{linear extension}
        Let $f:H^{(1)}\to \mbZ$ be a function satisfying $f(u+v)=f(u)+f(v)$ for $u,v\in H^{(1)}$ with $\langle u,v\rangle \neq 0$.
        Then we have $f(u+v)=f(u)+f(v)$ for $u,v\in H^{(1)}$ with $u+v\in H^{(1)}$, and $f(n u)=n f(u)$ for $u\in H^{(1)}$ and $n\in \mbZ \setminus \{ 0\}$.
    \end{Lem}
    \begin{proof}
        Take $u,v\in H^{(1)}$ with $u+v\in H^{(1)}$.
        Then there exists $x\in H^{(1)}$ with $\langle u,x\rangle \neq 0$, $\langle v,x\rangle \neq 0$ and $\langle u+v,x\rangle \neq 0$.
        If $\langle u,v\rangle \neq 0$, we have $f(u+v)=f(u)+f(v)$ by the assumption of the lemma.
        Assume $\langle u,v\rangle =0$.
        Then we have $\langle u,v+x\rangle =\langle u,x\rangle \neq 0$.
        By the assumption of the lemma, we have $f(u+v)=f(u)+f(v)$ because
        \begin{eqnarray*}
            f(u+v)
            &=&f(u+v+x)-f(x)
             = f(u)+f(v+x)-f(x) \\
            &=& f(u)+f(v)+f(x)-f(x)=f(u)+f(v) .
        \end{eqnarray*}

        Take $u\in H^{(1)}$ and $n\in \mbZ \setminus \{ 0\}$.
        Then there exists $x\in H^{(1)}$ with $\langle u,x\rangle \neq 0$.
        By the result of the first half of the lemma, it is enough to show the case $n=-1$.
        We obtain $f(-u)=-f(u)$ because
        \begin{eqnarray*}
            f(-u)
            &=&-f(u+x)+f(x)
            = -f(u)-f(x)-f(x)
            =-f(u).
        \end{eqnarray*}
        This completes the proof of the lemma.
    \end{proof}
    Assume $z\in \ker \mu$.
    Then we have $\langle -,-\rangle \in {\rm Hom}_{\mbZ}(\wedge ^2 H/\mbZ z,\mbQ )$.
    This corresponds the cocycle $\omega \in Z^3(\mbQ [H^{(1)}])_{(z)}$ or $\omega \in Z^3(\mbQ [H])_{(z)}$ with $\omega ([u],[v],[z-u-v])=\langle u,v\rangle$ for $u,v\in H^{(1)}$ by Proposition  \ref{QotimesH/Zz}.
    The projection $\varpi ^{(1)}:\mbQ [H]=\mbQ [\ker \mu ]\oplus \mbQ [H^{(1)}]\to \mbQ [H^{(1)}]$ induces injection $H^3(\varpi ^{(1)})_{(z)}: H^3(\mbQ [H^{(1)}])_{(z)}\to H^3(\mbQ [H])_{(z)}$ since $\varpi ^{(1)} \circ \iota ^{(1)}=id _{\mbQ [H^{(1)}]}$, where the map $\iota ^{(1)}:\mbQ [H^{(1)}]\to \mbQ [H]$ is the inclusion.
    Therefore $[\omega ]=0\in H^3(\mbQ [H])_{(z)}$ if $[\omega ]=0 \in H^3(\mbQ [H^{(1)}])_{(z)}$, and $[\omega ]\neq 0 \in H^3(\mbQ [H^{(1)}])_{(z)}$ if $[\omega ]\neq 0\in H^3(\mbQ [H])_{(z)}$.
    \begin{Thm} \label{3rd coh}
        Assume $\langle -,-\rangle \neq 0$.
        If $z\in \ker \mu$ is a torsion element, i.e., there exists $n\in \mbZ\setminus \{ 0\}$ with $nz=0$, then we have $[\omega ]\neq 0\in H^3(\mbQ [H])_{(z)}$.
        If $z\in \ker \mu$ is not a torsion element, i.e., $nz\neq 0$ for any $n\in \mbZ \setminus \{ 0\}$, then we have $[\omega ]=0\in H^3(\mbQ [H^{(1)}])_{(z)}$.
    \end{Thm}
    \begin{proof}
        {\bf Case 1: }
        Assume that $z$ is a torsion element.
        Then there exists $n\in \mbZ\setminus \{ 0\}$ with $nz=0$.
        Assume $[\omega ]=0\in H^3(\mbQ [H])_{(z)}$.
        Then there exists $\eta \in C^2(\mbQ [H])_{(z)}$ with $d\eta =\omega$.
        Set the map $f:H\to \mbQ$ by $f(x)=\eta ([x],[z-x])-1$ for $x\in H$.
        For $u,v\in H$ with $\langle u,v\rangle \neq 0$, we have $f(u+v)=f(u)+f(v)$ since
        \begin{eqnarray*}
            \langle u,v\rangle
            &=& \omega ([u],[v],[z-u-v]) \\
            &=& d\eta ([u],[v],[z-u-v]) \\
            &=& -\langle u,v\rangle (\eta ([u+v],[z-u-v])-\eta ([u],[z-u])-\eta ([v],[z-v])) .
        \end{eqnarray*}
        Therefore we have a contradiction because
        \begin{eqnarray*}
        n \eta ([z-u],[u])
        &=& n f(z-u)+n \\
        &=& f(n z-n u) +n \\
        &=& -n f(u) +n \\
        &=& -n \eta ([u],[z-u])+n +n \\
        &=& n \eta ([z-u],[u]) +2 n
        \end{eqnarray*}
        for $u\in H^{(1)}$ by Lemma \ref{linear extension}.
        Hence we obtain $[\omega ]\neq 0\in H^3(\mbQ [H])_{(z)}$.

        {\bf Case 2: }
        Assume that $z$ is not a torsion element.
        Then there exists a $\mbZ$-linear map $f:H\to \mbQ$ with $f(z)=1$.
        Set a map $\eta :\{ (u,v)\mid u,v\in H^{(1)} , u+v=z\} \to \mbQ$ by $\eta (u,z-u)=f(u)+1$.
        This induces $\eta \in C^2(\mbQ [H^{(1)}])_{(z)}$ since $\eta (z-u,u)=f(z-u)-1=f(z)-f(u)-1=-\eta (u,z-u)$ for $u\in H^{(1)}$.
        We have $\omega =d\eta$.
        In fact, for $u,v\in H^{(1)}$ with $u+v\in H^{(1)}$, we have
        \begin{eqnarray*}
            &&d\eta ([u],[v],[z-u-v]) \\
            &=& -\langle u,v\rangle (\eta ([u+v],[z-u-v])-\eta ([u],[z-u])-\eta ([v],[z-v])) \\
            &=& -\langle u,v\rangle (f(u+v)+1-f(u)-1-f(v)-1) \\
            &=& \langle u,v\rangle \\
            &=& \omega ([u],[v],[z-u-v]) .
        \end{eqnarray*}
        Hence we obtain $[\omega ]=0 \in H^3(\mbQ [H^{(1)}])_{(z)}$.
        This completes the proof of the proposition.
    \end{proof}
    We have that the map ${\rm Hom}_{\mbZ}(\wedge ^2 H/\mbZ z,\mbQ )\to H^3(\mbQ [H^{(1)}])_{(z)}$ is not injective if $\ker \mu$ is not torsion free.
    Moreover we have that the map ${\rm Hom}_{\mbZ}(\wedge ^2 H_1(T^2;\mbZ ),\mbQ )\to H^3(\mbQ [H_1(T^2;\mbZ )^{(1)}])_{(0)}$ is injective since the $\mbQ$-vector space ${\rm Hom}_{\mbZ}(\wedge ^2 H_1(T^2;\mbZ ),\mbQ )$ is generated by $\langle -,-\rangle$, where $T^2$ is the torus.