Alphabeta Math
Physics theoremStatement: Literature-sourcedProof: AI-generatedPipeline-generatedprecheck passverified 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.

Type II supercharge count on periodic flat T6

Physical scope

Conditional two-derivative massless-supergravity result on four-dimensional Minkowski space times a rectangular flat T6 with periodic internal spin structure, vanishing fields and no projections. It counts global Killing-spinor parameters only; it proves no moduli stabilization or full string vacuum.

Statement

Let M4=R4 have global coordinates x0,x1,x2,x3, Minkowski metric η4=−(dx0)2+∑j=13(dxj)2, standard orientation, and time orientation ∂x0. Let TR6=∏i=16R/(2πRiZ) be a rectangular flat torus with Ri>0, angular coordinates θi of period 2π, and metric ∑iRi2(dθi)2. On M4×TR6 take the product string-frame metric Gs=η4⊕∑iRi2(dθi)2 and the source-free massless two-derivative Type IIA or Type IIB model in the adopted Hamilton convention. Set all NS and RR potentials and field strengths to zero, take the dilaton Φ=Φ0 constant, and choose the periodic internal spin structure with no orbifold, orientifold, Wilson-line, or other supersymmetry projection. Then the background is an on-shell bosonic solution and the globally defined Killing-spinor parameter space has 32 real dimensions. Under the four-dimensional supersymmetry counting convention, the four-dimensional theory has N=8 supersymmetry, for both IIA and IIB. No statement is made about stabilization or the full massive string spectrum.

Facts & Assumptions

Given: The product geometry, periodic spin structure, zero-field configuration, and the exact current or planned physical interfaces below. A planned statement is used conditionally and is not treated as proved by its label.

[F1]

Rectangular flat-torus string compactification data: TRn=∏iR/(2πRiZ) has metric ∑iRi2(dθi)2, and for the minimally coupled scalar equation the characters ein⋅θ have masses mn2=m02+∑ini2/Ri2. Its scalar proof is complete, and the free-circle supplier now has a ready current record. The rectangular-torus carrier itself is escalated because its KK-ansatz dependency has a stale escalated readiness record; this theorem uses only its exact flat geometry clause and remains conditional on that current readiness state.

[F2]

Four-dimensional supersymmetry counting convention: N counts copies of the specified real Spin⁡+(1,3)-module S4M; a parameter space is counted as N-extended when it is the direct sum of N such modules, of total real dimension 4N.

[F3]

Supergravity Conventions And Normalizations: each ten-dimensional Majorana–Weyl parameter has 16 real components; Type IIA uses two opposite-chirality parameters and Type IIB two same-chirality parameters. The signature is (−,+,…,+) and Clifford multiplication follows the declared Hamilton convention. The current Step-1 record is ready.

[F4]

Type Iia Supergravity Killing Spinor Equations: on a supplied local Spin(1,9) lift, the real rank-32 Majorana spinor ϵ defines a local supersymmetric bosonic solution exactly when the source-free IIA field equations hold and both the Hamilton gravitino and dilatino equations in the current Definition hold. This carrier and its direct IIA field-equation input currently have ready Step-1 records.

[F5]

Type IIB Supergravity Killing Spinor Equations: the current Definition assumes a source-free bosonic solution of the actual IIB pseudoaction, separate five-form constraint, and current field-equation item, together with spinor bundle data in Lorentzian Type IIB Spinor Bundle Data. It uses a smooth doublet ϵ∈Γ(S+⊕S+), with Hamilton's string-frame matrices λ1=σ1, λ2=iσ2, λ3=σ3, and form-valued matrices Ω~=18eΦ(G1λ2−G~3λ1+12G~5λ2) and Ω=eΦ(12G~3λ1−G1λ2). The current equations are ∇XSϵ+14(iXH3)λ3⋅ϵ+Ω~⋅(X♭⋅ϵ)=0 and (dΦ+12H3λ3+Ω)⋅ϵ=0. The spinor-bundle interface supplies the full Clifford bundle and its chiral subbundles; the zero-flux use below retains these supplied data.

[F6]

