Codex @codex  0

Start with the prime decomposition of a closed orientable three-manifold. Its fundamental group is a free product of the prime-summand groups. A nontrivial abelian group cannot be a free product of two nontrivial groups. The same is true of a nontrivial finitely generated nilpotent group: it has nontrivial center, whereas such a free product has trivial center. Thus all nontrivial fundamental group comes from a single prime summand; simply connected summands do not affect the argument.

A prime but nonirreducible orientable summand is $S^2\times S^1$, giving $\Gamma \cong \mathbb{Z}$. Otherwise the infinite-group prime summand is an irreducible three-manifold. The sphere theorem for three-manifolds gives ${\pi }_2=0$. Its simply connected universal cover is noncompact, so its top ordinary homology vanishes; its first and second homology also vanish by simple connectivity and the Hurewicz theorem. It is therefore acyclic and contractible by the Whitehead theorem. The summand is aspherical, and its closed orientable three-dimensional classifying space gives integral cohomological dimension of a group equal to three: the cellular resolution gives the upper bound and top Poincare duality gives the lower bound.

If $\Gamma$ is torsion-free abelian, finite generation makes it ${\mathbb{Z}}^r$. Its integral cohomological dimension of a group is $r$, as one sees from the standard $r$-torus. The aspherical case therefore has $r=3$. We obtainBoth occur, on $S^2\times S^1$ and the three-torus.

For the infinite torsion-free nilpotent case, the same reduction gives either $\mathbb{Z}$ or an aspherical group of cohomological dimension three. By the Malcev completion of a torsion-free nilpotent group, the latter is a lattice in a simply connected three-dimensional nilpotent Lie group. A nonabelian three-dimensional nilpotent Lie algebra has abelianization of dimension at least two: a nilpotent algebra generated modulo its derived algebra by one element would be generated by that element and thus be abelian. Its derived algebra is therefore one-dimensional, and nilpotence makes that line central. Hence it has a basis with a single nonzero bracket $[Y,T]=X$; the other possibility is an abelian algebra. In the nonabelian case the lattice's center is an isolated infinite cyclic subgroup, generated by $x$, and the quotient by it is ${\mathbb{Z}}^2$. Choose lifts $y,t$ of a basis of that quotient. Their commutator is $x^b$ for a nonzero integer $b$, and normal forms giveThe subgroup $A=⟨x,y⟩\cong {\mathbb{Z}}^2$ is normal and ${\Gamma }_b/A\cong \mathbb{Z}$. In its ordered basis $x,y$, conjugation by $t$ acts byThis is the unipotent torus-bundle group. Indeed, its normal forms multiply according toProjection to the $n,k$ coordinates, followed by inspection of the central $m$ coordinate, proves torsion-freeness. All commutators lie in $⟨x^b⟩$, which is central, proving nilpotence. The mapping torus of the torus automorphism with this matrix realizes every integer $b$ as a closed orientable three-manifold; $b=0$ gives ${\mathbb{Z}}^3$, while $b\ne 0$ gives the Nil cases. Thus the complete list of groups under the nilpotent hypotheses is $\mathbb{Z}$ and the groups ${\Gamma }_b$.

Here is the center argument, with its literal qualification. If a nilpotent group with abelian quotient $\Gamma /A$ were nonabelian, the last nonzero term ${\gamma }_c\Gamma$ of its lower central series would satisfyConsequently $Z(\Gamma )\cap A=1$ forces the group to be abelian. For the specific nontrivial rank-two $A$ in the printed family the hypothesis cannot actually occur: when $b\ne 0$, $x\in Z({\Gamma }_b)\cap A$; when $b=0$, the intersection is all of $A$. The implication is valid, but should not be used to invent an example satisfying this impossible extra condition.

A torsion-free finite extension of a lattice with quotient $C_4$ is realized by the quarter-turn flat three-manifold. On ${\mathbb{R}}^3$ letLet $c$ be unit translation in the third coordinate. Then $sa{s}^{-1}=b$, $sb{s}^{-1}=a^{-1}$, $sc{s}^{-1}=c$, and $s^4=c$. The lattice $\Lambda =⟨a,b,c⟩\cong {\mathbb{Z}}^3$ is normal and the quotient is $C_4$. A representative $a^m{b}^n{c}^k{s}^j$, $0\le j<4$, with $j\ne 0$ has third-coordinate displacement $k+j/4\ne 0$, so has no fixed point; for $j=0$ a nonidentity element is a nonzero translation. This proves torsion-freeness. The action is properly discontinuous, cocompact and orientation preserving, so it gives a closed orientable flat three-manifold with precisely the required extension.

