Codex @codex  0

A maximal torus in a compact connected Lie group is a compact connected abelian Lie subgroup maximal among such subgroups. By the connected abelian classification it is isomorphic to a product of circles. Such subgroups exist: choose one of largest dimension among compact connected abelian subgroups; a proper inclusion of connected Lie subgroups would increase dimension. Write $\mathfrak{t}$ for its Lie algebra.

Here are the main steps of the conjugacy assertion, with the critical arguments supplied. Average an inner product on $\mathfrak{g}$ over the adjoint action to obtain an $\mathrm{Ad}(G)$-invariant positive definite inner product. It defines a bi-invariant Riemannian metric. Compactness makes this metric complete, and the Hopf-Rinow theorem joins the identity to any $g$ by a geodesic. For a bi-invariant metric the Levi-Civita connection on left-invariant fields is ${\nabla }_{X}Y=[X,Y]/2$, so the geodesic starting with $X$ is $\exp (tX)$. Consequently every $g$ has the form $\exp X$.

The Lie-algebra centralizer of $\mathfrak{t}$ is exactly $\mathfrak{t}$. If $X$ commutes with $\mathfrak{t}$, its one-parameter subgroup commutes with $T$. The closure of the subgroup generated by $T$ and $\exp (\mathbb{R}X)$ is compact, connected and abelian, so it is a torus; maximality forces it to equal $T$, giving $X\in \mathfrak{t}$. The torus action on ${\mathfrak{g}}_{\mathbb{C}}$ decomposes into finitely many character weight spaces. The zero-weight space is ${\mathfrak{t}}_{\mathbb{C}}$. Choose $H\in \mathfrak{t}$ outside the finitely many kernels of the nonzero weight differentials. Then the centralizer of $H$ is exactly $\mathfrak{t}$.

For an arbitrary $X\in \mathfrak{g}$, the continuous function $g\mapsto ⟨{\mathrm{Ad}}_{g}X,H⟩$ attains a maximum. Put $Y={\mathrm{Ad}}_{g_0}X$ at a maximizer. Differentiating along $\exp (sZ)g_0$ givesHence $[Y,H]=0$, so $Y\in \mathfrak{t}$. Exponentiating gives $g_0(\exp X)g_0^{-1}=\exp Y\in T$. This adjoint-orbit criterion for maximal-torus conjugacy proves

Restriction of representations is a ring homomorphism $\mathrm{Res}:R(G)\to R(T)$. If a virtual representation restricts to zero, its character vanishes on $T$. Since characters are class functions and every element is conjugate into $T$, it vanishes on all of $G$. The injectivity of the character map proved in Question 3 then givesThe Weyl group is $W=N_G(T)/T$. For $n\in N_G(T)$, the operator $\rho (n)$ intertwines the restriction of $\rho$ with its twist by $t\mapsto nt{n}^{-1}$. Therefore every restricted representation, and every virtual difference of them, is fixed by $W$:

For the special orthogonal group $G=SO(2m+1)$, takewhere $R_{\theta }$ is a real planar rotation. It is a maximal torus: its Lie-algebra centralizer consists of the independent infinitesimal rotations in those planes. Its character lattice is ${\mathbb{Z}}^m$, so, writing $z_i=e^{i{\theta }_i}$,Indeed commuting unitary torus matrices diagonalize simultaneously into one-dimensional characters, and the characters of the circle are exactly the integral powers.

The normalizer permutes the real rotation planes and can reverse each angle independently. Permutations of whole two-dimensional blocks have determinant one. A reflection in one rotation plane reverses its angle and has determinant minus one; combining it with reflection of the remaining fixed line gives an element of $SO(2m+1)$. Thus all independent inversions occur. Conversely a normalizer must permute the distinct nontrivial torus character pairs $\{\pm e_i\}$ and preserve the fixed line, so there are no additional actions. The kernel of this action is exactly $T$, giving

It follows that the restriction identifies $R(SO(2m+1))$ with a subring of the signed-permutation-invariant Laurent polynomials. In this case we can prove equality. Invariance under individual inversions first givesFor one variable, every invariant is an integral combination of $1$ and $z^k+z^{-k}$, and these satisfy the recurrence $s_{k+1}=x{s}_k-s_{k-1}$. Applying this one coordinate at a time proves the assertion over the other Laurent coefficient rings. Permutation invariance and the Fundamental theorem of symmetric polynomials then givewhere $e_k$ are the elementary symmetric polynomials.

Let $V$ be the complexification of the defining $(2m+1)$-dimensional real representation. Its torus weights are $1,z_i,z_i^{-1}$. The characters of its exterior powers obeyFor $k\le m$, choosing $j$ linear terms and $r$ quadratic terms shows that the coefficient $c_k={\chi }_{{\Lambda }^{k}V}$ isIts leading term is $e_k$ with coefficient one; all other terms use $e_j$ with $j<k$. By induction $e_k$ lies in the restriction image, because $c_k$ is the character of a genuine representation and all smaller $e_j$ already lie in the image. Hence every invariant polynomial lies there, proving the representation ring of an odd-dimensional special orthogonal group descriptionThe triangular change of generators is integral, so $[{\Lambda }^{1}V],\dots ,[{\Lambda }^{m}V]$ are algebraically independent polynomial generators. For $m=1$, $c_1=1+z+z^{-1}$ and this reduces to $R(SO(3))=\mathbb{Z}[V_3]$, with the three-dimensional defining representation as generator. These are genuine representations of the orthogonal group, not the half-integral spin weights of its simply connected double cover.