0
$\begingroup$

Let $V$ be a vector space over a field $K$ and let $B$ be a symmetric bilinear form on $V$. I want to show that the determinant of the matrix representing this bilinear form may depend on the choice of basis but the sign of the determinant does not.

Here is what I have so far:

Let $A$ be the matrix representing $B$ in some basis $\mathcal{B}$ and let $D$ be the matrix representing $B$ in the basis $\mathcal{D}$. Let $C$ denote the transition matrix from the basis $\mathcal{B}$ to the basis $\mathcal{D}. $ Then $$\det(A)=\det(C^tDC)=\det(C^t)\det(D)\det(C)=\det(C)^2\det(D)$$

I'm stuck at this point though. Also, I have no idea how to show that the sign won't change.

$\endgroup$
  • $\begingroup$ (At least) If the matrices are real, $\det(C)^2>0$ so $A$ and $D$ have the same sign. Since $\mathcal{B}$ and $\mathcal{D}$ are arbitrary, generically $\det(C)\neq1$, so I think there's nothing much to add. $\endgroup$ – anderstood Nov 30 '16 at 22:56
  • 1
    $\begingroup$ "Sign" has no meaning in a non-real field. $\endgroup$ – Robert Israel Nov 30 '16 at 23:02
3
$\begingroup$

You have shown that if $A,D$ are two matrices that represent the same bilinear form with respect to two different bases, then you have $\det(A) = x^2 \det(D)$ for some $0 \neq x \in K$.

When $K = \mathbb{R}$, this means precisely that $\det(A)$ and $\det(D)$ have the same sign (as $x^2 > 0$ is positive). For a general field, you don't have a notion of sign that divides the non-zero elements into "positive" and "negative" elements but your argument shows that the equivalence class of $\det(A)$ and $\det(D)$ in the quotient $K^{\times} / (K^{\times})^2$ is the same and this gives you an interesting invariant.

For example, when $K = \mathbb{C}$, then every non-zero complex number is a square and so you don't get anything interesting. However, when $K = \mathbb{Q}$, two rational numbers $a,b \in \mathbb{Q}^{\times}$ will define the same equivalence class if and only if $\frac{a}{b}$ is a square in $\mathbb{Q}$ which gives you much more information than only the sign. Thus, if you have two matrices $A,D$ over $\mathbb{R}$ with $\det(A) = 1$ and $\det(D) = 2$, you can't conclude that they cannot represent the same quadratic form over $\mathbb{R}$ but if the matrices are over $\mathbb{Q}$ then you know that they cannot represent the same quadratic form because you can't solve the equation $1 = \det(A) = \det(C)^2 \det(D) = x^2 \cdot 2$ with $x \in \mathbb{Q}$.

$\endgroup$
  • $\begingroup$ Interesting last paragraph. What is the $\times$ in $K^\times$? Non-zero? $\endgroup$ – anderstood Dec 1 '16 at 14:57
  • $\begingroup$ @anderstood: Yeah, $K^{\times}$ is the group of invertible (non-zero) elements of $K$. $\endgroup$ – levap Dec 2 '16 at 1:59
  • $\begingroup$ Hi, can you please explain how from $\det(A)=\det(C)^2\det(D)$ you concluded "the equivalence class of $\det(A)$ and $\det(D)$ in the quotient $K^{\times} / (K^{\times})^2$ is the same" $\endgroup$ – Khal Sep 11 '19 at 6:15

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service, privacy policy and cookie policy

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