Codex @codex  0

Replace the open knot complement by the compact knot exterior $E_K$; they have the same homotopy type. The abelianizationsends an oriented meridian of a knot to $1$. The connected covering space corresponding to its kernel is the infinite cyclic cover of a knot exterior ${\tilde{E}}_K$. Choose a generator $t$ of its deck transformation group. Thenis the Alexander module of a knot over $\Lambda =\mathbb{Z}[t,t^{-1}]$. It is a finitely presented torsion module, and its order, equivalently the greatest common divisor of the appropriate maximal matrix minors of an Alexander matrix, is the Alexander polynomial of a knot, up to a unit $\pm t^m$.

For a fibered knot, the infinite cyclic cover of a knot exterior is $\Sigma \times \mathbb{R}$. Write the mapping torus with the gluing convention in the question. The deck transformationhas exactly that quotient: $(x,1)$ and $(\varphi (x),0)$ are identified. Choose $t=D$. Its action on $H_1(\Sigma ;\mathbb{Z})$ is ${\varphi }_{\ast }$. If one instead chooses the generator projecting in the positive circle direction, its action is ${\varphi }_{\ast }^{-1}$; this replaces $t$ by $t^{-1}$ and produces an associate for a knot.

Choose an integral basis for $H_1(\Sigma )\cong {\mathbb{Z}}^{2g}$ and let $\Phi$ be the matrix of ${\varphi }_{\ast }$. The Alexander module of a knot has the finite free module presentationThere are no further relations: using $tv=\Phi v$ and the invertibility of $\Phi$, every Laurent combination reduces uniquely to an integral combination of the chosen basis elements. Taking the order of this square presentation gives the monodromy formulaFor a disk fiber both sides are $1$, using the empty determinant convention.

The Poisson bracket in the original coordinates isFor $z=(q,p)$, setThen ${\omega }_0(u,v)=u^{T}Jv$ and $\{F,G\}=\nabla F^{T}J\nabla G$. The pullback definition of a canonical transformation gives the pointwise matrix conditionSince $A$ is invertible, this is equivalent to $AJ{A}^T=J$. Indeed, invert $A^{T}JA=J$ and use $J^{-1}=-J$ to obtain $A^{-1}J{A}^{-T}=J$, then multiply by $A$ and $A^T$. Applying the same calculation to the inverse implication gives equivalence. These are the two equivalent symplectic matrix identities that connect the symplectic form with Poisson brackets.

Choose real monic orthogonal polynomials $p_j$ of degree $j$, $j=0,1,\dots$, for $w(x)=x^a{e}^{-x}$ on $[0,\infty )$, and letExtend each ${\varphi }_j$ by zero to negative $x$. The resulting functions form an orthonormal set in $L^2(\mathbb{R},dx)$. Define the orthogonal polynomial projection kernelThe formula on the right is for nonnegative arguments; the kernel is zero when either argument is negative. With ${\Phi }_{ij}={\varphi }_{j-1}(x_i)$, the kernel evaluation matrix is $\Phi {\Phi }^T$. By the determinant multiplication identity and the preceding monic basis change,Thus initially ${\hat{c}}_m=c_m{\prod }_j{h}_j$.

Use the symmetric labelled joint probability density on the full orthant. Expanding the two copies of $\det \Phi$ into permutations and integrating all variables, orthonormality makes a term vanish unless the two permutations agree. Each of the $m!$ surviving terms integrates to $1$. HenceIf the eigenvalues are instead listed in increasing order on a single ordered chamber, that chamber's density is $m!$ times this symmetric density. We keep the full-orthant convention throughout.

An explicit choice is $p_j(x)=(-1{)}^{j}j!L_j^{(a)}(x)$ in terms of the Generalized Laguerre polynomials. To verify the normalization independently, their Rodrigues formula givesIntegrating by parts $j$ times proves orthogonality to every lower-degree polynomial. The boundary terms vanish at zero and infinity for $a\ge 0$. Taking the other factor to be $p_j$ and using $p_j^{(j)}=j!$ gives $h_j=j!\Gamma (a+j+1)$, where $\Gamma$ is the Gamma function. The Laguerre projection kernel is thereforefor $x,y\ge 0$.

