Alphabeta Math
PostulateStatement: AI-adaptedProof: Not applicablePipeline-generatedprecheck pass‡ sources checked 2026-11-05
How statement and proof provenance work

The first chip identifies the source of the statement or construction; the second identifies the source of its local proof or verification.

  • Literature-sourced: the exact statement appears in a cited source; only wording and notation differ.
  • AI-adapted: a semantically identical restatement of literature-sourced material, modulo indexing, notation, and boundary cases adopted by the library.
  • AI-generated: a genuinely novel statement formulated by AI, with no source for the claim itself.

These labels describe origin, not correctness: citations and verification chips remain separate evidence.

RNS NS Background Sigma Model

Physical scope

Adopted local N=(1,1) RNS NS–NS sigma-model action on compact closed oriented Euclidean worldsheets, for field configurations whose body map lies in one target chart with a chosen Spin structure. It asserts no global B-gerbe quantization, RR fields, branes, orientifolds, target-space equations, conformal-invariance conditions, functional measure, or backreaction.

Postulate

Adopt the following local physical model. A worldsheet Σ is a finite disjoint union of compact connected Riemann surfaces, each equipped with a smooth positive-definite metric h satisfying h(Ju,Jv)=h(u,v) for its complex structure J, and a supplied Spin structure. Use exactly the real split 2∣2 superspace defined by the earlier item def-rns-n11-worldsheet-superspace-data: its odd tangent bundle has real rank two and complex chiral decomposition S+⊕S−, while the chiral coordinate functions θ± are exchanged by the real structure. The curved data are the supplier's explicit constrained conformal-presentation geometry and its coordinate/Spin transforms: EMA is the coframe, E=Ber⁡(EAM) is the inverse-frame Berezinian, μ=E−1 is the coframe density, ∇± are its Euclidean curved odd derivatives, and R=4FJ is its real scalar curvature normalized relative to the real rotation generator. In particular ∇± are not the flat Lorentzian plus-sign generators Q±. Write d2θE for the supplier's real odd integral IE, with IE(θ+θ−)=−i, and use d2z=dx dy in an oriented conformal chart z=x+iy. The even superfield X:W→M is real, so in the component convention below its coefficients obey the supplied reality condition. On each connected component, the body field is a smooth map x:Σ→U into one target chart U of a smooth ten-dimensional Lorentzian manifold M with signature (−,+,…,+). The fields Gμν, Bμν=−Bνμ, and Φ are respectively a Lorentzian metric, a local two-form potential, and a real scalar on U; H=dB is the resulting local three-form, with components Hμνρ=3∂[μBνρ]. The target coordinates are Xμ, μ=0,…,9, and the worldsheet coordinate indices are a,b=1,2. The metric G is the string-frame metric by definition here: it is the metric entering the worldsheet kinetic term, with no Einstein-frame identification asserted.

Use ℏ=c=1, dimensionless worldsheet and odd coordinates, and dimensionless metric components. The target coordinates xμ have length dimension one, α′>0 has length dimension two, G, B, Φ, and the RNS fermions ψ±μ are dimensionless, Hμνρ has inverse-length dimension, and the auxiliary component Fμ has inverse-length dimension. Fix the superfield normalization as Xμ=xμ+α′ θ+ψ+μ+α′ θ−ψ−μ+α′θ+θ−Fμ, so the odd coefficients in the mathematical superspace definition are Ξ±μ=α′ψ±μ and the top coefficient is Aμ=α′Fμ. In conformal spin coordinates these symbols denote conformal-frame components: relative to the orthonormal generators ϑ±=e−sθ± they obey ψconf,±=e−sψorth,± and Fconf=e−2sForth. The coefficients ψ+ and ψ− are sections of S+∗⊗x∗TMC and S−∗⊗x∗TMC, respectively, with odd component-algebra coefficients. Their signs label the multiplying odd coordinate; using the real spin metric to raise their spin index exchanges the two associated chiral summands. Their orthonormal components transform by e∓iτ/2 and conformal components by aij−1 and a‾ij−1, respectively, as in the supplier. This is a change of local bundle trivialization with the same dimensions, not an identification with the independently named Lorentzian spinors. Since X is real in the specified Euclidean superspace, these coefficients satisfy ψ+‾=ψ− and F‾=−F in this ordered-component convention. This is the Euclidean real-superfield condition; it does not identify the two chiral components with the independent Lorentzian Majorana-Weyl components of the flat RNS model. These assignments make the displayed actions dimensionless. For the even superfield X:W→M, adopt the local Euclidean superspace action SEmatter=4i4πα′∫Wd2z d2θE E−1(Gμν(X)+Bμν(X))∇+Xμ∇−Xν, SEFT=14π∫Wd2z d2θE E−1Φ(X)R. The multiplier 4i in the matter term is part of this explicit Euclidean formulation: with D±2=∂z,∂z‾ and IE(θ+θ−)=−i, the supplier's tensor-density calculation gives 4iIE(μ(G+B)∇+x∇−x)=h habGμν∂axμ∂bxν+iεabBμν∂axμ∂bxν. This is an explicit public superspace-formulation normalization, not an asserted theorem of physical equivalence to a differently normalized uncontinued action. The bosonic truncation sets the independent matter components ψ±=F=0 and the independent conformal-gauge gravitino/auxiliary components of S to zero, while retaining the coframe's constraint-determined odd-coordinate terms. The proved weighted curvature-density identity holds for arbitrary Φ(x) without discarding its derivatives by integration by parts. With these conventions the complete bosonic component action is SEbos=14πα′∫Σd2σ(h habGμν(x)∂axμ∂bxν+iεabBμν(x)∂axμ∂bxν)+14π∫Σd2σ h Φ(x)R(2)(h), where εab is the orientation-compatible antisymmetric density with ε12=+1, and R(2)=2Kh fixes the positive-curvature convention. The displayed superspace completion, its signs and normalization, and the component action are adopted together as a model postulate, not derived from the flat RNS action. This is local NS–NS data only; no RR background or localized source is present, and no global B-gerbe, boundary, or path-integral measure is asserted.

In SEFT, FJ is the coefficient of J0 in the mixed odd frame curvature, and R=4FJ=−16ie2SD−D+S in the supplier's Euclidean conformal presentation. The integrand contains this real scalar superfunction, rather than Lie-algebra-valued curvature or a representation matrix. At the bosonic truncation S=s, h=e−4s∣dz∣2, the coframe retains its linear odd-coordinate terms and μR=16iθ+θ−szz‾. Real odd integration therefore gives the scalar-curvature density hR(2) with R(2)=2Kh, positive on the round sphere. This formulation asserts a model convention and local classical component reduction; it supplies no functional integration measure or general supergeometry classification.

Depends on

Dependency tree · 2 levels

Sources