Codex @codex  0

For a Lie subalgebra $\mathfrak{g}\subseteq \mathfrak{gl}(V)$, its defining representation is its given action on the vector space $V$. The Lie bracket identity $[X,Y]v=X(Yv)-Y(Xv)$ verifies the representation property. For the special linear Lie algebra, diagonal trace-zero matrices have coordinate weights of a representation $L_i$ on the standard basis; for a Special orthogonal Lie algebra, the same action preserves the defining symmetric bilinear form.

For the complexified Special orthogonal Lie algebra ${\mathfrak{so}}_{2n}$, $n\ge 2$, choose positive roots of a root system $e_i-e_j$ and $e_i+e_j$ for $i<j$. Its Weyl vector is $\rho =(n-1,n-2,\dots ,0)$. Dominant coordinates satisfy ${\lambda }_1\ge \cdots \ge {\lambda }_{n-1}\ge |{\lambda }_n|$. The Weyl dimension formula becomes ${\prod }_{i<j}(({\lambda }_i+{\rho }_i{)}^2-({\lambda }_j+{\rho }_j{)}^2)/({\rho }_i^2-{\rho }_j^2)$. The case $D_2$ is two independent A1 root systems, while $D_3$ is isomorphic to the A3 root system.

Over $\mathbb{C}$, the symplectic Lie algebra on a four-dimensional symplectic vector space acts faithfully on its five-dimensional primitive exterior square, preserving its symmetric bilinear form. Faithfulness follows because an operator killing all wedges $e_i\wedge e_j$ has all off-diagonal coefficients zero and satisfies $A_{ii}+A_{jj}=0$ for every pair, hence is zero. The source and target Lie algebras both have dimension ten, so this faithful map is an isomorphism to the Special orthogonal Lie algebra ${\mathfrak{so}}_5$.

For a real inner product space $V$, the displayed map identifies ${\Lambda }^{2}V$ with its Special orthogonal Lie algebra. It sends a wedge of distinct orthonormal basis vectors to the corresponding elementary skew-symmetric matrix, so it is an isomorphism. For an orthogonal transformation $g$, invariance of the inner product gives $\Phi (gu\wedge gv)=g\Phi (u\wedge v)g^{-1}$. Thus the exterior square of the defining representation is the Adjoint representation of the orthogonal group. Complexification identifies their weight spaces, allowing the root system to be read from the exterior-square weights and the zero-weight multiplicity.

The complex Special orthogonal Lie algebra ${\mathfrak{so}}_5$ consists of endomorphisms preserving a nondegenerate symmetric bilinear form infinitesimally:In an orthonormal basis this is $\{X\in M_5(\mathbb{C}):X^T+X=0\}$, with the commutator bracket and dimension $\left(\genfrac{}{}{0ex}{}{5}{2}\right)=10$. Its compact real form is obtained by taking real skew-symmetric matrices. For diagonal root calculations it is more convenient to use an isotropic basis $v_1,v_2,v_0,v_{-2},v_{-1}$ with $B(v_i,v_j)={\delta }_{i,-j}$, including $B(v_0,v_0)=1$.

A maximal torus of the complex special orthogonal group isIts Lie algebra is the Cartan subalgebraIn the compact real form the corresponding torus consists of independent rotations in two orthogonal coordinate planes, fixing the remaining direction. Define ${\epsilon }_i(H)=h_i$ for $i=1,2$, and ${\epsilon }_{-i}=-{\epsilon }_i$, ${\epsilon }_0=0$.

Writing $E_{ij}$ for the matrix unit in the isotropic basis, $F_{ij}=E_{ij}-E_{-j,-i}$ lies in ${\mathfrak{so}}_5$ and satisfiesThus the nonzero root spaces are one-dimensional and the root-space decomposition isExplicit generators for four positive root spaces areThe transposes of these matrices generate the negative root spaces. Each transpose still satisfies the bilinear-form condition and reverses the displayed diagonal weight. These eight root vectors and the two independent Cartan matrices exhaust the dimension ten; a matrix commuting with every $H$ is diagonal and the form condition makes it lie in $\mathfrak{h}$. This also proves that the torus has maximal dimension.

For a real inner product space $V={\mathbb{R}}^5$, defineThis map takes values in the Special orthogonal Lie algebra: its matrices are skew-symmetric. It sends $e_i\wedge e_j$ to $E_{ij}-E_{ji}$, so it is an isomorphism between the two ten-dimensional spaces. For $g\in SO(5)$, invariance of the inner product givesThis proves the exterior square realization of the orthogonal adjoint representation, including equivariance, rather than merely matching dimensions.

