Codex @codex  0

Define the cotangent space $T_p^{\ast }M={\mathrm{Hom}}_{\mathbb{R}}(T_{p}M,\mathbb{R})$ and the cotangent bundle $T^{\ast }M={\coprod }_p{T}_p^{\ast }M$, with projection $(p,\alpha )\mapsto p$. A coordinate chart $x$ gives the dual basis $d{x}^1{|}_p,\dots ,d{x}^n{|}_p$. Write $\alpha ={\sum }_i{\xi }_{i}d{x}^i{|}_p$ and define the induced local trivialization byIf $y=f(x)$ and $\alpha ={\sum }_j{\eta }_{j}d{y}^j$, the chain rule gives $\xi =Df(x{)}^T\eta$. Therefore the cotangent coordinate transition isThe inverse Jacobian matrix is smooth wherever its determinant is nonzero, so this transition and its inverse are smooth. The cocycle follows either from the chain rule or by dualizing the tangent transitions.

Use these product charts to define the topology and smooth atlas. The Hausdorff and second-countability arguments are the same as for the tangent bundle: separate distinct fibres using the base, separate distinct covectors in one product chart, and use a countable coordinate cover. The fibre transitions are smooth linear isomorphisms, so the projection is a smooth vector bundle of rank $n$. Using every compatible base coordinate chart shows that this structure is natural and independent of chart choices.

Yes, the two real smooth vector bundles are isomorphic, although the choice is not canonical. A standard smooth manifold is Hausdorff and second countable, hence admits a smooth locally finite partition of unity. Choose Euclidean Riemannian metrics on coordinate neighborhoods and take their partition-of-unity sum. At each point at least one positive coefficient occurs, so the resulting smooth symmetric tensor $g$ is positive definite.

The resulting musical isomorphism isIt covers the identity of $M$ and is linear on every fibre. In coordinates it is $(x,v)\mapsto (x,G(x)v)$, where $G=(g_{ij})$ is a smooth positive-definite matrix. Its inverse uses the smooth inverse matrix $G^{-1}$, giving the map ${♯}_g$. Thus it is a smooth vector bundle isomorphism.

The Riemannian metric supplies the extra choice: no positive-dimensional real vector space has a linear identification with its dual invariant under all changes of basis. Indeed a scalar change $tI$ acts by $t$ on vectors and $t^{-1}$ on covectors, so an equivariant map $L$ would satisfy $tL(v)=t^{-1}L(v)$ for every $t>0$, forcing $L=0$. An isomorphism therefore exists without being a metric-free canonical one.

For fixed $p$, the covariant derivative is linear in its tangent-vector input, so $L_p:T_{p}M\to T_{p}M$, $v\mapsto ({\nabla }_{v}X)(p)$, is a well-defined linear map. Its trace defines the divergence of a Riemannian vector field. In the given Riemannian orthonormal frame, write $X={\sum }_j{f}_j{E}_j$. The Levi-Civita connection product rule givesAt $p$, the second sum vanishes by the normal orthonormal frame hypothesis. Thus the $i$th diagonal coefficient of $L_p$ is $E_i(f_i)(p)$, andEquivalently one can take ${\sum }_{i}g({\nabla }_{E_i}X,E_i)$; the trace does not depend on the orthonormal basis chosen.

Fix the quantum enveloping algebra of sl2 conventionThe printed pair of matrices contains an error. On its first basis vector, the printed matrices give $(EF-FE)v_0=ϵ[2{]}^2{v}_0$, whereas the defining commutator gives $ϵ[2]v_0$. Since $q$ is not a root of unity, $[2]\ne 0,1$: $[2]=0$ would give $q^2=-1$, and $[2]=1$ would give $q^2-q+1=0$. Thus the two printed matrices cannot represent this algebra. Keeping the printed $F$ matrix requires exchanging the two nonzero entries of the printed $E$ matrix. We derive that corrected pair rather than assume a classification theorem.