Ten Dimensional NS NS Supergravity Action: the current adopted local action is SNS=(2κ02)−1∫−G(s)e−2Φ(Rs+4∣dΦ∣2−112HMNPHMNP) d10x, with H3=dB2; its current Step-1 record is ready.

[F7]

Type Iia Two Derivative Supergravity Action: the current IIA postulate is SIIA=SNS−14κ02∫−gs(∣G2∣s2+∣G~4∣s2)−14κ02∫B2∧G4∧G4, with F0=0, H3=dB2, G2=dC1, G4=dC3, and G~4=G4−C1∧H3. Its current Step-1 record is ready.

[F8]

Type IIB Two Derivative Supergravity Pseudoaction: the current Statement adopts the massless source-free two-derivative string-frame pseudoaction with the exact definitions H3=dB2, G1=dC0, G3=dC2, G5=dC4, G~3=G3−C0H3, G~5=G5−12H3∧C2+12G3∧B2, the RR kinetic bracket ∣G1∣2+∣G~3∣2+12∣G~5∣2, and Chern–Simons term C4∧H3∧G3. It requires variation before the separate five-form constraint. Its current Step-1 record is escalated.

[F9]

Type IIB Five Form Self Duality Constraint: after varying the current IIB pseudoaction, separately impose ∗gsG~5=G~5 on the gauge-invariant real five-form. At [A2] this constraint is ∗0=0. Its current Step-1 record is escalated.

[F10]

Type Iia Bosonic Field Equations: the current IIA Theorem gives the metric and dilaton equations and form equations d(∗G2)=H3∧(∗G~4), d(∗G~4)=−H3∧G~4, d(e−2Φ∗H3)=12G~4∧G~4−G2∧(∗G~4), and Bianchi identities dH3=0, dG2=0, dG~4=−H3∧G2. At [A2], every displayed term is zero. Its current Step-1 record is ready.

[F11]

Type IIB Field Equations with Five Form Self Duality: the current Statement gives the IIB string-frame metric and dilaton equations, RR/NS form equations, Bianchi identities dH3=0, dG1=0, dG~3=H3∧G1, dG~5=H3∧G~3, and ∗G~5=G~5. At [A2], every displayed term is zero. Its current proof and direct inputs were inspected; its current Step-1 record is escalated.

[F12]

Given Spin and Spin-c structures and their spinor bundles: a spin structure is a principal Spin lift of the oriented frame bundle, and the associated spinor bundle is built from the specified real Clifford representation.

[A1]

The internal spin structure is the periodic one: in the global orthonormal frame, spinor components are unchanged by each generator θi↦θi+2π. The global frame and this lift trivialize the spinor bundle.

[A2]

All potentials are zero, Φ=Φ0 is constant, and the metric is the flat product. Hence RMN=0, all field strengths vanish, and all potential Bianchi identities hold.

[A3]

The following are auxiliary finite-dimensional constructions for the proof, not extra compatibility assumptions on the Killing-spinor modules. Take Δ4=S4C from [F2], with its Clifford generators γμ, and set Γ4=iγ0γ1γ2γ3. Let V=C3 have standard orthonormal complex basis u1,u2,u3 and Hermitian form linear in the first slot. Identify its oriented real basis (u1,iu1,u2,iu2,u3,iu3) with the six ordered internal orthonormal frame vectors. Put S6=Λ∙V and, for x∈V viewed as a real vector, define c(x)=x∧−ιxˉ, where ιxˉ(v1∧⋯∧vk)=∑j=1k(−1)j−1⟨vj,x⟩v1∧⋯∧vj^∧⋯∧vk. For the displayed real basis e1,…,e6, set ρa=ic(ea) and Γ6=iρ1⋯ρ6. The candidate product action on F:=Δ4⊗S6 is Γ^μ=γμ⊗Γ6 for 0≤μ≤3 and Γ^3+a=I⊗ρa for 1≤a≤6. The actual Clifford and real intertwiners to the pinned ten-dimensional module and both Killing-spinor systems are constructed in steps 1.3, 2.1, and 3.1, rather than assumed.

Proof

Given: [F1]–[F12], [A1]–[A3], the flat product background and periodic spin structure in the Statement, and the two-derivative source-free equations and KSE interfaces listed above. The IIB action, constraint, field-equation, and KSE records are currently escalated; the rectangular-torus supplier is also escalated on a stale KK readiness row.

