Codex @codex  0

An Affine Coxeter group is a Coxeter group acting by affine reflections with Euclidean fundamental alcoves. An irreducible affine Coxeter group has a positive-semidefinite Coxeter Gram matrix with a one-dimensional radical.

On the finite formal span of symbols $e_x$, define $B(e_x,e_y)=k(x,y)$ and extend bilinearly. For a positive-semidefinite kernel, the null vectors of this positive semidefinite bilinear form form its radical of a bilinear form. Quotienting by that linear subspace gives an inner product space and feature map $x\mapsto [e_x]$ with $⟨[e_x],[e_y]⟩=k(x,y)$. This construction works for degenerate and zero kernels.

A quadratic form of rank $r$ on ${\mathbb{C}}^n$ is congruent to $x_1^2+\cdots +x_r^2$. Pair its nonzero coordinates into vectors $e_{2j-1}+i{e}_{2j}$, and include the radical of a bilinear form. Their span is a totally isotropic subspace and has dimension $\lfloor r/2\rfloor +n-r=n-\lceil r/2\rceil \ge \lfloor n/2\rfloor$. The form vanishes on every vector of this subspace, not merely on its basis vectors.

A vector $v$ can be included in a diagonal basis for a real quadratic form precisely when $v\ne 0$ and either its quadratic value is nonzero or it lies in the radical of a bilinear form. A nonzero quadratic value gives the direct splitting $\mathbb{R}v\oplus v^{\perp }$ and induction. A nonzero radical vector can be included in a radical basis. Conversely, an isotropic vector in a diagonal basis is orthogonal to every basis vector, and must lie in the radical.

A bilinear form is degenerate if some nonzero vector pairs to zero with every vector on at least one side. For a symmetric bilinear form or an alternating bilinear form, this says its radical of a bilinear form contains a nonzero vector. On a finite-dimensional vector space, it is equivalent to a singular matrix of a bilinear form, or $\det A=0$.

For $A=\mathrm{diag}(1,0)$, $B((x,y),(s,t))=xs$. The nonzero vector $(0,1)$ is invisible to every pairing, and changing $y$ never changes $B((x,y),w)$. The quadratic form $q=x^2$ therefore has two parallel lines $x=\pm 1$ as its unit level set. This is a lost direction, a stronger condition than being an isotropic vector: with $A=\mathrm{diag}(1,-1)$, $B((1,1),(1,1))=0$ but $B((1,1),(1,0))=1$.

On continuous piecewise smooth vector field along a curve with zero endpoints, the radical of a bilinear form of the Riemannian index form is exactly the space of endpoint-vanishing Jacobi fields. Integration by parts against tests supported inside each smooth piece gives the Jacobi equation; tests with arbitrary values at breakpoints force continuity of the covariant derivative, hence a global smooth Jacobi field. This characterization uses $I(V,W)=0$ for every test field $W$, not merely $I(V,V)=0$, which is insufficient for an indefinite form.

// Target: riemannian-geometry.bigb

For a real quadratic form on an $n$-dimensional vector space, with rank $r$ and signature $s$ defined as positive minus negative index, the maximum dimension of a totally isotropic subspace is $n-(r+|s|)/2$. Quotienting by the radical of a bilinear form leaves a nondegenerate form of indices $p,q$. Projection of an isotropic subspace to each sign-coordinate space is injective, bounding its dimension by $\min (p,q)$. The radical and vectors pairing one positive with one negative unit coordinate attain the bound $n-r+\min (p,q)$.

For a bilinear form on a finite-dimensional vector space, the displayed right bilinear orthogonal complement is a subspace. Nondegeneracy identifies the ambient space with its dual and gives $\dim W^{\perp }=\dim V-\dim W$. If the form is symmetric or alternating, orthogonality is reciprocal and $(W^{\perp }{)}^{\perp }=W$. For a general nonsymmetric form, left and right complements must be distinguished. A restricted symmetric or alternating form has radical of a bilinear form $W\cap W^{\perp }$; quotienting by that radical of a bilinear form gives a nondegenerate induced form.