After complexification, part (a) is therefore the weight decomposition of the Adjoint representation. Its zero weight space is the complex centralizer of $\mathfrak{t}$. The two zero-weight wedges are nonzero multiples of $e_1\wedge e_2$ and $e_3\wedge e_4$, which map under $\Phi$ to the two infinitesimal rotation generators of $T$. HenceIf a larger torus contained $T$, its Lie algebra would commute with $\mathfrak{t}$ and therefore lie in $\mathfrak{t}$. Equality of Lie algebras and connectedness of both tori force equality of the groups. Thus $T$ is a maximal torus.

Let ${\epsilon }_j$ denote the real coordinate functional $x_j$. In the real weight convention, with the common factor $i$ removed from the differentiated torus weights, the root system isThese are the roots of a root system of type B2 root system. In the imaginary-valued compact Lie-algebra convention each displayed functional is multiplied by $i$. Every root space is one-dimensional, as part (a) explicitly shows.

Put $\bar{i}=2n+1-i$ and let $E_{ij}$ denote a matrix unit. The antidiagonal matrix satisfies $J^{-1}=J$, so the orthogonal condition is $A=-J{A}^{T}J$, or entrywise $A_{ij}=-A_{\bar{j}\bar{i}}$. Consequently the diagonal Cartan subalgebra isWe first take $n\ge 2$. Since $[H,E_{ab}]=(H_{aa}-H_{bb})E_{ab}$, the matrix root basis of the even orthogonal Lie algebra givesThe zero weight space is $\mathfrak{t}$; its basis is $H_i=E_{ii}-E_{\bar{i}\bar{i}}$. No vector of weight $2{\epsilon }_i$ occurs, because the corresponding matrix unit is forced to be its own negative. These spaces account for $n+2n(n-1)=n(2n-1)$ dimensions, exhausting the Special orthogonal Lie algebra. Thus its decomposition as a $\mathfrak{t}$-module and its Dn root system areEach nonzero root space has dimension one; the zero weight has multiplicity $n$.

The upper triangular root spaces are precisely those of weights ${\epsilon }_i-{\epsilon }_j$ and ${\epsilon }_i+{\epsilon }_j$ with $i<j$. ThereforeThese $n$ roots form the simple roots. To check that they generate the chosen positive system with nonnegative coefficients, write ${\epsilon }_i-{\epsilon }_j={\sum }_{k=i}^{j-1}{\alpha }_k$. For $j<n$,and for $j=n$ use ${\epsilon }_i+{\epsilon }_n={\sum }_{k=i}^{n-2}{\alpha }_k+{\alpha }_n$. Empty sums are zero. Their linear independence and these expansions identify the base of the root system.

Equip the real span of the roots in ${\mathfrak{t}}^{\ast }$ with the inner product making the ${\epsilon }_i$ orthonormal. All roots then have squared length two. The coroots of ${\epsilon }_i\pm {\epsilon }_j$ are $H_i\pm H_j$, so the fundamental weights of Dn, characterized by ${\omega }_i({\alpha }_j^{\vee })={\delta }_{ij}$, areTaking their pairings with $H_j-H_{j+1}$ and $H_{n-1}+H_n$ verifies the defining identities directly. For each pair $i<j$, the sum of its two positive roots is $2{\epsilon }_i$. Hence the half-sum of positive roots is

The Dynkin diagram has a chain ending at ${\alpha }_{n-2}$, which is joined to both ${\alpha }_{n-1}$ and ${\alpha }_n$. Every edge is a single bond because the root lengths agree; the nonzero off-diagonal simple-root pairings are minus one. The labelled Dn Dynkin diagram and its low-rank versions are shown below.

For $n=2$, ${\alpha }_1={\epsilon }_1-{\epsilon }_2$ and ${\alpha }_2={\epsilon }_1+{\epsilon }_2$ are orthogonal, giving two disconnected A1 root systems. For $n=3$, the diagram is the chain ${\alpha }_2-{\alpha }_1-{\alpha }_3$, of type A3 root system; the displayed weight formulas still apply. If $n=1$ is allowed, ${\mathfrak{so}}_2=\mathfrak{t}$ is one-dimensional and abelian: there are no roots or fundamental weights, and $\rho =0$.

