Alphabeta Math
DefinitionDefinition: AI-adaptedProof: AI-generatedPipeline-generatedprecheck passjudge pass (gpt-6-luna)verified 2026-11-04 (gpt-6-luna)
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 J satisfying J2=−id⁡, and give it the orientation induced by J. Choose a smooth positive-definite metric h such that h(Ju,Jv)=h(u,v) for all p∈Σ and u,v∈TpΣ. Supply a Spin structure on the oriented Euclidean bundle (TΣ,h): a principal Spin⁡(2)-bundle P→Σ with an equivariant two-fold map λ~:P→PSO(TΣ,h) over id⁡Σ, satisfying λ~(pg)=λ~(p)λ2(g) for the standard double cover λ2:Spin⁡(2)→SO⁡(2). Let S+ and S− be the associated complex line bundles for the chiral representations ρ±(et2e1e2)=e±it/2, where (e1,e2) is a positive orthonormal frame and t is its rotation angle. The two representations are complex conjugates, so S−≅S+‾. Let SR be the real rank-two bundle associated to the underlying real representation of ρ+ on C; then SR⊗RC≅S+⊕S−. These are supplied data; no existence theorem for a Spin structure is asserted.

A local (1,1) worldsheet superspace W is the split real smooth supermanifold of dimension 2∣2 with body Σ and structure sheaf locally CΣ,R∞⊗RΛ∙SR∗. Thus its coefficient field is R and its odd tangent bundle has real rank two. After complexifying this sheaf to use chiral notation, a local oriented chart has coordinates (σ0,σ1∣θ+,θ−), where σ0,σ1 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. “(1,1)” 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 A=A0ˉ⊕A1ˉ, with ab=(−1)∣a∣∣b∣ba for homogeneous elements, and complexify it for chiral components. Conjugation on A⊗RC is the antilinear multiplicative involution a⊗z‾=a⊗z‾ for a∈A and z∈C; 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 x++,x−− with ∂±±:=∂/∂x±±. The left superderivative generators Q±=∂θ±+iθ±∂±± satisfy Q±2=i∂±± and {Q+,Q−}=0. These are the plus-sign operators denoted Q± by Hull, Papadopoulos, and Townsend in §5, equation (5.3); no flat covariant derivative is denoted by D± here. An even scalar superfield X:W→N into a smooth real manifold N has local expansion Xμ=xμ+θ+Ξ+μ+θ−Ξ−μ+θ+θ−Aμ. Here TNC:=TN⊗RC, x:Σ→N is a smooth body map, and Ξ± are smooth odd sections with coefficients in A1ˉ⊗RC of S±∗⊗x∗TNC. The signs on Ξ± label the coordinate monomials they multiply, not the associated-bundle chirality. Intrinsically the linear term is a section of SR∗⊗x∗TN. We retain this dual-bundle convention. The invariant real spin metric is gS(u,v)=Re⁡(uv‾) in a unit real spin frame. Its complex-bilinear extension pairs S+ with S− and vanishes on either summand paired with itself; consequently gS♭ maps S− to S+∗ and S+ to S−∗. Thus raising the spin index sends Ξ+ to S−, and Ξ− to S+; it does not preserve the written sign. The coefficient A is a local even component with coefficients in A0ˉ⊗RC. For a real even superfield the induced conjugation, with this coefficient order, is x‾=x, Ξ+‾=Ξ−, and A‾=−A. Under a smooth target-coordinate change yα=fα(x) between real charts, the displayed coefficient order gives Ξ±′α=(∂μfα)Ξ±μ and A′α=(∂μfα)Aμ−(∂μ∂νfα)Ξ+μΞ−ν. Thus A alone need not be a section of x∗TNC; when Ξ±=0, the condition A=0 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 zj=fij(zi) and spin lifts aij2=fij′ satisfying the cocycle law. Use the split supercoordinate transitions zj=fij(zi),θj+=aijθi+,z‾j=f‾ij(z‾i),θj−=a‾ijθi−. 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 s=S∣θ=0 is fixed by the supplied metric h=e−4s∣dz∣2. On a chart write z=x+iy, ∂z=(∂x−i∂y)/2, ∂z‾=(∂x+i∂y)/2, and choose a real even smooth superfunction S. Its overlap law is Sj=Si+12log⁡∣fij′∣, 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 M be the complexified Lorentz generator acting on frame-weight w components by multiplication by w, where w∈12Z. Thus the component-index generator J0=iM acts by iw; its real matrix on component columns is (0−110). This fixes M=−iJ0. The component-index convention is contragredient to the moving-bundle-frame convention: on the bundle S+∗ the moving-frame representation has infinitesimal character −i/2, while its local coefficient has frame weight +1/2. The scalar connection Ω below is the negative of the moving-vector-frame connection ω, so d−iω/2=d+iΩ/2 is exactly the induced connection on S+∗, with conjugate formula on S−∗. No identification of opposite chiral representations is implicit in M=−iJ0. An operator with label + raises frame weight by 1/2, one with label − lowers it by 1/2, and labels ++ and −− change it by 1 and −1. These conventions specify the connection on indexed components, including when two derivatives are composed. Define left odd derivatives D+=∂θ++θ+∂z,D−=∂θ−+θ−∂z‾,u=D+S,v=D−S,f=eS. The symbols D± refer only to this Euclidean presentation and are distinct from the flat Lorentzian Q± above. Define ∇+=f(D++2uM),∇−=f(D−−2vM), ∇++=f2(∂z+2uD++2(∂zS)M),∇−−=f2(∂z‾+2vD−−2(∂z‾S)M). Their conventional torsion/curvature constraints, as equalities on every frame-weight component, are {∇+,∇+}=2∇++,{∇−,∇−}=2∇−−,{∇+,∇−}=RMM,RM=4f2D−D+S. In particular the mixed odd bracket has no derivative-valued torsion term, and [∇+,∇++]=[∇−,∇−−]=0. These identities are proved below, rather than imposed to infer the component reduction.