As $q$ is not a root of unity, successive applications of $E$ multiply $K$ eigenvalues by $q^2$. Finiteness of the spectrum therefore makes $E$ a nilpotent operator. Start from a $K$ eigenvector and apply $E$ until the last nonzero vector $v$; then $Ev=0$ and $Kv=\lambda v$, with $\lambda \ne 0$. The defining commutator gives the highest-weight string for quantum sl2For completeness, at $j=1$ this is the commutator applied to $v$. To advance from $j$ to $j+1$, write $E{F}^{j+1}v=F(E{F}^{j}v)+(K-K^{-1})F^{j}v/(q-q^{-1})$, use $K{F}^{j}v=\lambda q^{-2j}{F}^{j}v$, and combine the two coefficients; their sum is the displayed coefficient at $j+1$.

Let $N$ be the first index with $F^{N}v=0$. Such an index exists because nonzero $F^{j}v$ have distinct $K$ eigenvalues $\lambda q^{-2j}$. The linear span of $v,Fv,\dots ,F^{N-1}v$ is stable under $K,E,F$, so simplicity makes it all of $V$. The distinct eigenvalues make these vectors independent; hence $N=3$. Applying the string formula to $F^{3}v=0$ givesAs $[3]\ne 0$ and $F^{2}v\ne 0$, ${\lambda }^2=q^4$, so $\lambda =ϵq^2$ with $ϵ=\pm 1$.

Choose the basis $v_0=v$, $v_1=Fv/[2]$, $v_2=F^{2}v/[2]$. Then $F{v}_0=[2]v_1$, $F{v}_1=v_2$, $E{v}_1=ϵv_0$ and $E{v}_2=ϵ[2]v_1$. The correct matrices in this basis areAlternatively, preserving the printed $E$ instead requires $F_{21}=1$, $F_{32}=[2]$. Both corrected pairs are related by a diagonal change of basis.

Use the comultiplication $\Delta E=E\otimes K+1\otimes E$, $\Delta F=F\otimes 1+K^{-1}\otimes F$, $\Delta K=K\otimes K$ of the quantum enveloping algebra of sl2. Choose a basis $u_0,u_1$ for $V_{1,1}$ with $F{u}_0=u_1$, $E{u}_1=u_0$, and $K{u}_i=q^{1-2i}{u}_i$. Choose a basis $w_0,w_1,w_2$ for $V_{1,2}$ withand all terminal raising or lowering actions zero. This is one of the corrected bases from part (a).

In the tensor product of modules, putThe vector $z_0$ is killed by $E$ and has $K$ eigenvalue $q^3$. Direct application of the comultiplication givesand the string formula gives $E{z}_1=[3]z_0$, $E{z}_2=[2]z_1$, $E{z}_3=z_2$. Also $K{z}_i=q^{3-2i}{z}_i$. Thus $W_3=⟨z_0,z_1,z_2,z_3⟩$ is a submodule isomorphic to $V_{1,3}$.

The other highest vector and its lowered partner areIndeed $E{h}_0=([2]q^2-q^2[2])u_0\otimes w_0=0$, $K{h}_0=q{h}_0$, $K{h}_1=q^{-1}{h}_1$, $E{h}_1=h_0$ and $F{h}_1=0$. Therefore $W_1=⟨h_0,h_1⟩$ is a submodule isomorphic to $V_{1,1}$.

To verify that this is a direct sum, in the $q$ weight space the determinant of the coefficients of $z_1,h_0$ is $-q^2-q^{-1}[2]=-[3]\ne 0$. In the $q^{-1}$ weight space, the coefficient determinant of $z_2,h_1$ is $-q[2]-q^{-2}=-[3]\ne 0$. The extreme weight spaces are spanned by $z_0,z_3$. Hence these six vectors form a basis of the entire tensor product of modules. Each summand is a simple module: projecting a nonzero vector onto one of its distinct $K$ weight spaces and applying the nonzero raising and lowering coefficients recovers its entire basis. Consequently

