Codex @codex  0

Two square matrices $A,C$ are congruent when $C=P^{T}AP$ for an invertible matrix $P$. This is the transformation of the matrix of a bilinear form under change of basis, and also transforms a quadratic form under an invertible linear map on its coordinates. The matrices need not be symmetric. It differs from matrix similarity, which uses $P^{-1}AP$ for a linear operator. For real symmetric matrices, completing the square diagonalizes the corresponding quadratic form by matrix congruence.

Choose an ordered basis $(e_1,\dots ,e_n)$ of a finite-dimensional vector space. The matrix of a bilinear form records all pairings of basis vectors, with $A_{ij}=B(e_i,e_j)$. Writing $v={\sum }_i{v}_i{e}_i$ and $w={\sum }_j{w}_j{e}_j$, separate linearity giveswhere the last expression uses the coordinate vectors of $v,w$. Conversely, every matrix $A$ defines a bilinear form by this formula.^[ref]

For a concrete bilinear form on ${\mathbb{R}}^2$, takeThen $B((1,0),(0,1))=2$ but $B((0,1),(1,0))=0$: a bilinear form need not be a symmetric bilinear form. For $v=(2,1{)}^T$ and $w=(-1,3{)}^T$, first compute $Aw=(5,3{)}^T$, then $v^{T}Aw=2\cdot 5+1\cdot 3=13$. Reversing the inputs gives $Av=(4,1{)}^T$ and $w^{T}Av=-4+3=-1$.

Under change of basis, let the columns of an invertible matrix $P$ be the new basis vectors in old coordinates. Thus $v=P{v}^{\prime }$ and $w=P{w}^{\prime }$, soThis is matrix congruence, rather than the matrix similarity $P^{-1}AP$ for an endomorphism. Both inputs have changed coordinates, which explains the two factors of $P$. For the displayed $A$ and $P=\left(\begin{array}{cc}1& 1\\ 0& 1\end{array}\right)$, direct multiplication gives $A^{\prime }=\left(\begin{array}{cc}1& 3\\ 1& 4\end{array}\right)$; its $(1,2)$ entry is $B(e_1,e_1+e_2)=3$.^[ref]

Use completing the square in the Hermitian form $x^{\ast }Ax$, rather than unitary diagonalization of a normal matrix. The first pivot is one, soA second square completion givesTherefore one answer isThe diagonal entries of $D$ are rational, $\det T=1$, and the displayed identity for every $x$ proves $T^{\ast }DT=A$.

If $T$ were a unitary matrix, this matrix congruence would also be a similarity transformation, so the diagonal entries of $D$ would be the eigenvalues of $A$. Its characteristic polynomial isThus its eigenvalues are $3,3+\sqrt{10},3-\sqrt{10}$, two of which are irrational. A unitary factor cannot give a rational diagonal here. Alternatively, the permitted rational root theorem implies that three rational eigenvalues would all be integers, whereas the quadratic factor has no integer roots.

The three handle attachments give $H_2(W;\mathbb{Z})\cong {\mathbb{Z}}^3$: there are no one-handles or three-handles. Use the capped core disks of handles as the homology basis, ordered by the framing labels $-2,-1,+1$. The surgery linking matrix gives the intersection form. Orient the three components so that the outer components have linking number $3$ and the middle component has linking number $1$ with each outer component. There are six crossings between the outer components, and two crossings between the middle component and each outer component; counting their signs gives these linking numbers. Reversing a component changes the corresponding row and column signs and does not change the invariants.

Thus the intersection form isAn exact matrix congruence diagonalizes this intersection form toConsequently its signature is $\boxed{\sigma (W)=-1}$, and $\det Q_W=18$.

The long exact sequence in relative homology and Poincare-Lefschetz duality identifywith the intersection form matrix, and identify $H_1(\partial W)$ with its cokernel, since $H_1(W)=0$. The Smith normal form has first invariant factor $1$, because the entries have greatest common divisor $1$, and second invariant factor $1$, because the upper-left two-by-two matrix minor has determinant $1$. The last invariant factor is $18$. Hence

Orient $S^3$ as the boundary of $B^4$. Push the interior of an oriented Seifert surface $F$ slightly into $B^4$, and let $X_F$ be the double branched covering of $B^4$ over this pushed-in surface. Its boundary is the two-fold branched cover of a knot. Define the knot signature byThe signature of a possibly degenerate intersection form means the number of positive eigenvalues minus the number of negative eigenvalues; its radical contributes zero.