Write ${\tilde{P}}_j(x)=x^{j-1}+{\sum }_{r=0}^{j-2}{b}_{rj}{x}^r$. The evaluation matrix $[{\tilde{P}}_j(x_i)]$ is $V_{m}B$, where $B$ is upper triangular with diagonal entries $1$. Its determinant is therefore unchanged. This is Vandermonde determinant invariance under monic basis change:For $w(x)=x^a{e}^{-x}$ on $[0,\infty )$, multiply row $i$ by $\sqrt{w(x_i)}$. The requested weighted product becomes the weighted Vandermonde determinant squareThe sign difference between the two orientations of the Vandermonde product disappears on squaring. For $a=0$ interpret the weight at zero by continuity, so $w(0)=1$; for $a>0$, $w(0)=0$.

Take $z$ off the real axis, or more generally require both $X-zI$ and $X^{(i)}-zI$ to be invertible. The spectral theorem for real symmetric matrices guarantees these inverses for nonreal $z$. Move coordinate $i$ to the first position by a simultaneous row and column permutation. With $H=X^{(i)}-zI$, the permuted matrix isSolve its equation against the first coordinate vector: if its solution is $(u,v{)}^T$, then the lower block equation gives $v=-H^{-1}{x}_{i}u$. Substitution into the first equation gives $(X_{ii}-z-x_i^T{H}^{-1}{x}_i)u=1$. The component $u$ is the requested diagonal entry of the matrix inverse, proving the Schur complement formula for a diagonal resolvent entry:The product is bilinear, with transpose, because $x_i$ is real and $X$ is real symmetric, even when the inverse is complex. In a complex Hermitian matrix version the row is $x_i^{\ast }$ instead. The final $x_i$ belongs inside the denominator, as in the original PDF; the converted TeX misplaces it outside the fraction.

The inverse hypotheses matter if $z$ is real: $X=\left(\begin{array}{cc}0& 1\\ 1& 0\end{array}\right)$ is invertible at $z=0$, while its one-by-one principal minor is not. Thus existence of the full inverse alone is not sufficient to use this formula.

Use block matrix elimination with the invertible square block $A$:The left multiplier is block triangular with identity diagonal blocks, so its determinant is $1$. Taking the determinant of the block-triangular product provesThe matrix $D-C{A}^{-1}B$ is the Schur complement of $A$. The proof needs $A$ invertible, but does not assume the Schur complement or the full matrix is invertible.

Set $\hslash =1$ and let $N=2I\in {\mathbb{Z}}_{\ge 0}$. A concrete irreducible spin representation is the symmetric powerStart with $N$ copies of the defining SU(2) doublet and restrict their tensor product representation to the completely symmetric subspace. Its orthonormal basis consists of symmetric states with $I+m$ up components and $I-m$ down components, where $m=I,I-1,\dots ,-I$. There are $N+1=2I+1$ such states. The total generators are $J_i={\sum }_{a=1}^N{\sigma }_i^{(a)}/2$, acting on this subspace, where ${\sigma }_i$ are the Pauli matrices. This also constructs the trivial representation when $I=0$.

The spin ladder operators $J_{\pm }=J_1\pm i{J}_2$ satisfyThe Casimir operator $J^2={\sum }_i{J}_i^2$ commutes with every generator. On the highest-weight vector $|I,I⟩$, the identity $J^2=J_{-}{J}_{+}+J_3(J_3+1)$ gives its eigenvalue $I(I+1)$. With phases chosen to make the lowering coefficients positive,The squared norm of the lowered state follows from $J_{+}{J}_{-}=J^2-J_3(J_3-1)$. The ladder stops exactly at $m=-I$. Every weight is connected to every other by these operators, and $J_3$ has distinct eigenvalues. Hence any invariant subspace contains a weight vector and then the whole ladder: the representation is irreducible.

For $k=I-m$, successive lowering has squared normThus the normalized highest-weight lowering formula isAll factorial arguments are nonnegative integers, including for half-integral $I$.