Take two solid tori $V_1,V_2$, each with a meridian-longitude basis $({\mu }_i,{\lambda }_i)$ on its boundary. Use opposite boundary-basis orientations on the two sides, so that a determinant-one coefficient matrix describes an orientation-reversing gluing map. For $A\in SL(2,\mathbb{Z})$ choose a torus homeomorphism $f:\partial V_2\to \partial V_1$ inducingand define $M_A=V_1{\cup }_f{V}_2$. The linear map on ${\mathbb{R}}^2/{\mathbb{Z}}^2$ realizes the matrix. Torus homeomorphisms with the same action on first homology are isotopic, and an isotopy extends over a boundary collar, so the resulting three-manifold depends only on $A$. Specifying opposite boundary conventions is necessary: gluing two identically oriented boundary bases by a determinant-one map would not describe the usual oriented gluing.

We now identify this gluing directly in the quotient from part (a). Split $S^3$ into the two invariant solid tori $W_1=\{|z_2|\le 1/\sqrt{2}\}$ and $W_2=\{|z_1|\le 1/\sqrt{2}\}$. On $W_1$ write $z_1=\sqrt{1-|w{|}^2}{e}^{2\pi ix}$, $z_2=w$. The quotient coordinatesidentify $W_1/⟨g⟩$ with $S^1\times D^2$. They are invariant under $g$; choosing a $p$th root of $u$ reconstructs $(x,w)$, and different choices are exactly the same cyclic orbit. Thus this is a genuine solid-torus coordinate model.

On the common boundary, measure arguments in turns as $(x,y)$. Its quotient lattice isThe meridian and longitude of the first quotient torus can be chosen as ${\mu }_1=(0,1)$ and ${\lambda }_1=(1/p,q/p)$. They form a lattice basis, since $(1,0)=p{\lambda }_1-q{\mu }_1$. The meridian of the second torus is precisely that $(1,0)$ loop. Consequently

The determinant condition is $qr+ps=-1$. Put $k=-r$, so $kq\equiv 1(\mathrm{mod}p)$. On $W_2$, the analogous quotient coordinates use $e^{2\pi ipy}$ and $e^{-2\pi iky}{z}_1$, and a longitude is $(k/p,1/p)$. Choose its negative for the second boundary-basis convention. Thensince $ps+qr=-1$. Thus the two quotient tori are glued by exactly $A$. This proves the genus-one gluing model of a lens space andDifferent choices of $r,s$ satisfying the determinant condition differ by $(s,r)\mapsto (s,r)+j(-q,p)$. This changes $f$ by a meridional Dehn twist on $V_2$, which extends over $V_2$: in solid-torus coordinates it is $(z,e^{i\theta })\mapsto (e^{ij\theta }z,e^{i\theta })$. Therefore there is no hidden dependence on that choice of longitude.

Each component is an unknot, so its closed exterior $S^3\setminus \mathrm{int}{U}_i$ is a solid torus. Choose the usual boundary basis $({\mu }_i,{\lambda }_i)$, where ${\mu }_i$ is a meridian of the component and ${\lambda }_i$ its Seifert longitude. In the exterior's fundamental group, ${\mu }_i$ generates $\mathbb{Z}$ and ${\lambda }_i$ is trivial, since it bounds a meridian disk of that exterior.

Every essential embedded circle on a torus represents a primitive homology class $a{\mu }_i+b{\lambda }_i$ with $\gcd (a,b)=1$. If it bounds a disk in the exterior, it is null-homotopic there, so $a=0$. Primitivity then forces $b=\pm 1$. Essential simple curves of the same primitive unoriented slope on a torus are isotopic: lift them to the plane and straighten their parallel primitive lines, or cut the torus along one curve to obtain an annulus. ConsequentlyThis is the preferred longitude of an unknot. The disk is only required to lie in the complement of its own solid torus; it may meet the other link component, so no additional disjoint-disk assertion is being used.