Here is why the definition is independent of $F$. Given two choices $F_0,F_1$, glue their branched covers along the common boundary to obtainThis is the double branched covering of $S^4$ over the closed oriented surface obtained by gluing the pushed-in $F_0$ to $-F_1$. Every closed oriented surface in $S^4$ admits a Seifert hypersurface: its complement has an integral meridional class, represent it by a map to the circle, and take a regular value. Near the surface choose the angular map in its trivial normal disk bundle. The closure of a suitable regular fiber is a compact oriented three-manifold bounding the surface. Its trivial normal framing can be chosen to match this construction.

Push the interior of this Seifert hypersurface into $B^5$. The double branched covering of $B^5$ over the resulting properly embedded three-manifold has boundary $X$. The existence of the cover follows from the meridian homomorphism to $\mathbb{Z}/2$; smoothness near the branch set is the local map $(z,u)\mapsto (z^2,u)$. By the hypothesis about boundaries of five-manifolds, $\mathrm{sign}X=0$. Novikov additivity for gluing along an entire closed three-dimensional boundary givesThus the knot signature is independent of the Seifert surface. An isotopy of the knot carries the construction to an equivalent one, so it is also a knot invariant.

To calculate its intersection form, express $F$ as a disk with $2g$ bands. The double branched covering of $B^4$ over the pushed-in disk is again $B^4$. Each band lifts to a two-handle. The capped lifted cores give a basis of $H_2(X_F;\mathbb{Z})$ corresponding to the band-core basis of $H_1(F;\mathbb{Z})$. The framing of the $i$th lifted attaching circle is $2\mathrm{lk}(a_i^{+},a_i)=2V_{ii}$. For distinct bands, the two sheets contribute the two push-off linkings $V_{ij}$ and $V_{ji}$, so the mutual linking number is $V_{ij}+V_{ji}$. HenceA different integral basis changes this matrix by matrix congruence and leaves its signature unchanged.

In Figure 7 the upper knot is a connected sum of knots $T\#T$, while the lower one is $T\#\overline{T}$, where $T$ is the positive trefoil knot. Both knot groups have the same presentationTo see this, the Seifert-van Kampen theorem expresses the knot group of a connected sum of knots as the amalgamated free product of the two summand knot groups, amalgamating their meridians of a knot. A trefoil knot has presentation $⟨a,b\mid aba=bab⟩$ with $a$ a meridian. Reflection gives the same abstract group for the mirror. If it reverses the chosen meridian, send both generators to their inverses; the inverse braid relation is again the same relation. Thus the meridian amalgamation yields the displayed group presentation in both cases.

A band basis for the positive trefoil knot giveswhose symmetrization is negative definite. Therefore $\sigma (T)=-2$ and $\sigma (\overline{T})=2$. Boundary-connected-summing Seifert surfaces makes the Seifert matrix block diagonal, so the knot signature is additive under connected sum of knots. ConsequentlyThe upper knot and lower knot are therefore not isotopic, even though their knot groups are isomorphic. With the opposite global knot signature convention the first value is $+4$, and the distinction is unchanged.

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)$.

Use completing the square rather than computing the eigenvalues of the symmetric matrix. Successively removing the mixed terms givesThus one suitable invertible linear change of coordinates isThe coordinate matrix is upper triangular with determinant one, so the change is an invertible linear map. Its inverse is $z=Z$, $y=Y+4Z/7$, $x=X-2Y+5Z/14$. Hence the diagonal coefficients can be taken as $2,-7,-3/14$. This is a matrix congruence of a quadratic form; an orthogonal transformation was not required.

True. Set $C_{ij}=A_{ki}{B}_{k\ell }{A}_{\ell j}$. Exchange $i,j$, interchange the dummy indices $k,\ell$, and use $B_{\ell k}=B_{k\ell }$:Thus the matrix congruence $A^{T}BA$ preserves symmetry, even when $A$ is singular.

Use Einstein notation, with repeated suffixes summed. The matrix multiplication and transpose giveInterchange the free indices, then relabel the dummy indices $k,\ell$:The negative sign uses $B_{k\ell }=-B_{\ell k}$. Therefore $C$ is skew-symmetric. No orthogonality of $A$ is needed for this part: matrix congruence preserves skew-symmetry.

For real matrices, orthogonal similarity is the special case $B=Q^{-1}AQ=Q^{T}AQ$ with $Q$ an orthogonal matrix. Then a symmetric matrix remains symmetric, because $B^T=Q^T{A}^{T}Q=B$. The expression $QA{Q}^T$ describes the reverse conversion and has the same property. An orthonormal basis retains the ordinary dot product formula for its coordinate vectors.

