= Metabolizer
{title2=$\theta|_{M\times M}=0,\quad\operatorname{rank}M=g$}
A metabolizer for an integral <Seifert form> $\theta$ on a <free abelian group> $L$ of rank $2g$ is a rank-$g$ <direct summand> $M\subseteq L$ on which the form vanishes:
$$
\theta(x,y)=0\qquad(x,y\in M).
$$
This is the data witnessing a <metabolic Seifert form>. Over a field, the corresponding definition uses a half-dimensional <vector subspace>. The same term also denotes a half-dimensional isotropic subspace for a <metabolic bilinear form>.
For $L=\mathbb Z^2$ with Seifert matrix $V=\begin{pmatrix}0&1\\0&0\end{pmatrix}$, the subgroup spanned by the first basis vector is a metabolizer. Its self-pairing is zero and it has the complementary summand spanned by the second basis vector. The subgroup generated by twice the first basis vector is also isotropic and has rank one, but is not a direct summand: its quotient in $L$ has torsion.
Thus half rank alone does not suffice over the integers. The direct-summand condition ensures that a basis of the metabolizer extends to a basis of the whole lattice, exposing a zero $g$-by-$g$ block in the Seifert matrix.
Back to article page