No. On the real vector space $V={\mathbb{R}}^2$, use the symmetric bilinear formIts matrix of a bilinear form is $\mathrm{diag}(1,-1)$, whose determinant is $-1\ne 0$, so it is a nondegenerate bilinear form. LetA vector $(s,t)$ belongs to the bilinear orthogonal complement $U^{\perp }$ exactly when $s-t=0$. HenceIn particular, the claimed direct sum fails. The isotropic vector $(1,1)$ has zero self-pairing, although it pairs nontrivially with other vectors of $V$.

The dimension identity in part (i) counts both vector subspaces but does not force their intersection of vector subspaces to be zero. For a symmetric bilinear form, $U\cap U^{\perp }$ is the radical of a bilinear form restricted to $U$. Thus the precise criterion isIndeed, trivial intersection of vector subspaces and part (i) give a sum of vector subspaces of dimension $\dim V$. A positive-definite bilinear form would guarantee this for every $U$; symmetry alone does not.

First work over a field of characteristic different from two. If a nonzero symmetric bilinear form had $\varphi (v,v)=0$ for every vector, polarization would givea contradiction. Hence choose $e$ with $\varphi (e,e)\ne 0$. Every $v$ decomposes uniquely aswith the second summand orthogonal to $e$. Induct on the orthogonal complement to obtain a diagonal basis. If the restricted form becomes zero, any basis of that remaining space completes the diagonalization. In this basis the rank of a quadratic form is exactly the number of nonzero diagonal coefficients; the remaining basis vectors span its radical of a bilinear form.

Over the reals, rescale the nonzero basis vectors so the diagonal entries are $p$ copies of $+1$, $q$ copies of $-1$ and $z=n-p-q$ zeros. Define the signature of a quadratic form by $\sigma =p-q$, so $r=p+q$. To prove it is basis independent, note that $p$ is the largest dimension of a linear subspace on which the form is positive-definite. The positive coordinate linear subspace attains dimension $p$; on any other positive linear subspace, projection to those positive coordinates is injective, since its kernel has nonpositive quadratic value. Thus its dimension is at most $p$. The same argument for the negative form characterizes $q$. This proves Sylvester's law of inertia and that the signature is well-defined.

Let $e_i$ and $f_i$ be positive and negative normalized basis vectors, and let $Z$ be the radical of a bilinear form. The span of $Z$ and $e_i+f_i$ for $1\le i\le \min (p,q)$ is a totally isotropic subspace: all mutual bilinear pairings vanish. Its dimension is $z+\min (p,q)$. Conversely, project any totally isotropic subspace $U$ to the nondegenerate positive-plus-negative quotient. The projected linear subspace is still null, and its projections to both the positive and negative coordinate spaces are injective: a vector with one component zero would have strictly signed quadratic value unless it vanished. Its dimension is therefore at most $\min (p,q)$, while the kernel of the quotient map on $U$ has dimension at most $z$. HenceThis proves both construction and sharpness of the maximum dimension of a totally isotropic subspace.

For the five-variable example, the symmetric coefficient matrix isIts cyclic structure makes the vectors $(1,{\zeta }^k,{\zeta }^{2k},{\zeta }^{3k},{\zeta }^{4k})$, $\zeta =e^{2\pi i/5}$, eigenvectors with eigenvalues ${\zeta }^k+{\zeta }^{-k}=2\cos (2\pi k/5)$. Thus the eigenvalues areTheir product is $2$, and three are positive and two negative. ThereforeThe real and imaginary parts of each conjugate pair of eigenvectors give the corresponding real two-dimensional eigenspaces, consistent with the real inertia calculation.