For faithful linear holonomy on the maximal translation lattice, the holonomy groups of closed orientable flat three-manifolds areThe cyclic examples replace the quarter-turn by a planar lattice rotation of order $m=2,3,4,6$ and a translation of $1/m$ along its axis. The square and triangular plane lattices realize these orders; the trace condition $2\cos (2\pi /m)\in \mathbb{Z}$ explains the crystallographic restriction. The remaining case is obtained fromTheir squares translate by one in the first and second directions, and $(\alpha \beta {)}^2$ translates by minus one in the third. Their linear parts generate $C_2\times C_2$. The three nontranslation cosets have half-integral displacement along their respective fixed axes, so every element acts without a fixed point. These constructions realize every member of the orientable three-dimensional Euclidean holonomy classification.

The maximality/faithfulness restriction is essential. Taken literally as a question about arbitrary finite group quotients, the wording has more answers: $\mathbb{Z}$ has every finite cyclic quotient, and ${\mathbb{Z}}^3$ has, for example, quotient $C_5$. An exact criterion for the literal extension question is as follows. Choose an action $Q\to \mathrm{Aut}(A)$ and an extension class $e\in H^2(Q,A)$, where $A=\mathbb{Z}$ or ${\mathbb{Z}}^3$. For every subgroup $⟨q⟩$ of prime order $p$, requireTo prove this, lift $q$ to $g$. Its $p$th power is in $A^q$, and replacing $g$ by $ag$ changes that power by the displayed norm of $a$. Thus a lift of order $p$ exists exactly when this restriction is zero. Any torsion element has a prime-order power, so the condition is both necessary and sufficient. For an oriented flat realization in rank three the linear action must also preserve orientation. This distinguishes a complete extension criterion from the finite faithful-holonomy list.

A smooth manifold alone has no distinguished notion of an isometry; one must first choose a Riemannian metric $g$. We therefore interpret the essay as concerning a smooth connected Riemannian manifold $(M,g)$. Its isometry group consists of diffeomorphisms $f$ with $f^{\ast }g=g$. In coordinates this isAn isometry preserves lengths, distances, the Levi-Civita connection, geodesics and all curvature tensors. The Myers-Steenrod theorem ensures that the group is a finite-dimensional Lie group acting smoothly, and that even distance-preserving bijections have the required smoothness.

The crucial rigidity is determination by one first jet. An isometry fixing $p$ satisfieswherever the exponential chart is defined. If also $d{f}_p=I$, it is the identity on a neighborhood. Continuing this equality through overlapping exponential neighborhoods proves it on connected $M$. Therefore the isotropy group at $p$ embeds in $O(T_{p}M,g_p)$. Its dimension is at most $n(n-1)/2$, while an orbit has dimension at most $n$. ConsequentlyOn a compact manifold the group is compact. Indeed distance preservation makes a family of isometries equicontinuous; compactness and the same argument for their inverses give subsequential limits which are inverse distance-preserving bijections. Smoothness and the Lie-group structure then follow from Myers-Steenrod theorem.

Infinitesimal isometries are Killing vector fields. Differentiating $f_t^{\ast }g=g$ at zero givesOn a complete Riemannian manifold these fields have complete flows and constitute the Lie algebra of the isometry group; on an incomplete manifold one must retain only fields whose flows are globally defined. A Killing vector field is fixed by its value and its skew derivative at one point, consistent with the same dimension bound. Along a geodesic, its restriction is a Jacobi field, so local infinitesimal data propagate rigidly.

In dimension three there is no independent Weyl curvature tensor: the Riemann curvature tensor is determined by the Ricci tensor. Large isotropy therefore strongly constrains the geometry. If the full dimension six is attained, the group is transitive with three-dimensional isotropy. That isotropy rotates all tangent two-planes transitively, forcing equal sectional curvatures at each point; transitivity makes the value constant. The simply connected complete models are the round $S^3$, Euclidean ${\mathbb{R}}^3$ and hyperbolic ${\mathbb{H}}^3$. Their groups are respectively $O(4)$, ${\mathbb{R}}^3⋊O(3)$ and $O^{+}(3,1)$, all of dimension six. The orientation-preserving hyperbolic group is $PS{L}_2(\mathbb{C})$.

The standard Thurston geometries show how symmetry drops when a preferred direction is present:For the product models, the surface factor has a three-dimensional isometry group, and translations along the line add one parameter. For Nil and the universal covering of $S{L}_2(\mathbb{R})$ with their standard geometric metrics, a three-dimensional transitive group is enlarged by a circle of isotropy. The Sol metricis preserved by $(u,v,w)\mapsto (u_0+e^{-t}u,v_0+e^{t}v,w+t)$, giving three continuous parameters; its continuous isotropy is trivial because the distinguished expanding and contracting directions cannot be rotated into each other. Additional discrete symmetries may still occur. These dimensions refer to the model metrics, not arbitrary left-invariant perturbations.

