Let $q(x_1,x_2,...,x_n) =\sum a_{ij}x_ix_j\in k[x_1,x_2,...,x_n] \; (a_{ij}=a_{ji})$ be a quadratic form in $n$ variables over a field $k$ of characteristic $\neq 2$, but not assumed algebraically closed nor anything else.
Question I
Are there any implications between the following properties?
a) The polynomial $q$ is irreducible i.e. it is not the product of two linear forms in $k[x_1,x_2,...,x_n]$.
b) The quadratic form $q$ is nondegenerate i.e. its rank is $n$ [the rank of $q$ being the rank of the matrix $(a_{ij})$] .
c) The quadric $V(q)\subset \mathbb P^{n-1}$ given by the equation $q=0$ is smooth.
Concretely c) means that the linear system of $n$ equations $\frac {\partial q} {\partial x_i}(a)=0$ has no solution $a\in k^n$ besides the solution $a=0$.
Question II
Is there a book in which these implications are spelled out?
2026-03-25 19:05:57.1774465557
Which implications are there for a quadratic form between being irreducible, non degenerate or smooth?
686 Views Asked by Bumbble Comm https://math.techqa.club/user/bumbble-comm/detail At
1
There are 1 best solutions below
Related Questions in ALGEBRAIC-GEOMETRY
- How to see line bundle on $\mathbb P^1$ intuitively?
- Jacobson radical = nilradical iff every open set of $\text{Spec}A$ contains a closed point.
- Is $ X \to \mathrm{CH}^i (X) $ covariant or contravariant?
- An irreducible $k$-scheme of finite type is "geometrically equidimensional".
- Global section of line bundle of degree 0
- Is there a variant of the implicit function theorem covering a branch of a curve around a singular point?
- Singular points of a curve
- Find Canonical equation of a Hyperbola
- Picard group of a fibration
- Finding a quartic with some prescribed multiplicities
Related Questions in CONIC-SECTIONS
- Show that the asymptotes of an hyperbola are its tangents at infinity points
- Do projective transforms preserve circle centres?
- A Problem Based on Ellipse
- Perfect Pascal Mysticum Points
- I need to rotate this parabola around the y axis, but can't find the correct expression
- Prove that the common chord passes through the origin.
- Rotated ellipse tangent to circle
- tangent to two different branches of the hyperbola
- Probability that a triangle inscribed in an ellipse contains one of its foci
- Locus of mid point of intercepts of tangents to a ellipse
Related Questions in IRREDUCIBLE-POLYNOMIALS
- $x^{2}(x−1)^{2}(x^2+1)+y^2$ is irreducible over $\mathbb{C}[x,y].$
- Is the following polynomial irreductible over $\mathbb{Z}[X]$?
- Does irreducibility in $\mathbb{F}_p[x]$ imply irreducibility in $\mathbb{Q}[x]$?
- discriminant and irreducibility of $x^p - (p+1)x - 1$
- galois group of irreducible monic cubic polynomial
- When will $F[x]/\langle p(x)\rangle$ strictly contain $F$?
- On reducibility over $\mathbb{Z}$ of a special class of polynomials .
- Eisenstein's criterion over polynomials irreducible
- Optimal normal basis in Tower field construction
- If $f$ has $\deg(f)$ distince roots whose order are the same, then is $f$ irreducible?
Related Questions in QUADRATIC-FORMS
- Can we find $n$ Pythagorean triples with a common leg for any $n$?
- Questions on positivity of quadratic form with orthogonal constraints
- How does positive (semi)definiteness help with showing convexity of quadratic forms?
- Equivalence of integral primitive indefinite binary quadratic forms
- Signs of eigenvalues of $3$ by $3$ matrix
- Homogeneous quadratic in $n$ variables has nonzero singular point iff associated symmetric matrix has zero determinant.
- Trace form and totally real number fields
- Let $f(x) = x^\top Q \, x$, where $Q \in \mathbb R^{n×n}$ is NOT symmetric. Show that the Hessian is $H_f (x) = Q + Q^\top$
- Graph of curve defined by $3x^2+3y^2-2xy-2=0$
- Question on quadratic forms of dimension 3
Related Questions in QUADRICS
- Conditions for a plane and an ellipsoid NOT to intersect
- Prove that three paraboloids have a common tangent plane
- Calculate centres of a quadric
- Quadric represented in matrix form
- Volume without Multivariable Calculus
- Cone $x^2+y^2-z^2=0$ as a degenerate quadric
- Normal form for quadrics
- Intersection of two smooth projective quadrics in general position
- Vertex and axis of $n$-dimensional paraboloid
- Canonic form of a quadric
Trending Questions
- Induction on the number of equations
- How to convince a math teacher of this simple and obvious fact?
- Find $E[XY|Y+Z=1 ]$
- Refuting the Anti-Cantor Cranks
- What are imaginary numbers?
- Determine the adjoint of $\tilde Q(x)$ for $\tilde Q(x)u:=(Qu)(x)$ where $Q:U→L^2(Ω,ℝ^d$ is a Hilbert-Schmidt operator and $U$ is a Hilbert space
- Why does this innovative method of subtraction from a third grader always work?
- How do we know that the number $1$ is not equal to the number $-1$?
- What are the Implications of having VΩ as a model for a theory?
- Defining a Galois Field based on primitive element versus polynomial?
- Can't find the relationship between two columns of numbers. Please Help
- Is computer science a branch of mathematics?
- Is there a bijection of $\mathbb{R}^n$ with itself such that the forward map is connected but the inverse is not?
- Identification of a quadrilateral as a trapezoid, rectangle, or square
- Generator of inertia group in function field extension
Popular # Hahtags
second-order-logic
numerical-methods
puzzle
logic
probability
number-theory
winding-number
real-analysis
integration
calculus
complex-analysis
sequences-and-series
proof-writing
set-theory
functions
homotopy-theory
elementary-number-theory
ordinary-differential-equations
circles
derivatives
game-theory
definite-integrals
elementary-set-theory
limits
multivariable-calculus
geometry
algebraic-number-theory
proof-verification
partial-derivative
algebra-precalculus
Popular Questions
- What is the integral of 1/x?
- How many squares actually ARE in this picture? Is this a trick question with no right answer?
- Is a matrix multiplied with its transpose something special?
- What is the difference between independent and mutually exclusive events?
- Visually stunning math concepts which are easy to explain
- taylor series of $\ln(1+x)$?
- How to tell if a set of vectors spans a space?
- Calculus question taking derivative to find horizontal tangent line
- How to determine if a function is one-to-one?
- Determine if vectors are linearly independent
- What does it mean to have a determinant equal to zero?
- Is this Batman equation for real?
- How to find perpendicular vector to another vector?
- How to find mean and median from histogram
- How many sides does a circle have?
About question I
Quadratic forms satisfying these conditions are often called regular in the literature.
For example the form $x_1x_2\in k[x_1,x_2]$ is non degenerate but of course the polynomial $x_1x_2$ is reducible.
For example the quadratic polynomial $x_1^2+x_2^2\in \mathbb R[x_1,x_2,x_3]$ is irreducible but the corresponding quadratic form is degenerate.
On the other hand the implication "irreducible $\implies$ "nondegenerate" is true if $k$ is algebraically closed.
It suffices to consider the quadratic polynomial $x_1^2+x_2^2+x_3^2 \in k[x_1,x_2,..., x_n]$ : that polynomial is irreducible over any field of characteristic not $2$, but the corresponding quadratic form is of course degenerate as soon as $n\geq 4$.
About question II
No, I don't know any book nor any other document in which these (easy) results are explicitly spelled out. Does some user know one?
Since questions of this type often pop up (see here, here or there ), I decided to try and give a reasonably complete answer.