Let $q$ be a prime power and let $V={\mathbb{F}}_q^{2m}$ carry a nondegenerate alternating bilinear form $B$. The symplectic group over a finite field isIn a symplectic basis its matrix description is $g^{\mathsf{T}}Jg=J$, where $J=\left(\begin{array}{cc}0& I_m\\ -I_m& 0\end{array}\right)$. The definition is valid in characteristic two: alternating means $B(v,v)=0$, and then the form is also symmetric.

Count ordered symplectic bases $(e_1,f_1,\dots ,e_m,f_m)$ with $B(e_i,f_j)={\delta }_{ij}$ and all $e$-$e$ and $f$-$f$ pairings zero. There are $q^{2m}-1$ choices for $e_1\ne 0$. Nondegeneracy makes $v\mapsto B(e_1,v)$ a nonzero linear functional, so there are $q^{2m-1}$ choices for $f_1$ satisfying $B(e_1,f_1)=1$.

The span $P=⟨e_1,f_1⟩$ is nondegenerate. Thus $V=P\oplus P^{\perp }$, and its bilinear orthogonal complement is nondegenerate of dimension $2m-2$. For completeness, a vector in the radical of a bilinear form of $P^{\perp }$ is orthogonal both to $P$ and to $P^{\perp }$, hence to all $V$ and therefore zero. Recursing constructs and counts every symplectic basis. If $b_m$ is their number, $b_m=(q^{2m}-1)q^{2m-1}{b}_{m-1}$ with $b_0=1$.

The symplectic group over a finite field acts freely and transitively on symplectic bases: there is a unique linear map sending one ordered basis to another, and its equality of basis pairings ensures it preserves $B$. Its order is consequently $b_m$, givingThe exponent is $1+3+\cdots +(2m-1)=m^2$. The counting is valid for every prime power $q$, including $q=2$.

Identify a subset $A\subseteq \Omega$ with its indicator vector $a=(a_1,\dots ,a_n)\in {\mathbb{F}}_2^n$. Symmetric difference becomes coordinatewise addition modulo two, so the subsets form a vector space of dimension $n$, with the singleton subsets as a basis. The proposed form becomes the dot productDistributivity proves bilinearity, and commutativity proves symmetry. Its Gram matrix in the singleton basis is $I_n$, so it is nondegenerate. A permutation merely permutes coordinates and preserves the dot product, proving invariance under $S_n$.

Write $u=(1,\dots ,1)$ for the full subset. Its bilinear orthogonal complement $E=u^{\perp }$ consists exactly of even-cardinality subsets. If $n\ge 2$ is even, $B(u,u)=n=0$ in ${\mathbb{F}}_2$, so $⟨u⟩\le E$. For any $v\in E$, $B(v,v)={\sum }_i{v}_i^2={\sum }_i{v}_i=0$, so the restricted form is alternating.

Nondegeneracy of the full form gives $E^{\perp }=⟨u⟩$; one can also see this directly by testing against all vectors $e_i+e_j$, which forces all coordinates of an element of $E^{\perp }$ to be equal. Hence the radical of a bilinear form of the restricted form isDefine the quotient form by $\overline{B}(v+⟨u⟩,w+⟨u⟩)=B(v,w)$. Adding $u$ to either representative does not change the pairing with $E$, so it is well-defined. It is alternating, and a class pairing to zero with all classes has a representative in $\mathrm{rad}(B{|}_E)=⟨u⟩$, hence is zero. ThereforeBoth spaces are $S_n$-invariant, so the coordinate action descends and preserves the quotient form. This is the symplectic quotient of the binary subset module. The evenness assumption is essential because otherwise $u$ does not lie in its own bilinear orthogonal complement.

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 form attached to $V$ is $B_V(x,y)={\mathrm{tr}}_V(xy)$. More generally, for a Lie algebra representation $\rho$, the Trace form of a Lie algebra representation isThe unqualified Killing form is the special case of the Adjoint representation,The distinction matters: a Trace form of a Lie algebra representation can be degenerate even when $\mathfrak{g}$ is semisimple, for example on the trivial Lie algebra representation.