Writing ∇A=EAI(∂I+ΩIJ0) defines the inverse supervielbein and scalar connection coefficient. The ordered indices are I=(z,z‾,θ+,θ−) and A=(++,−−,+,−). In left-coefficient convention their full finite component expressions are EAI=(f2(1+2uθ+)02f2u00f2(1+2vθ−)02f2vfθ+0f00fθ−0f), EIA=(f−20−2f−1u00f−20−2f−1v−f−2θ+0f−1(1−2uθ+)00−f−2θ−0f−1(1−2vθ−)), Ωz=−2i∂zS,Ωz‾=2i∂z‾S,Ωθ+=−2i∂θ+S,Ωθ−=2i∂θ−S. Every entry is a smooth polynomial in the two odd coordinates after expanding eS; coefficients may themselves lie in the component algebra A. 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 w, the connection is ∂I+iwΩI. 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 T=(ABCD) with invertible D, use Ber⁡T=det⁡(A−BD−1C)/det⁡D. Set E=Ber⁡(EAI),μ=E−1=Ber⁡(EIA)=e−2S. Thus the measure is the Berezinian of the coframe, not its reciprocal. Use the real oriented surface measure d2z=dx dy; equivalently its even complex-coordinate normalization is (i/2)dz∧dz‾. To fix the real odd orientation, write θ+=(η1+iη2)/2, θ−=(η1−iη2)/2, with η1,η2 real odd variables. Write each local superfunction uniquely as F=f0+η1f1+η2f2+η1η2f12, with coefficients in A⊗RC on the right, and define IE(F):=f12, coefficientwise over the even coordinates. Equivalently, IE(1)=IE(η1)=IE(η2)=0 and IE(η1η2)=1, so IE(θ+θ−)=−i,IE(θ−θ+)=i. This real Berezin integral is i times the purely formal ordered chiral rule I0(θ−θ+)=1. The change is essential: a real even superfunction has a purely imaginary θ+θ− coefficient under the specified conjugation. Integrals are ∫Σd2z IE(μL) in such charts, using an ordinary partition of unity if needed. Their transition law is proved below.