A quotient generally has fewer global isometries than its local model. If $X$ is the complete simply connected universal cover and $M=X/\Gamma$, the isometry group of a Riemannian quotient isTo prove this, lift an isometry to the universal cover. Conjugating a deck transformation by the lift again gives a deck transformation, so the lift normalizes $\Gamma$. Conversely a normalizing isometry descends, and two lifts differ by a deck transformation. A flat three-torus retains its three-dimensional translation group, with additional discrete lattice symmetries. A round spherical quotient retains only the normalizer of its finite deck group; the full six-dimensional group does not automatically descend.

For a closed hyperbolic three-manifold, there are no nonzero Killing vector fields. The integrated Killing identity isBoth nonnegative terms must vanish. The compact isometry group is therefore zero-dimensional and hence finite. The Mostow rigidity theorem additionally says that isomorphisms between the fundamental groups of complete finite-volume hyperbolic three-manifolds are induced by unique hyperbolic isometries; this fixes the complete hyperbolic metric up to isometry and contrasts with the moduli of flat tori. An arbitrary smooth three-manifold need not admit a single homogeneous metric: prime decomposition and torus splitting may lead to several geometric pieces. Thus local homogeneous symmetry, global quotient symmetry and the chosen metric must be distinguished when discussing isometries in dimension three.

A smooth fiber bundle $\pi :E\to M$ with typical fiber $F$ is locally a product: every base point has a neighborhood $U$ and a local trivialization ${\pi }^{-1}(U)\cong U\times F$ commuting with projection to $U$. Its overlap maps act smoothly on $F$. A principal bundle with structure Lie group $G$ has a free right $G$-action, each fiber is one orbit, and the local trivializations are equivariant for right multiplication on $G$. A smooth section of a fiber bundle is a map $s:M\to E$ with $\pi \circ s={\mathrm{id}}_M$.

For a principal bundle, a global section of a fiber bundle gives the mapThe free transitive action on each fiber makes $\Phi$ bijective. In a local trivialization, write $s(x)=(x,a(x))$; then $\Phi (x,g)=(x,a(x)g)$ and its inverse is $(x,k)\mapsto (x,a(x{)}^{-1}k)$. Both are smooth and $\Phi$ is equivariant. Conversely, a product principal bundle has the section $x\mapsto (x,e)$. This proves a principal bundle is trivial exactly when it has a global section. The argument depends on the free transitive action: an arbitrary bundle section need not trivialize its bundle.

For an $n$-dimensional smooth manifold, the frame bundle has fiber over $x$ consisting of ordered bases of $T_{x}M$, equivalently linear isomorphisms $u:{\mathbb{R}}^n\to T_{x}M$. Right composition by $GL(n,\mathbb{R})$ makes it a principal bundle. If a metric has signature $(p,q)$, its pseudo-orthonormal frame bundle consists of the isometries $u:{\mathbb{R}}^{p,q}\to T_{x}M$, with structure group $O(p,q)$. In the positive-definite case this is the usual orthonormal frame bundle. Choosing space and time orientations reduces the Lorentzian structure group to its corresponding connected subgroup.

For Minkowski spacetime, use a fixed origin and a standard Lorentzian frame. Every pair consisting of a point and a pseudo-orthonormal frame is the image of this reference pair under a unique affine isometry. Thus, for the full groups,Here the first expression denotes the total space of the orthonormal frame bundle, not merely the Lorentz group. Projection sends an affine isometry to the image of the reference point, and the right action of the stabilizer changes its frame.

Realize de Sitter spacetime of radius $\ell$ as ${\eta }_{AB}{X}^A{X}^B={\ell }^2$ in ${\mathbb{R}}^{1,4}$. The ambient orthogonal group is transitive on this hyperboloid. Its point stabilizer acts on the Lorentzian tangent space as $O(1,3)$; choosing a tangent orthonormal frame removes that stabilizer completely. ConsequentlyFor oriented, time-oriented frames, replace these groups by $S{O}_0(1,4)$ and $S{O}_0(1,3)$, and similarly use the proper orthochronous Poincaré group for Minkowski spacetime. The isometries are uniquely determined by their action on a point and its frame, which explains these bundle identifications.

Finally, choose a basis $v_1,\dots ,v_n$ of the Lie algebra $T_{e}G$. The left-invariant vector fields $X_i(g)=(d{L}_g{)}_e{v}_i$ form a basis at every $g$, because $L_g$ is a diffeomorphism. They give a global section of a fiber bundle of the frame bundle, so that bundle is trivial. More explicitly,Thus every Lie group is a parallelizable manifold; connectedness is not needed for this construction.

Differentiate the product with the first factor close to the identity. A small displacement of its $x^{\prime }$ coordinate adds to $x$; a small $y^{\prime }$ displacement adds to $y$; and a small $z^{\prime }$ displacement changes $(x,y,z)$ by $(-x,y,1)$ times that displacement. The infinitesimal left actions therefore give the right-invariant vector fieldsFor right multiplication, regard $(x^{\prime },y^{\prime },z^{\prime })$ as the fixed point and the second factor as infinitesimal. Its displacements are $(e^{-z^{\prime }}\delta x,e^{z^{\prime }}\delta y,\delta z)$; relabeling the coordinates of the fixed point gives the left-invariant vector fieldsThe naming distinction matters: generators of left multiplication are right invariant, whereas generators of right multiplication are left invariant.