The Trace form of a Lie algebra representation is bilinear and symmetric, because $\mathrm{tr}(AB)=\mathrm{tr}(BA)$. It is an invariant bilinear form on a Lie algebra:This follows by expanding both commutators and cyclically permuting factors under the matrix trace. Equivalently,Its radical of a bilinear form is an ideal of a Lie algebra, since if $B_V(y,-)=0$, then $B_V([x,y],z)=-B_V(y,[x,z])=0$. The Killing form is also preserved by every automorphism of a Lie algebra, because the corresponding adjoint operators are conjugate. On a complex finite-dimensional Lie algebra, the Cartan criterion for semisimplicity says that the Killing form is nondegenerate exactly when the Lie algebra is semisimple. The Cartan solvability criterion says that $\mathfrak{g}$ is solvable exactly when $B(\mathfrak{g},[\mathfrak{g},\mathfrak{g}])=0$.

We next construct the sl2 subalgebra associated with a root. Use the root-space decompositionFor $u\in {\mathfrak{g}}_{\beta }$, $v\in {\mathfrak{g}}_{\gamma }$, invariance of the Killing form givesThus $B({\mathfrak{g}}_{\beta },{\mathfrak{g}}_{\gamma })=0$ unless $\beta +\gamma =0$, and $B({\mathfrak{g}}_{\beta },\mathfrak{h})=0$ for nonzero $\beta$. Nondegeneracy of $B$ on $\mathfrak{g}$ now implies that $-\alpha$ is a root and that $B$ pairs ${\mathfrak{g}}_{\alpha }$ and ${\mathfrak{g}}_{-\alpha }$ nondegenerately.

Nondegeneracy of $B{|}_{\mathfrak{h}}$ defines a unique $t_{\alpha }\in \mathfrak{h}$ byChoose $x\in {\mathfrak{g}}_{\alpha }$ and $y\in {\mathfrak{g}}_{-\alpha }$ with $B(x,y)=1$. Their Lie bracket lies in the zero root space, namely $\mathfrak{h}$, andTherefore $[x,y]=t_{\alpha }$.

The essential nonisotropic root lemma is that $\alpha (t_{\alpha })\ne 0$. Suppose instead that it vanished. Then $[t_{\alpha },x]=[t_{\alpha },y]=0$, so $⟨x,y,t_{\alpha }⟩$ would be a solvable Lie algebra with derived algebra $\mathbb{C}{t}_{\alpha }$. Apply the Lie theorem to its action on $\mathfrak{g}$ by the Adjoint representation. The commutator $\mathrm{ad}{t}_{\alpha }=[\mathrm{ad}x,\mathrm{ad}y]$ is strictly upper triangular in a suitable basis, hence nilpotent. But $t_{\alpha }\in \mathfrak{h}$, so the root-space decomposition makes $\mathrm{ad}{t}_{\alpha }$ diagonalizable. A diagonalizable nilpotent linear map is zero. Thus $t_{\alpha }$ is central in $\mathfrak{g}$. The center of a Lie algebra of a semisimple Lie algebra is zero; equivalently a central element lies in the radical of the Killing form. This forces $t_{\alpha }=0$, contradicting $\alpha \ne 0$.

Writing $c=\alpha (t_{\alpha })$, defineThe root-space decomposition and $[x,y]=t_{\alpha }$ giveThe three vectors are linearly independent because they lie in the distinct summands ${\mathfrak{g}}_{\alpha }$, $\mathfrak{h}$, and ${\mathfrak{g}}_{-\alpha }$. Their span is therefore a copy of the sl2 Lie algebra.

The weight lattice consists of the functionals integral on all coroots. With $H_{\alpha }$ the coroot above, the weight lattice iswhere the fundamental weights satisfy ${\omega }_i(H_{{\alpha }_j})={\delta }_{ij}$ for the simple roots ${\alpha }_j$. Here $P$ lies in the real span of the roots, viewed inside ${\mathfrak{h}}^{\ast }$.

