Alphabeta Math
DefinitionDefinition: AI-adaptedProof: Not applicablePipeline-generatedverified 2026-11-05 (gpt-6.1-sol)
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.

Supergravity Conventions And Normalizations

Physical scope

Declared unit, field, curvature, frame, gravitational-coupling, and spinor conventions for the supergravity items in the string-theory library. These are adopted conventions, not universal physical laws, existence claims, or consequences of mathematics.

Definition

Let a spacetime of dimension n be a smooth n-manifold M equipped with an orientation and a smooth Lorentzian metric G of signature (−+⋯+). In a local coordinate chart xM, M=0,…,n−1, GMN is a symmetric nondegenerate covariant tensor and GMN is its inverse. In ten dimensions, G(s) denotes the string-frame metric. The Levi-Civita connection is the unique torsion-free connection satisfying ∇G=0; in coordinates its coefficients are ΓPMN=12GPQ(∂MGNQ+∂NGMQ−∂QGMN). Fix the curvature convention

RPQMN=∂MΓPNQ−∂NΓPMQ+ΓPMRΓRNQ−ΓPNRΓRMQ,RQN=RPQPN,R=GQNRQN.

A smooth p-form Fp is an alternating covariant tensor of rank p. Its squared norm in this convention is the signed Lorentzian contraction ∣Fp∣G2=(1/p!)FM1…MpFM1…Mp; it need not be nonnegative. For a scalar f, □Gf:=∇M∇Mf=GMN∇M∇Nf. For a local smooth two-form potential B2, set H3=dB2, with HMNP=3∂[MBNP]; here d is the exterior derivative, so dH3=d2B2=0 wherever this potential is defined.

On an oriented Lorentzian manifold let volG be the metric volume form with the chosen orientation, and define the Hodge star by α∧∗Gβ=⟨α,β⟩G volG for forms of the same degree, where ⟨α,β⟩G=(1/p!)αM1…MpβM1…Mp. In dimension n and signature with one negative direction, this convention gives ∗G∗Gα=(−1)p(n−p)+1α for each p-form α.

Use natural units ℏ=c=1, so energy has dimension length−1. Coordinates have length dimension and metric components are dimensionless. The exact upstream definition of α′>0 has dimension length2, and ℓs=α′. For a constant reference or asymptotic dilaton Φ∞, write gstr:=eΦ∞>0 for the dimensionless string coupling; this is the scalar called gs by the upstream coupling definition. It is distinct by tensor type from the string-frame metric G(s). A varying dilaton Φ is a real dimensionless scalar field and does not define a constant coupling by itself. Set

2κ02=(2π)7α′4,2κ10,phys2=gstr2 2κ02

when the constant asymptotic dilaton has been absorbed into the physical ten-dimensional gravitational coupling. Thus κ02 and κ10,phys2 both have dimension length8, but they are not the same convention. The string and Einstein metrics are related on the same ten-manifold by G(E)=e−Φ/2G(s). In four dimensions define GN as Newton's constant, κ42:=8πGN, and the reduced Planck mass by MP−2:=κ42; the Einstein–Hilbert term is then (MP2/2)∫d4x−g R. Here [GN]=length2 and [MP]=length−1.

For spinor counts, let V=Rn with η=diag⁡(−1,1,…,1), and let Cl(V,η) be the unital real associative algebra generated linearly by V with uv+vu=2η(u,v)1. Write SO⁡+(n−1,1) for the identity component of its determinant-one isometry group. Define Spin⁡+(n−1,1) as the subgroup of even products of vectors v with η(v,v)=±1 whose conjugation action w↦uwu−1 on V lies in SO⁡+(n−1,1). Supply a time orientation and a spin structure: a principal Spin⁡+(n−1,1)-bundle P→M with an equivariant double covering of the oriented, time-oriented orthonormal-frame bundle. No existence of such a lift is asserted. Fix the following ten-dimensional Clifford module, rather than an arbitrary multiple of it. On S=(C2)⊗5 with its ordered tensor-product basis put

X=(0110),Y=(0−ii0),Z=(100−1),aj=Z⊗(j−1)⊗X⊗I2⊗(5−j),bj=Z⊗(j−1)⊗Y⊗I2⊗(5−j)(1≤j≤5).

Set Γ0=ib5, Γ2j−1=aj for 1≤j≤5, and Γ2j=bj for 1≤j≤4. Clifford multiplication is the real-linear map v↦∑A=09vAΓA, extended multiplicatively to the real algebra generated by eAeB+eBeA=2ηAB1. Its restriction to the spin group defines the representation used in the associated bundle P×Spin⁡+(9,1)S. Define the antilinear map J:S→S by Jv=b1b2b3b4v‾, where conjugation is in the displayed basis. A Majorana spinor is a smooth section of the associated real subbundle with fiber SR:={v:Jv=v}. Set Γ11:=Γ0⋯Γ9; a Majorana–Weyl spinor of chirality ± is a smooth section with fiber SR±:={v∈SR:Γ11v=±v}. For eleven dimensions use the same S,J and matrices Γ0,…,Γ9,Γ10:=εΓ11, ε∈{+1,−1}, with a supplied sign ε, the corresponding spin-group restriction and associated-bundle construction.

These formulas give {ΓA,ΓB}=2ηABI, J2=I, and JΓA=ΓAJ. Indeed, the ten matrices aj,bj square to I and pairwise anticommute; the aj are real and the bj imaginary. The product b1b2b3b4 is real, squares to I, commutes with all aj,b5, and anticommutes with b1,…,b4, which proves the claims about J. Every v∈S decomposes uniquely as u+iw with u,w∈SR by u=(v+Jv)/2, w=(v−Jv)/(2i), so dim⁡RSR=32. Also Γ112=I and Γ11 anticommutes with each of the first ten matrices. Since Γ0 is invertible and preserves SR, it exchanges the two real chirality spaces, each therefore of dimension 16. The eleven-dimensional extension has volume product Γ0⋯Γ10=εI and real fiber dimension 32.

The 11D Cremmer–Julia–Scherk (CJS) convention uses one such Majorana parameter; type IIA uses two ten-dimensional Majorana–Weyl parameters of opposite chirality, type IIB two of the same chirality, and ten-dimensional N=1 heterotic/type-I one. Here N counts independent copies of these parameter bundles. These are fiber component counts, not dimensions of spaces of sections or of solution spaces. The displayed signs, normalizations and parameter bundles are adopted conventions for the named low-energy frameworks. No claim of physical validity is inferred.

Remarks

This item uses only the upstream definitions α′>0, ℓs=α′, and gstr=eΦ∞ from the two named suppliers. It does not use the topology-weight conclusion gstr2g−2 or its Axiom-of-Choice proof as a physical premise. The notation G(s) and gstr separates the metric and scalar that several sources both denote by gs.

Depends on

Dependency tree · 2 levels

Sources