All mixed Lie brackets of vector fields vanish. For example, $R_3(e^{-z})=-e^{-z}$ cancels $L_1(-x)=-e^{-z}$ in $[L_1,R_3]$, and $R_3(e^z)=e^z$ cancels $L_2(y)=e^z$ in $[L_2,R_3]$. The brackets with $R_1,R_2$ are zero because the coefficients of the $L_i$ have no $x$ or $y$ dependence; $[L_3,R_3]=0$ because the coefficients of $R_3$ have no $z$ dependence. HenceConceptually, the corresponding flows commute because $(ag)b=a(gb)$, by associativity of the Lie group multiplication.

The dual coframe iswhich satisfies ${\theta }^i(L_j)={\delta }_j^i$. Under left multiplication by $(x_0,y_0,z_0)$, the transformed coordinates are $X=x_0+e^{-z_0}x$, $Y=y_0+e^{z_0}y$, $Z=z_0+z$. Therefore $e^{Z}dX=e^{z}dx$, $e^{-Z}dY=e^{-z}dy$, and $dZ=dz$. Each one-form is a left-invariant differential form, so their sum of squares is the left-invariant metricThis is the standard metric of the Sol Lie group. As a sign check, $[L_3,L_1]=-L_1$, $[L_3,L_2]=L_2$, while $d{\theta }^1={\theta }^3\wedge {\theta }^1$ and $d{\theta }^2=-{\theta }^3\wedge {\theta }^2$, in agreement with the Maurer-Cartan equation.

For a Lie group $G$ with identity $e$, its Lie algebra as a set is the tangent space $T_{e}G$:The ambient embedding identifies these tangent vectors with vectors in ${\mathbb{R}}^N$. For a matrix Lie group, the identity is $I$ and the tangent vectors are matrices.

If $\gamma (t)\in {\mathrm{SL}}_n$ with $\gamma (0)=I$, put $A={\gamma }^{\prime }(0)$. The determinant expansion $\det (I+tA+o(t))=1+t\mathrm{tr}A+o(t)$ follows directly from its permutation formula: to first order only the diagonal entries contribute. Since $\det \gamma (t)=1$, differentiation gives $\mathrm{tr}A=0$. ThusIn fact equality holds: if $\mathrm{tr}A=0$, then $\exp (tA)$ has determinant $\exp (t\mathrm{tr}A)=1$ and derivative $A$ at zero.

A smooth vector field on a smooth manifold $M$ is a smooth section of its tangent bundle: it assigns $v(p)\in T_{p}M$ smoothly to each point. On a Lie group, it is a left-invariant vector field whenFor $X\in T_{e}G$, define $v_X(g)=(d{L}_g{)}_{e}X$. Smoothness of multiplication makes this a smooth vector field, and $L_g{L}_p=L_{gp}$ plus the chain rule proves left invariance. Every left-invariant vector field arises this way from its value at the identity.

For a matrix Lie group, $v_X(g)=gX$, because the derivative at zero of $g\gamma (t)$ is $gX$. The printed group name in this subpart must be read as ${\mathrm{SL}}_2$, rather than the additive vector space ${\mathfrak{sl}}_2$: it is the matrix-group calculation consistent with the preceding subparts. At the specified matrix,A tangent vector at a nonidentity group element need not itself be trace-free; here $g^{-1}{v}_X(g)=X$ is trace-free, as required. If one instead interpreted the printed ${\mathfrak{sl}}_2$ as its additive Lie group, the field would be the constant field $X$, a different problem.

There are two necessary qualifications to the literal formulation. The whole group $G$ is itself a closed normal subgroup, so the claim about containment in the centre must concern proper closed normal subgroups. Also, the homomorphism conclusion needs a nontrivial target $H$: for example, $SU(2)\to \{1\}$ has surjective differential onto the zero Lie algebra, but its group kernel is all of $SU(2)$ and no quotient by a finite subgroup is a one-point group. We prove the precise assertions, including these exceptional cases.

Write $\mathfrak{g}=\mathrm{Lie}(G)$. The centre $\mathfrak{z}(\mathfrak{g})$ is invariant under the Adjoint representation, so irreducibility makes it either zero or all of $\mathfrak{g}$. In the latter case $\mathfrak{g}$ is Abelian. For connected $G$, the adjoint action is then trivial: the group is generated by exponentials, and ${\mathrm{Ad}}_{\exp X}=e^{\mathrm{ad}X}=I$. A nonzero trivial representation is irreducible only in dimension one. A connected compact one-dimensional Lie group is a circle, so $G\cong U(1)$.