Let FJ denote the scalar coefficient of J0 in the mixed frame curvature. It is defined invariantly by {∇+,∇−}=FJJ0, so FJ=−iRM. Equivalently it is the contraction of dΩ 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 R=4FJ=−16ie2SD−D+S. The factor 4 is the normalization relative to the coefficient of the real rotation generator, with the present D± 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, S=s(z,z‾) with no independent odd or top component, and X=x with Ξ+=Ξ−=A=0. In a general local expansion S=s+θ+ξ++θ−ξ−+θ+θ−b, these conditions are ξ+=ξ−=b=0; define the conformal-gauge gravitino to be the odd spinor-valued one-form with local components ψz+=Ez+∣=−2e−sξ+, ψz‾−=Ez‾−∣=−2e−sξ− and other components zero, and define the real curvature auxiliary scalar to be Ageom:=R∣=−16ie2sb. 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 h=e−4s(dx2+dy2). The odd coordinates in orthonormal spin frames are ϑ±=e−sθ±; 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 X=x+ϑ+Ξorth,++ϑ−Ξorth,−+ϑ+ϑ−Aorth, then its conformal-coordinate coefficients are Ξconf,±=e−sΞorth,± and Aconf=e−2sAorth. 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 fij′=∣fij′∣eiτ, ϑj±=e±iτ/2ϑi± and Ξorth,j,±=e∓iτ/2Ξorth,i,±. In conformal frames θj+=aijθi+, θj−=a‾ijθi−, Ξconf,j,+=aij−1Ξconf,i,+ and Ξconf,j,−=a‾ij−1Ξconf,i,−. These are dual-spin section components, consistently with the intrinsic linear term. At this truncation the full geometry is EIA=(e−2s0−2e−sθ+sz00e−2s0−2e−sθ−sz‾−e−2sθ+0e−s00−e−2sθ−0e−s),Ω=−2sy dx+2sx dy, μ=e−2s,FJ=4ie2sθ+θ−szz‾,R=16ie2sθ+θ−szz‾. For every smooth body map x:Σ→N and every smooth real target scalar Φ, the resulting weighted component identity is IE ⁣(μΦ(x)R)=16Φ(x)szz‾=det⁡h Φ(x)R(2)(h). Here R(2)=2Kh 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.

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.

[F1]

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).

[A1]

For a homogeneous odd coefficient q, supercommutativity gives q2=0. Derivatives with respect to an odd coordinate act from the left. A charge-w component is differentiated with M=w; 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 S even and real and with its body fixed by the supplied metric.

1.1givenF1algebraconstruct

On overlaps a holomorphic coordinate derivative fij′ is nowhere zero. The smooth spin lift of its phase, multiplied by ∣fij′∣1/2, gives aij with aij2=fij′ and the spin cocycle law. Differentiating aij2=fij′ by ∂z‾ shows 2aij∂z‾aij=0, hence aij is holomorphic. For h=e−4si∣dzi∣2, the metric transition gives sj=si+12log⁡∣fij′∣. Consequently ϑj+=e−sjθj+=(aij/∣aij∣)ϑi+, with its conjugate for −. These are the transitions of the odd coordinate generators in the dual spin sheaf. The orthonormal vector frames obey ej=eiRot⁡(−τ) for fij′=∣fij′∣eiτ; their S+ frames therefore transform by e−iτ/2, and their dual generators by eiτ/2. Invariance of the scalar linear term gives Ξorth,j,+=e−iτ/2Ξorth,i,+ and Ξorth,j,−=eiτ/2Ξorth,i,−. In conformal coordinates the same rule is Ξconf,j,+=aij−1Ξconf,i,+ and Ξconf,j,−=a‾ij−1Ξconf,i,−, while Aconf,j=∣aij∣−2Aconf,i and Aorth,j=Aorth,i. 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 Si=si exists for every supplied pair (h,P). This proves the needed gluing construction without assuming existence of a new Spin structure.

1.2givenA1algebra

Left differentiation gives D+2=∂z, D−2=∂z‾ and D+D−+D−D+=0: in D+2 the two terms with a surviving θ+∂θ+ cancel and (θ+)2=0, and the mixed terms cancel by the odd signs. Conjugation exchanges D+ and D−. Since θ+θ−=−iη1η2 and IE extracts the η1η2 coefficient, IE(θ+θ−)=−i. For a real even superfunction, conjugation reverses these two chiral generators and makes its top chiral coefficient imaginary; this IE sends that coefficient to a real value.