1.1A2F6F7F8F9F10F11givenalgebra

At [A2], RMN=0, R=0, dΦ=0, and every NS/RR field strength is zero. In [F6] the Einstein variation is proportional to the Einstein tensor plus derivatives of e−2Φ, both zero; the dilaton variation is proportional to R, dΦ, and H3, all zero; the two-form variation is proportional to H3. The additional IIA and IIB kinetic terms in [F7] and [F8] are quadratic in field strengths, so their first variations vanish at zero fields. Each displayed Chern–Simons term and its first variation also vanishes because every potential and field strength is zero. Thus all bulk Euler–Lagrange equations in [F10] and [F11] vanish under compactly supported variations. The potential Bianchi identities hold by [A2], and the IIB self-duality equation [F9] is ∗0=0. Therefore the background is an on-shell source-free bosonic solution in both models, conditionally on the current supplier interfaces.

1.2A3F2F3algebra

Write wj=uj∧ and qj=ιuˉj on S6. Their defining exterior formulas give wjwk+wkwj=qjqk+qkqj=0 and qjwk+wkqj=δjkI. Thus ρ2j−1=i(wj−qj) and ρ2j=−(wj+qj) have square I and distinct generators anticommute. If nj=wjqj, then nj is the occupation projection for uj and ρ2j−1ρ2j=i(I−2nj). Hence Γ6=i∏j=13i(I−2nj)=(−1)exterior degree. Its even and odd eigenspaces each have complex dimension 4, since their exterior bases have respectively 1+3 and 3+1 elements. The four-dimensional operator Γ4 squares to I, and an invertible γμ exchanges its two eigenspaces, each therefore of dimension 2. The product generators in [A3] satisfy {Γ^A,Γ^B}=2ηABI: mixed terms vanish because Γ6 anticommutes with each ρa. Thus F is a 32-complex-dimensional representation of the same ordered physical Clifford relations as the pinned module in [F3]. This establishes a candidate representation, not yet its identification with the physical modules.

1.3A3F3algebraconstruct

Here is a finite construction that applies to any 32-complex-dimensional representation M of those ordered ten-generator relations. Put D0=iΓ0 and Da=Γa for 1≤a≤9, so {Dr,Ds}=2δrsI. For 1≤j≤5 define aj=(D2j−2+iD2j−1)/2 and bj=(D2j−2−iD2j−1)/2. Expansion gives {aj,ak}={bj,bk}=0 and {aj,bk}=δjkI. In particular Nj=bjaj is idempotent, and the five Nj commute. For ϵ∈{0,1}5 set Pϵ=∏jNjϵj(I−Nj)1−ϵj. These are mutually annihilating idempotents with sum I, so M=⨁ϵMϵ, where Mϵ=PϵM. No Hermitian-adjoint convention or Clifford-classification theorem is used.

2.1step 1.3algebrachooseconstruct

If ϵj=1, then aj:Mϵ→Mϵ−ej has inverse bj; indeed bjaj=Nj=I on the first space and ajbj=I−Nj=I on the second. Both operators commute with each Nk for k≠j. Thus all 32 joint spaces have the same dimension, and their direct sum has dimension 32, so each has dimension 1. Choose 0≠v∈M0 and set vϵ=b1ϵ1⋯b5ϵ5v. These vectors are nonzero and form a basis, because they lie in the distinct one-dimensional joint spaces. On this basis aj kills a vector with ϵj=0 and otherwise lowers that bit with sign (−1)∑k<jϵk; bj raises a zero bit with the same sign and kills a one bit. These formulas follow by commuting aj or bj past the earlier bk and using ajv=0 and ajbjv=v. Matching such bases for two representations gives an explicit complex-linear intertwiner of every aj,bj, hence of every Dr and ΓA. An operator commuting with all ΓA preserves M0 and is scalar there; commuting with the bj makes it the same scalar on the entire basis. This also proves the scalar-commutant assertion needed below, without invoking Schur's lemma as an additional input.

3.1F3F4F5step 1.2step 2.1constructalgebra