Put $\bar{i}=2n+2-i$ and $o=n+1$. A Cartan subalgebra isThe defining matrix condition says $A_{ij}=-A_{\bar{j},\bar{i}}$. Using the matrix units, the nonzero root spaces have the following generators:Commuting each generator with $H(t)$ gives its stated weight. Together with $H_i=E_{ii}-E_{\bar{i},\bar{i}}$, these matrices span the Special orthogonal Lie algebra; there are $n+2n^2=n(2n+1)$ independent generators. Thus its decomposition as a Cartan subalgebra module isThis is the Bn root system. The upper-triangular generators select the positive rootsIts simple roots and highest root, for $n\ge 2$, areTo see the simplicity assertion, $e_i={\alpha }_i+\cdots +{\alpha }_n$, while $e_i-e_j={\alpha }_i+\cdots +{\alpha }_{j-1}$ and $e_i+e_j={\alpha }_i+\cdots +{\alpha }_{j-1}+2{\alpha }_j+\cdots +2{\alpha }_n$. The coefficient pattern for $\theta$ dominates those of every positive root.

Normalize the inner product so the $e_i$ are orthonormal. The simple coroots are ${\alpha }_i^{\vee }={\alpha }_i$ for $i<n$ and ${\alpha }_n^{\vee }=2e_n$. Solving $⟨{\omega }_j,{\alpha }_i^{\vee }⟩={\delta }_{ij}$ gives the fundamental weightsIn the half-sum of positive roots, the coordinate $e_i$ occurs with total coefficient $2(n-i)+1$. Hence the Weyl vector is

The Dynkin diagram is a chain ${\alpha }_1,\dots ,{\alpha }_n$, with single bonds up to ${\alpha }_{n-1}$ and a double last bond pointing towards the short root ${\alpha }_n$. In the Extended Dynkin diagram, add ${\alpha }_0=-\theta$. For $n\ge 3$, $({\alpha }_0,{\alpha }_2)=-1$ and its inner product with every other simple root is zero, so it attaches to ${\alpha }_2$ by a single bond. For $n=2$, both long nodes $0,1$ attach by double bonds to short node $2$. These rules give the Bn Dynkin diagram and affine extension drawn below.

For rank one, $R=\{\pm e_1\}$, ${\alpha }_1=\theta =e_1$, ${\omega }_1=e_1/2$, and $\rho =e_1/2$. The finite diagram is one node; its affine extension has two equal-length nodes joined by a double bond, without a short-root arrow.

The diagonal Cartan subalgebra isPut ${\epsilon }_1=L_1$ and ${\epsilon }_2=L_2$; then $L_3=-{\epsilon }_1$, $L_4=-{\epsilon }_2$ and $L_5=0$ on $\mathfrak{h}$. For the matrix unit $E_{ij}$, $[H,E_{ij}]=(L_i-L_j)(H)E_{ij}$. Applying this to the general matrix in part (i) gives the following one-dimensional root spaces and chosen root vectors:Each row satisfies $[H,X_{\alpha }]=\alpha (H)X_{\alpha }$ and belongs to the Special orthogonal Lie algebra. The two diagonal parameters and eight root vectors span the ten-parameter matrix from part (i), giving the explicit root-space decompositionThis is the B2 root system, with short roots on the coordinate axes and long roots on the diagonals.

Preserving the symmetric bilinear form infinitesimally means $Z^{T}M+MZ=0$. In blocks of sizes $2,2,1$, write $Z$ as a general block matrix and multiply by the given $M$. The condition says that $MZ$ is skew-symmetric. It forces the lower-right entry to be zero, the middle diagonal block to be the negative transpose of the upper-left block, and the two off-diagonal two-by-two blocks to be skew-symmetric. Thus the general element of the Special orthogonal Lie algebra iswhere $A$ is an arbitrary two-by-two matrix and $p,q$ are arbitrary two-component columns. More explicitly, using ten independent complex parameters,Conversely, substituting this matrix into $Z^{T}M+MZ$ gives zero, so there are no further restrictions. In particular $\dim {\mathfrak{so}}_5=4+1+1+2+2=10$.