2.1givenA1step 1.2algebra

For a component t of frame weight w, composition of ∇+ uses w+12 on its intermediate output. The graded product rule gives ∇+2t=f2(D+2t+2uD+t+2w(D+2S)t)=∇++t. Here the terms quadratic in u vanish, and the two surviving uD+t coefficients arise from differentiating f and from the changed output weight. The same calculation with intermediate weight w−12 gives ∇−2t=f2(D−2t+2vD−t−2w(D−2S)t)=∇−−t. In the mixed sum the derivative-valued terms cancel; the terms quadratic in u,v also cancel because vu=−uv, leaving {∇+,∇−}t=2wf2(D−u−D+v)t=4wf2(D−D+S)t. This proves all three stated constraints on every weight, including weight zero. Associativity implies [∇+,∇+2]=[∇−,∇−2]=0, giving the remaining same-chirality constraints. No component reduction identity was used.

3.1givenA1step 2.1algebra

Reading the derivative coefficients of these four operators gives the displayed EAI. Their coframe inverse is the displayed EIA: in each chiral block the even diagonal product is 1+2uθ+−2uθ+=1, the odd diagonal product is 1−2θ+u−2uθ+=1, and the off-diagonal products cancel, using u2=(θ+)2=0; replace u,θ+ by v,θ− for the other block. Solving EAIΩIJ0 for the connection terms gives the four stated ΩI, since J0=iM, u=∂θ+S+θ+Sz and v=∂θ−S+θ−Sz‾. Thus the entire coframe and connection are determined explicit functions of S, rather than independent unspecified fields.

4.1givenA1step 3.1algebra

Put t+=uθ+ and t−=vθ−; these are even and satisfy t+2=t−2=0. In the coframe matrix its odd-odd block is D=f−1diag⁡(1−2t+,1−2t−), so D−1=fdiag⁡(1+2t+,1+2t−). The Schur complement is A−BD−1C=f−2diag⁡(1−2t+,1−2t−). Its determinant divided by det⁡D is exactly f−2, including the possible mixed product t+t−. This proves Ber⁡(EIA)=e−2S and hence E=Ber⁡(EAI)=e2S. In particular taking the reciprocal of the coframe Berezinian would give the wrong measure.

4.2givenA1step 1.2step 2.1step 3.1algebra

The connection on a charge-w component is d+iwΩ. Its curvature is iw dΩ, 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 {∇+,∇−}=RMM=(−iRM)J0 with the mixed frame curvature, including all graded evaluation signs. Thus FJ=−iRM and R=4FJ have exactly the stated formulas. Conjugation sends RM to −RM by step 1.2 and fixes R; it fixes Ω because it exchanges its two chiral differential summands and conjugates −i to i. These are real supergeometric objects in the specified real structure.

5.1givenstep 1.1step 1.2step 4.1step 4.2algebra

Write a=aij and b=log⁡∣a∣=12log⁡∣fij′∣. The supercoordinate chain rule gives Di,+=aDj,+ and Di,−=a‾Dj,−; the term differentiating aθ+ a second time contains (θ+)2 and vanishes. Since b is a sum of a holomorphic and an antiholomorphic function, D−D+b=0. Also D−a=D+a‾=0. Hence e2SjDj,−Dj,+Sj=e2SiDi,−Di,+Si: RM, FJ and R are scalar superfunctions on overlaps. The Berezinian of the coordinate transition is ∣fij′∣2/(aa‾)=∣fij′∣, whereas μj=μi/∣fij′∣. Their product has the exact density transition law. This also shows independence from the sign of a spin lift.

5.2givenstep 1.2step 3.1step 4.1step 4.2algebra

At S=s the odd derivatives are u=θ+sz, v=θ−sz‾, whence uθ+=vθ−=0 and the displayed truncated coframe follows from step 3.1. The odd connection components vanish but the odd vector coefficients remain E+z=esθ+ and E−z‾=esθ−. The even connection becomes Ω=−2sydx+2sxdy, with dΩ=2Δs dx∧dy=8szz‾ dx∧dy, or Fzz‾=4iszz‾. Contracting with those two surviving odd vector coefficients gives FJ=4ie2sθ+θ−szz‾, in agreement with step 4.2 since D−D+s=−θ+θ−szz‾. This explicitly locates the curvature-producing odd-coordinate dependence that a body-only deletion would destroy.

