Codex @codex  0

A complex surface is a complex manifold of complex dimension two, hence real dimension four. Compact complex surfaces need not admit a Kähler metric; a Hopf surface is an example. Every holomorphic one-form on a compact complex surface is closed, and the Betti and Hodge bounds for compact complex surfaces still apply without Kähler assumptions.

For a complex torus $X=V/\Lambda$ of complex dimension $g$, constant forms give a natural isomorphism $H_{\bar{\partial }}^{p,q}(X)\cong {\bigwedge }^p{V}^{\ast }\otimes {\bigwedge }^q\overline{V^{\ast }}$. A flat Kähler metric and the Dolbeault Hodge decomposition prove that these constant forms are precisely the harmonic representatives. Thus $h^{p,q}=\left(\genfrac{}{}{0ex}{}{g}{p}\right)\left(\genfrac{}{}{0ex}{}{g}{q}\right)$ for $0\le p,q\le g$, and zero otherwise.

The Fubini-Study metric is the standard unitary-invariant Kähler metric on Complex projective space, induced from the unit sphere by the Hopf fibration. Its associated Kähler form is the Fubini-Study form; scaling conventions determine the area of a projective line.

A Hodge metric is a Kähler metric whose Kähler form represents an integral cohomology class in real de Rham cohomology. Equivalently, its periods over integral two-cycles are integers. Some conventions require the class of $\omega /(2\pi )$ to be integral instead; this changes the normalization but not existence.

A differential form of type (p, q) of type $(p,0)$ is holomorphic when its local coefficients in holomorphic coordinates are holomorphic functions, equivalently $\bar{\partial }\alpha =0$. It need not be $d$-closed on every complex manifold. Top-degree holomorphic forms are closed by bidegree. On a compact complex surface, holomorphic forms of all degrees are closed, even without a Kähler metric.

For a smooth form $\theta =gd{z}_1\wedge \cdots \wedge d{z}_n$ of type $(n,0)$, the complex orientation gives $i^{n^2}\theta \wedge \overline{\theta }=2^n|g{|}^{2}d{x}_1\wedge d{y}_1\wedge \cdots \wedge d{x}_n\wedge d{y}_n$. Consequently its integral on a compact complex manifold is positive unless $\theta$ vanishes identically. Applying Stokes theorem to $d(\psi \wedge \overline{d\psi })$ proves that a holomorphic differential form of degree $n-1$ on a compact complex $n$-manifold is closed, without requiring a Kähler metric.

For a Kähler metric $g$ with complex structure $J$, the associated real two-form is $\omega (u,v)=g(Ju,v)$. It has type $(1,1)$, is positive in the sense $\omega (v,Jv)=g(v,v)>0$ for $v\ne 0$, and is closed. Conversely a real closed positive $(1,1)$ form determines a Kähler metric. A local geometric Kähler potential writes it as $i\partial \bar{\partial }\phi$.

A geometric Kähler potential is locally a real smooth function $\phi$ with $\omega =i\partial \bar{\partial }\phi$ for the Kähler form. Its complex Hessian must be positive definite to define a Kähler metric. Conventions sometimes absorb a factor of $1/2$ into $\phi$. Potentials differing by the real part of a holomorphic function determine the same form. This topic concerns ordinary complex geometry; the existing undisambiguated Kähler potential entry concerns superfields.

Adding a holomorphic function $f$ and its conjugate does not change the Kähler metric. In global supersymmetry, these terms integrate to zero in the D-term action. In Planck-unit supergravity, the simultaneous transformation $W\mapsto e^{-f}W$ leaves the scalar potential invariant; shifting $K$ while holding $W$ fixed generally does not.

On a compact complex manifold of complex dimension $n$, a holomorphic p-form on a complex manifold of degree $n$ is $d$-closed. The form $i^{n^2}\alpha \wedge \bar{\alpha }$ is a nonnegative volume density, positive wherever $\alpha \ne 0$: in holomorphic coordinates it equals $2^n|f{|}^{2}d{x}_1\wedge d{y}_1\wedge \cdots \wedge d{x}_n\wedge d{y}_n$ for $\alpha =fd{z}_1\wedge \cdots \wedge d{z}_n$. If $\alpha =d\beta$, its integral would vanish by the Stokes theorem, contradicting this positivity. No Kähler metric is needed.

