Alphabeta Math
DefinitionDefinition: 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.

Heterotic tree-level four-dimensional gauge-coupling reduction data

Physical scope

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 ℏ=c=1. On an unwarped product M4×X with ten-dimensional string-frame metric G(s)=g(4,s)⊕g(X,s), finite internal string-frame volume Vol⁡s(X), and constant dimensionless heterotic dilaton Φ0, choose one declared gauge trace and a ten-dimensional kinetic normalization g10,0 by writing the selected gauge term as S10,gauge=−14g10,02∫M4×Xd10x −G(s) e−2Φ0Tr⁡(FMNFMN). For an external gauge field independent of X and with no internal components, define the scalar four-dimensional Yang–Mills coupling gYM,4>0 by the coefficient of −14∫M4d4x −g(4,s)Tr⁡(FμνFμν), with external indices raised by g(4,s). Require 0<g10,02<∞. Then the tree-level reduction datum is 1gYM,42=e−2Φ0Vol⁡s(X)g10,02. Here [g10,02]=length6, so the right side is dimensionless. The exact value of g10,0, factors of 2π 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.

Facts & Assumptions

Given: An unwarped product with external string-frame metric g(4,s) and internal string-frame metric g(X,s), fixed finite internal string-frame volume, constant dimensionless Φ0, the chosen action coefficient/trace, and the external zero-mode gauge field.

[F1]

Perturbative heterotic Calabi–Yau bundle compactification data selects the heterotic representation bundle and records the connection, source and approximation data.

[F2]

Supergravity Conventions And Normalizations fixes the string frame and natural units ℏ=c=1.

[F3]

Heterotic Type I Ten Dimensional N1 Supergravity Action adopts the heterotic tree-level gauge weight e−2ΦH and explicitly leaves full coefficients and trace normalizations to the selected action convention.

[A1]

The coefficient g10,0 is the parameter defined by the displayed ten-dimensional kinetic term; it is not inferred from [F3].

[A2]

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

1.1givenF1F2A1A2algebra

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, −G(s)=−g(4,s)g(X,s), and FMNFMN=FμνFμν with the external indices raised by g(4,s). Since Φ0 is constant, the internal factor in the action integral is exactly e−2Φ0∫Xd6yg(X,s)=e−2Φ0Vol⁡s(X).

2.1givenF3A1step 1.1algebra∎

Substituting the integral from step 1.1 into the ten-dimensional term leaves the four-dimensional coefficient −14e−2Φ0Vol⁡s(X)/g10,02 multiplying the declared gauge kinetic invariant. Comparing with the defining coefficient −1/(4gYM,42) gives the displayed formula. Six internal length dimensions cancel [g10,02]=length6, and the convention caveats follow from [F3] and [A1].

Depends on

Dependency tree · 2 levels

Sources