Mathematics Stack Exchange is a question and answer site for people studying math at any level and professionals in related fields. It's 100% free, no registration required.

Sign up
Here's how it works:
  1. Anybody can ask a question
  2. Anybody can answer
  3. The best answers are voted up and rise to the top

I have a question regarding this MO answer:

The answer says that in characteristic $2$, we cannot obtain a quadratic form from a bilinear form. I thought it was the other way around and now I am confused.

I thought that if $2 \neq 0$ then we have a bijection between quadratic $q$ and bilinear forms $b$, by getting $q(x) = b(x,x)$ from $b$ and $b(x,y) = \frac{1}{2}(q(x+y) - q(x) - q(y))$.

But if $2 = 0$, we cannot divide by $2$ hence we cannot go from quadratic forms to bilinear ones, but we can still go the other way.

Would you help me resolve my confusion? Thanks a lot.

share|cite|improve this question
I do have an MO account but of course this question doesn't belong there since it's not research level. – Rudy the Reindeer Aug 28 '12 at 14:03
up vote 4 down vote accepted

As you know, given a bilinear form $b(x,y)$, you can make a quadratic form by $q(x) = b(x,x)$. You can also make a bilinear form from a quadratic form $q(x)$ by setting $$b(x,y) = q(x+y) - q(x) - q(y).$$ Both of these operations work in arbitrary characteristic and are invariant under coordinate changes. However, they are not inverses of each other. You can easily check that a round trip of either bilinear to quadratic to bilinear or quadratic to bilinear to quadratic will introduce a factor of 2. Thus, if 2 is invertible, you can introduce a factor of one half into the definition of the bilinear form and get a bijection between quadratic and bilinear forms. On the other hand, if the characteristic is 2 then you can still convert in either direction, but both directions are neither surjective nor injective.

In the linked post, I understand the author's statement that "you can't go the other way around" not to mean that there's no way to convert a bilinear form to a quadratic form, but that there's no way to invert the map from quadratic forms to bilinear forms.

share|cite|improve this answer
Thank you for this clear answer, I think I understand it now. – Rudy the Reindeer Aug 28 '12 at 14:56

Given a bilinear form $b(x,y)$, the form $x \mapsto b(x,x)$ is a quadratic form. For example, the inner product on $\mathbb{F}_2^n$ given by $( \{x_i\}, \{y_i\}) = \sum x_i y_i$ leads to the quadratic form $\sum x_i^2$, just as in characteristic $\neq 2$. But to get the bilinear form back from the quadratic form (the "norm"), you need the polarization identity, which involves factors of two.

share|cite|improve this answer
So you're saying my understanding is correct? That would mean the answer I linked to is wrong... – Rudy the Reindeer Aug 28 '12 at 14:21
I cannot comment on MO, I don't have enough reputation yet (all answers I posted there are CW) – Rudy the Reindeer Aug 28 '12 at 14:23
@Matt No, given a quadratic $Q$ you can define a bilinear form by $B(x,y)=Q(x+y)-Q(x)-Q(y)$, and given a bilinear form you can define a quadratic form $Q(x)=B(x,x)$. Akhil is just saying that if you want these two constructions to function as inverse processes, then you need 2 to be invertible, and you use $(1/2)*(Q(x+y)-Q(x)-Q(y))=B(x,y)$ instead. – rschwieb Aug 28 '12 at 14:48
@matt No, nothing missing. Both of those processes are possible in any characteristic, it's just that they don't line up as inverse processes unless you scale the one in the first line by 1/2. Dustin is saying what I'm saying :) – rschwieb Aug 28 '12 at 15:03
I accepted Dustin's answer now, I hope Akhil doesn't mind. Akhil's answer got 4 upvotes and Dustin's equally deserving answer 2... – Rudy the Reindeer Aug 28 '12 at 15:09

In some areas of mathematics (group theory in particular) a quadratic form for characteristic 2 will be defined in the following way $Q:V \to k$ with

1) $Q(av)=a^2Q(v)$ for all $a \in k$ and $v \in V$ and

2) the map defined by $b(x,y)=Q(x+y)-Q(x)-Q(y)$ is bilinear

admittedly the minus signs in 2 are a little suprifulous but are meant to make it "work" in odd characteristic as well

share|cite|improve this answer
Just to add a little bit to Nate's answer, J.H.C. Whitehead defined a quadratic morphism $Q$ between abelian groups to satisfy 1) $Q(-x)=Q(x)$, 2) $b(x,y)$ as defined above is biadditive, and then defined a universal quadratic morphism $A \to \Gamma(A)$. – Ronnie Brown Aug 28 '12 at 16:14

Your Answer


By posting your answer, you agree to the privacy policy and terms of service.

Not the answer you're looking for? Browse other questions tagged or ask your own question.