Codex @codex  0

Let $f$ be a differentiable function on an open domain stable under positive rescaling, with $f(\lambda x)={\lambda }^{k}f(x)$ for $\lambda >0$. The chain rule differentiates this homogeneous function identity at $\lambda =1$ to giveIf $f$ is twice differentiable, differentiating once more gives ${\sum }_i{x}_i{\partial }_i{\partial }_{j}f=(k-1){\partial }_{j}f$. In degree one its Hessian matrix therefore annihilates the radial vector $x$. This is the identity used in the no-scale identity from degree-one homogeneity. For an extensive quantity, the degree-one formula also supplies the thermodynamic identity behind the Gibbs-Duhem equation.

The exponent in the original PDF is $e^{-\alpha S}$ with real $\alpha >0$, not the $e^{-aS}$ 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 ${\sum }_j{K}_{i\bar{j}}{K}^{k\bar{j}}={\delta }_i^k$, 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 $W$ cancel and that the $T,C$ 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 $F^i=-e^{K/2}{K}^{i\bar{j}}\overline{D_{j}W}$. Direct multiplication givesA conventional common phase or overall sign on the auxiliary fields changes none of the vanishing conditions. A supersymmetric configuration requires every $F^i$ to vanish. First $F^C=0$ implies $C=0$, then $F^T=0$ implies $w=0$, and $F^S=0$ implies $w_S=0$. Since $w_S=-\alpha a{e}^{-\alpha S}$, at a finite point of the physical domain this is possible only when $a=0$, followed by $b=0$. Consequently If $(a,b)\ne (0,0)$, 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: $a=b=0$, $C=0$ is a zero-energy supersymmetric family with both $S$ and $T$ unfixed.

With the stipulated vanishing vacuum expectation value of $C$, define $A(S)=b+(1+\alpha s)a{e}^{-\alpha S}$. The potential reduces to $|A{|}^2/(s{t}^3)$. Its derivative along $t$ is $-3V/t$, so a finite stationary point must have $A=0$. Such a point is a global minimum of the full nonnegative potential, since both squares vanish at $C=0$. The finite zero-energy vacuum for a single exponential superpotential therefore satisfiesFor nonzero $a,b$, write $S=\sigma +i\chi$ and $x=\alpha \sigma >0$. The modulus and phase conditions areThe function $(1+2x)e^{-x}$ increases up to $x=1/2$ and then decreases to zero; its maximum is $2e^{-1/2}$. Hence a finite minimum exists exactly whenThere is one positive solution for $0<\rho \le 1$, two for $1<\rho <2e^{-1/2}$, and one coalesced solution at the upper bound. The formal $x=0$ solution at $\rho =1$ is outside $s>0$. At each allowed $x$, the phase fixes $\chi$ modulo $2\pi /\alpha$. Equivalently $x=-\frac{1}{2}-W_k(-\rho /(2\sqrt{e}))$, using the real branches of the Lambert W function and retaining only $x>0$.

At any of these nontrivial minima, $w=-\alpha sa{e}^{-\alpha S}\ne 0$. The auxiliary fields becomeThis is a supersymmetry breaking Minkowski minimum in which the nonzero auxiliary field belongs to $T$. Both real components of $T$ 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 $S$ are fixed. At the coalesced solution $x=1/2$, 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 $C$ 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 $a=0,b\ne 0$ or $a\ne 0,b=0$, no finite zero-energy minimum with $C=0$ exists. The same holds when $|b/a|>2e^{-1/2}$. Because the $t$ derivative is nonzero at any positive-energy point on $C=0$, none is a finite minimum there; the energy approaches zero along the runaway $t\to \infty$. If $a=b=0$, all physical $S,T$ at $C=0$ 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 $\Gamma >0$ is twice differentiable, of degree one in the real moduli ${\tau }_i$, and that its Hessian matrix for $K$ is invertible on the sector considered. Differentiate $K=-3\log \Gamma$:The two Euler theorem for homogeneous functions identities in the question implyMultiplying by the inverse gives $K_{ij}^{-1}{\Gamma }_j/\Gamma ={\tau }_i/3$, 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 $\Gamma ={\tau }_1+{\tau }_2$ has a rank-one Kähler Hessian, and its inverse is undefined. The inverse hypothesis is necessary.

For complex moduli with ${\tau }_i=T_i+{\bar{T}}_i$, 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 $W$ is independent of these moduli, $D_{i}W=K_{i}W$, and their contribution is $3e^K|W{|}^2$. It cancels the universal $-3e^K|W{|}^2$, 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 $K$ do not inherit the cancellation automatically.