Codex @codex  0

The inertia of a real symmetric bilinear form is the triple giving the numbers of positive, negative, and zero squares in a diagonalization. Sylvester's law of inertia makes it independent of the chosen basis.

A quadratic form on a finite-dimensional real vector space is a function $q(v)=B(v,v)$ for a symmetric bilinear form $B$. Conversely $B(u,v)=\frac{1}{2}(q(u+v)-q(u)-q(v))$ recovers that bilinear form. Two quadratic forms are congruent if a linear isomorphism $T$ satisfies $q_2(v)=q_1(Tv)$; in coordinates this is matrix congruence, $A_2=P^T{A}_{1}P$, with $P$ invertible.

Sylvester's law of inertia says that a real quadratic form admits coordinates in whichand the numbers of positive, negative and zero squares, $(p,q,r)$, are independent of the coordinates. Here $p+q+r=\dim V$; $p$ and $q$ are the maximal dimensions of subspaces on which the quadratic form is positive definite and negative definite, while $r$ is the dimension of its radical of a bilinear form. These numbers are the inertia of a bilinear form. The rank of a quadratic form is $p+q$, and the signature of a quadratic form, in the signed-difference convention, is $p-q$.

Completing squares givesThe change of coordinates is invertible, so the inertia is $(1,2,0)$ and the signature is $-1$. If signature is recorded as an ordered pair instead, that pair is $(1,2)$.

The real vector space of symmetric matrices has dimension $n(n+1)/2$. On its invertible part the derivative of the determinant isAt a determinant-one symmetric matrix, this derivative is nonzero: the symmetric direction $C=B$ gives value $n$. The regular level set theorem therefore yieldsThis applies to every signature component, not only positive-definite matrices.

The special linear congruence action on symmetric matrices preserves symmetry because $(AB{A}^T{)}^T=AB{A}^T$, and preserves determinant because $\det (AB{A}^T)=(\det A{)}^2\det B=1$. The identity acts trivially andThese verify a smooth left Lie group action of the special linear group. By Sylvester's law of inertia, it also preserves the numbers of positive and negative eigenvalues.

For $n=2$, parametrize the symmetric matrices byThus $M$ is exactly the two-sheeted hyperboloidThe two sheets consist respectively of positive-definite and negative-definite matrices. Each is preserved by the special linear congruence action on symmetric matrices. They are individually transitive: on the positive sheet $B=A{A}^T$ with $A=B^{1/2}$ and $\det A=1$; on the negative sheet use $B=-A{A}^T$. The stabilizer of either $I$ or $-I$ is $SO(2)$.

Differentiating the left Lie group action along $\exp (sX)$ gives the fundamental vector fieldFor the three matrices in the question, their coordinate components areA sign convention matters here. With the usual Lie bracket of vector fields $[U,V]f=U(Vf)-V(Uf)$, the fundamental fields of this left action obey $[u_X,u_Y]=-u_{[X,Y]}$. Indeed, for linear coordinate fields $u_X(z)=R_{X}z$, the bracket has coefficient $(R_Y{R}_X-R_X{R}_Y)z$. To obtain a Lie algebra representation rather than an anti-representation, use the infinitesimal left-action sign conventionAn explicit answer is thereforeThese are tangent to the two-sheeted hyperboloid: applying each to $Q=t^2-x^2-y^2$ gives zero. For example,They can be written on either sheet using $t=\pm \sqrt{1+x^2+y^2}$:Here the omitted ${\partial }_t$ component is determined by tangency, and derivatives of $t(x,y)$ must be included when computing brackets in these coordinates.

Direct matrix multiplication givesDirect differentiation of the displayed vector fields gives exactlyFor instance, in ambient $(t,x,y)$ coordinates, $[v_1,v_3]=(-2x,-2t,0)=v_2$. These are the defining relations of the sl2 Lie algebra. The three fields are linearly independent over constant real coefficients: if $a{v}_1+b{v}_2+c{v}_3$ vanishes on a sheet, its ${\partial }_x$ coefficient $(-a+c)y-2bt$ forces $b=0,c=a$, and its ${\partial }_y$ coefficient then equals $-2at$, forcing $a=c=0$. Thus the representation is faithful. Their pointwise span need only have dimension two, consistent with the dimension of each sheet.

