Does irreducible quadric mean that the corresponding bilinear form is nondegenerate?

Question

Let $Q(x_0, \cdots, x_n)$ be a homogeneous (square free) polynomial of degree two in $k[x_0, \cdots, x_n]$ ($k$ algebraically closed, $\mathrm{char}(k)\neq 2$). In other words $Q$ determines a quadric in $\mathbb{P}^n$.

We can always write this polynomial as a quadratic form: $Q = \mathbf{X}^T A \mathbf{X}$ where $\mathbf{X}^T=(x_0, x_1, \cdots, x_n)$. Also we might as well assume $A$ is symmetric and treat the evaluation of $Q$ as a symmetric bilinear form on $k^{n+1}$.

Is this true that $Q$ is irreducible if and only if $A$ is non-degenerate?

In fact it is pretty simple to show that if $A$ is non-degenerate then $Q$ is irreducible. It is also simple to show that if $Q$ is reducible then $A_\mathrm{red}=\frac{1}{2}(\mathbf{v}\mathbf{w}^T + \mathbf{w}\mathbf{v}^T)$ for some vectors $\mathbf{v}$ and $\mathbf{w}$, and a simple check shows that $\det A_\mathrm{red}=0$. So basically I'm asking about the things in between:

Is there any irreducible $Q$ such that $A$ is degenerate?

score 4 · Accepted Answer · edited Oct 04 '15 at 21:22

4

Any quadric under the hypothesis ($k$ algebraically closed, $\mathrm{char}(k)\neq 2$) can be easily transformed by a homogeneous linear change of coordinates to $x_0^2+\cdots+x_k^2$ for some $k\leq n$. The quadric is non-degenerate if and only if $k=n$, while it is irreducible if $k\geq 2$.

edited Oct 04 '15 at 21:22

user26857

52,094

answered Sep 26 '15 at 17:47

Mohan

17,980

1

But then if $-1$ is a square in $k$ (like in $\mathbb{C}$) then $x_0^2+x_1^2 = (x_0+ix_1)(x_0-ix_1)$ so this polynomial is not irreducible. – Hamed Sep 26 '15 at 18:08
1

I said $k\geq 2$, while you are taking $k=1$. – Mohan Sep 26 '15 at 18:31
Perhaps he is pointing out that you can write a second "if and only if". – Hoot Sep 26 '15 at 19:44
You really shouldn't use $k$ as both a field and an integer, though it's not that confusing. – Viktor Vaughn Sep 26 '15 at 22:10
@SpamIAm Thanks, being careless is not a good excuse. – Mohan Sep 26 '15 at 22:38
@Mohan Hi Mohan, do you have a reference for this? Thanks – AmorFati Jun 12 '18 at 22:06
@KyleBroder It probably can be found implicitly in many places, but it is fairly elementary to prove. – Mohan Jun 12 '18 at 22:41

Does irreducible quadric mean that the corresponding bilinear form is nondegenerate?

1 Answers1

Linked