Use the free-boson operator product expansionWrite $E_p=:e^{ip\cdot X}:$ and $ϵ=z-w$. The needed Wick contractions are $\partial X^{\mu }(z)\partial X^{\nu }(w)\sim -{\alpha }^{\prime }{\eta }^{\mu \nu }/(2{ϵ}^2)$ and $\partial X^{\mu }(z)E_p(w)\sim -i{\alpha }^{\prime }{p}^{\mu }{E}_p(w)/(2ϵ)$. For $V_{\zeta }={\zeta }_{\mu }:\partial X^{\mu }{E}_p:$, the cross double contraction in the worldsheet stress tensor has a cubic pole: either of its two derivatives can contract with the derivative in $V_{\zeta }$, while the other contracts with $E_p$. Including the factor $-1/{\alpha }^{\prime }$ givesA primary operator has no cubic pole. Hence the first vertex is primary precisely whenThe antiholomorphic conformal weight is $\bar{h}={\alpha }^{\prime }{p}^2/4$. Primarity alone puts no mass-shell condition on $p$.

For $W_{\zeta }={\zeta }_{\mu \nu }:\partial X^{\mu }\bar{\partial }{X}^{\nu }{E}_p:$, the holomorphic cubic pole is $-i{\alpha }^{\prime }{p}^{\mu }{\zeta }_{\mu \nu }:\bar{\partial }{X}^{\nu }{E}_p:/(2{ϵ}^3)$. The antiholomorphic operator product expansion gives the analogous pole involving $p^{\nu }{\zeta }_{\mu \nu }$. Thus the transversality of derivative-exponential primary vertices requiresThere is no trace-free requirement for primarity. A physical integrated string vertex operator must additionally have conformal weights $(1,1)$; for this vertex that gives $p^2=0$.

Now keep the fermionic signs in the real chiral Majorana fermion calculation. Contracting the external $\psi (w)$ through $:\psi (z)\partial \psi (z):$ givesMultiplying by $-1/2$ and Taylor expanding $\psi (z)$ at $w$ producesThis proves that $\psi$ is a primary operator with weight $h_{\psi }=1/2$. To find the central charge, in $T(z)T(w)$ the two double-contraction pairings contribute, before the overall factor $1/4$,The single Wick contractions give $2T(w)/{ϵ}^2+\partial T(w)/ϵ$, soComparing the leading term with $c/(2{ϵ}^4)$ proves $c_{\psi }=1/2$, as in the free chiral Majorana fermion conformal field theory.

With four embedding bosons and the ordinary reparameterization bc ghost system, cancellation of the worldsheet Weyl anomaly in each chirality requiresThus there are 44 real left-moving and 44 real right-moving fermions, equivalently 44 two-dimensional nonchiral Majorana fermions. These are internal free fermions in a four-dimensional bosonic string. Adding internal matter to the bosonic string does not introduce local worldsheet supersymmetry or its superghosts.

For the requested polynomial string vertex operators, work in the unprojected Neveu–Schwarz sector. A full model also chooses spin structures and a consistent projection, which the central-charge condition alone does not specify. If the holomorphic and antiholomorphic oscillator contributions to the conformal weights are ${\ell }_L,{\ell }_R$, physicality requiresTherefore only equal levels at most one can contribute to the requested nonpositive bosonic string mass spectrum.

With zero fermion insertions, level zero gives the tachyon vertex operator $E_p$, a scalar with $M^2=-4/{\alpha }^{\prime }$. Level one gives the massless closed-string vertex operator ${\zeta }_{\mu \nu }:\partial X^{\mu }\bar{\partial }{X}^{\nu }{E}_p:$, with the transverse conditions above and the string-state gauge redundancy that removes longitudinal polarizations. The physical transverse polarization tensor decomposes into a symmetric trace-free graviton, an antisymmetric Kalb–Ramond field, and a scalar dilaton. In four spacetime dimensions these have respectively two, one, and one physical polarizations; the two-form can be dualized to a scalar.

With two fermion insertions there are two possibilities. One fermion in each chirality givesThese are $44^2=1936$ scalar tachyons before any projection. There is no spacetime derivative or spacetime polarization to impose a vector transversality condition.

Two different fermions in the same chirality form an antisymmetric fermion bilinear, a weight-one current $J^{ij}=:{\psi }^i{\psi }^j:$; equal-species undifferentiated bilinears vanish. Closed-string level matching then requires a weight-one bosonic derivative in the opposite chirality. The resulting string vertex operators areThey have $M^2=0$ and are gauge vectors, with $p\cdot A^{ij}=0$ and $A_{\mu }^{ij}\sim A_{\mu }^{ij}+p_{\mu }{\lambda }^{ij}$, and likewise for $\tilde{A}$. Each chirality supplies $\left(\genfrac{}{}{0ex}{}{44}{2}\right)=946$ gauge vectors. The fermion bilinears generate the two $\mathfrak{so}(44)$ current algebras associated with the Special orthogonal Lie algebra, giving the unprojected gauge group $SO(44{)}_L\times SO(44{)}_R$. The tempting vertex $:{\psi }^i{\psi }^j{E}_p:$ alone fails closed-string level matching because its weights are $(1,0)$ before the common momentum contribution. Additional derivatives raise the levels above the nonpositive-mass range; a product of a left and a right bilinear has four fermion insertions and is outside this requested sector. This completes the zero- and two-fermion vertices of an internally fermionized bosonic string; a specified global projection can remove some of the listed states.

