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.
Heterotic tree-level four-dimensional gauge-coupling reduction data
Conditional unwarped tree-level volume/dilaton dependence for a normalized gauge zero mode only. It omits threshold, loop, flux, warping, localized-source, and exact trace/embedding-index corrections.
Definition
Use natural units . On an unwarped product with ten-dimensional string-frame metric , finite internal string-frame volume , and constant dimensionless heterotic dilaton , choose one declared gauge trace and a ten-dimensional kinetic normalization by writing the selected gauge term as For an external gauge field independent of and with no internal components, define the scalar four-dimensional Yang–Mills coupling by the coefficient of , with external indices raised by . Require . Then the tree-level reduction datum is Here , so the right side is dimensionless. The exact value of , factors of and , and representation embedding index are fixed only after the action coefficient and trace are specified. The formula excludes threshold corrections, loops, flux corrections, warping, and localized sources.
Definition references
Facts & Assumptions
Given: An unwarped product with external string-frame metric and internal string-frame metric , fixed finite internal string-frame volume, constant dimensionless , the chosen action coefficient/trace, and the external zero-mode gauge field.
Perturbative heterotic Calabi–Yau bundle compactification data selects the heterotic representation bundle and records the connection, source and approximation data.
Supergravity Conventions And Normalizations fixes the string frame and natural units .
Heterotic Type I Ten Dimensional N1 Supergravity Action adopts the heterotic tree-level gauge weight and explicitly leaves full coefficients and trace normalizations to the selected action convention.
The coefficient is the parameter defined by the displayed ten-dimensional kinetic term; it is not inferred from [F3].
The zero mode is independent of internal coordinates, has no internal field-strength components, and uses the same trace on both sides of the reduction.
Proof
Given: The product metric, constant dilaton, finite volume, action term and zero-mode ansatz in the Definition, with [F1]–[F3] and [A1]–[A2].
By [F1] the selected bundle background has the specified internal gauge sector; the product ansatz [A2] takes its external zero mode independent of the internal point. For the product metric, , and with the external indices raised by . Since is constant, the internal factor in the action integral is exactly .
Substituting the integral from step 1.1 into the ten-dimensional term leaves the four-dimensional coefficient multiplying the declared gauge kinetic invariant. Comparing with the defining coefficient gives the displayed formula. Six internal length dimensions cancel , and the convention caveats follow from [F3] and [A1].