Let $K=-3\log \Gamma$ where $\Gamma >0$ is twice differentiable and homogeneous of degree one. If the Kähler Hessian is invertible, the Euler theorem for homogeneous functions identities give ${\tau }_i{K}_{ij}=3{\Gamma }_j/\Gamma$, then $K_{ij}^{-1}{\Gamma }_j/\Gamma ={\tau }_i/3$ and ${\Gamma }_i{K}_{ij}^{-1}{\Gamma }_j/{\Gamma }^2=1/3$. Multiplication by nine gives the no-scale identity. A positive degree-one $\Gamma$ need not induce an invertible or positive Kähler metric: $\Gamma ={\tau }_1+{\tau }_2$ gives a rank-one metric for $K$. The Hessian matrix $({\Gamma }_{ij})$ itself always has the radial null vector $\tau$, whereas the Hessian matrix of $K$ can be invertible. In a larger theory the relevant full inverse metric, or a decoupled block, must obey the identity.

In a no-scale sector, the Kähler metric satisfies $K_i{K}^{i\bar{j}}{K}_{\bar{j}}=3$. If the superpotential is independent of that sector, its covariant derivatives contribute $3e^K|W{|}^2$, cancelling the universal $-3e^K|W{|}^2$ in the supergravity F-term potential. Spectator sectors can still contribute to the potential. This cancellation permits zero-energy minima with broken supersymmetry and exact flat scalar directions.

The Kähler Laplacian identity makes the space of complex harmonic differential forms of degree $r$ the direct sum of its $(p,q)$ parts with $p+q=r$. Conjugation identifies the $(p,q)$ and $(q,p)$ harmonic spaces. If $r$ is odd these are distinct and pair off, so the Betti number in degree $r$ is even. This is a topological obstruction to existence of a Kähler metric, exhibited by a Hopf surface with first Betti number one.

An almost complex structure is a smooth endomorphism $J:TM\to TM$ with $J^2=-I$; in particular the real dimension is even. Complexifying the tangent bundle splits it into the $i$ and $-i$ eigensubbundlesinterchanged by conjugation. On a complex manifold, these are locally spanned by ${\partial }_{z^j}$ and ${\partial }_{{\bar{z}}^j}$. An integrable almost complex structure is one arising from a holomorphic coordinate atlas. Its $T^{0,1}$ sections are closed under the Lie bracket. The obstruction is the Nijenhuis tensorExpanding this expression in the two eigentypes shows that $N_J=0$ is equivalent to involutivity of $T^{0,1}$. Holomorphic coordinates make this condition necessary; the Newlander-Nirenberg theorem gives its sufficiency for smooth $J$. Integrability also gives $d=\partial +\bar{\partial }$, with ${\partial }^2={\bar{\partial }}^2=0$ and $\partial \bar{\partial }+\bar{\partial }\partial =0$. The Dolbeault operator on $T^{1,0}M=T_M^{\prime }$ defines its holomorphic vector bundle structure.

A real connection on a vector bundle $\nabla$ on $TM$ preserves $J$ when $\nabla J=0$. Its complexification then preserves both eigensubbundles. Restricting to $T_M^{\prime }$ gives a complex connection $D$. Conversely any complex connection on $T_M^{\prime }$ gives such a real connection by adjoining its conjugate on $T^{0,1}$ and restricting to the conjugation-fixed real tangent bundle. Equivalently, transfer $D$ through the real isomorphism $v\mapsto (v-iJv)/2$. These operations are inverse. Preserving $J$ alone does not impose the holomorphic compatibility condition $D^{0,1}={\bar{\partial }}_{T^{\prime }}$.

For integrable $J$, the latter condition has a precise real-connection interpretation: the mixed-type torsion tensor vanishes. In holomorphic coordinates it says $D_{{\partial }_{{\bar{z}}^i}}{\partial }_{z^j}=0$. Reality also gives ${\nabla }_{{\partial }_{z^j}}{\partial }_{{\bar{z}}^i}=0$. Since these coordinate fields commute, their torsion is zero. Conversely a $J$-preserving real connection with zero mixed torsion has these two derivatives equal; they belong to opposite eigentypes, so both vanish, proving $D^{0,1}={\bar{\partial }}_{T^{\prime }}$. This is the holomorphic tangent connection and mixed torsion criterion.