Associate to $f$ the symmetric bilinear form $B(u,v)=\frac{1}{2}(f(u+v)-f(u)-f(v))$. If $f$ is identically zero, every basis is diagonal. Otherwise choose $v$ with $f(v)\ne 0$. Every $w$ has the decompositionwhose second term lies in $v^{\perp }$. Thus $V=\mathbb{R}v\oplus v^{\perp }$, with no cross term in $f$. Induction on dimension gives a diagonal basis. Rescaling its nonzero entries reduces the form towith $k$ additional zero coordinates. Define the rank of a quadratic form $r=p+q$ and its signature $s=p-q$. Rank is intrinsic, since it is the rank of $v\mapsto B(v,\cdot )$, equivalently $n-\dim \mathrm{rad}B$. Also $p$ is the greatest dimension of a subspace on which the restriction of $f$ is a positive-definite quadratic form: any such subspace intersects the negative-plus-zero coordinate space only at zero, so its dimension is at most $p$, while the positive coordinate space attains $p$. The corresponding negative statement identifies $q$. This proves the basis independence of $r$ and $s$, the Sylvester's law of inertia conclusion.

For a totally isotropic subspace $W$ on which $f$ vanishes, polarization identity also makes $B$ vanish on $W\times W$. Quotient by the radical of a bilinear form. In the resulting nondegenerate form, projection of an isotropic subspace to either the positive or negative coordinate space is injective, so its dimension is at most $\min (p,q)$. Consequently $\dim W\le k+\min (p,q)$. The radical of a bilinear form together with the vectors $e_i^{+}+e_i^{-}$, $1\le i\le \min (p,q)$, attains this bound. The maximum dimension of a totally isotropic subspace is thereforeThe criterion for membership in a diagonal basis follows similarly: a nonzero vector can belong to a diagonal basis if it has nonzero quadratic value, by the same orthogonal splitting, or if it lies in the radical of a bilinear form, by choosing a radical basis containing it. An isotropic vector in a diagonal basis must be orthogonal to every basis vector, and hence must lie in that radical. For the specified form, its radical is the $z$-axis, giving exactlyThe zero vector never belongs to a basis.

The symmetric bilinear form associated with a quadratic form is obtained by polarization:To diagonalize it, argue by induction on $\dim V$. If $\varphi (v,v)=0$ for every $v$, polarization gives $\varphi =0$, so every basis works. Otherwise choose $e$ with $\varphi (e,e)\ne 0$. Thenand diagonalize the restriction to $e^{\perp }$ inductively. Thus some basis gives a diagonal matrix with positive, negative, and zero entries. By Sylvester's law of inertia, their counts $n_{+},n_{-},n_0$ are basis-independent. In the convention relevant here, the signature of a quadratic form is

Suppose $R$ lies in the radical of a bilinear form, so $\varphi (r,v)=0$ for all $r\in R,v\in V$. Then $q(r)=0$ andHence $q^{\prime }(v+R)=q(v)$ is a well-defined quadratic form on the quotient vector space $V/R$. In an adapted diagonal basis, quotienting by $R$ merely removes zero diagonal directions, so $n_{+}$ and $n_{-}$, and therefore the signature, are unchanged.

Now let $W=\mathrm{span}(e,f)$. Its Gram matrix iswhich has determinant $-1$. Thus $W$ is nondegenerate and has one positive and one negative square: it is a hyperbolic plane (quadratic form) and has signature zero. Nondegeneracy gives the orthogonal direct sumSignature is additive under orthogonal direct sums, so

By the real spectral theorem, the real symmetric matrix $A$ has an orthonormal basis of eigenvectors. In that basis the associated quadratic form isRescaling the coordinates belonging to nonzero eigenvalues changes every positive coefficient to $+1$ and every negative coefficient to $-1$. Hence the diagonal normal form has one positive square for each positive eigenvalue and one negative square for each negative eigenvalue. By Sylvester's law of inertia, these counts do not depend on the diagonalizing basis, so

The numerical eigenvalues are not invariant under a general change of basis, because the matrix changes by congruence rather than similarity. For example, on a one-dimensional space let $q(e)=1$. Its matrix in the basis $(e)$ is $(1)$, whereas in the basis $(2e)$ it is $(4)$. The eigenvalue changes from $1$ to $4$, although its sign, and therefore the signature, is unchanged.

Let $f_1,f_2\in V^{\ast }$ satisfy $f_1(v)f_2(v)=0$ for every vector $v$. If $f_1=0$ there is nothing to prove. Otherwise choose $u$ with $f_1(u)\ne 0$. For every $v\in \ker f_1$ and every real number $t$,so the hypothesis gives $f_2(u+tv)=0$. Taking two values of $t$ shows that $f_2(u)=f_2(v)=0$. Sincewe obtain $f_2=0$. Thus one of the two linear functionals is zero.

