Past exam of the mathematics course of the University of Cambridge 2015 iii Paper 18 4 b Solution Created 2026-10-03 Updated 2026-10-06
The Chern connection decomposes on vector-bundle-valued differential forms as , where raises holomorphic degree and raises antiholomorphic degree. In a holomorphic local frame, and . The type of the curvature form of a connection givesThe Kähler metric and the Hermitian metric define the inner product and the formal adjoints . The Dolbeault Laplacians areLet be the Lefschetz operator of a Kähler manifold and its adjoint Lefschetz operator. With the ordinary commutator convention , the printed Kähler identities giveSubstitution into the two Dolbeault Laplacians, followed by expansion, yieldsThe middle line follows by cancelling the terms with and ; the remaining terms collect the anticommutator of the two differentials. Hence , where denotes its wedge action. This is the Bochner-Kodaira-Nakano identity with the paper's sign convention.
Past exam of the mathematics course of the University of Cambridge 2015 iii Paper 48 2 d Solution Created 2026-10-03 Updated 2026-10-06
For ungauged chiral superfields, the two-derivative supersymmetric action is a real full-superspace integral plus a holomorphic half-superspace integral:The real Kähler potential determines the Kähler metric and kinetic terms; the superpotential determines Yukawa interactions and the F-term scalar potential. For canonical normalization, . Berezin integration is normalized to extract the highest component, , and the conjugate measure is chosen so the canonical term is . The D-term and F-term highest components vary by spacetime total derivatives, making the action invariant under supersymmetry. Gauging would replace the canonical bilinear by its gauge-covariant version and add a gauge kinetic F-term; no gauge multiplet is needed for the chiral theory here.
Past exam of the mathematics course of the University of Cambridge 2015 iii Paper 48 2 g Solution Created 2026-10-03 Updated 2026-10-06
Vary and independently. The auxiliary fields have algebraic, rather than differential, Euler-Lagrange equations:Alternatively complete the square:Substitution therefore yields the on-shell auxiliary fields and nonnegative scalar potentialThe sign in the Lagrangian is minus the F-term scalar potential; changing the metric convention does not change this algebraic result. A supersymmetric vacuum requires all , namely F-flatness. For a noncanonical positive Kähler metric , the purely bosonic elimination instead gives ; fermionic connection terms must also be included in a complete nonlinear component action.
Past exam of the mathematics course of the University of Cambridge 2016 iii Paper 118 1 c Solution Created 2026-10-03 Updated 2026-10-14
Use a radial geometric Kähler potential. Write and . The coefficient Hermitian matrix of isIts eigenvalues are in the complex tangential direction and in the complex radial direction. A Kähler metric is positive precisely when both are positive. The standard form has coefficient matrix , so equality of the Riemannian volume forms is the conditionIndeed, the volume form is and its coefficient is proportional to . Multiplying the determinant equation by gives , so we can takeAn explicit antiderivative isIt is smooth for . Its two eigenvalues areThe form is real and closed because it is of a real function, so it is a Kähler metric on the punctured space. Since , neither eigenvalue equals , and the metric differs from the Euclidean one. The radial and tangential stretches compensate exactly, preserving the volume form:This is a radial Kähler metric with Euclidean volume in complex dimension two.
Past exam of the mathematics course of the University of Cambridge 2016 iii Paper 118 2 b Solution Created 2026-10-03 Updated 2026-10-06
The real coordinate functions are real and imaginary parts of the holomorphic coordinates . Part (a), together with the real coefficients of the Laplace-Beltrami operator, therefore shows that every is a harmonic function. For the given divergence-of-gradient convention, applying the operator to givesThese are the harmonic coordinate identities. Expanding the operator on an arbitrary smooth function now givesThe bracketed coefficients vanish. Hence there is no first-derivative term in these coordinates:The reason is that the real components of holomorphic coordinates are harmonic coordinates for a Kähler metric; a general real coordinate change need not retain this simplification.
Past exam of the mathematics course of the University of Cambridge 2016 iii Paper 118 2 d Solution Created 2026-10-03 Updated 2026-10-06
Choose a constant positive Hermitian form on . Its underlying flat Kähler metric is translation-invariant and descends through the Euclidean lattice to the compact complex torus . The Dolbeault Hodge decomposition gives a unique Dolbeault Laplacian-harmonic representative of every Dolbeault cohomology class. By the Kähler Laplacian identity, these are also Hodge Laplacian-harmonic.
Choose a constant coframe on . A lifted harmonic form is a sum of constant wedge basis forms with smooth periodic coefficients. For the flat metric, the Hodge Laplacian acts coefficientwise by the scalar constant-coefficient Laplacian. Each coefficient is a harmonic function on a compact flat real torus, hence is constant: integration by parts gives . Conversely every constant-coefficient form is harmonic. Thus the harmonic representatives are exactly the translation-invariant differential forms of type (p, q).
The constant covectors form ; the constant covectors form the space of antilinear maps . Sending a constant wedge form to its cohomology class givesThe map is intrinsic and does not depend on the auxiliary flat metric: that metric proves every class has exactly one constant representative, while the inclusion of constant forms is defined directly by the quotient. The Dolbeault cohomology of a complex torus consists of constant forms, and in particularFor indices outside , both the exterior-power expression and the cohomology group vanish.
Past exam of the mathematics course of the University of Cambridge 2016 iii Paper 307 4 Solution Created 2026-10-03 Updated 2026-10-06
First assume global four-dimensional N=1 supersymmetry, canonical positive Kähler potential, and tree level. Write and at the stationary vacuum. The chiral-superfield fermion mass matrix is the symmetric matrix , and the sum of squared Weyl spinor masses is . From the F-term scalar potential , its mixed and holomorphic Hessian matrix blocks areFor canonically normalized real and imaginary parts of the scalar fields, the real scalar mass matrix has trace twice the mixed trace. Its holomorphic blocks can split the two real scalar masses but do not change their sum. HenceA Weyl spinor has two spin states, so this proves the tree-level supertrace mass sum rule,The paper defines its supertrace with , the negative of the conventional boson-minus-fermion supertrace used here. The asserted zero is the same in either convention. The result requires the stated canonical tree-level hypotheses; a noncanonical Kähler metric, supergravity, or radiative corrections can change the sum rule.
If vector multiplets are also present, the gauge contributions to the F-term supertrace cancel rather than being omitted. At , define for the scalar expectation vector . Differentiating adds to the real-scalar trace. The symmetric gaugino-matter mass matrix has off-diagonal entries , giving an extra in its fermion squared-mass trace. The covariant scalar kinetic term gives vector squared-mass trace . Thus their contribution is . The gauge-theory result uses all spin states, including the vector weight three; it is not obtained by dropping massive gauge partners.
The MSSM tree-level sfermion mass constraint explains the phenomenological difficulty with direct visible-sector breaking. If F-term breaking is neutral under an unbroken electric and color gauge symmetry, and no D-term shifts are present, the same trace argument applies within each conserved-charge fermion block. Its corresponding scalar partners cannot all have squared masses above the mean of the light fermion squared masses. Thus canonical tree-level visible-sector supersymmetry breaking alone cannot make every squark and other scalar partner heavy while leaving the observed fermions light. The usual effective soft supersymmetry breaking terms arise after communicating breaking from a separate sector; integrating out that sector, noncanonical interactions and radiative effects evade the hypotheses. The global trace identity alone would not identify a particular light squark without the conserved-charge block argument.
For the specified O'Raifeartaigh model, phases may be chosen so that are real and positive. Its superpotential derivatives areand its F-term scalar potential isFor fixed , choose to minimize the final square. Since ,Thus makes a global minimum with arbitrary . The hierarchy ensures this for fixed perturbative , rather than for arbitrarily large . The origin is one member of this classically flat family, with and . The complex field is a pseudomodulus.
At the origin the chiral-superfield fermion mass matrix, in the basis, isIts physical fermion masses are ; the two massive Weyl spinors form one massive four-component fermion. The massless is the goldstino. More generally, stationarity gives , so the nonzero auxiliary field direction is a null vector of , proving the goldstino zero mode from vacuum stationarity.
Writing and similarly for , the quadratic scalar potential isThe mass spectrum of the quadratic-cubic O'Raifeartaigh model is thereforeThe scalar squared-mass sum is , while twice the fermion squared-mass sum is also , so the supertrace is zero, as required. The two massless real modes are tree-level pseudomoduli, which can be lifted by a quantum effective potential; their tree-level masslessness is not the exact symmetry protection enjoyed by the goldstino.
Past exam of the mathematics course of the University of Cambridge 2017 iii Paper 307 2 Solution Created 2026-10-03 Updated 2026-10-05
Use left Grassmann derivatives for the Grassmann variables. A chiral superfield satisfies . In the derivative convention printed in the PDF, differentiating with respect to a barred coordinate brings a minus sign from moving the odd derivative through . Consequently , so the general solution depends only on and :Here is a complex scalar field, a Weyl spinor and a complex auxiliary field. This is a finite Grassmann algebra expansion, not an assumption that the spacetime fields are constant.
For a completely convention-independent way to organize the ordinary-coordinate expansion, let . Translation by givesAll higher terms vanish because there are only two unbarred and two barred odd coordinates. For example take , signature , and , with both lower epsilon tensors having . Then and the chiral-superfield component expansion readsThe frequently written positive quarter coefficient corresponds to the opposite convention for or the spinor contractions; the preceding shift formula fixes the sign without ambiguity. The local TeX's barred derivative is damaged: the original PDF has , not a barred-coordinate factor at its end.
Write in chiral coordinates. Multiplication gives the three component constraintsOn the regular branch where the ordinary commuting part of is nonzero, the nilpotent chiral superfield is thereforeThe goldstino and auxiliary field are independent; the scalar is a composite, not another independent degree of freedom. Its first two constraints follow because any product of three identical two-component odd spinor entries vanishes. It is essential not to divide by on a branch with zero commuting part: for example satisfies the nilpotency condition without breaking supersymmetry.
For a regular local action with no superspace derivatives in or , nilpotency truncates the most general superpotential and Kähler potential toThe last inequality makes the kinetic Kähler metric healthy. In global four-dimensional N=1 supersymmetry, the constant and holomorphic pieces of integrate to zero, and does not affect the action. On the bosonic background , the constraint sets and the auxiliary terms are . Eliminating them givesA nonzero is necessary for this regular constrained branch to be an on-shell vacuum. It gives nonzero and supersymmetry breaking, with the goldstino. Nilpotency alone is not a proof that every possible branch breaks supersymmetry. With the above composite parametrization is singular on shell, rather than evidence for a regular supersymmetric vacuum containing an independent Goldstino.
If these data are instead embedded in supergravity, the constant and linear terms cannot simply be discarded independently: a Kähler transformation also transforms . Before such a transformation, at the supergravity F-term potential isThus nonzero still breaks supersymmetry, but the vacuum energy need not be positive. This distinguishes the global answer from the local theory explicitly introduced in the next question.
Now write . The condition becomesUsing the same nonzero- branch gives the chiral superfield constrained by a nilpotent superfieldThe spinor and the auxiliary remain independent; the scalar is removed. Substituting this expression verifies the other two product constraints using two-component spinor identities. It does not impose . It does imply cubic nilpotency from a mixed chiral constraint: . Indeed , soThese are exactly the three components needed for . The generic nonzero expression for shows why imposing quadratic nilpotency on would lose allowed interactions.
The analytic chiral monomials consequently reduce to . The most general superpotential isFor the Kähler potential, put . Every allowed mixed monomial is included inThis includes , , , , , and the necessary conjugates; products containing or vanish. In a global theory the holomorphic terms again integrate to zero; in supergravity they can be changed by a Kähler transformation. Positivity requires the kinetic metric on the independent multiplets to be positive definite at the chosen background, not necessarily the entire coefficient matrix on the redundant composite list . The most general claim here concerns regular analytic two-derivative actions; singular functions of the constrained fields or higher-derivative operators are outside it.
Past exam of the mathematics course of the University of Cambridge 2017 iii Paper 307 3 Solution Created 2026-10-03 Updated 2026-10-05
The exponent in the original PDF is with real , not the produced by the local TeX. Use that authoritative expression. PutThe domain conditions ensure a real Kähler potential and positive Kähler metric. There are no gauge multiplets specified, so the scalar potential is the supergravity F-term potentialThe Kähler covariant derivative of a superpotential and metric entries areState the inverse with its indices explicitly, since transposing the off-diagonal complex entries would change the answer:Here , so the displayed upper-index array is the transpose of the ordinary matrix inverse of the displayed lower-index array.
Substitution shows that the cross terms involving cancel and that the sector givesThe first term cancels the universal negative term. Thus the no-scale supergravity potential isThis positivity is an algebraic cancellation, not an assumption that the individual Kähler derivatives vanish.
Choose the supergravity auxiliary field convention . Direct multiplication givesA conventional common phase or overall sign on the auxiliary fields changes none of the vanishing conditions. A supersymmetric configuration requires every to vanish. First implies , then implies , and implies . Since , at a finite point of the physical domain this is possible only when , followed by . Consequently If , every finite configuration has a nonzero auxiliary field, so any finite vacuum breaks supersymmetry. The printed request cannot hold for arbitrary parameters without this exception: , is a zero-energy supersymmetric family with both and unfixed.
With the stipulated vanishing vacuum expectation value of , define . The potential reduces to . Its derivative along is , so a finite stationary point must have . Such a point is a global minimum of the full nonnegative potential, since both squares vanish at . The finite zero-energy vacuum for a single exponential superpotential therefore satisfiesFor nonzero , write and . The modulus and phase conditions areThe function increases up to and then decreases to zero; its maximum is . Hence a finite minimum exists exactly whenThere is one positive solution for , two for , and one coalesced solution at the upper bound. The formal solution at is outside . At each allowed , the phase fixes modulo . Equivalently , using the real branches of the Lambert W function and retaining only .
At any of these nontrivial minima, . The auxiliary fields becomeThis is a supersymmetry breaking Minkowski minimum in which the nonzero auxiliary field belongs to . Both real components of are exact flat directions of a scalar potential at the minimum. They change the metric and auxiliary-field magnitudes but not the zero potential. Generically the two real components of are fixed. At the coalesced solution , the radial quadratic restoring term vanishes, but the leading restoring term is quartic; this is not an additional exact flat direction of a scalar potential. The matter field likewise has a positive leading quartic potential, not an exact flat direction of a scalar potential, despite its zero quadratic mass here.
The exceptional parameter cases must also be stated. If or , no finite zero-energy minimum with exists. The same holds when . Because the derivative is nonzero at any positive-energy point on , none is a finite minimum there; the energy approaches zero along the runaway . If , all physical at give supersymmetric zero-energy minima. Thus an unconditional finite minimum or unconditional breaking would be a false claim for the printed arbitrary parameters.
For the homogeneous model, assume is twice differentiable, of degree one in the real moduli , and that its Hessian matrix for is invertible on the sector considered. Differentiate :The two Euler theorem for homogeneous functions identities in the question implyMultiplying by the inverse gives , so contracting once more yieldsThis is the no-scale identity from degree-one homogeneity. It does not assert that every degree-one function gives a positive or invertible metric: for example has a rank-one Kähler Hessian, and its inverse is undefined. The inverse hypothesis is necessary.
For complex moduli with , the same derivatives are the mixed Kähler metric; choosing real parts with a factor of two only introduces factors that cancel in the contraction. If is independent of these moduli, , and their contribution is . It cancels the universal , leaving no scalar potential from this isolated no-scale sector. Other chiral sectors can still contribute positive terms. For this conclusion in a larger theory, the displayed metric must be the appropriate decoupled no-scale block, or the full inverse metric must itself satisfy the corresponding identity; arbitrary mixed additions to do not inherit the cancellation automatically.
Past exam of the mathematics course of the University of Cambridge 2018 iii Paper 118 3 c Solution Created 2026-10-03 Updated 2026-10-05
The Dolbeault theorem identifies with . It vanishes by hypothesis, and complex conjugation in the Hodge decomposition theorem for compact Kähler manifolds makes vanish too. Thus every real degree-two cohomology class has type .
Let be a Kähler form. Choose a rational cohomology class sufficiently close to . More concretely, using harmonic differential forms as representatives for a fixed Kähler metric, the harmonic form representing is close to in every smooth norm: harmonic differential forms constitute a finite-dimensional vector space. It is a real closed form, and is positive if sufficiently close to , by compactness. This is the openness of the Kähler cone. Multiplying by a positive integer gives an integral Kähler class .
The holomorphic exponential sequence contains the cohomology segmentChoose an integral lift of . Exactness gives a holomorphic line bundle having that First Chern class. We must ensure that it has a positive metric, rather than merely a positive representative of its class.
Choose any Hermitian metric and let be its normalized curvature form of a Hermitian holomorphic line bundle. If is the positive form representing , then is an exact real form. The ddbar lemma gives a real smooth function withReplace by . Its normalized curvature is , so is a positive holomorphic line bundle. The Kodaira embedding theorem now applies: sufficiently many sections of a sufficiently high tensor power define the desired embedding. Therefore
Past exam of the mathematics course of the University of Cambridge 2019 iii Paper 118 5 a Solution 2026-10-03
For the formal adjoints , and defined by the Kähler metric,andThese are respectively the Hodge Laplacian and the two Dolbeault Laplacians.
Past exam of the mathematics course of the University of Cambridge 2023 iii Paper 307 1 Solution 2026-09-28
The Kähler potential is a real function integrated over all four fermionic coordinates, . Its complex Hessian gives the scalar Kähler metric and therefore the kinetic terms. The superpotential is holomorphic and is integrated over chiral superspace, ; its derivatives determine Yukawa couplings and the F-term scalar potential.
For the canonical Kähler potential , extracting the component of the supplied chiral-superfield component expansion and integrating by parts gives the bosonic actionin the mostly-plus convention. Extracting the component of a holomorphic function givesso its bosonic term is , with the Hermitian conjugate understood in a real action. For several fields, eliminating each algebraic auxiliary field by produces .
There is a conflict in the printed question: with dynamical and the displayed superpotential, forces , so the theory has no vacuum branch parametrized by nonzero . The natural intended calculation is the Kähler quotient of the D-flat SQED matter fields before imposing that extra F-term.
On this quotient, and the gauge-invariant coordinate is . Hence , and the canonical Kähler potential descends toThe associated Kähler metric isIt is smooth for and has a conical singularity at , locally . Physically, the charged fields become massless and the U(1) gauge symmetry is restored there, so integrating out the vector multiplet to obtain a sigma-model metric ceases to be valid.
For and , a geometric Kähler potential with derivative defines a Kähler metric on . Its tangential and radial eigenvalues are and . Their product is , giving the same Riemannian volume form as , although the metric is different. This construction makes preservation of volume compatible with anisotropic stretching.
For a Hermitian metric on a complex manifold, the Chern connection on its holomorphic tangent bundle corresponds to a real metric-compatible connection preserving the almost complex structure. Its mixed torsion vanishes, and in holomorphic coordinates its remaining coefficients are . Symmetry in is equivalent to ; its conjugate gives . Thus zero torsion is exactly the Kähler metric condition, and then uniqueness identifies this connection with the Levi-Civita connection.
Tree-level supertrace mass sum rule Created 2026-10-06 Updated 2026-10-07
For canonical positive kinetic terms in global supersymmetry, has mixed Hessian matrix and holomorphic block . The real scalar squared-mass sum is for the chiral-superfield fermion mass matrix . Each Weyl spinor contributes two states, giving the same fermion weighted sum. Thus their boson-minus-fermion supertrace vanishes even with F-term breaking. The holomorphic Hessian splits real scalar masses without changing their sum. Noncanonical Kähler metrics, supergravity, and radiative corrections require different formulas.