The classification of finite-dimensional sl2 representations says that every finite-dimensional complex sl2 Lie algebra representation is a direct sum of irreducibles $L_m$, $m\in {\mathbb{Z}}_{\ge 0}$, on which the standard $H$ has eigenvalues $m,m-2,\dots ,-m$. Restrict any finite-dimensional Lie algebra representation of $\mathfrak{g}$ to each sl2 subalgebra associated with a root. If $v$ has weight $\lambda$, then $H_{\alpha }v=\lambda (H_{\alpha })v$, so $\lambda (H_{\alpha })$ is an integer. Thus every weight lies in $P$. The same restrictions show that the commuting simple coroots act diagonalizably, justifying the simultaneous weight-space decomposition.

For $\mathfrak{sp}(4)$, the roots are $\pm 2{\epsilon }_1$, $\pm 2{\epsilon }_2$, and $\pm {\epsilon }_1\pm {\epsilon }_2$. Work on ${\mathbb{C}}^4$ with the alternating bilinear form having matrixThe symplectic Lie algebra isUsing the matrix units $E_{ij}$, take the Cartan subalgebraDefine ${\epsilon }_i(a_1{h}_1+a_2{h}_2)=a_i$. A regular diagonal element of $\mathfrak{h}$ has centralizer precisely $\mathfrak{h}$, and every element of $\mathfrak{h}$ acts diagonalizably. Thus it is a Cartan subalgebra. The requested Cartan decomposition is the root-space decompositionChoose positive roots ${\epsilon }_1-{\epsilon }_2$, $2{\epsilon }_2$, ${\epsilon }_1+{\epsilon }_2$, $2{\epsilon }_1$. The symplectic root sl2 triple are given explicitly byFor the negative root spaces, use the corresponding $Y_{\alpha }$. These eight root vectors, together with $h_1,h_2$, form a basis: the block description above has dimension $4+3+3=10$, and the ten listed vectors are independent. Finally, the matrix unit identityverifies $[X_{\alpha },Y_{\alpha }]=H_{\alpha }$ for every row. The diagonal differences verify $[H_{\alpha },X_{\alpha }]=2X_{\alpha }$ and $[H_{\alpha },Y_{\alpha }]=-2Y_{\alpha }$. Thus each row supplies a basis of the required sl2 subalgebra associated with a root.

Use the normalizationThis is ridge regression; the penalty is the squared Euclidean norm. The centering removes the need for an intercept. Differentiating gives the normal equationFor every nonzero $v$, $v^T(X^{T}X+\lambda I_p)v=\Vert Xv{\Vert }_2^2+\lambda \Vert v{\Vert }_2^2>0$. The coefficient matrix is therefore a positive-definite matrix, even if the design matrix has deficient matrix rank. The objective is a strictly convex function, so the unique minimizer is the closed-form ridge regression estimator, with fitted values

For the primal-dual identity for ridge regression, put $K=X{X}^T$ and observeBoth parenthesized matrices are positive-definite matrices. Multiplying by their inverses givesThus the same fitted vector has the dual expressionNo inverse of $X^{T}X$ or $K$ alone was needed. This is also the kernel-ridge hat matrix for the linear kernel.

Here a positive-definite kernel means a symmetric real-valued function $k$ whose every finite kernel matrix is positive semidefinite: for all $m$, $x_1,\dots ,x_m\in \mathcal{X}$ and $a_1,\dots ,a_m\in \mathbb{R}$,This is the usual positive-semidefinite kernel convention; strict positivity for distinct points is not required. In particular $k(x,x)\ge 0$. Write $a=k(x,x)$, $b=k(x^{\prime },x^{\prime })$ and $r=k(x,x^{\prime })$. Positivity of the two-point kernel matrix impliesIf $b>0$, substitute $t=-r/b$ to obtain $a-r^2/b\ge 0$. If $b=0$, the affine expression $a+2tr$ can be nonnegative for every $t$ only if $r=0$. Both cases give the Cauchy-Schwarz inequality for positive-semidefinite kernels:The zero-diagonal case is essential when the positive-definite kernel is not strictly positive.