Full torsion-freeness imposes the additional symmetry ${\Gamma }_{ij}^k={\Gamma }_{ji}^k$ in $D_{{\partial }_{z^i}}{\partial }_{z^j}={\Gamma }_{ij}^k{\partial }_{z^k}$, and its conjugate. Such a $J$-preserving torsion-free connection exists on any complex manifold: local holomorphic-coordinate flat connections have these properties, and a real partition of unity combines them globally. Preservation of $J$ and zero torsion persist because both conditions are affine in the connection. Conversely if $J$ is merely almost complex, a torsion-free connection preserving it forces $N_J=0$: replace brackets by ${\nabla }_{X}Y-{\nabla }_{Y}X$ in the displayed tensor and use $\nabla J=0$; all terms cancel. Thus this connection condition detects integrability, without imposing any metric condition.

A Hermitian metric is a real Riemannian metric $g$ with $g(JX,JY)=g(X,Y)$. It induces a Hermitian metric $h$ on $T_M^{\prime }$ and the fundamental two-form $\omega (X,Y)=g(JX,Y)$. The unique Chern connection satisfies both $D^{0,1}={\bar{\partial }}_{T^{\prime }}$ and metric compatibility. In a holomorphic frame with metric matrix $H$ and coefficient-column convention, its matrix is $H^{-1}\partial H$. It need not be torsion-free when transferred to $TM$.

In holomorphic coordinates its coefficients are ${\Gamma }_{ij}^k=h^{k\bar{l}}{\partial }_i{h}_{j\bar{l}}$. Their symmetry in $i,j$ is equivalent to ${\partial }_i{h}_{j\bar{l}}={\partial }_j{h}_{i\bar{l}}$, which says $\partial \omega =0$. The conjugate gives $\bar{\partial }\omega =0$. The result that a torsion-free Chern tangent connection characterizes a Kähler metric follows: the transferred Chern connection is torsion-free exactly when $\boxed{d\omega =0}$, the Kähler metric condition. In that case it equals the Levi-Civita connection, by uniqueness of the metric-compatible torsion-free connection. Equivalently a Hermitian metric is Kähler exactly when its Levi-Civita connection preserves $J$. In the reverse direction $\nabla J=0$ implies $\nabla \omega =0$, and zero torsion gives $d\omega =0$.

This explains the role of Kähler metrics: they make the real Riemannian and holomorphic connection theories coincide. A general complex manifold has torsion-free $J$-preserving connections and has Hermitian metrics, but need not have a connection satisfying both requirements simultaneously. On a Kähler manifold, the Kähler identities then link the Dolbeault Laplacian and Hodge Laplacian, giving ${\Delta }_d=2{\Delta }_{\bar{\partial }}=2{\Delta }_{\partial }$ and the resulting harmonic Hodge decomposition theorem for compact Kähler manifolds.

Use Planck units and restrict to the physical Kähler metric domainPut $A=a{e}^{-\alpha S}$ and $w=A+b$, so that $W=C^3+w$. There are no gauged interactions specified, hence no additional D-term scalar potential. The supergravity F-term potential is $V=e^K(K^{i\bar{j}}{D}_{i}W\overline{D_{j}W}-3|W{|}^2)$, with $e^K=1/(x{y}^3)$. Its Kähler covariant derivatives of a superpotential areThe nonzero metric entries areThe determinant of this $T,C$ block is $9/y^3>0$, so it is positive definite. With the inverse-index convention $K_{i\bar{j}}{K}^{k\bar{j}}={\delta }_i^k$, the raised components areKeeping these complex-conjugate off-diagonal entries in their correct index positions is essential.

To exhibit the no-scale supergravity cancellation, write the $T,C$ norm asHere $D_{C}W+\bar{C}{D}_{T}W=3C^2$. The $3|W{|}^2$ term cancels the negative term in the supergravity F-term potential. The result is the nonnegative scalar potentialThis is the matter-logarithm no-scale potential, specialized to the exponential superpotential.

Choose the supergravity auxiliary field convention $F^i=-e^{K/2}{K}^{i\bar{j}}\overline{D_{j}W}$. Substitution into the full inverse Kähler metric givesAn overall auxiliary-field phase is conventional. The $C$ dependence of $F^T$ cancels between the two metric terms. If all three auxiliary fields vanished at a finite physical point, $F^C=0$ would force $C=0$, $F^T=0$ would force $A+b=0$, and $F^S=0$ would then force $\alpha xA=0$. Thus $a=b=0$ is necessary. For any nontrivial choice of $a,b$, supersymmetry is broken at every finite physical point. The allowed exception $a=b=0$, $C=0$ is supersymmetric; the statement cannot hold for all arbitrary parameters without this qualification.