Use the quantum plane $A=k⟨x,y⟩/(yx-qxy)$ and the quantum enveloping algebra of sl2 comultiplication from Question 2. The generator actions are $Kx=qx$, $Ky=q^{-1}y$, $Ex=0$, $Ey=x$, $Fx=y$, $Fy=0$. Extend them by the module algebra rulesThese descend to $A$: $E(yx)=q{x}^2=E(qxy)$ and $F(yx)=q{y}^2=F(qxy)$, while $K$ preserves $yx-qxy$. For the ordered monomial basis, induction with $[s+1]=q^{-1}[s]+q^s$ gives the quantum enveloping algebra action on the quantum planeTerms with a negative exponent have zero coefficients and are interpreted as zero.

We now verify the defining relations explicitly on every basis vector, rather than infer them merely from the generator actions. The $K$ weight changes by $q^2$ under $E$ and $q^{-2}$ under $F$, so $KE=q^{2}EK$ and $KF=q^{-2}FK$. AlsoThe middle identity follows by inserting $[j]=(q^j-q^{-j})/(q-q^{-1})$ and cancelling the terms $q^{r+s+1}$ and $q^{-r-s-1}$; the remaining numerator is $(q-q^{-1})(q^{r-s}-q^{s-r})$. Finally $K{K}^{-1}=1$. Thus all the rank-one defining relations hold. The phrase “Serre relations” here refers to these rank-one presentation relations; there are no additional relations involving distinct simple roots for ${\mathfrak{sl}}_2$.

Every ordered monomial in the degree-$n$ homogeneous component has the form $x^{n-j}{y}^j$, $0\le j\le n$. The formulas in part (a) showEach nonzero image still has total degree $n$; $K^{-1}$ does too. Since $E,F,K,K^{-1}$ generate the quantum enveloping algebra of sl2, the degree-$n$ component is a submodule, with basis $x^n,x^{n-1}y,\dots ,y^n$ and dimension $n+1$.

Let $n:k\to V^{\ast }\otimes V$ be the supplied coevaluation morphism, $n(1)=x\otimes u+y\otimes v$, and let $e:V^{\ast }\otimes V\to k$ be the supplied evaluation morphism with diagonal coefficients $A,B$. The tangle obtained by inserting the given crossing between the created strand and a through strand, then evaluating, is a removable curl. The first Reidemeister move gives the identityWe calculate this map on both basis vectors. The crossing matrix givesFor input $u$, applying $n$, then $c$, then $e$ givesFor input $v$, the off-diagonal evaluation vanishes and the result is $q^{-1}Bv$. Therefore the removable-curl identity requiresSolve the first equation to obtain $B=q$; substitution in the second gives $A=q^{-1}$. HenceFinally the closed identity strand is represented by $e\circ n$. Its value is $e(x\otimes u+y\otimes v)=A+B$, so the quantum dimension isIt is a weighted categorical contraction, rather than the ordinary vector space dimension $2$. Using a framed category without imposing the removable-curl identity would require additional twist data; the ordinary tangle category and the specified crossing normalization determine these coefficients.

For a finite-dimensional Lie algebra, the Killing form is defined using the Adjoint representation on the algebra itself, rather than the given Lie algebra representation $d$:The Jacobi identity gives ${\mathrm{ad}}_{[X,Y]}=[{\mathrm{ad}}_X,{\mathrm{ad}}_Y]$. Using the cyclic property of the trace,The same trace identity makes the Killing form symmetric. For a basis $(t_a)$, the lowered structure constants of a Lie algebra are $c_{abc}=\kappa ([t_a,t_b],t_c)$. Antisymmetry of the Lie bracket gives $c_{abc}=-c_{bac}$, while invariance gives $c_{abc}=\kappa (t_a,[t_b,t_c])=-c_{acb}$. The two adjacent transpositions generate every permutation, proving the antisymmetry of Killing-lowered structure constants: $c_{abc}$ is totally antisymmetric, even if the Killing form is degenerate.