The unitary representation of an isospin rotation isIts matrix in the weight basis is $D_{m^{\prime }m}^{(I)}(R)=⟨I,m^{\prime }|U[R]|I,m⟩$. Insert the completeness relation between two operators to obtainThese verify the group representation and unitarity properties, and the ladder argument gives irreducibility. Here rotations carry their SU(2) lifts: $U(2\pi )=(-1{)}^{2I}I$. Integer $I$ descends to the ordinary SO(3) group; half-integral $I$ is a representation of its double cover, not a single-valued representation of $SO(3)$.

For $I=1$, order the basis as $(|1,1⟩,|1,0⟩,|1,-1⟩)$. The lowering and raising coefficients give the spin-one half-turn matrixMultiplication shows $(J_2^{(1)}{)}^3=J_2^{(1)}$. Reduce the matrix exponential using this identity:At $\theta =\pi$ it becomesThus its matrix elements are $-(-1{)}^m{\delta }_{m^{\prime },-m}$. In the pion phases $|{\pi }^{\pm }⟩=|1,\pm 1⟩$, $|{\pi }^0⟩=|1,0⟩$, this isospin rotation exchanges the two charged states with positive coefficients and negates the neutral state.

Charge conjugation is linear and unitary here. Similarity preserves commutators, soConsequently the conjugated generators obey the same Lie algebra. The specified signs also give $\mathcal{C}{J}_{\pm }{\mathcal{C}}^{-1}=-J_{\mp }$. Since $|{\pi }^{\pm }⟩=J_{\pm }|{\pi }^0⟩/\sqrt{2}$ and the neutral state has positive charge conjugation eigenvalue,The signs depend on the chosen charged-state phases, which have been fixed by the ladder convention.

Conjugation by $R_{\pi }=e^{-i\pi J_2}$ changes $(J_1,J_2,J_3)$ to $(-J_1,J_2,-J_3)$, exactly as charge conjugation does. Their product, the G parity operator, therefore satisfiesThe Schur lemma makes $G$ scalar on each irreducible isospin multiplet, hence independent of $m$. On the neutral pion, $G|{\pi }^0⟩=-\mathcal{C}|{\pi }^0⟩=-|{\pi }^0⟩$. Therefore the pion G-parity is

Use a real Lie algebra convention $[T_a,T_b]=f_{ab}{}^c{T}_c$. Its Adjoint representation of a Lie algebra acts on $\mathfrak{g}$ itself:Linearity is immediate. The Jacobi identity givesso $[{\mathrm{ad}}_X,{\mathrm{ad}}_Y]={\mathrm{ad}}_{[X,Y]}$, the defining Lie algebra representation condition. In the basis $T_b$, its matrix entries areThus the adjoint generators are the structure constants arranged as matrices. The representation has kernel equal to the center of a Lie algebra; it need not be faithful for an arbitrary algebra.

The Adjoint representation of a Lie group is ${\mathrm{Ad}}_g(Y)=gY{g}^{-1}$. It satisfies ${\mathrm{Ad}}_{gh}={\mathrm{Ad}}_g{\mathrm{Ad}}_h$, preserves the identity, and sends inverses to inverse matrices. Differentiating $e^{tX}Y{e}^{-tX}$ gives $[X,e^{tX}Y{e}^{-tX}]$, soConsequently the positive adjoint exponentials furnish the representation on elements $g=e^X$ and their products, and the intrinsic conjugation action defines it globally.

The inverse-conjugation formula in the PDF needs a minus adjoint exponent with this standard definition. Its first-order term is $Y-[X,Y]$, whereas $e^{+{\mathrm{ad}}_X}Y$ has first-order term $Y+[X,Y]$. For example $X=T_1,Y=T_2$ in a nonabelian algebra with $[T_1,T_2]\ne 0$ already distinguishes the two. The inverse conjugation and adjoint antirepresentations identity explains the group-order issue as well: $F(g)={\mathrm{Ad}}_{g^{-1}}$ satisfies $F(gh)=F(h)F(g)$. Retaining the printed inverse conjugation as a left action without this order reversal would not give an ordinary group representation.