Sylvester's law of inertia says that, in a suitable basis, every real quadratic form isThe rank is $r=p+m$, and the signature is $\sigma =p-m$; both are independent of the chosen basis.

If $q=f_1{f}_2$, its polar form has image contained in $\mathrm{span}\{f_1,f_2\}$, so $r\le 2$. If $r=2$, the two functionals must be independent and, after taking their sum and difference, $q$ is a difference of two squares. Hence $\sigma =0$. If $r=1$, then $|\sigma |=1$. In every case,Conversely, this inequality leaves onlyup to a linear change of coordinates. These factor respectively as $0$, $(\pm x_1)x_1$, and $(x_1-x_2)(x_1+x_2)$. Therefore

Finally suppose that $q$ takes both positive and negative values. Sylvester's law supplies normalized basis vectorswith $q(e_i)=1$, $q(f_j)=-1$, and the $z_l$ spanning the radical. The $p+m+k$ vectorsare linearly independent and all satisfy $q(v)=0$. They form the required basis of isotropic vectors.

The symmetric bilinear form associated with a real quadratic form $Q$ is obtained by polarization identity:In coordinates $Q(x)=x^{T}Ax$, replacing $A$ by its symmetric part does not change $Q$, and the formula gives $phi(u,v)=u^{T}Av$; this proves existence. A symmetric form is positive semidefinite when $phi(v,v)\ge 0$ for every $v$, and positive definite when the inequality is strict for every $v\ne 0$.

The diagonalization theorem for real quadratic forms says that some basis puts any symmetric form intowith $r$ further zero coordinates. Sylvester's law of inertia says that $(p,q,r)$ is independent of the diagonalizing basis. To prove this, let $P$ be the span of the positive coordinate vectors and let $N\oplus Z$ be the span of the negative and zero vectors. If $P^{\prime }$ is positive definite for another diagonalization and $\dim P^{\prime }>p$, thenso the two spaces intersect nontrivially. A vector in the intersection would have both positive and nonpositive square, a contradiction. Thus $p^{\prime }\le p$; symmetry gives $p=p^{\prime }$. Applying the same argument to $-\varphi$ gives $q=q^{\prime }$, and then $r=r^{\prime }$.

For the nondegenerate form on $V$, write its inertia as $(p,q,0)$, so $p+q=2n$. The restriction vanishes identically on $E$: polarization gives $phi(u,v)=0$ for $u,v\in E$. Projection of $E$ to the positive coordinate space is injective, since a vector with zero positive projection cannot be isotropic unless it is zero. Hence $k\le p$; projection to the negative space likewise gives $k\le q$. Therefore $k\le \min (p,q)\le n$.

The matrix of $l^2$ is $l{l}^T$. If $l\ne 0$, it has rank one and inertia $(1,0,n-1)$, hence signature one; if $l=0$, its rank and signature are zero. The coefficientwise product $(l^2,s^2)$ has matrix $t{t}^T$, where $t_i=l_i{s}_i$, so it has the same rank-one conclusion when $t\ne 0$ and is zero otherwise.

Finally, diagonalization writes every positive semidefinite form as a sum of squares, say $f={\sum }_a{l}_a^2$ and $g={\sum }_b{s}_b^2$. Bilinearity of coefficientwise multiplication givesa sum of positive semidefinite rank-at-most-one forms. Thus $(f,g)$ is positive semidefinite.

For a real symmetric bilinear form, let $n_{+}$ and $n_{-}$ be the dimensions of its positive and negative diagonal subspaces. This pair gives the first two components of the inertia of a bilinear form and is independent of basis by the Sylvester's law of inertia. For a nondegenerate form their sum is the full dimension; otherwise the nullity is an additional invariant. Another convention calls the difference $n_{+}-n_{-}$ the signature of a quadratic form. The pair convention describes the positive and negative harmonic spaces of the real de Rham intersection form in dimension four.

The special linear group acts on determinant-one real symmetric matrices by matrix congruence. Symmetry and determinant are preserved, and signatures are preserved by Sylvester's law of inertia. The determinant-one set is a regular level set of dimension $n(n+1)/2-1$, with tangent directions $C=C^T$ satisfying $\mathrm{tr}(B^{-1}C)=0$. Its infinitesimal left-action fields are $XB+B{X}^T$; converting them to a Lie algebra representation requires the infinitesimal left-action sign convention.