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
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 have global coordinates , Minkowski metric , standard orientation, and time orientation . Let be a rectangular flat torus with , angular coordinates of period , and metric . On take the product string-frame metric 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 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 supersymmetry, for both IIA and IIB. No statement is made about stabilization or the full massive string spectrum.
Statement references
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.
Rectangular flat-torus string compactification data: has metric , and for the minimally coupled scalar equation the characters have masses . 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.
Four-dimensional supersymmetry counting convention: counts copies of the specified real -module ; a parameter space is counted as -extended when it is the direct sum of such modules, of total real dimension .
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.
Type Iia Supergravity Killing Spinor Equations: on a supplied local Spin 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.
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 , with Hamilton's string-frame matrices , , , and form-valued matrices and . The current equations are and . The spinor-bundle interface supplies the full Clifford bundle and its chiral subbundles; the zero-flux use below retains these supplied data.
Ten Dimensional NS NS Supergravity Action: the current adopted local action is , with ; its current Step-1 record is ready.
Type Iia Two Derivative Supergravity Action: the current IIA postulate is , with , , , , and . Its current Step-1 record is ready.
Type IIB Two Derivative Supergravity Pseudoaction: the current Statement adopts the massless source-free two-derivative string-frame pseudoaction with the exact definitions , , , , , , the RR kinetic bracket , and Chern–Simons term . It requires variation before the separate five-form constraint. Its current Step-1 record is escalated.
Type IIB Five Form Self Duality Constraint: after varying the current IIB pseudoaction, separately impose on the gauge-invariant real five-form. At [A2] this constraint is . Its current Step-1 record is escalated.
Type Iia Bosonic Field Equations: the current IIA Theorem gives the metric and dilaton equations and form equations , , , and Bianchi identities , , . At [A2], every displayed term is zero. Its current Step-1 record is ready.
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 , , , , and . At [A2], every displayed term is zero. Its current proof and direct inputs were inspected; its current Step-1 record is escalated.
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.
The internal spin structure is the periodic one: in the global orthonormal frame, spinor components are unchanged by each generator . The global frame and this lift trivialize the spinor bundle.
All potentials are zero, is constant, and the metric is the flat product. Hence , all field strengths vanish, and all potential Bianchi identities hold.
The following are auxiliary finite-dimensional constructions for the proof, not extra compatibility assumptions on the Killing-spinor modules. Take from [F2], with its Clifford generators , and set . Let have standard orthonormal complex basis and Hermitian form linear in the first slot. Identify its oriented real basis with the six ordered internal orthonormal frame vectors. Put and, for viewed as a real vector, define , where For the displayed real basis , set and . The candidate product action on is for and for . 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.
At [A2], , , , and every NS/RR field strength is zero. In [F6] the Einstein variation is proportional to the Einstein tensor plus derivatives of , both zero; the dilaton variation is proportional to , , and , all zero; the two-form variation is proportional to . 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 . Therefore the background is an on-shell source-free bosonic solution in both models, conditionally on the current supplier interfaces.
Write and on . Their defining exterior formulas give and . Thus and have square and distinct generators anticommute. If , then is the occupation projection for and . Hence . Its even and odd eigenspaces each have complex dimension , since their exterior bases have respectively and elements. The four-dimensional operator squares to , and an invertible exchanges its two eigenspaces, each therefore of dimension . The product generators in [A3] satisfy : mixed terms vanish because anticommutes with each . Thus is a -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.
Here is a finite construction that applies to any -complex-dimensional representation of those ordered ten-generator relations. Put and for , so . For define and . Expansion gives and . In particular is idempotent, and the five commute. For set . These are mutually annihilating idempotents with sum , so , where . No Hermitian-adjoint convention or Clifford-classification theorem is used.
If , then has inverse ; indeed on the first space and on the second. Both operators commute with each for . Thus all joint spaces have the same dimension, and their direct sum has dimension , so each has dimension . Choose and set . These vectors are nonzero and form a basis, because they lie in the distinct one-dimensional joint spaces. On this basis kills a vector with and otherwise lowers that bit with sign ; raises a zero bit with the same sign and kills a one bit. These formulas follow by commuting or past the earlier and using and . Matching such bases for two representations gives an explicit complex-linear intertwiner of every , hence of every and . An operator commuting with all preserves and is scalar there; commuting with the 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.
Apply step 2.1 first to the pinned complex module in [F3] and to in step 1.2, obtaining an intertwiner . The pinned involution 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 and . Put on . For either real rank- Clifford module supplied by [F4] or the full bundle in [F5], complexify its real representation and denote its conjugation by . Its complex dimension is , and is an antilinear involution commuting with every real generator. Step 2.1 gives a complex Clifford intertwiner from that complexification to . Then and commute with every generator, so the complex-linear map is scalar by step 2.1, say . Thus , and gives . Choose a unit complex number with . Replacing by gives . Consequently 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.
In the product orientation fixed above, the ordered ten-dimensional chirality is exactly Thus the positive eigenspace is , and the negative one is . Each summand has complex dimension . The external Spin action on either space is the action on with internal multiplicity , since . The induced internal action agrees with the six-dimensional Clifford convention: its positive-square rotation generator is , the negative-square generator with the same orthogonal infinitesimal action. The Majorana involution 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.
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 , the equations 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 and both dilatino equations to . Every constant spinor is periodic, and there are no projections, so every fiber spinor gives a global Killing-spinor parameter.
Write and let be its complex two-dimensional Weyl module. In Weyl coordinates acts on by and on the opposite Weyl module by . With , the identity identifies the latter module with . These coordinates follow equivalently by the action on Hermitian two-by-two matrices, whose determinant is the Lorentz quadratic form, and its induced Weyl actions. There is no nonzero -equivariant antilinear map . Indeed, such a map is , and equivariance for gives . Taking kills the off-diagonal entries of , and taking kills its diagonal entries. The same argument applies to and, entry by entry, to arbitrary finite multiplicities. Consequently every equivariant antilinear involution on exchanges the two summands. Let be any such involution and put . The map is real-linear and -equivariant, with inverse the projection to : if is fixed, then , and conversely . Choose these Weyl coordinates also on the supplied complex Dirac module in [F2], fixing a complex equivariant identification of its positive-Weyl summand with . This choice is legitimate for any supplied irreducible Dirac module: the Pauli block matrices and obey the stated Clifford relations. To verify the generated algebra, write for the ordered monomial indexed by . Every nonempty monomial has trace zero: if is even, conjugation by a generator indexed in negates it; if is odd, conjugation by one outside negates it. For , is a nonzero scalar multiple of the monomial indexed by , so , whereas . The sixteen monomials are therefore linearly independent. The Clifford relations reduce every word to their span, so the complex Clifford algebra is in this representation. In any nonzero irreducible four-dimensional module , the matrix units decompose ; the maps and identify each summand with , so each has dimension one. Choosing gives the defining-module basis . This transports the even Spin action and the orientation-fixed Weyl summands. Here , , and . Apply the same argument to the independently supplied involution in [F2] in these coordinates. The restriction is an equivariant real isomorphism, inverse . Choose a complex basis of the internal multiplicity space, on which acts trivially. An explicit identification with the specified module, without equating with , is Its inverse sends the tuple to with . This construction allows to mix internal multiplicities. On either ten-dimensional chirality in step 4.1, take to be the Majorana involution constructed from the actual modules in step 3.1 and . It is -equivariant by the Majorana convention, so one Majorana–Weyl parameter is equivariantly isomorphic to four copies of the particular in [F2]. On an -invariant pair with one internal invariant line per chirality, the identical construction has .
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 independent four-dimensional Majorana parameters, and [F2] identifies the result as . 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- Calabi–Yau comparison using the new A-page mathematical lemma. The Graña–Triendl lecture notes independently report the flat- 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
Rectangular flat-torus string compactification data
Four-dimensional supersymmetry counting convention
Supergravity Conventions And Normalizations
Ten Dimensional NS NS Supergravity Action
Type Iia Two Derivative Supergravity Action
Type Iia Bosonic Field Equations
Type Iia Supergravity Killing Spinor Equations
Type IIB Two Derivative Supergravity Pseudoaction
Type IIB Five Form Self Duality Constraint
Type IIB Field Equations with Five Form Self Duality
Type IIB Supergravity Killing Spinor Equations
Lorentzian Type IIB Spinor Bundle Data
Given Spin and Spin-c structures and their spinor bundles