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 gives
The Kähler metric and the Hermitian metric define the inner product and the formal adjoints . The Dolbeault Laplacians are
Let be the Lefschetz operator of a Kähler manifold and its adjoint Lefschetz operator. With the ordinary commutator convention , the printed Kähler identities give
Substitution into the two Dolbeault Laplacians, followed by expansion, yields
The 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.
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.
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 potential
The 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.
Use a radial geometric Kähler potential. Write and . The coefficient Hermitian matrix of is
Its 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 condition
Indeed, the volume form is and its coefficient is proportional to . Multiplying the determinant equation by gives , so we can take
An explicit antiderivative is
It is smooth for . Its two eigenvalues are
The 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.
Figure 1.
Radial and tangential metric eigenvalues relative to the Euclidean metric, with unchanged volume
. Details.
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 gives
These are the harmonic coordinate identities. Expanding the operator on an arbitrary smooth function now gives
The 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.
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 gives
The 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 particular
For indices outside , both the exterior-power expression and the cohomology group vanish.
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 are
For 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. Hence
A 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 are
and its F-term scalar potential is
For 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, is
Its 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 is
The mass spectrum of the quadratic-cubic O'Raifeartaigh model is therefore
The 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.
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 gives
All 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 reads
The 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 constraints
On the regular branch where the ordinary commuting part of is nonzero, the nilpotent chiral superfield is therefore
The 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 to
The 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 gives
A 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 is
Thus 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 becomes
Using the same nonzero- branch gives the chiral superfield constrained by a nilpotent superfield
The 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 , so
These 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 is
For the Kähler potential, put . Every allowed mixed monomial is included in
This 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.
The exponent in the original PDF is with real , not the produced by the local TeX. Use that authoritative expression. Put
The 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 potential
The Kähler covariant derivative of a superpotential and metric entries are
State 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 gives
The first term cancels the universal negative term. Thus the no-scale supergravity potential is
This positivity is an algebraic cancellation, not an assumption that the individual Kähler derivatives vanish.
Choose the supergravity auxiliary field convention . Direct multiplication gives
A 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 satisfies
For nonzero , write and . The modulus and phase conditions are
The function increases up to and then decreases to zero; its maximum is . Hence a finite minimum exists exactly when
There 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 become
This 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 imply
Multiplying by the inverse gives , so contracting once more yields
This 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.
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 segment
Choose 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 with
Replace 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
For the formal adjoints , and defined by the Kähler metric,
and
These are respectively the Hodge Laplacian and the two Dolbeault Laplacians.
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 action
in the mostly-plus convention. Extracting the component of a holomorphic function gives
so 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 to
The associated Kähler metric is
It 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.