A semisimple Lie algebra has no nonzero solvable ideal; equivalently, its solvable radical is zero, or, in characteristic zero, its Killing form is nondegenerate. A real compact Lie algebra is the algebra of some compact Lie group, equivalently an algebra admitting a positive-definite invariant bilinear form on a Lie algebra. For a real semisimple Lie algebra the compactness criterion from the Killing form says precisely that $\kappa$ is negative-definite. A compact algebra with a nonzero abelian center has a degenerate Killing form, so the semisimplicity qualification matters.

For a semisimple Lie algebra, let ${\kappa }^{ab}$ denote the inverse matrix of ${\kappa }_{ab}=\kappa (t_a,t_b)$. Its Casimir operator in $d$ isThis contraction is independent of the chosen basis. To prove centrality directly, put $[X,t_b]=A^a{}_b{t}_a$. Invariance gives $A^{\mathsf{T}}\kappa +\kappa A=0$, hence $A{\kappa }^{-1}+{\kappa }^{-1}{A}^{\mathsf{T}}=0$. The Lie algebra representation property and the product rule for a commutator now giveIndeed, the coefficient of $d(t_c)d(t_b)$ in this expression is $(A{\kappa }^{-1}+{\kappa }^{-1}{A}^{\mathsf{T}}{)}^{cb}$. Thus $[d(X),C]=0$ for every $X$. No irreducibility of $d$ is required.

The matrix units obey $E_{ij}{E}_{pq}={\delta }_{jp}{E}_{iq}$. Consequently the general linear Lie algebra $\mathcal{M}={\mathfrak{gl}}_n(\mathbb{R})$ hasFor its Killing form, write $L_X(Z)=XZ$ and $R_X(Z)=ZX$, so that ${\mathrm{ad}}_X=L_X-R_X$. Left multiplication acts identically on each of the $n$ columns, and right multiplication identically on each of the $n$ rows. Thus $\mathrm{Tr}(L_X{L}_Y)=\mathrm{Tr}(R_X{R}_Y)=n\mathrm{tr}(XY)$. The diagonal coefficient of $L_X{R}_Y$ on $E_{ij}$ is $X_{ii}{Y}_{jj}$, giving $\mathrm{Tr}(L_X{R}_Y)=\mathrm{tr}X\mathrm{tr}Y$; the other mixed trace is identical. This proves the Killing form of the general linear Lie algebra:The scalar matrices form a nonzero central abelian ideal, so $\mathcal{M}$ is not semisimple for any $n\ge 1$. More explicitly, the radical of the Killing form is $\mathbb{R}I$, since vanishing against every $Y$ forces $nX-(\mathrm{tr}X)I=0$ by nondegeneracy of the trace pairing. For $n\ge 2$, take $H=E_{11}-E_{22}$. Then $\kappa (H,H)=4n>0$, whereas a positive-definite invariant inner product would make every adjoint map skew and hence give $\kappa (X,X)\le 0$. Therefore $\mathcal{M}$ is not compact when $n\ge 2$. For the allowed exceptional value $n=1$, the abstract abelian algebra $\mathbb{R}$ is a compact Lie algebra, being isomorphic to the algebra of $U(1)$; the particular matrix group $G{L}_1(\mathbb{R})$ is nevertheless noncompact. This distinguishes compactness of an algebra from that of a chosen group realizing it.

For the final algebra, the printed basis specifies strictly upper triangular matrices. If $i<j$ and $p<q$, the first term in $[E_{ij},E_{pq}]$ can be nonzero only when $i<j=p<q$, and then $E_{iq}$ is strictly upper triangular; the second can be nonzero only when $p<q=i<j$, and then $E_{pj}$ is strictly upper triangular. Bilinearity proves closure under the Lie bracket. To compute its own Killing form, grade $E_{ij}$ by the positive integer $j-i$. Bracketing with any basis element increases that degree whenever the result is nonzero. In a basis ordered by degree, all adjoint maps are strictly triangular, as are their products. Every such product has zero trace, so the Killing form of a nilpotent Lie algebra vanishes here. Therefore the subspace denoted by a prime in the PDF isThis is the defined radical of the Killing form, not the derived algebra; for $n=1$ both $\mathcal{L}$ and this radical are zero.

