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 N=(1,1) Worldsheet Superspace Data
Definition
Let be a compact connected Riemann surface with complex structure satisfying , and give it the orientation induced by . Choose a smooth positive-definite metric such that for all and . Supply a Spin structure on the oriented Euclidean bundle : a principal -bundle with an equivariant two-fold map over , satisfying for the standard double cover . Let and be the associated complex line bundles for the chiral representations , where is a positive orthonormal frame and is its rotation angle. The two representations are complex conjugates, so . Let be the real rank-two bundle associated to the underlying real representation of on ; then . These are supplied data; no existence theorem for a Spin structure is asserted.
A local worldsheet superspace is the split real smooth supermanifold of dimension with body and structure sheaf locally . Thus its coefficient field is and its odd tangent bundle has real rank two. After complexifying this sheaf to use chiral notation, a local oriented chart has coordinates , where are real even coordinates and are the odd coordinate generators in the dual chiral lines; they anticommute. The real structure exchanges the two chiral lines and, in compatible local frames, . The body transitions preserve the orientation, and the odd transitions are induced by the supplied spin bundle. “” means one odd tangent direction of each chirality after complexification, related by this real structure.
For component bookkeeping extend coefficients to a fixed supercommutative real algebra , with for homogeneous elements, and complexify it for chiral components. Conjugation on is the antilinear multiplicative involution for and ; it preserves the written order of factors. In a separate flat Lorentzian light-cone superspace (not a chart on the Euclidean ), take independent real odd coordinates and with . The left superderivative generators satisfy and . These are the plus-sign operators denoted by Hull, Papadopoulos, and Townsend in §5, equation (5.3); no flat covariant derivative is denoted by here. An even scalar superfield into a smooth real manifold has local expansion Here , is a smooth body map, and are smooth odd sections with coefficients in of . The signs on label the coordinate monomials they multiply, not the associated-bundle chirality. Intrinsically the linear term is a section of . We retain this dual-bundle convention. The invariant real spin metric is in a unit real spin frame. Its complex-bilinear extension pairs with and vanishes on either summand paired with itself; consequently maps to and to . Thus raising the spin index sends to , and to ; it does not preserve the written sign. The coefficient is a local even component with coefficients in . For a real even superfield the induced conjugation, with this coefficient order, is , , and . Under a smooth target-coordinate change between real charts, the displayed coefficient order gives and . Thus alone need not be a section of ; when , the condition is invariant under target-coordinate changes. A covariant global auxiliary component away from that locus would require a supplied target connection and the associated splitting. No equations of motion or field existence result is asserted.
The curved data below are constrained geometric data; arbitrary unconstrained supervielbeins are not called an RNS supergravity geometry. Choose a holomorphic coordinate-disc cover with transitions and spin lifts satisfying the cocycle law. Use the split supercoordinate transitions The odd coordinate generators belong to the dual of the supplied smooth real spin bundle, with the conformal/orthonormal identification described below. These are conformal spin coordinates, not orthonormal spin coordinates. The body is fixed by the supplied metric . On a chart write , , , and choose a real even smooth superfunction . Its overlap law is where supercoordinate pullback on the right is understood. A conformal presentation consists of these local functions with these laws. More general supplied presentations may be obtained by invertible parity-preserving supercoordinate changes and local Spin rotations of such data; the construction below is covariant under these operations. No global conformal-gauge theorem for every conceivable supergeometry is asserted.
Let be the complexified Lorentz generator acting on frame-weight components by multiplication by , where . Thus the component-index generator acts by ; its real matrix on component columns is . This fixes . The component-index convention is contragredient to the moving-bundle-frame convention: on the bundle the moving-frame representation has infinitesimal character , while its local coefficient has frame weight . The scalar connection below is the negative of the moving-vector-frame connection , so is exactly the induced connection on , with conjugate formula on . No identification of opposite chiral representations is implicit in . An operator with label raises frame weight by , one with label lowers it by , and labels and change it by and . These conventions specify the connection on indexed components, including when two derivatives are composed. Define left odd derivatives The symbols refer only to this Euclidean presentation and are distinct from the flat Lorentzian above. Define Their conventional torsion/curvature constraints, as equalities on every frame-weight component, are In particular the mixed odd bracket has no derivative-valued torsion term, and . These identities are proved below, rather than imposed to infer the component reduction.
Writing defines the inverse supervielbein and scalar connection coefficient. The ordered indices are and . In left-coefficient convention their full finite component expressions are Every entry is a smooth polynomial in the two odd coordinates after expanding ; coefficients may themselves lie in the component algebra . In particular these are explicit components, not an instruction to solve unspecified torsion equations. The scalar connection is conjugation compatible. For components of a frame of weight , the connection is . In the bosonic restriction its coefficient is the negative of the connection acting on the moving vector basis; this is the usual opposite sign between basis and component connections.
For an even block supermatrix with invertible , use . Set Thus the measure is the Berezinian of the coframe, not its reciprocal. Use the real oriented surface measure ; equivalently its even complex-coordinate normalization is . To fix the real odd orientation, write , , with real odd variables. Write each local superfunction uniquely as , with coefficients in on the right, and define , coefficientwise over the even coordinates. Equivalently, and , so This real Berezin integral is times the purely formal ordered chiral rule . The change is essential: a real even superfunction has a purely imaginary coefficient under the specified conjugation. Integrals are in such charts, using an ordinary partition of unity if needed. Their transition law is proved below.
Let denote the scalar coefficient of in the mixed frame curvature. It is defined invariantly by , so . Equivalently it is the contraction of with the two odd frame vectors, with the signs of the graded differential-form evaluation included. Define the real even scalar supercurvature used by the RNS model to be The factor is the normalization relative to the coefficient of the real rotation generator, with the present and real odd integration convention. Its ordinary-curvature interpretation is derived below; it is not specified by assuming the desired integral identity.
The bosonic truncation means, in a conformal presentation, with no independent odd or top component, and with . In a general local expansion , these conditions are ; define the conformal-gauge gravitino to be the odd spinor-valued one-form with local components , and other components zero, and define the real curvature auxiliary scalar to be . Thus the truncation removes precisely these independent component fields. They do not set the odd-coordinate-dependent coframe coefficients to zero. For the supplied body metric write The odd coordinates in orthonormal spin frames are ; this identifies the conformal spin sheaf with the earlier smooth spin-bundle sheaf. If an original superfield expansion is written in the orthonormal generators as , then its conformal-coordinate coefficients are and . They are the local components of the same bundle-valued data in nonunit conformal spin frames; they are not numerically identified with unrescaled orthonormal components. Both reality conditions and the zero-component truncation are preserved by these positive real rescalings. On overlaps , and . In conformal frames , , and . These are dual-spin section components, consistently with the intrinsic linear term. At this truncation the full geometry is For every smooth body map and every smooth real target scalar , the resulting weighted component identity is Here is positive on the round sphere. The identity is pointwise in every oriented chart; no integration by parts of is used. Consequently it gives the corresponding global integral for arbitrary such , not merely for constant dilaton or modulo a total derivative. This construction asserts neither a quantum measure nor a classification of all supergeometries.
Definition references
Facts & Assumptions
Given: The supplied smooth spin Riemann surface and its metric, the conformal spin transitions, component supercommutative algebra and left-derivative conventions in the Definition. All assertions below are mathematical identities for that construction, not physical field equations or claims about nature.
The supplied holomorphic atlas defines a Riemann surface and the supplied Spin bundle has the stated double covering and associated weight representations (Riemann surfaces and holomorphic atlases, Given Spin and Spin-c structures and their spinor bundles).
For a homogeneous odd coefficient , supercommutativity gives . Derivatives with respect to an odd coordinate act from the left. A charge- component is differentiated with ; when a derivative label is added its frame weight changes as specified in the Definition.
Proof
Given: The complete local formulas in the Definition, with even and real and with its body fixed by the supplied metric.
On overlaps a holomorphic coordinate derivative is nowhere zero. The smooth spin lift of its phase, multiplied by , gives with and the spin cocycle law. Differentiating by shows , hence is holomorphic. For , the metric transition gives . Consequently , with its conjugate for . These are the transitions of the odd coordinate generators in the dual spin sheaf. The orthonormal vector frames obey for ; their frames therefore transform by , and their dual generators by . Invariance of the scalar linear term gives and . In conformal coordinates the same rule is and , while and . This identifies the split smooth dual-spin sheaf with the displayed conformal spin atlas. A conformal presentation with arbitrary additional real even superfunction coefficients is therefore defined on this supplied split supermanifold; the bosonic presentation exists for every supplied pair . This proves the needed gluing construction without assuming existence of a new Spin structure.
Left differentiation gives , and : in the two terms with a surviving cancel and , and the mixed terms cancel by the odd signs. Conjugation exchanges and . Since and extracts the coefficient, . For a real even superfunction, conjugation reverses these two chiral generators and makes its top chiral coefficient imaginary; this sends that coefficient to a real value.
For a component of frame weight , composition of uses on its intermediate output. The graded product rule gives Here the terms quadratic in vanish, and the two surviving coefficients arise from differentiating and from the changed output weight. The same calculation with intermediate weight gives . In the mixed sum the derivative-valued terms cancel; the terms quadratic in also cancel because , leaving This proves all three stated constraints on every weight, including weight zero. Associativity implies , giving the remaining same-chirality constraints. No component reduction identity was used.
Reading the derivative coefficients of these four operators gives the displayed . Their coframe inverse is the displayed : in each chiral block the even diagonal product is , the odd diagonal product is , and the off-diagonal products cancel, using ; replace by for the other block. Solving for the connection terms gives the four stated , since , and . Thus the entire coframe and connection are determined explicit functions of , rather than independent unspecified fields.
Put and ; these are even and satisfy . In the coframe matrix its odd-odd block is , so . The Schur complement is . Its determinant divided by is exactly , including the possible mixed product . This proves and hence . In particular taking the reciprocal of the coframe Berezinian would give the wrong measure.
The connection on a charge- component is . Its curvature is , since the scalar coefficient algebra supercommutes and the rotation Lie algebra is abelian. The zero derivative-valued mixed torsion in step 2.1 therefore identifies with the mixed frame curvature, including all graded evaluation signs. Thus and have exactly the stated formulas. Conjugation sends to by step 1.2 and fixes ; it fixes because it exchanges its two chiral differential summands and conjugates to . These are real supergeometric objects in the specified real structure.
Write and . The supercoordinate chain rule gives and ; the term differentiating a second time contains and vanishes. Since is a sum of a holomorphic and an antiholomorphic function, . Also . Hence : , and are scalar superfunctions on overlaps. The Berezinian of the coordinate transition is , whereas . Their product has the exact density transition law. This also shows independence from the sign of a spin lift.
At the odd derivatives are , , whence and the displayed truncated coframe follows from step 3.1. The odd connection components vanish but the odd vector coefficients remain and . The even connection becomes , with , or . Contracting with those two surviving odd vector coefficients gives , in agreement with step 4.2 since . This explicitly locates the curvature-producing odd-coordinate dependence that a body-only deletion would destroy.
The kinetic convention can also be checked before the physical consumer uses it. For any symmetric target tensor and antisymmetric target tensor , , , and hence Writing , , the right side is , exactly the conformal-coordinate density . Thus the same real integration convention requires the explicit superspace matter multiplier if that complete bosonic density is to be retained. This is a geometric component identity for tensors, not a derivation of a physical action.
For completeness the coframe and connection have the correct Lorentz gluing, not only the density. Locally write . A weight- section has local components . Substitution into the displayed operators gives and , because and . The terms differentiating the phase cancel the derivatives of exactly. For the connection, put and with the same left-coefficient convention, so . Holomorphic split transitions preserve these two summands, and , giving the overlap law after pullback. Thus the displayed inverse matrices are related by actual coordinate changes and spin-frame rotations. The vector frames follow from the already proved squared-derivative constraints with their indexed connection; arbitrary further supplied coordinate/gauge transforms preserve these tensor identities.
Set , . The real moving-frame connection is . Direct differentiation verifies and , so it is the torsion-free metric connection of . With the positive-sectional-curvature convention, : the sign follows because in the curvature action. Therefore and . Since , the ordinary curvature density is , derived independently of any superspace reduction assumption.
On the matter truncation , the coefficient has no odd-coordinate dependence. Multiplying the explicit formulas of steps 4.1 and 5.2 gives . Applying yields , which equals by step 6.2. This is a pointwise equality for every smooth ; derivatives of do not occur and no integration by parts was performed. On a round sphere of radius , a stereographic conformal factor gives , whose density integrates to . The normalization multiplying is therefore the ordinary-scalar-curvature normalization, rather than a free constant able to repair a vanishing contraction.
The overlap laws in steps 5.1 and 6.1 make these curvature and kinetic expressions scalar superdensities and their component integrals coordinate independent; an ordinary partition of unity sums the local equalities without differentiating it. The changes have been included in the Berezinian law, so there is no unstated odd-frame volume choice. The identities therefore apply on every supplied compact spin Riemann surface, including nonzero curvature, with the given body map and arbitrary smooth real . They assert the constructed geometric reduction and its exact consumer tensor normalization only, not an unconstrained-supergeometry classification, physical field equation or functional measure.
Remarks
The flat Lorentzian plus-sign generators retain their original separate convention. The curved Euclidean geometry above gives an explicit constrained formulation. The construction and component identities are mathematical; identifying the ensuing sigma-model action as a physical model remains the consumer Postulate's adopted assumption.
The new primary source, Knutt-Wehlau–Mann, uses Lorentzian flat derivatives and generator in its equations (4.2)–(4.4). The displayed Euclidean formulas are obtained in the complexified algebra by , so , then by identifying the complexified even derivative labels with and . In particular , , and the source coframe (4.4), after the corresponding odd frame/coordinate phase changes, becomes exactly the matrix above. The new Euclidean reality structure exchanges the chiral variables; it is not an identification with the source's independent real Lorentzian odd coordinates. The real odd orientation and the factor in are specified and checked here. The source's , its , and its component discussion (B.3)–(B.4) support this choice of inverse-frame notation and the interpretation of vanishing independent spinor/auxiliary components. This records an explicit algebraic continuation and mathematical normalization, not a claim that the Lorentzian and Euclidean quantum theories or their functional measures have been identified.
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
- C. M. Hull, G. Papadopoulos, and P. K. Townsend, Potentials for (p,0) and (1,1) supersymmetric sigma models with torsion
- Timo Weigand, Introduction to String Theory, Winter term 2011/12