Past exam of the mathematics course of the University of Cambridge 2007 iii Paper 2 2 b Solution 2026-10-14
Use the comultiplication , , of the quantum enveloping algebra of sl2. Choose a basis for with , , and . Choose a basis for 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 is killed by and has eigenvalue . Direct application of the comultiplication givesand the string formula gives , , . Also . Thus is a submodule isomorphic to .
The other highest vector and its lowered partner areIndeed , , , and . Therefore is a submodule isomorphic to .
To verify that this is a direct sum, in the weight space the determinant of the coefficients of is . In the weight space, the coefficient determinant of is . The extreme weight spaces are spanned by . 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 weight spaces and applying the nonzero raising and lowering coefficients recovers its entire basis. Consequently
Past exam of the mathematics course of the University of Cambridge 2007 iii Paper 2 4 d Solution Created 2026-10-03 Updated 2026-10-14
At a primitive cube root of unity, , , . In the degree-three quantum plane module, put , , , . The complete actions areHence is a two-dimensional trivial submodule; every line in is a simple module. The quotient by is a two-dimensional simple module, with distinct eigenvalues and nonzero maps connecting its two weight spaces.
Let be a simple module that is a submodule of this cubic component. If , simplicity makes , so is one of its lines. If , the quotient map injects into the simple quotient. Its nonzero image is the entire quotient, so . Since is diagonalizable, such an must contain the unique weight space . But , which then belongs to , a contradiction. Therefore the cubic-root quantum-plane socle gives the complete answer:All simple submodules lie in the two-dimensional , so their sum cannot equal the four-dimensional cubic component. It is not a direct sum of simple modules. The obstruction is the nonzero extension to the simple two-dimensional quotient, not a failure of that quotient to be simple.
Past exam of the mathematics course of the University of Cambridge 2007 iii Paper 29 4 b Solution Created 2026-10-03 Updated 2026-10-14
An eigenform is understood to be nonzero; the zero form would put no constraint on the alleged eigenvalues. The coefficient of in is , since . Comparing with the coefficient in givesThe constant coefficient comparison gives , so
For completeness derive the operator multiplication law underlying the last relation. On formal Fourier series defineThese auxiliary maps need not separately preserve modularity, but coefficient identities are valid and . Part (a) givesMultiplication on the left by yields the sum and, from for , the remaining sum . HenceInduction on the smaller exponent, applying this recurrence and cancelling its two overlapping sums, now givesTo make the induction explicit, write and assume . Substituting the formulas already established for and into givesThe last term is exactly the missing term. The cases are the identity operator and the prime recurrence above.
For distinct primes, their and maps commute, and the divisor formula in (a) factors independently at each prime. It follows that for coprime . Multiplying the prime-power identities therefore gives the general Hecke multiplication relationsApply this identity to the same nonzero eigenform and cancel the vector , obtainingThis reasoning does not silently divide by , which is important when considering noncuspidal weight-zero forms.
Past exam of the mathematics course of the University of Cambridge 2007 iii Paper 4 1 ii Solution Created 2026-10-03 Updated 2026-10-14
Let be a nonzero finite-dimensional Irreducible Lie algebra representation. Since is central, its action is a scalar by the Schur lemma. Taking the trace of gives , so .
The actions of now commute. Choose an eigenvalue of . Its nonzero eigenspace is preserved by , which has an eigenvector there, with some eigenvalue . The span of this common eigenvector is invariant under all of . Irreducibility forces it to be the whole representation. ConsequentlyConversely each such assignment is a one-dimensional Lie algebra representation and hence irreducible. Distinct pairs give nonisomorphic representations. This classifies all finite-dimensional irreducible representations; none is faithful because all annihilate .
Past exam of the mathematics course of the University of Cambridge 2007 iii Paper 47 3 a Solution Created 2026-10-03 Updated 2026-10-14
Principal component analysis replaces correlated measurements by uncorrelated linear compounds ordered by decreasing variance. Keeping the leading compounds gives a low-dimensional summary that preserves as much variance as possible under orthonormal projection. It is an unsupervised description of variation, rather than a guarantee that the high-variance directions are best for classification or prediction.
Write . For a unit loading vector , the variance of is . The spectral theorem gives an orthonormal eigenbasis with eigenvalues . If and , thenEquality is attained at . Requiring the next loading to be orthogonal to the first excludes its eigendirection, so the same argument gives and variance , and continues inductively. Repeated eigenvalues permit any orthonormal basis of the tied eigenspace. These are the population principal components.
With , set . ThenIn particular the components are uncorrelated. They need not be independent unless, for example, is multivariate normal. FinallyThe trace equality follows from and cyclicity of trace, so the rotation preserves total variance. The explained variance of a principal component is its eigenvalue divided by this total.
Past exam of the mathematics course of the University of Cambridge 2007 iii Paper 47 3 b Solution Created 2026-10-03 Updated 2026-10-14
The given equicorrelation covariance matrix can be writtenOn , the rank-one matrix acts as multiplication by four. On the three-dimensional orthogonal complement it acts as zero. Hence the eigenvalues are and with multiplicity three.
For , the largest eigenvalue is and its normalized eigenvector is . Therefore the first population principal component isOmitting the centering merely changes the component by a constant and has no effect on its variance. Since , its explained fraction isIt rises from one quarter towards one as the positive common correlation increases. Outside the specified range, a valid covariance requires ; for negative the sum direction is no longer the leading one.
Past exam of the mathematics course of the University of Cambridge 2007 iii Paper 47 3 c ii Solution Created 2026-10-03 Updated 2026-10-14
The three retained covariance components explainleaving only of the raw total variance. Three components are a reasonable covariance-based descriptive compression, if that amount of discarded variation is acceptable for the intended use. Even two explain about , so three is a useful choice rather than a uniquely forced one.
For the correlation analysis,so three retain and discard of standardized variation. Three can provide an interpretable summary, but the supplied information does not justify treating them as sufficient for every purpose. Tasks requiring high standardized reconstruction accuracy may need more.
Each of the three displayed correlation eigenvalues exceeds the average eigenvalue one, but that alone does not show all remaining eigenvalues are below one. Their sum is , and a fourth eigenvalue just above one is compatible with both that sum and the ordering. A complete eigenvalue sequence, a plot of successive eigenvalues, and the stability and interpretation of the directions would help decide the cutoff. With only 25 countries, estimated directions also have sampling uncertainty. The retained covariance and correlation dimensions should therefore be judged against their own variance criterion and substantive aim, not chosen solely because three columns were printed.
Past exam of the mathematics course of the University of Cambridge 2007 iii Paper 50 1 c Solution Created 2026-10-03 Updated 2026-10-14
For positive frequency take , with . Lowering the index in is important: putThese are commuting Hermitian matrices with . Their eigenvalues are , so they are positive definite for and positive semidefinite matrices for . Simultaneous diagonalization defines their positive square roots of a matrix and gives .
The plane-wave ansatz reduces the Dirac equation to , whereFor and , commutativity gives and . ThereforeThis is the Hermitian square-root construction of Dirac plane waves.
For negative frequency retain the future-directed momentum label and use . The equation is now . Its general solution iswith arbitrary two-spinor . The minus between its two blocks gives and . For these parametrizations span the two-dimensional positive- and negative-frequency solution spaces. At nonzero null momentum the square roots have complementary rank-one supports and still give the full two-dimensional kernels. If , both spinors have norm squared ; the positive one also has .
Past exam of the mathematics course of the University of Cambridge 2007 iii Paper 53 1 Solution Created 2026-10-03 Updated 2026-10-14
Adopt the phase convention and . Changing both phases changes the convention for the mixing parameter, not physical predictions. The flavor contents are and . A pair of charged weak currents changes strangeness by two units through the following box contractions, with summed over.
Charged-current box contractions for neutral-kaon mixing; solid arrows carry quark number and wavy lines denote W bosons
. Details. The drawing uses unitary gauge: the W boson gauge-boson propagator contains its longitudinal part. In a gauge of a renormalizable quantum field theory, charged Goldstone boson boxes must also be included to obtain the same gauge-independent result. The external lines represent the valence quarks; the meson matrix element also contains strong interaction binding effects.
Put , and . The charged weak box contribution to kaon mixing has the effective four-fermion interaction structureHere is the Fermi constant, is the CKM matrix, and is a dimensionless loop function from a Feynman integral; the estimate suppresses convention-dependent numerical factors. Four weak interaction Feynman vertices and a one-loop Feynman integral give the coupling and loop order suppression. Unitarity of the CKM matrix gives , so the GIM mechanism cancels the mass-independent part. With a negligible up quark mass, the leading charm quark term has . Define by . Estimating the hadronic matrix element by , with the dimensionless kaon bag parameter of order unity, givesThe hadronic normalization includes division by when relativistically normalized states are converted to the effective Hamiltonian for neutral-meson mixing. Since , the Cabibbo suppression is explicit. Illustrative scales , , and give an order to estimate. The full sum includes charm quark-top quark and top quark-top quark terms, important for CP violation; long-distance strong interaction contributions prevent this dimensional estimate from being a precision prediction. A meson matrix element necessarily needs hadronic input in addition to electroweak parameters.
For the decaying kaon system write , where and are Hermitian matrices. The entries denoted in the question are entries of this effective Hamiltonian for neutral-meson mixing; they need not themselves form a Hermitian matrix. CPT invariance equates the diagonal masses and diagonal decay widths, givingOne can see why there is no complex conjugation on the right as follows. In the flavor subspace let and represent the antiunitary CPT operation by followed by complex conjugation. CPT changes a projected forward propagator into its adjoint. Indeed, if projects onto the flavor subspace and is the Hermitian microscopic generator, its invariance and the antiunitary reversal of give . In the time-independent two-state approximation, the effective generator this means , whose diagonal entries give ; the off-diagonal entries impose no further condition. Equivalently, apply CPT separately to the dispersive and absorptive Hermitian matrices. Treating the decaying effective Hamiltonian for neutral-meson mixing as a Hermitian matrix would incorrectly discard the absorptive part.
In the chosen flavor phase convention CP is represented by . Its invariance requires . Thus it gives diagonal equality and additionallyThe normalized CP eigenstates areApplying CP directly gives eigenvalues and respectively.
Now use CPT to put and take correlated square roots , . Its characteristic polynomial equation is , and direct multiplication showsExpressing these two eigenvectors in the CP eigenstate basis gives, respectively, coefficients proportional to and . Therefore the kaon CP mixing parameter isand, because the CP eigenstate basis is orthonormal, the normalized states at production areThe kaon mixing square-root branch convention correlates the roots continuously with the limit of conserved CP , where and . Reversing one root interchanges the two eigenstates. The labels short and long are fixed by their decay widths: their complex eigenvalues are , and subsequent evolution supplies . The displayed formula assumes nonzero mixing and , as in the physical kaon system; degenerate or defective matrices require a separate limiting treatment.
Past exam of the mathematics course of the University of Cambridge 2007 iii Paper 55 3 Solution 2026-10-14
Assume global four-dimensional N=1 supersymmetry with canonical kinetic terms and no explicit gaugino mass. Write and . To match the displayed stationarity equation, use ; this differs by a minus sign from the eliminated auxiliary field in the component convention of Solution 2. The real D-terms are , with Hermitian gauge generators. A constant Fayet–Iliopoulos term is permitted only for an appropriate Abelian factor. The scalar potential isDifferentiate with respect to , holding independent:Thus stationary point conditions gives the first requested identity. Gauge invariance of the superpotential gives . Conjugating it and using Hermiticity gives , the second condition in the form needed below.
At the vacuum, define and . The two conditions combine asHere the upper equation is stationarity and the lower equation is conjugated gauge invariance. The chiral-superfield fermion mass matrix contributes , and the gauge Yukawa interaction contributes the mixed chiral-fermion/gaugino bilinear. With canonical Weyl fermion and gaugino kinetic terms, and choosing the gaugino phase to put the mixed bilinear in real-sign convention, these terms areThe factor is important: the matrix directly acting on the printed is the same mass bilinear with rescaled gauginos, rather than literally the canonical matrix. In detail, for ,Since supersymmetry breaking makes this vector nonzero, there is at least one zero mass eigenvalue. A normalized massless fermion isWith the consistent gaugino phase, the inhomogeneous vacuum supersymmetry transformation of is proportional to the same vector . Therefore shifts by a nonzero constant times the transformation parameter: it is the Goldstino, the Goldstone fermion of broken global supersymmetry. The argument guarantees at least one Goldstino zero mode, not the absence of other massless fermions.
For the second calculation, first take only canonical chiral superfields and F-term breaking. At a stationary vacuum , let , andThese follow by differentiating twice. The quadratic scalar potential isThe doubled scalar mass matrix has blocksTransforming to the canonically normalized real components of preserves its trace, so the sum of real scalar mass squares is . The Weyl fermion mass squares are the eigenvalues of and their sum is . Each Weyl mass eigenstate has two physical spin states. The printed supertrace has scalar sign and fermion weight , henceThe frequently used boson-minus-fermion definition has the opposite overall sign and gives the same zero. The mixing block can split scalar masses but cannot change this trace. This proves the tree-level supertrace mass sum rule; it uses canonical kinetic terms and a renormalizable global theory, rather than a general supergravity or noncanonical effective theory.
In the MSSM, trying to make all squarks and sleptons heavy through direct canonical tree-level F-term breaking encounters this constraint. In an unbroken electric-charge and color sector, the scalar mass-squared trace is twice the trace for its ordinary fermionic partners. More explicitly, take a unit vector minimizing . For , choose so that . The curvature along this real scalar direction is then at most , so at least one scalar mass square is no larger than the smallest fermion mass square in that sector. For one isolated pair the scalar masses are . Thus light quarks can force an unacceptably light squark, or a tachyon, under these assumptions. A hidden supersymmetry-breaking sector with mediation produces effective soft supersymmetry breaking; radiative effects, noncanonical kinetic terms, or supergravity can change the assumptions and allow a viable spectrum. The trace over an arbitrary enlarged theory alone would not locate the light state in the visible sector; the MSSM conclusion uses the conserved-charge block structure.