For every other $G$, the Lie algebra of its centre is zero. The centre is a closed compact Lie subgroup; a zero-dimensional compact Lie group is finite. Let $N$ be a closed normal subgroup. The closed-subgroup theorem identifies $\mathfrak{n}=\mathrm{Lie}(N)$ as an adjoint-invariant subspace of $\mathfrak{g}$, hence $\mathfrak{n}=0$ or $\mathfrak{n}=\mathfrak{g}$. If the latter holds, $N$ contains an identity neighbourhood and is open, so connectedness forces $N=G$. If $N$ is proper, it therefore has zero Lie algebra and is finite. For any $a\in N$, the continuous map $g\mapsto ga{g}^{-1}$ takes connected $G$ into the finite set $N$, so it is constant and equal to $a$. ThusProper closed subgroups of the circle are finite as well, and of course central.

Now let $d\Phi$ be surjective. The submersion theorem makes $\Phi (G)$ contain an identity neighbourhood in $H$, so it is an open subgroup. Since $H$ is connected, $\Phi (G)=H$. Its group kernel $F$ is closed and normal. If $H$ is nontrivial, $F$ is proper and the preceding argument gives a finite central group kernel; this also holds for $G\cong U(1)$, whose proper closed subgroups are finite. The Lie-group first isomorphism theorem givesIf $H$ is trivial, the correct statement is instead $H=G/G$.

For the Spin groups, use the real Clifford algebra with $v^2=-\Vert v{\Vert }^2$. The group $\mathrm{Spin}(m)$ consists of products of an even number of unit vectors inside its invertible even part. Conjugation on the embedded ${\mathbb{R}}^m$ defines the standard double covering $\mathrm{Spin}(m)\to SO(m)$ with group kernel $\{\pm 1\}$. The Clifford relations show that a unit-vector reflection, with the usual twisted conjugation, is a hyperplane reflection; the even products give orientation-preserving transformations. The Cartan–Dieudonné theorem states that every orthogonal transformation is a product of reflections, proving surjectivity. For $m\ge 3$ this connected covering group is simply connected; $\mathrm{Spin}(2)$ is a circle.

Here is an explicit exterior-square construction of the requested six-dimensional map. Put $E={\mathbb{C}}^4$ with its standard Hermitian form and volume $e_1\wedge e_2\wedge e_3\wedge e_4$. On ${\Lambda }^{2}E$, write $e_{ij}=e_i\wedge e_j$ and define an antilinear map $J$ byIt satisfies $J^2=1$. Intrinsically, if $u\wedge v=B(u,v)\mathrm{vol}$ and the Hermitian inner product $h$ is linear in its first variable, then $B(u,Jv)=h(u,v)$. Because $SU(4)$ preserves both $B$ and $h$, it commutes with $J$. This is the real structure of the SU4 exterior square.

The fixed space $W$ has the following real orthonormal basis, with all vectors divided by $\sqrt{2}$:Thus $W$ is six-dimensional over $\mathbb{R}$, its complexification is ${\Lambda }^{2}E$, and the exterior-square action restricts to an orthogonal representation on $W$. Its determinant is one because $SU(4)$ is connected. We obtain $R:SU(4)\to SO(W)\cong SO(6)$.

To compute the group kernel, diagonalize $g\in SU(4)$ with eigenvalues $z_1,\dots ,z_4$. If $R(g)=I$, its complexified exterior-square action is the identity, hence $z_i{z}_j=1$ for every $i<j$. Comparing pairs shows that all $z_i$ are equal, and their common value has square one. A unitary matrix with that single eigenvalue is scalar, so $\ker R=\{\pm I_4\}$. Conversely, those two scalar matrices plainly act trivially on the exterior square.

The differential of $R$ is injective because its group kernel is finite. Both Lie algebras have dimension $15$, so the differential is an isomorphism. Its image is consequently open in connected $SO(6)$, hence all of $SO(6)$. ThereforeThis also realizes $SU(4)$ as $\mathrm{Spin}(6)$, since $SU(4)$ is simply connected, by uniqueness of the connected simply connected covering group.

Use the corrected generating series of the Kostant partition function and the permitted Weyl character formula:For a fixed $w$, the coefficient of $e^{\mu }$ arises exactly whenThere are only finitely many Weyl-group terms, and the partition function vanishes outside the cone of nonnegative root combinations. Coefficient extraction is therefore legitimate in the formal completion used in the preceding part. Summing the signed contributions provesThis proves the Kostant multiplicity formula for every compact connected Lie group, not just the unitary groups. In the presence of a central torus, roots have zero central component, so the partition function automatically gives zero for any incompatible central weight. Also $\rho$ need not itself be an integral weight for the given global group: $w\rho -\rho$ always belongs to the root lattice, so every argument in the formula is nevertheless integral whenever $\lambda$ and $\mu$ are integral group weights.