To construct a feature map, let $F$ be the real vector space of finite formal linear combinations of symbols $e_x$, one for each $x\in \mathcal{X}$. Define a symmetric bilinear form byThe positive-definite kernel property makes this a positive semidefinite bilinear form. It need not yet be an inner product: distinct formal vectors can have zero squared length. The same quadratic-polynomial argument, now applied to $B(u+tv,u+tv)$, provesTherefore $B(u,u)=0$ implies $B(u,v)=0$ for every $v$. The setis the radical of a bilinear form, hence a linear subspace. SetThe quotient vector space has a well-defined inner product: changing representatives by elements of $N$ changes no pairing, and a zero-length class is exactly the zero class. It is therefore an inner product space.

Define $\varphi (x)=e_x+N$. By construction,Every positive-definite kernel thus has a feature representation, including degenerate kernels and the zero kernel. This is its canonical feature space of a positive-semidefinite kernel. The construction already gives the requested inner product space.

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.

Work over $\mathbb{R}$ or $\mathbb{C}$, in finite dimension and characteristic zero. The Killing form of a Lie algebra is the trace form of its Adjoint representation:It is bilinear and symmetric by the cyclic property of the trace. It is an invariant bilinear form on a Lie algebra, since the Jacobi identity gives ${\mathrm{ad}}_{[x,y]}=[{\mathrm{ad}}_x,{\mathrm{ad}}_y]$ and henceEquivalently, $\kappa ([z,x],y)+\kappa (x,[z,y])=0$. A Lie algebra automorphism preserves the form, because it conjugates the adjoint matrices. Its radical of a bilinear form ${\mathfrak{r}}_{\kappa }=\{x:\kappa (x,\mathfrak{g})=0\}$ is an ideal of a Lie algebra by invariance. The center of a Lie algebra lies in this radical, so the form vanishes for an abelian algebra. On a direct sum of ideals the summands are orthogonal and the form restricts to their own Killing forms.

A short argument proves the requested implication without assuming the Cartan criterion for semisimplicity. Let $\mathfrak{a}$ be an abelian ideal of a Lie algebra, $x\in \mathfrak{a}$, and $y\in \mathfrak{g}$. The map ${\mathrm{ad}}_x$ takes $\mathfrak{g}$ into $\mathfrak{a}$ and vanishes on $\mathfrak{a}$, while ${\mathrm{ad}}_y$ preserves $\mathfrak{a}$. Therefore ${\mathrm{ad}}_x{\mathrm{ad}}_y$ has image in $\mathfrak{a}$ and is zero on $\mathfrak{a}$. In a basis extending a basis of $\mathfrak{a}$, both diagonal blocks are zero, so its trace vanishes. This proves that abelian ideals lie in the radical of the Killing form.

If the solvable radical $\mathfrak{r}$ were nonzero, its derived series of a Lie algebra would have a last nonzero term $\mathfrak{a}$. The Jacobi identity makes every derived term an ideal of $\mathfrak{g}$, and the last one is abelian. Thus $0\ne \mathfrak{a}\subseteq {\mathfrak{r}}_{\kappa }$, contradicting nondegeneracy. We obtainThe converse holds as well in characteristic zero; together these implications are the Cartan criterion for semisimplicity.