5.3givenstep 1.2step 3.1step 4.1algebra

The kinetic convention can also be checked before the physical consumer uses it. For any symmetric target tensor G and antisymmetric target tensor B, ∇+x=fθ+∂zx, ∇−x=fθ−∂z‾x, and hence 4iIE ⁣(μ(G+B)μν(x)∇+xμ∇−xν)=4(G+B)μν(x)∂zxμ∂z‾xν. Writing p=∂xx, q=∂yx, the right side is G(p,p)+G(q,q)+2iB(p,q), exactly the conformal-coordinate density h habG(∂ax,∂bx)+iεabB(∂ax,∂bx). Thus the same real integration convention requires the explicit superspace matter multiplier 4i if that complete bosonic density is to be retained. This is a geometric component identity for tensors, not a derivation of a physical action.

6.1givenstep 2.1step 3.1step 5.1algebra

For completeness the coframe and connection have the correct Lorentz gluing, not only the density. Locally write fij′=∣fij′∣eiτ. A weight-w section has local components Tj=e−iwτTi. Substitution into the displayed operators gives ∇j,+Tj=e−i(w+1/2)τ∇i,+Ti and ∇j,−Tj=e−i(w−1/2)τ∇i,−Ti, because 2D+b=iD+τ and −2D−b=iD−τ. The terms differentiating the phase cancel the derivatives of b exactly. For the connection, put dh=dz∂z+dθ+∂θ+ and da=dz‾∂z‾+dθ−∂θ− with the same left-coefficient convention, so Ω=−2i(dhS−daS). Holomorphic split transitions preserve these two summands, and −2i(dhb−dab)=dτ, giving the overlap law Ωj=Ωi+dτ 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.

6.2givenstep 5.2algebra

Set e1=e−2sdx, e2=e−2sdy. The real moving-frame connection is ω=−Ω=2sydx−2sxdy. Direct differentiation verifies de1−ω∧e2=0 and de2+ω∧e1=0, so it is the torsion-free metric connection of h. With the positive-sectional-curvature convention, Kh e1∧e2=−dω=dΩ: the sign follows because J0e2=−e1 in the curvature action. Therefore Kh=2e4sΔs and R(2)=2Kh=16e4sszz‾. Since det⁡h=e−4s, the ordinary curvature density is 16szz‾, derived independently of any superspace reduction assumption.

7.1givenstep 1.2step 4.1step 5.2step 6.2algebra

On the matter truncation X=x, the coefficient Φ(x) has no odd-coordinate dependence. Multiplying the explicit formulas of steps 4.1 and 5.2 gives μΦ(x)R=16iθ+θ−Φ(x)szz‾. Applying IE(θ+θ−)=−i yields 16Φ(x)szz‾, which equals det⁡h Φ(x)R(2) by step 6.2. This is a pointwise equality for every smooth Φ∘x; derivatives of Φ do not occur and no integration by parts was performed. On a round sphere of radius r, a stereographic conformal factor gives szz‾=r2/(2(r2+∣z∣2)2), whose density 16szz‾ integrates to 8π. The normalization 4 multiplying FJ is therefore the ordinary-scalar-curvature normalization, rather than a free constant able to repair a vanishing contraction.

8.1F1step 1.1step 5.1step 6.1step 7.1step 5.3∎

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 ϑ=e−sθ 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 Q± 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 D±L=∂θL±+iθL±∂±± and generator ML in its equations (4.2)–(4.4). The displayed Euclidean formulas are obtained in the complexified algebra by θE±=eiπ/4θL±, so D±L=eiπ/4D±, then by identifying the complexified even derivative labels with ∂z,∂z‾ and ML=M=−iJ0. In particular −2i(D+LS)D+L=2(D+S)D+, RML=iRM, 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 4 in R are specified and checked here. The source's E=sdet⁡(EAM), its E−1=e−2S, 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