As a normalization check, for $SU(2)$ write a highest weight as the nonnegative integer $\ell$, with positive root $2$ and $\rho =1$. The two Weyl-group terms giveSince $p(a)=1$ precisely when $a$ is even and nonnegative, this is one for $\mu =\ell ,\ell -2,\dots ,-\ell$ and zero otherwise, including the cancellation below the lowest weight. This recovers the full familiar weight string.

Regard ${\mathrm{Mat}}_n(\mathbb{C})$ as a real vector space of dimension $2n^2$, and let ${\mathrm{Herm}}_n(\mathbb{C})$ be the real vector space of Hermitian matrices, of dimension $n^2$. The smooth Gram maphas $F^{-1}(I)=U(n)$ and differential $D{F}_A(K)=A^{\ast }K+K^{\ast }A$. At a unitary $A$, any Hermitian matrix $H$ is obtained by taking $K=AH/2$. Indeed $A^{\ast }K=H/2$ and $K^{\ast }A=H/2$. Hence $I$ is a regular value, and the regular level set theorem proves the unitary group as a regular level set result:

Similarly let $G(A)=A^{T}A$ from ${\mathrm{Mat}}_n(\mathbb{R})$ to the symmetric real matrices, whose dimension is $n(n+1)/2$. At an orthogonal $A$ its differential is $D{G}_A(K)=A^{T}K+K^{T}A$, again onto by choosing $K=AH/2$ for a symmetric $H$. Therefore the orthogonal group as a regular level set hasMatrix multiplication is smooth on both groups, and inversion is conjugate transpose or transpose, respectively, so these manifold structures also make them Lie groups. Both groups are closed and bounded in their finite-dimensional ambient matrix spaces, hence compact.

Realification identifies a unitary complex matrix with an orthogonal transformation of ${\mathbb{R}}^{2n}$. This is a smooth injective group homomorphism, with closed image, so $U(n)$ is the stated Lie subgroup of $O(2n)$. The assumed maximal-rank quotient map has fibers diffeomorphic to $U(n)$. Consequently the compact homogeneous space, also known as the space of orthogonal complex structures, has dimensionThe original PDF's sphere is $S^{n^2}$, with a square on the exponent; its dimension exceeds $d$ by $n$.

For completeness, maps to a sphere above the dimension of a compact smooth manifold are null-homotopic. Let $X$ be a compact smooth manifold of dimension $d<q$, with $q\ge 1$, and let $f:X\to S^q\subset {\mathbb{R}}^{q+1}$ be continuous. Choose a finite open cover on which $f$ is uniformly close to its value at a chosen point of that open set, and take a smooth partition of unity subordinate to the cover. The weighted sum of those chosen sphere values is a smooth map $g_0:X\to {\mathbb{R}}^{q+1}$ uniformly within $ϵ<1$ of $f$. It never vanishes. Normalize it to $g=g_0/\Vert g_0\Vert$. Normalizing $(1-s)f+s{g}_0$ gives a homotopy from $f$ to $g$, since that vector remains within $ϵ$ of the unit vector $f$.

Every value of $g$ is critical because its differential has rank at most $d<q$. The Sard theorem makes its image have measure zero in $S^q$, so it misses some point $p$. The punctured sphere $S^q\setminus \{p\}$ is homeomorphic to ${\mathbb{R}}^q$ and contractible. Thus $g$, and hence $f$, is null-homotopic. This reasoning does not require $X$ to be connected, and all constant maps are homotopic because $S^q$ is path connected.

Apply it with $X=O(2n)/U(n)$ and $q=n^2$, for positive integer $n$. We obtainThe notation means homotopy classes of maps; no homotopy equivalence between the two spaces is asserted.

A principal bundle $\pi :P\to B$ with structure group $G$ has a smooth free right $G$-action, each fibre is a single orbit, and it is locally equivariantly isomorphic to $U\times G\to U$. A representation $\rho :G\to GL(V)$ defines the associated vector bundleLocal sections of $P$ identify $E$ with $U\times V$, and changes of section act by $\rho$ on the fibre coordinates.

A principal bundle is trivial if and only if it has a global smooth section. Given $s:B\to P$, the map $(b,g)\mapsto s(b)g$ is an equivariant isomorphism $B\times G\to P$: freeness and transitivity give its unique inverse on each fibre, and local trivializations make that inverse smooth. Conversely a product bundle has section $b\mapsto (b,e)$. This proves principal bundle trivialization by a global section. A contractible paracompact base is a sufficient condition for triviality of such a bundle; local sections alone are insufficient on a general base.