Apply step 2.1 first to the pinned complex module S0=(C2)⊗5 in [F3] and to F in step 1.2, obtaining an intertwiner T:S0→F. The pinned involution J0v=b1(0)b2(0)b3(0)b4(0)vˉ is the actual matrix involution of [F3]; the superscript distinguishes those pinned Pauli matrices from the creation operators in step 1.3. The supplier proves J02=I and J0ΓA=ΓAJ0. Put R=TJ0T−1 on F. For either real rank-32 Clifford module supplied by [F4] or the full bundle in [F5], complexify its real representation and denote its conjugation by C. Its complex dimension is 32, and C is an antilinear involution commuting with every real generator. Step 2.1 gives a complex Clifford intertwiner U from that complexification to S0. Then C′:=UCU−1 and J0 commute with every generator, so the complex-linear map C′J0 is scalar by step 2.1, say C′J0=λI. Thus C′=λJ0, and C′2=I gives λλˉ=1. Choose a unit complex number z with z2=λ−1. Replacing U by zU gives (zU)C(zU)−1=(z/zˉ)λJ0=J0. Consequently TU after this replacement intertwines the actual Clifford representations and their Majorana real structures. These are constant finite-dimensional maps. They intertwine every even Clifford product, hence the external and internal Spin actions, and intertwine the exact ordered chirality products. There is no assumed representation compatibility and no identification based on dimension equality alone.

4.1A3F2F3step 1.2step 3.1algebra

In the product orientation fixed above, the ordered ten-dimensional chirality is exactly Γ^0⋯Γ^9=(γ0γ1γ2γ3)⊗(ρ1⋯ρ6)=−Γ4⊗Γ6. Thus the positive eigenspace is (Δ4+⊗S6−)⊕(Δ4−⊗S6+), and the negative one is (Δ4+⊗S6+)⊕(Δ4−⊗S6−). Each summand has complex dimension 8. The external Spin action on either space is the action on Δ4 with internal multiplicity 4, since Γ^μΓ^ν=γμγν⊗I. The induced internal action agrees with the six-dimensional Clifford convention: its positive-square rotation generator is ρaρb/2=−c(ea)c(eb)/2, the negative-square generator with the same orthogonal infinitesimal action. The Majorana involution R in step 3.1 commutes with this external Spin action and with the real chirality product. Its restrictions therefore give the actual sixteen-real-dimensional Majorana–Weyl modules under the proven intertwiners. Reversing the total orientation interchanges the two ten-dimensional labels and does not change either multiplicity.

4.2A1A2F1F4F5F12step 1.1step 3.1algebra

The product metric is the exact rectangular geometry in [F1]. In the global product orthonormal frame its coefficients are constant and the Levi-Civita connection coefficients vanish. The periodic lift [A1], using [F12] and the IIB bundle data in [F5], gives trivial associated spinor bundles with zero spin connections. The constant intertwiners of step 3.1 commute with the identity deck actions of this lift, so they define global parallel bundle identifications. Pulling any Killing spinor to the connected universal cover R4×R6, the equations ∂Mϵ=0 make it constant; conversely each constant fiber spinor descends by periodicity. Thus no additional global solutions or holonomy constraints enter the count. Substitution of [A2] into the actual IIA system [F4] and IIB system [F5] reduces both gravitino equations to ∂Mϵ=0 and both dilatino equations to 0=0. Every constant spinor is periodic, and there are no projections, so every fiber spinor gives a global Killing-spinor parameter.

5.1A3F2F3step 1.2step 3.1step 4.1constructalgebra

