Skip to main content
1 of 4
Bipolar Minds
  • 1.8k
  • 10
  • 16

Is there a good notion of kernels of quadratic forms on abelian groups?

Let $G$ be an abelian group and let $q:G \to \mathbb{Q/Z}$ be a quadratic form, i.e. $q(a)=q(-a)$ and $b(x,y)=q(x+y)-q(x)-q(y)$ is a bihomomorphism. On vector spaces, when people speak about the kernel of a quadratic form they mean the radical of $\frac{b}{2}$ which is obviously not possible here, at least not straight-forwardly. Taking the radical of $b$ itself is not sufficient since in general we don't have a quadratic form $\bar{q}:G/Rad(b) \to \mathbb{Q/Z}$, s.t. $\pi^*\bar{q}=q$ (for example let $G=\mathbb{Z}$ and $q(n)=(-1)^n$). Hence my question:

Is there some definition/construction of the kernel of quadratic forms on abelian groups?

Bipolar Minds
  • 1.8k
  • 10
  • 16