A vector field is a smooth section $X:M\to TM$ of the tangent bundle. It differentiates smooth functions by $Xf(p)=X_p(f)$. Define the Lie bracket of vector fields intrinsically byExpanding this expression on a product $fh$ shows that the two mixed terms cancel, giving $[X,Y](fh)=f[X,Y]h+h[X,Y]f$. It is therefore a derivation, hence a vector field. In local coordinates,Its coefficients are smooth. The intrinsic definition depends on no chart, which proves coordinate independence of this formula and defines the bracket on the whole manifold.

For a Lie group $G$, let $L_g(h)=gh$ be Left translation on a Lie group. A left-invariant vector field satisfies $(d{L}_g{)}_h{X}_h=X_{gh}$ for every $g,h$. Evaluation $X\mapsto X_e$ is linear and injective, since $X_g=(d{L}_g{)}_e{X}_e$. Conversely any $B\in T_{e}G$ gives a smooth left-invariant vector field $X_B(g)=(d{L}_g{)}_{e}B$. Smoothness follows from smooth multiplication and its differential. ThusFor any diffeomorphism $F$, the intrinsic bracket identity on functions gives $F_{\ast }[X,Y]=[F_{\ast }X,F_{\ast }Y]$. Applying this naturality of the Lie bracket to $F=L_g$ proves that the bracket of two left-invariant vector fields remains left invariant. Evaluation at $e$ therefore defines the Lie algebra bracket on $\mathfrak{g}=T_{e}G$.

For the special orthogonal group, differentiation of $Q(t{)}^{T}Q(t)=I$ at $Q(0)=I$ gives $B^T+B=0$, so its tangent space is contained in the skew-symmetric matrices. Conversely, for any such $B$, the matrix exponential $Q(t)=e^{tB}$ satisfies $Q(t{)}^{T}Q(t)=I$ and lies in the determinant-one component, because $Q(0)=I$ and its determinant varies continuously in $\{\pm 1\}$. Its initial derivative is $B$, provingFor matrices, $X_B(Q)=QB$. Extend these fields to the open matrix group $\mathrm{GL}(n,\mathbb{R})$, where the differential of $Q\mapsto QB$ in direction $H$ is $HB$. HenceRestriction to the embedded special orthogonal group preserves this bracket because the fields are tangent. Evaluating at $I$ gives $[B_1,B_2]=B_1{B}_2-B_2{B}_1$, the required bracket on the Special orthogonal Lie algebra. The commutator is again skew symmetric. This calculation is differentiating left-invariant matrix fields; reversing the order of the two differentials would give the wrong sign.

A smooth vector field on a smooth manifold $M$ is a smooth section of the tangent bundle: it assigns $v(p)\in T_{p}M$ to each $p$, smoothly in local coordinates. In a coordinate chart it has the form $v={\sum }_i{a}_i\partial /\partial x_i$, with smooth coefficients $a_i$. Equivalently, it acts on smooth functions as a derivation, $v(fh)=v(f)h+fv(h)$.

For a Lie group $G$, write $L_a(h)=ah$ for Left translation on a Lie group. A left-invariant vector field satisfiesThus it is determined by its value at the identity. Given the printed $X\in T_{g}G$, first translate it to the identity:The unique left-invariant vector field with value $X$ at $g$ isThe smoothness of multiplication makes this a smooth vector field, the chain rule proves left invariance, and setting $h=g$ gives $v_X(g)=X$.

We prove the completeness of left-invariant vector fields: this left-invariant vector field is a complete vector field. The Picard-Lindelöf theorem, applied in a local chart, gives a unique local integral curve of a vector field $u:(-\epsilon ,\epsilon )\to G$ through $e$. For every $h\in G$, the curve $t\mapsto hu(t)$ is an integral curve of a vector field through $h$, becauseCrucially, the same interval $(-\epsilon ,\epsilon )$ works for every initial point.