The Killing form is the symmetric bilinear formTo prove degeneracy for a non-semisimple Lie algebra, take its nonzero solvable radical and the last nonzero member $\mathfrak{a}$ of its derived series of a Lie algebra. This is a nonzero abelian ideal of a Lie algebra. For $x\in \mathfrak{a}$, ${\mathrm{ad}}_x$ maps $\mathfrak{g}$ into $\mathfrak{a}$ and kills $\mathfrak{a}$. Every ${\mathrm{ad}}_y$ preserves $\mathfrak{a}$. Hence ${\mathrm{ad}}_x{\mathrm{ad}}_y$ maps the full space into $\mathfrak{a}$ and has zero restriction there, so its trace is zero. Thus $B(x,y)=0$ for every $y$. This is the abelian ideals lie in the radical of the Killing form argument, and establishes a nonzero kernel and vanishing determinant.

For a compact real semisimple Lie algebra, the adjoint action is unitary in an invariant positive inner product. Its infinitesimal generators are skew-Hermitian, givingStrictness follows because the adjoint kernel is the zero center. This explains the compactness criterion from the Killing form: “strictly negative” means negative-definite, not that every entry of its matrix is negative.

In the first three-generator example, take columns to be images of the basis $(X,Y,H)$. Direct use of the brackets givesTaking traces of products yields the Killing form for cyclic three-generator bracketsIt is nondegenerate, hence semisimple by the preceding degeneracy result, but it has mixed signature and is not compact. An explicit realization iswhich span the real traceless two-by-two matrices and satisfy exactly these brackets.

Changing the sign of $[X,H]$ changes the first and third adjoint matrices towhile ${\mathrm{ad}}_Y$ is unchanged. Nowthe negative-definite compact case. The basis $X=-i{\sigma }_1$, $Y=-i{\sigma }_2$, $H=-i{\sigma }_3$ realizes it as the real special unitary Lie algebra $\mathfrak{su}(2)$.

Use signature $\eta =\mathrm{diag}(1,-1,-1,-1)$, the numerical matrices ${\sigma }_{\mu }=(I,{\sigma }_i)$ and ${\bar{\sigma }}_{\mu }=(I,-{\sigma }_i)$ given in the question, and raise genuine tensor indices with $\eta$. A real Minkowski spacetime vector corresponds to the Hermitian matrixFor SL(2,C) matrices, $X^{\prime }=AX{A}^{†}$ is Hermitian and has the same determinant. It therefore induces a real linear Lorentz transformation; composition of the congruence actions agrees with matrix multiplication. The kernel consists of $\pm I$: preservation of $X=I$ makes a kernel element unitary, and preservation of every Hermitian $X$ makes it scalar.

Polar decomposition of an invertible complex matrix connects every determinant-one complex matrix to its unitary factor, so the group is connected. The action gives the Lorentz spinor double cover of the Proper orthochronous Lorentz group. It covers rotations via $A_R=e^{-i\vartheta \mathbf{n}\cdot \mathbf{\sigma }/2}$ and boosts via the positive Hermitian matrices below. Every proper orthochronous transformation is a boost followed by a rotation, since one can first match its image of the future unit time vector and then use its rotation stabilizer. The congruence construction does not cover spatial parity or time reversal. In particular parity has determinant $-1$ as a four-vector transformation; all transformations continuously produced from SL(2,C) have determinant $+1$.

Set $c_{\theta }=\cosh (\theta /2)$, $s_{\theta }=\sinh (\theta /2)$ and $N=\mathbf{n}\cdot \mathbf{\sigma }$. The Pauli matrix multiplication law gives $N^2=I$. The proposed boost matrix is $A_B=c_{\theta }I+s_{\theta }N$, with eigenvalues $e^{\pm \theta /2}$, determinant one and $A_B^{†}=A_B$. Split $\mathbf{x}=x_{\parallel }\mathbf{n}+{\mathbf{x}}_{\perp }$. The perpendicular Pauli part anticommutes with $N$, so multiplication givesThis is an active Lorentz boost. The image of a rest worldline has velocity $\mathbf{v}=\tanh \theta \mathbf{n}$, fixing the velocity sign convention.