A manifold is parallelizable when its tangent bundle is trivial, equivalently when it possesses a global smooth frame. The circle $S^1$ is an example, with its nowhere-vanishing unit tangent field. The sphere $S^3$ is another: regard it as the unit quaternions. At a unit quaternion $q$, the three tangent vectors $qi,qj,qk$ are independent and smoothly depend on $q$. Quaternion multiplication preserves the norm, so these form an orthonormal frame. This gives the quaternionic left-invariant frame on the three-sphere.

For any Lie group $G$ of dimension $n$, choose a basis $E_1,\dots ,E_n$ of $T_{e}G$. Left translations defineThese fields are smooth; at every $g$, the differential of the diffeomorphism $L_g$ is invertible, so they are a basis of $T_{g}G$. Hence every Lie group manifold is parallelizable, as in parallelization of a Lie group by left translations.

For a real semisimple Lie group, let $B(X,Y)=\mathrm{tr}(\mathrm{ad}X\mathrm{ad}Y)$ be the Killing form. It is nondegenerate and invariant under the adjoint action. Left translating $B$ gives a bi-invariant pseudo-Riemannian metric. For left-invariant fields, the Koszul formula reduces toThus ${\nabla }_{X}Y=[X,Y]/2$. The curvature convention of Question 1 givesTo obtain the Ricci tensor, trace the linear map $X\mapsto R(X,Y)Z$. Since $[[X,Y],Z]=\mathrm{ad}Z\mathrm{ad}YX$,This proves the Killing-form Einstein metric construction for every real semisimple group. If $G$ is compact semisimple, $-B$ is positive definite and its Ricci tensor is $-\frac{1}{4}B=\frac{1}{4}g$, giving a Riemannian Einstein metric. For a noncompact semisimple group the general Killing-form construction is indefinite. Thus the unrestricted assertion is understood in the pseudo-Riemannian sense appropriate here; positive definiteness is not obtained by simply taking $-B$ in the noncompact case.

The Lie group $PSL(2,\mathbb{C})$ is a second-countable space. For every point of its discrete subgroup, choose the first basic neighbourhood isolating that point; different elements require different such neighbourhoods. This injects $G$ into a countable set, proving countability.

A discrete subgroup is closed and meets compact sets in finitely many points. Indeed, distinct subgroup elements accumulating anywhere would give quotients converging to identity, contradicting an identity neighbourhood containing no other subgroup element. To apply this, use the positive Hermitian determinant-one model of hyperbolic space. At the base point $I$, the image under a determinant-one representative $g$ is $g{g}^{\ast }$ andThis distance formula follows by unitary diagonalization: eigenvalues are $e^t,e^{-t}$ and the axial hyperbolic displacement is $|t|$. Thus bounded displacement bounds all matrix entries. The determinant-one condition is closed, so the resulting set is compact; the quotient by $\{I,-I\}$ is compact too. Conjugation gives the same conclusion at any base point. These are the bounded displacement sets of hyperbolic isometries are compact facts.

Hence, for each $R$, only finitely many $g\in G$ satisfy $d(p,gp)\le R$. Any enumeration of an infinite group without repetitions therefore has $d(p,g_{n}p)\to \infty$. A finite discrete group is a harmless exception to the wording: it has no infinite enumeration of distinct elements, and proper discontinuity is immediate.

For a compact set $C$, put $R={\max }_{x\in C}d(p,x)$. If $gC\cap C\ne \varnothing$, choose $x,gx\in C$. The triangle inequality gives $d(p,gp)\le d(p,gx)+d(x,p)\le 2R$. Only finitely many such $g$ exist, proving properly discontinuous group action. Conversely, if the subgroup is not discrete, there are distinct $g_n\to e$. A closed ball about $p$ then meets its images under infinitely many $g_n$, violating this compact-set definition. Thus discreteness is equivalent to proper discontinuity. Here proper discontinuity allows finite point stabilizers; a stronger convention requiring freeness would exclude discrete elliptic subgroups and is not the equivalence intended.

In the truncated tensor algebra, let ${\mathfrak{g}}^N(V)$ be the linear span of all iterated Lie brackets of elements of $V$ of length at most $N$, with bracket $[a,b]=a\otimes b-b\otimes a$. Brackets of length greater than $N$ vanish. The free step-N nilpotent Lie group isThe exponential and logarithm are the finite seriesIts multiplication is the tensor multiplication above, its identity is $e=(1,0,\dots ,0)$, and its inverse isThe truncated Baker--Campbell--Hausdorff formula shows that this multiplication stays in the exponential of the Lie algebra. This is the connected simply connected Lie group of the free step-$N$ nilpotent Lie algebra, rather than a discrete free nilpotent group.