Let $\gamma$ be the maximal integral curve of a vector field through $g$, with maximal interval $(a,b)$. If $b<\infty$, choose $t_0\in (a,b)$ with $b-t_0<\epsilon /2$. The curveexists on $(t_0-\epsilon ,t_0+\epsilon )$ and agrees with $\gamma$ on the overlap by uniqueness of the local ordinary differential equation. It extends $\gamma$ past $b$, a contradiction. The same argument at a finite $a$ excludes that possibility. Thus $(a,b)=\mathbb{R}$, and uniqueness on overlapping intervals gives uniqueness on all of $\mathbb{R}$.

After establishing completeness, uniqueness also gives the one-parameter subgroup law for the global curve through $e$:Both sides, as curves in $t$, are integral curves of a vector field through $u(s)$ at $t=0$. Defining the Exponential map of a Lie group by $u(t)=\exp (t\xi )$, the answer is

The identity component $G^{\circ }$ is an open normal subgroup, and every open identity neighbourhood generates it. Let $G^{\circ }$ be the connected component of $e$. The product of connected spaces is connected, so the image of $G^{\circ }\times G^{\circ }$ under multiplication is connected and contains $e$. It is therefore contained in $G^{\circ }$. Inversion has the same property. Thus $G^{\circ }$ is a subgroup.

A smooth manifold is locally connected. In particular, a coordinate neighbourhood of $e$ can be chosen homeomorphic to an open ball, so there is a connected open neighbourhood $O$ of $e$ contained in $G^{\circ }$. Its translates $hO$, $h\in G^{\circ }$, are open and lie in $G^{\circ }$, and cover $G^{\circ }$. Therefore the identity component of a Lie group is open in $G$. Conjugation by any $a\in G$ is a homeomorphism fixing $e$, so it maps $G^{\circ }$ into itself; conjugation by $a^{-1}$ gives the reverse inclusion. Hence $G^{\circ }$ is a normal subgroup.

If $U$ is an open neighbourhood of $e$ in $G^{\circ }$, let $H=⟨U⟩$, allowing inverses in the meaning of generated subgroup. For each $h\in H$, $hU$ is open and lies in $H$, so $H={\bigcup }_{h\in H}hU$ is open in $G^{\circ }$. Every other left coset of $H$ is also open. Thus $H$ is both open and closed in the connected space $G^{\circ }$. It is nonempty, so $H=G^{\circ }$.

A quadratic form on $V={\mathbb{R}}^n$ is a function $Q(v)=B(v,v)$ for a symmetric bilinear form $B$. Equivalently, $Q(tv)=t^{2}Q(v)$ and the polarizationis a bilinear map. In coordinates there is a unique real symmetric matrix $A$ with $Q(v)=v^{T}Av$. No assumption of nondegeneracy or positive definiteness is needed.

An element $g\in {\mathrm{GL}}_n(\mathbb{R})$ stabilizes $Q$ when $Q(gv)=Q(v)$ for every $v$. By the polarization identity, this is equivalent to preserving $B$, or in coordinates toThis is a closed Matrix Lie group. The Lie algebra of a quadratic-form stabilizer isTo prove necessity, differentiate $g(t{)}^{T}Ag(t)=A$ along any smooth curve in $G_Q$ with $g(0)=I$, $g^{\prime }(0)=X$. The derivative at zero is $X^{T}A+AX$.

To prove sufficiency, suppose $X^{T}A+AX=0$ and consider the matrix exponential $g(t)=e^{tX}$. ThenIts value at zero is $A$, so $e^{tX}\in G_Q$ for every real $t$. This curve has derivative $X$ at zero, proving the claimed tangent space description even for a degenerate quadratic form.

Equivalently, the condition is $B(Xu,v)+B(u,Xv)=0$ for all $u,v$. For a nondegenerate quadratic form it is the corresponding Special orthogonal Lie algebra. To see the degenerate case explicitly, choose a basis withWriting $X=\left(\begin{array}{cc}P& R\\ S& T\end{array}\right)$, the condition becomeswhile $S,T$ are arbitrary. Thus the nullspace of the quadratic form is invariant, but arbitrary infinitesimal maps into it are allowed. When $A=0$, the formula correctly gives $G_Q={\mathrm{GL}}_n(\mathbb{R})$ and $T_e{G}_Q=M_n(\mathbb{R})$.

Write an element of the diagonal Cartan subalgebra asThe root system of this Special orthogonal Lie algebra isThus the maps requested are $H(t)\mapsto \pm t_i\pm t_j$, with the two signs independent. This is the D3 root system, with twelve roots.