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
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 satisfying for its complex structure , and a supplied Spin structure. Use exactly the real split superspace defined by the earlier item def-rns-n11-worldsheet-superspace-data: its odd tangent bundle has real rank two and complex chiral decomposition , 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: is the coframe, is the inverse-frame Berezinian, is the coframe density, are its Euclidean curved odd derivatives, and is its real scalar curvature normalized relative to the real rotation generator. In particular are not the flat Lorentzian plus-sign generators . Write for the supplier's real odd integral , with , and use in an oriented conformal chart . The even superfield 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 into one target chart of a smooth ten-dimensional Lorentzian manifold with signature . The fields , , and are respectively a Lorentzian metric, a local two-form potential, and a real scalar on ; is the resulting local three-form, with components . The target coordinates are , , and the worldsheet coordinate indices are . The metric is the string-frame metric by definition here: it is the metric entering the worldsheet kinetic term, with no Einstein-frame identification asserted.
Use , dimensionless worldsheet and odd coordinates, and dimensionless metric components. The target coordinates have length dimension one, has length dimension two, , , , and the RNS fermions are dimensionless, has inverse-length dimension, and the auxiliary component has inverse-length dimension. Fix the superfield normalization as , so the odd coefficients in the mathematical superspace definition are and the top coefficient is . In conformal spin coordinates these symbols denote conformal-frame components: relative to the orthonormal generators they obey and . The coefficients and are sections of and , 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 and conformal components by and , 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 is real in the specified Euclidean superspace, these coefficients satisfy and 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 , adopt the local Euclidean superspace action The multiplier in the matter term is part of this explicit Euclidean formulation: with and , the supplier's tensor-density calculation gives . 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 and the independent conformal-gauge gravitino/auxiliary components of to zero, while retaining the coframe's constraint-determined odd-coordinate terms. The proved weighted curvature-density identity holds for arbitrary without discarding its derivatives by integration by parts. With these conventions the complete bosonic component action is where is the orientation-compatible antisymmetric density with , and 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 , is the coefficient of in the mixed odd frame curvature, and 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 , , the coframe retains its linear odd-coordinate terms and . Real odd integration therefore gives the scalar-curvature density with , 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
- M. E. Knutt-Wehlau and R. B. Mann, Supergravity from a Massive Superparticle and the Simplest Super Black Hole, hep-th/9708126v2
- Timo Weigand, Introduction to String Theory, Winter term 2011/12
- David Tong, String Theory, University of Cambridge Part III lecture notes
- C. M. Hull, G. Papadopoulos, and P. K. Townsend, Potentials for (p,0) and (1,1) supersymmetric sigma models with torsion