An arbitrary change of basis need not preserve entrywise symmetry. In the opening example, $A$ is a symmetric matrix but $B=\left(\begin{array}{cc}2& -3\\ 0& 5\end{array}\right)$ is not. The geometric inner product has not disappeared: in the new coordinates it is represented by the Gram matrixFor $p$ with new coordinate vector $y=(1,1{)}^T$, the squared Euclidean norm is $y^{T}Gy=5$, agreeing with $x^{T}x=2^2+1^2$. The naive coordinate sum $y^{T}y=2$ would use the wrong inner product.

If $A^T=A$, direct multiplication givesThis is self-adjointness expressed in the new inner product, rather than entrywise symmetry relative to the identity matrix. For the example, both products equal $\left(\begin{array}{cc}2& 2\\ 2& 7\end{array}\right)$. Thus arbitrary matrix similarity preserves the linear operator, while its geometric interpretation requires transforming the Gram matrix as well. Matrix congruence supplies the corresponding rule for a bilinear form and should be distinguished from matrix similarity.

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.

A bilinear form $B$ is symmetric when $B(v,w)=B(w,v)$ for every pair of vectors $v,w$. Equivalently, its matrix of a bilinear form in any basis is a symmetric matrix, since $A_{ij}=B(e_i,e_j)=B(e_j,e_i)=A_{ji}$. Symmetry makes the relation $B(v,w)=0$ reciprocal, giving the bilinear orthogonal complement a geometric interpretation.

Over the real numbers, set $q(v)=B(v,v)$. The polarization identityrecovers the symmetric bilinear form from its quadratic form: expand $q(v+w)$ and use symmetry to combine the two cross terms. For $q(x,y)=x^2-y^2$, take $v=(2,1)$ and $w=(1,3)$. Then $q(v+w)=-7$, $q(v)=3$, and $q(w)=-8$, so $B(v,w)=(-7-3+8)/2=-1=2\cdot 1-1\cdot 3$. The same formula works whenever the characteristic is not two.^[ref]

Three real diagonal matrices show how much variety symmetry allows. The identity matrix $\mathrm{diag}(1,1)$ gives the positive-definite bilinear form $q=x^2+y^2$. The matrix $\mathrm{diag}(1,-1)$ gives $q=x^2-y^2$ and is nondegenerate despite the isotropic vector $(1,1)$. The matrix $\mathrm{diag}(1,0)$ gives $q=x^2$ and is a degenerate bilinear form with radical of a bilinear form $\mathrm{span}\{(0,1)\}$. Their level sets make the distinction visible: a circle, two branches of a hyperbola, and two parallel lines for $q=1$.

The inertia of a bilinear form records the numbers of positive, negative, and zero directions after matrix congruence diagonalization. By Sylvester's law of inertia, these counts survive change of basis; the three examples have inertia of a bilinear form $(2,0,0)$, $(1,1,0)$, and $(1,0,1)$. Historically, Sylvester stated this invariance in an 1852 paper on reducing real quadratic forms to sums of positive and negative squares. Ghys and Ranicki reproduce his statement and distinguish it from his subsequent 1853 proof.^[ref]

Let $A$ and $M$ be real symmetric positive-definite matrices. The principal square root of a positive semidefinite matrix construction gives an invertible matrix for each. SetThen $Ax=b$ is equivalent to $By=c$. This is a matrix congruence, and $B$ is a symmetric positive-definite matrix: $B^T=B$, and for every nonzero vector $v$,since $S^{-1}v\ne 0$. This short proof establishes both requirements for applying the Conjugate gradient method to the transformed linear system.

The left transformed matrix has the same eigenvalues becauseIts correct geometry uses the weighted inner product $⟨u,v{⟩}_M=u^{T}Mv$: $⟨u,M^{-1}Av{⟩}_M=u^{T}Av=⟨M^{-1}Au,v{⟩}_M$. Thus it is symmetric in this inner product, even when it is not a symmetric matrix in ordinary coordinates. The spectral condition number governing the transformed symmetric problem is ${\kappa }_2(B)$, not generally ${\kappa }_2(M^{-1}A)$.

The Preconditioned conjugate gradient method realizes this transformation using auxiliary solves $M{z}_k=r_k$, without constructing $S$ or its matrix inverse. With fixed $M$, initialize $r_0=b-A{x}_0$ and $p_0=z_0$; while $r_k\ne 0$, usethen solve $M{z}_{k+1}=r_{k+1}$ and setStop at a zero linear-system residual before forming another ratio. Positive definiteness makes the denominators positive before termination.^[ref]

An invertible matrix alone is insufficient: with $A=I$ and $M=\mathrm{diag}(-1,1)$, the left transformed matrix has eigenvalues $-1,1$, and $M$ has no real symmetric positive-definite matrix square root. Even a valid symmetric positive-definite matrix can worsen conditioning if its scaling is unsuitable, as the next worked example shows.