The objective is a continuous faithful representation of a uniform pro-p group $G$ in some ${\mathrm{GL}}_N({\mathbb{Z}}_p)$. The proof proceeds from the intrinsic Lie lattice to a small matrix group, then extends the resulting representation to all of $G$. This last step matters: a representation defined only on an open subgroup does not yet establish linearity of the original group.

Let $L=L_G$ be the Lie algebra of a uniform pro-p group and put $\mathfrak{g}={\mathbb{Q}}_p{\otimes }_{{\mathbb{Z}}_p}L$. The uniform-group/Lie-lattice correspondence identifies the group law on $L$ with BCH. The substantial finite-dimensional Lie-theoretic input is the Ado theorem: every finite-dimensional Lie algebra over a characteristic-zero field admits a faithful finite-dimensional representation. Apply it to obtainAn Adjoint representation would not suffice here, since it kills the centre; Ado supplies injectivity even in central directions.

Choose a p-adic lattice $\Lambda$ spanning $V$. Since $L$ has finitely many lattice generators, their representing matrices have bounded denominators. There is therefore an integer $a\ge 0$ such thatOn this matrix lattice the series $\exp X={\sum }_{n\ge 0}{X}^n/n!$ and $\log (1+Y)={\sum }_{n\ge 1}(-1{)}^{n+1}{Y}^n/n$ converge and are inverse. For example $v_p(n!)\le n/(p-1)$, so the valuations of the exponential terms tend to infinity with this choice of $ϵ$; the logarithm terms do as well. They take values in $1+p^{ϵ}\mathrm{End}(\Lambda )$ and in $p^{ϵ}\mathrm{End}(\Lambda )$ respectively. The formal identity $\exp (\mathrm{BCH}(X,Y))=\exp X\exp Y$ holds for the convergent series.

Under the correspondence, $U=G^{p^a}$ has Lie lattice $p^{a}L$ and is an open characteristic subgroup. Definewhere ${\log }_G$ denotes the identification of $U$ with $p^{a}L$. A Lie homomorphism preserves BCH, so the exponential identity proves $\eta (uv)=\eta (u)\eta (v)$. If $\eta (u)=I$, the matrix logarithm gives $\rho ({\log }_{G}u)=0$; faithfulness of $\rho$ gives $u=1$. Thus $\eta$ is a continuous faithful integral representation of $U$.

To extend it, take the moduleValues on a transversal of $U\backslash G$ determine $f$, so $W$ is a free module over ${\mathbb{Z}}_p$ of rank $[G:U]\dim V$. These functions are continuous, since on each open coset they are given by the continuous representation $\eta$. Define $(T_{g}f)(x)=f(xg)$. The equivariance condition is preserved, and $T_g{T}_h=T_{gh}$. In a transversal basis each $T_g$ is a permutation of blocks followed by matrices from $\eta (U)$, so it belongs to $\mathrm{GL}(W)$ and depends continuously on $g$.

Faithfulness can be checked directly. If $g\notin U$, right multiplication moves the coset $U$ to a different coset, so $T_g$ moves a function supported on one block and cannot be the identity. If $g\in U$ and $T_g=1$, evaluation at $1$ gives $f(g)=f(1)$ for every $f$, whereas equivariance gives $f(g)=\eta (g)f(1)$. Since $f(1)$ is arbitrary, $\eta (g)=I$, and hence $g=1$. ThereforeCompactness of $G$ makes this continuous injection a homeomorphism onto its closed image. This proves the linearity of a uniform pro-p group for the full group, including its centre, and explains why taking a sufficiently small power lattice permits matrix integration before finite-index induction restores the whole group.