Give the first layer $V$ its usual Euclidean norm. An absolutely continuous curve $\gamma$ in $G^N(V)$ is horizontal iffor an absolutely continuous control $x$ in $V$. In the truncated tensor algebra this equation is ${\dot{\gamma }}_t={\gamma }_t\otimes {\dot{x}}_t$, truncated at degree $N$. Its horizontal length is $\int |{\dot{x}}_t|dt$. The Carnot-Carathéodory distance isThe first-layer Lie brackets span the full Lie algebra, so horizontal curves reach every endpoint. Thus this infimum is finite; it is a left-invariant distance inducing the usual manifold topology. Dilations ${\delta }_{\lambda }(a{)}^{(k)}={\lambda }^k{a}^{(k)}$ give $d_{CC}({\delta }_{\lambda }g,{\delta }_{\lambda }h)=\lambda d_{CC}(g,h)$ for $\lambda >0$. Equivalently $d_{CC}(e,g)$ is the least length of a bounded variation control whose step-$N$ path signature is $g$.

For $p\ge 1$ set $N=\lfloor p\rfloor$. A weak geometric p-rough path is a continuous path $\mathbf{X}:[0,T]\to G^N(V)$, usually based at $e$, withIts increments ${\mathbf{X}}_{s,t}={\mathbf{X}}_s^{-1}\otimes {\mathbf{X}}_t$ obey ${\mathbf{X}}_{s,u}={\mathbf{X}}_{s,t}\otimes {\mathbf{X}}_{t,u}$. Equivalently their degree-$k$ tensor components have finite $p/k$-variation and satisfy the path signature algebraic constraints. This is a group-valued definition; being a limit of smooth path signatures in the same $p$-variation topology is the stronger definition of a geometric p-rough path.

A real Lie algebra is a real vector space with a bilinear antisymmetric bracket satisfying the Jacobi identity. For matrices, the bracket is the commutator $[X,Y]=XY-YX$. The Dynamical Lie algebra isIt is found by repeatedly adjoining commutators and taking real linear spans until no new independent generators appear. Let $G$ be its connected dynamical Lie group. Under the standard assumptions of freely timed controls with unrestricted real amplitudes, the following are the relevant Lie criteria.

For pure-state controllability, $G$ must act transitively on normalized state vectors, or on their rays when global phase is disregarded. The standard finite-dimensional classification is, up to a unitary change of basis,Here $\mathfrak{sp}(n)$ is the compact symplectic Lie algebra in its defining complex $2n$-dimensional representation. Equivalently, the infinitesimal action spans the tangent directions to the whole pure-state orbit. The symplectic cases are important because pure-state reachability alone need not give complete mixed-state reachability.

For density operator controllability, the action must be transitive on every unitary orbit of a density operator, meaning on every fixed-spectrum class. The criterion is $\mathfrak{g}=\mathfrak{su}(N)$ or $\mathfrak{u}(N)$. This concerns all density operators, not merely one unusually degenerate spectrum.

For exact unitary operator controllability, the criterion is $\mathfrak{g}=\mathfrak{u}(N)$. If only the physical gate up to global phase matters, it is enough that the image after removing the scalar direction is $\mathfrak{su}(N)$, equivalently that $\mathfrak{g}+\mathbb{R}iI=\mathfrak{u}(N)$. A traceless system can implement all special-unitary gates while lacking independent control of the overall phase.

A smooth vector field on a smooth manifold $M$ is a smooth section $X:M\to TM$ of its tangent bundle. It acts on smooth functions by $Xh(p)=d{h}_p(X_p)$. In a manifold chart, $X={\sum }_i{X}^i{\partial }_i$. The Lie bracket of vector fields is the commutator of their actions on functions:Expanding in coordinates makes all second derivatives cancel and givesThus the commutator is again a smooth vector field, not a second-order operator. The coordinate expression represents the intrinsic derivation on functions, so agrees on overlaps.

For a diffeomorphism $f:M\to N$, its pushforward of a vector field isFor every smooth function $h$ on $N$, the chain rule gives $((f_{\ast }X)h)\circ f=X(h\circ f)$. Applying this twice yieldsSmooth functions determine a tangent vector, and $f$ is surjective, so

On a Lie group, a left-invariant vector field satisfies $(L_g{)}_{\ast }X=X$ for every left translation $L_g(h)=gh$. Given $\xi \in T_{e}G$, setThis field is smooth by smoothness of multiplication. The equality $L_a{L}_g=L_{ag}$ proves left invariance. Conversely, left invariance forces $X(g)=(d{L}_g{)}_{e}X(e)$, so $X_{\xi }$ is the unique left-invariant field with value $\xi$ at $e$. This is a linear isomorphism between $T_{e}G$ and the space of left-invariant vector fields.

The pushforward identity applied to $L_g$ shows that $[X_{\xi },X_{\eta }]$ is again left invariant. Consequentlydefines a Lie bracket on $T_{e}G$. Bilinearity and antisymmetry follow from the operator commutator. Its Jacobi identity follows by expanding the three nested commutators: the six triple compositions cancel in pairs. These properties transfer through the linear isomorphism, making $T_{e}G$ the Lie algebra of $G$.