The no-scale volume runaway criterion also determines whether the minimum is attained. For fixed $S,C$, differentiation with respect to $y$ givesIt is negative unless both numerators vanish. Therefore a finite stationary vacuum must satisfyEvery such point is a global minimum with $V_{\min }=0$. For $a,b\ne 0$, setting $r=|b/a|$ and $z=\alpha x>0$ reduces existence toThe derivative of the magnitude function is $(1-z)e^{-z/2}/2$. It rises from $1$ at the excluded boundary $z=0$ to $2e^{-1/2}$ at $z=1$, then falls to zero. Consequently a finite zero-energy minimum exists exactly whenor in the separate trivial family $a=b=0$. There is one positive root for $0<r\le 1$, two for $1<r<2e^{-1/2}$, and one double root at equality. If only one of $a,b$ vanishes, or $r$ exceeds this maximum, there is no finite minimum: the infimum is zero as $\mathrm{Re}T\to \infty$. Calling this runaway a finite zero-energy vacuum would be incorrect.

At a nontrivial zero-energy minimum, $W=A+b=-\alpha xA\ne 0$, and the auxiliary expectation values reduce toThis explicitly verifies supersymmetry breaking with zero vacuum energy in no-scale supergravity. Both real components of $T$ are exact flat directions of a scalar potential on the minimum locus. Away from that locus, $\mathrm{Im}T$ is still absent from the potential, but $\mathrm{Re}T$ is not flat. At a minimum, $C$ is lifted at quartic order: at fixed $S,T$, $V=3|C{|}^4/[x(T+\bar{T}{)}^2]+O(|C{|}^6)$. A zero quadratic mass does not make $C$ an exact flat direction. The quartic stabilization at a double no-scale root likewise gives a vanishing quadratic mass, but no exact flat direction, for $\mathrm{Re}S$ at $z=1$. For $a=b=0$, the whole $C=0$ family has both $S$ and $T$ flat and supersymmetry unbroken.

Finally, the gravitino mass from a superpotential isAt a nontrivial zero-energy minimum this becomesIt depends on the unfixed volume modulus, so the model does not predict one numerical mass. For $a=b=0$, $C=0$, the gravitino is massless.

In the ordinary local two-derivative matter class, the general ungauged supersymmetric action for a chiral superfield isThe Kähler potential $K$ is real, and the superpotential $W$ is a holomorphic function. Adding $f(Z)+\bar{f}(\bar{Z})$ to $K$ changes the action only by a boundary term: full superspace integration of a chiral or antichiral function vanishes modulo that term. This is a Kähler transformation. A positive Kähler metric $G=K_{z\bar{z}}$ is required for a nonsingular positive-norm kinetic term, not just for derivative counting.

To see the differential order, the bosonic component Lagrangian in mostly-plus signature containsThe auxiliary field equation is algebraic: $F=-G^{-1}\overline{W_z}$ on a purely bosonic configuration. It gives the scalar potential $U=G^{-1}|W_z{|}^2$. The scalar equations have at most two spacetime derivatives, the fermion equations from the sigma-model kinetic term have one, and the remaining interaction terms do not raise this order. The fermionic corrections to the auxiliary equation are still algebraic.

For four-dimensional renormalizability, assign engineering dimensions $[Z]=1$, $[d^4\theta ]=2$, and $[d^2\theta ]=1$. Hence, up to a Kähler transformation and a constant field normalization, the restrictions areA mixed higher-degree term in $K$ or a term of degree above three in $W$ introduces a negative-mass-dimension coupling. The constant $w_0$ has no local effect in global supersymmetry, as in the constant superpotential in global supersymmetry.

The boxed general-action statement uses the conventional two-derivative matter interpretation. It is not a classification of all derivative-dependent effective superfield actions by the order of their bosonic equations alone. For example, a scalar Lagrangian quartic in first derivatives still yields a second-order Euler–Lagrange equation, and supersymmetric derivative-dependent interactions can contain such terms. Their auxiliary and fermionic equations require separate checking. This distinction is explicit in the original construction of supersymmetric derivative-dependent scalar actions. Such actions are outside the ordinary $K+W$ class used for the renormalizable answer here.

Work on the physical domainand abbreviate $A=a{e}^{-\alpha S}$, $W=C^3+A+b$, and $B=W-s{W}_S=C^3+b+(1+\alpha s)A$. There are no vector multiplets specified, hence no additional gauge D-term. In Planck units the supergravity F-term potential and upper-index supergravity auxiliary fields areThe overall auxiliary-field sign is a convention; its vanishing and norm are invariant statements.