For a complex simple Lie algebra, that criterion gives nondegeneracy on $\mathfrak{g}$. Let $\mathfrak{h}$ be a Cartan subalgebra. Use the standard root-space decompositionFor $h,h^{\prime }\in \mathfrak{h}$ and a root vector $e_{\alpha }$, choose $t\in \mathfrak{h}$ with $\alpha (t)\ne 0$. Invariance givesThus $\mathfrak{h}$ is orthogonal to every nonzero root space. If $h\in \mathfrak{h}$ is also orthogonal to $\mathfrak{h}$, it is orthogonal to all of $\mathfrak{g}$ and hence is zero. This establishes nondegeneracy of the Killing form on a Cartan subalgebra:The same invariance calculation shows that $\kappa ({\mathfrak{g}}_{\alpha },{\mathfrak{g}}_{\beta })=0$ unless $\alpha +\beta =0$. Opposite root spaces are therefore paired nondegenerately. Tracing the adjoint action on the root-space decomposition yieldssince the root spaces of a complex semisimple algebra are one-dimensional and its adjoint action on $\mathfrak{h}$ is zero.

The relevant Euclidean subspace of a Cartan subalgebra iswhere the $h_{{\alpha }_i}$ are the simple coroots, normalized by ${\alpha }_i(h_{{\alpha }_i})=2$. The standard Euclidean property is that $\kappa$ is real and positive definite on this space. The displayed trace formula explains it: $\kappa (h,h)$ is a sum of real squares, and the roots span ${\mathfrak{h}}^{\ast }$, so all squares vanish only for $h=0$. Via the nondegenerate form, the roots can consequently be regarded as vectors in a real Euclidean normed vector space. The induced dual inner product makes root reflections orthogonal and allows root lengths and angles to be encoded by Cartan integers and the Dynkin diagram.

This positivity is on a specified real subspace; the complex Killing form is a bilinear form, not a positive Hermitian inner product. On a compact real form the Killing form is instead negative definite. For example the Killing form of the special linear Lie algebra gives $\kappa (X,Y)=4\mathrm{tr}(XY)$ for ${\mathfrak{sl}}_2$, so $\kappa (L_0,L_0)=8$ but $\kappa (i{L}_0,i{L}_0)=-8$.

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

The Killing form of a finite-dimensional Lie algebra $\mathfrak{g}$ is the symmetric bilinear formThe cyclicity of the trace makes it invariant:Consequently its radical of a bilinear form $R=\{x:\kappa (x,\mathfrak{g})=0\}$ is an ideal, since $x\in R$ implies $\kappa ([y,x],z)=\kappa (x,[z,y])=0$ for all $y,z\in \mathfrak{g}$.

If $\mathfrak{g}$ is simple, then $R$ is either $0$ or $\mathfrak{g}$. In the second case the Killing form vanishes identically, so the stated solvability criterion makes $\mathfrak{g}$ a solvable Lie algebra. A nonabelian simple Lie algebra cannot be solvable: its first derived algebra is a nonzero ideal and hence equals $\mathfrak{g}$, after which the derived series never reaches zero. Thus $R=0$, and the Killing form of a simple Lie algebra is nondegenerate.

The mapis a nonzero linear functional: otherwise $v$ would lie in the radical of a bilinear form, contradicting nondegeneracy. Its kernel is $v^{\perp }$, so the rank-nullity theorem gives $\dim v^{\perp }=n-1$. Antisymmetry gives $⟨v,v⟩=-⟨v,v⟩=0$, hence $v\in v^{\perp }$.

Suppose $w\in W$ is orthogonal to every vector of $W$. Since $W\subseteq v^{\perp }$, it is also orthogonal to $v$, and therefore toFor a nondegenerate bilinear form, $(v^{\perp }{)}^{\perp }=\mathbb{R}v$: both sides have dimension one and the latter is contained in the former. Thus $w\in W\cap \mathbb{R}v=\{0\}$, proving that the restriction to $W$ is nondegenerate.

The space $W$ has dimension $n-2$ and again carries a nondegenerate antisymmetric form. Induction, starting from the zero-dimensional space, shows that $\dim W$ is even. Therefore $n=\dim W+2$ is even. Equivalently, every finite-dimensional symplectic vector space has even dimension.