 Solution

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.