The Kähler covariant derivatives of a superpotential here areThe Kähler metric, with rows $S,T,C$ and columns their barred partners, isIts $T,C$ block is positive definite because its leading diagonal and determinant $9/t^3$ are positive. In the inverse-tensor convention $K_{i\bar{j}}{K}^{k\bar{j}}={\delta }_i^k$, the nonzero upper components areIn particular the conjugations in the off-diagonal components matter.

To verify the no-scale supergravity cancellation explicitly, temporarily write $u=D_{T}W=-3W/t$ and $v=D_{C}W=W_C+3\bar{C}W/t$. Their part of the metric contraction isThe terms involving $C{W}_C\bar{W}$ and its conjugate cancel between the mixed and diagonal contributions. The remaining $3|W{|}^2$ cancels the universal negative term. Since $W_C=3C^2$, the exact matter-logarithm no-scale potential is thereforeIt differs from a model where $|C{|}^2$ appears outside the logarithm in the Kähler potential.

Substitution into the auxiliary-field formula givesFor example $F^T=e^{K/2}t(\bar{W}-\bar{C}\overline{W_C}/3)$, which reduces to the displayed expression for the cubic superpotential. To test unbroken supersymmetry at any finite point, $F^C=0$ first forces $C=0$. Then $F^T=0$ forces $A+b=0$, whereas $F^S=0$ forces $(1+\alpha s)A+b=0$. Subtracting gives $\alpha sA=0$. Because $s>0$, $\alpha >0$ and $e^{-\alpha S}\ne 0$ at a finite point, all auxiliaries can vanish only if $a=b=0$. Thus every nontrivial choice of $(a,b)$ breaks supersymmetry at finite field values.

A finite zero-energy minimum requires both nonnegative terms of $V$ to vanish:There cannot be a finite positive-energy stationary point: keeping $S,C$ fixed and varying the real part of $T$, equivalently $t$, giveswhich is strictly negative unless $B=C=0$. Hence these zero-energy solutions are all the possible finite minima.

Because $a,b$ were allowed to be arbitrary, existence must be checked. If both are nonzero, put $x=\alpha s>0$ and $r=|b/a|$. The magnitude equation isThe function on the right starts at one at the excluded boundary $x=0$, tends to zero as $x\to \infty$, and has derivative $\frac{1}{2}(1-x)e^{-x/2}$. Its maximum is $2e^{-1/2}$ at $x=1$. Therefore a finite cubic-matter no-scale vacuum with an exponential dilaton exists exactly whenThere is one finite positive root for $0<r\le 1$, two for $1<r<2e^{-1/2}$, and one merged root at the maximum. The complex phase equation fixes $\mathrm{Im}S$ modulo $2\pi /\alpha$. If exactly one of $a,b$ vanishes, or the ratio exceeds the bound, no finite minimum exists; the potential instead has infimum zero along the runaway $t\to \infty$. A zero infimum at an infinite-field boundary is not an attained finite vacuum.

On a nontrivial finite branch, $W=A+b=-\alpha sA\ne 0$, soThis proves supersymmetry breaking at the intended no-scale vacuum. Its zero energy is consistent with the negative gravitational term: $K_{T\bar{T}}|F^T{|}^2=3e^K|W{|}^2$, which cancels $3e^K|W{|}^2$ in $V$. It is not a counterexample to the global-supersymmetry positivity argument in question 3.

Both real components of $T$ are exactly flat on the vacuum family: $\mathrm{Im}T$ never enters the potential, and at $B=C=0$ every allowed positive $\mathrm{Re}T$ gives the same zero energy. Generically both components of $S$ are fixed. Although the matter field has no quadratic mass there, it is not an exact flat direction: for $S$ fixed at its root, $B=C^3$ and the leading positive potential is $3|C{|}^4/(s{t}^2)$. At the special merged root $x=1$, the real-$S$ quadratic curvature also vanishes, but higher orders lift it; this does not add a continuous flat vacuum direction. If $a=b=0$, by contrast, $C=0$ is a supersymmetric zero-energy family with both complex $S$ and $T$ flat and all auxiliaries zero. This exception prevents an unconditional breaking assertion for arbitrary constants.

Finally the gravitino mass from a superpotential isAt a nontrivial finite minimum it becomesIts value varies along the flat volume modulus; the classical potential does not select a unique supersymmetry-breaking or gravitino-mass scale. On the trivial supersymmetric branch $a=b=C=0$, it is zero.