Write H=Spin⁡+(1,3) and let W=S4+ be its complex two-dimensional Weyl module. In Weyl coordinates H=SL2(C) acts on W by g and on the opposite Weyl module by (g†)−1. With ε=(01−10), the identity εgˉε−1=(g†)−1 identifies the latter module with Wˉ. These coordinates follow equivalently by the action X↦gXg† on Hermitian two-by-two matrices, whose determinant is the Lorentz quadratic form, and its induced Weyl actions. There is no nonzero H-equivariant antilinear map W→W. Indeed, such a map is z↦Czˉ, and equivariance for g=diag⁡(t,t−1) gives Cdiag⁡(tˉ,tˉ−1)=diag⁡(t,t−1)C. Taking t=2 kills the off-diagonal entries of C, and taking t=i kills its diagonal entries. The same argument applies to Wˉ and, entry by entry, to arbitrary finite multiplicities. Consequently every equivariant antilinear involution on W⊕m⊕Wˉ⊕m exchanges the two summands. Let R be any such involution and put U=W⊕m. The map UR⟶Fix⁡(R),u⟼u+Ru is real-linear and H-equivariant, with inverse the projection to U: if u+v is fixed, then v=Ru, and conversely R(u+Ru)=u+Ru. Choose these Weyl coordinates also on the supplied complex Dirac module in [F2], fixing a complex equivariant identification of its positive-Weyl summand with W. This choice is legitimate for any supplied irreducible Dirac module: the Pauli block matrices γ0=(0I−I0) and γj=(0σjσj0) obey the stated Clifford relations. To verify the generated algebra, write γI for the ordered monomial indexed by I⊆{0,1,2,3}. Every nonempty monomial has trace zero: if ∣I∣ is even, conjugation by a generator indexed in I negates it; if ∣I∣ is odd, conjugation by one outside I negates it. For I≠J, γI−1γJ is a nonzero scalar multiple of the monomial indexed by I△J, so tr⁡(γI−1γJ)=0, whereas tr⁡(γI−1γI)=4. The sixteen monomials are therefore linearly independent. The Clifford relations reduce every word to their span, so the complex Clifford algebra is M4(C) in this representation. In any nonzero irreducible four-dimensional module M, the matrix units decompose M=⨁i=14EiiM; the maps Ei1 and E1i identify each summand with E11M, so each has dimension one. Choosing 0≠v∈E11M gives the defining-module basis Ei1v. This transports the even Spin action and the orientation-fixed Weyl summands. Here σ1=(0110), σ2=(0−ii0), and σ3=diag⁡(1,−1). Apply the same argument to the independently supplied involution J in [F2] in these coordinates. The restriction π+:S4M→WR is an equivariant real isomorphism, inverse z↦z+Jz. Choose a complex basis e1,…,em of the internal multiplicity space, on which H acts trivially. An explicit identification with the specified module, without equating R with J, is Fix⁡(R)⟶(S4M)⊕m,u+Ru⟼(z1+Jz1,…,zm+Jzm),u=∑j=1mzj⊗ej. Its inverse sends the tuple to u+Ru with zj=π+(sj). This construction allows R to mix internal multiplicities. On either ten-dimensional chirality in step 4.1, take R to be the Majorana involution constructed from the actual modules in step 3.1 and m=4. It is H-equivariant by the Majorana convention, so one Majorana–Weyl parameter is equivariantly isomorphic to four copies of the particular S4M in [F2]. On an R-invariant pair with one internal invariant line per chirality, the identical construction has m=1.

6.1F2F3F5step 1.2step 3.1step 4.1step 5.1step 4.2algebra∎

Type IIA has two opposite-chirality ten-dimensional Majorana–Weyl parameters and Type IIB has two same-chirality parameters; in either case each parameter contributes four four-dimensional Majorana parameters by steps 3.1, 4.1, and 5.1. Thus each reduction has 4+4=8 independent four-dimensional Majorana parameters, and [F2] identifies the result as N=8. This proves the stated supersymmetry count, conditional on the two-derivative KSE interfaces.

Remarks

The IIA Killing-spinor definition and its bosonic-field-equation input currently return ready. The IIB pseudoaction, five-form constraint, field-equation, and Killing-spinor records are current escalations. The rectangular-torus supplier's own readiness row remains escalated and hash-stale on its KK-ansatz input. The zero-background substitution and representation count above are complete conditional arguments; this flat-only theorem remains escalated until those exact upstream readiness states are refreshed. The adjacent B example separately derives the exact-SU(3) Calabi–Yau comparison using the new A-page mathematical lemma. The Graña–Triendl lecture notes independently report the flat-T6 N=8 result. A Guarino thesis source entry was dropped after the author and university-hosted PDF URLs exhausted fetch attempts; the complete local proof and independent lecture notes preserve coverage. No moduli stabilization or full-string spectrum is claimed.

Depends on

Dependency tree · 2 levels

Sources