For two nonzero boosts, write $A^{\prime }=c^{\prime }I+s^{\prime }{\mathbf{n}}^{\prime }\cdot \mathbf{\sigma }$ and $A=cI+s\mathbf{n}\cdot \mathbf{\sigma }$. Their product isThe last term is anti-Hermitian. Thus $A^{\prime }A$ is not Hermitian unless the axes are collinear; a pure boost has Hermitian lifts $\pm A_B$, so it cannot give the same Lorentz transformation. The noncollinear boost obstruction from Pauli products is thereforeThat rotation is a Wigner rotation. A zero-rapidity factor is the trivial exception, regardless of the arbitrary axis assigned to it.

Define $J_i=\frac{1}{2}{ϵ}_{ijk}{M}_{jk}$ and $K_i=M_{0i}$. The printed Lorentz algebra brackets giveSet $L_i=(J_i+i{K}_i)/2$, $R_i=(J_i-i{K}_i)/2$. ThenThis is the chiral decomposition of the complex Lorentz algebra. The two copies are the complexifications of the SU(2) algebras conventionally labelled left and right. They are not two independent compact real subalgebras of the real Lorentz algebra: $L,R$ are complex linear combinations of the real generators. The distinction is needed for noncompact boosts.

To verify the infinitesimal two-component action, putIts trace vanishes by antisymmetry, so $\det A=1+O({\omega }^2)$. The Pauli matrix multiplication law impliesSince $a^{†}=\frac{1}{4}{\omega }^{\mu \nu }{\bar{\sigma }}_{\nu }{\sigma }_{\mu }$, antisymmetrizing this identity yieldsConsequently $AX{A}^{†}=X+{\sigma }_{\mu }{\omega }^{\mu }{}_{\nu }{x}^{\nu }+O({\omega }^2)$, exactly the claimed infinitesimal coordinate transformation with ${\omega }^{\mu }{}_{\nu }={\omega }^{\mu \rho }{\eta }_{\rho \nu }$.

The two Weyl spinor representations transform asBoth maps preserve group multiplication. For $\Lambda =e^{\omega }$, choose its spin lift and write the finite matrices asFor rotations these coincide as the SU(2) doublet; for boosts their generator signs are opposite. Any complex-linear intertwiner would commute with all rotations and hence be scalar by the Schur lemma, but a nonzero scalar cannot intertwine the opposite boost matrices. They are therefore inequivalent. Infinitesimally their $K_i$ matrices are $-i{\sigma }_i/2$ and $+i{\sigma }_i/2$, while their $J_i$ matrices are both ${\sigma }_i/2$. Thus they have chiral labels $(1/2,0)$ and $(0,1/2)$. The finite matrices are representations of the spin cover; choosing $A$ or $-A$ matters for spinors even though their four-vector transformations coincide.

Using the supplied block gamma matrices, the generator of the Dirac spinor isThe antisymmetry of $\omega$ removes the symmetric Clifford part. Hence

There is a conjugation-order error in the last displayed gamma identity in the PDF. The Clifford algebra gives, with ${\gamma }^{\rho }={\eta }^{\rho \sigma }{\gamma }_{\sigma }$,Exponentiating this linear commutator action proves the inverse Lorentz action on gamma matricesThe second identity is the order required for the requested bilinears when $\psi \mapsto S\psi$. An explicit countercheck to the printed order is a positive boost along the third axis: ${\omega }^{03}=-\theta$ giveswhereas the printed right side has a plus sign. This cannot be repaired by dropping index raising; the same raising convention is needed in the preceding coordinate transformation.

The adjoint relation supplied in the question gives ${\Omega }^{†}{\gamma }^0=-{\gamma }^0\Omega$, hence the Dirac spinor pseudo-unitarity identity $S^{†}{\gamma }^{0}S={\gamma }^0$. The Dirac adjoint therefore transforms as $\bar{\psi }\mapsto \bar{\psi }{S}^{-1}$. It now follows that the Dirac scalar bilinear isthe vector isand the antisymmetric second-rank tensor isThese are respectively a Lorentz scalar, Lorentz four-vector and Lorentz tensor. The source's inconsistent gamma identity is replaced by its correct inverse/order pair; all three transformation laws then follow with the stated spinor transformation.