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.
DGKT classical smeared four-dimensional effective solution
Adopted classical two-derivative, four-dimensional N=1 constant-mode DGKT solution in its canonical RR basis. The model uses a smeared/averaged O6 source and does not establish a globally localized ten-dimensional solution or include all string-loop and alpha-prime corrections.
Postulate
Use natural units and set in the four-dimensional DGKT reduction formulas below. Every reduced flux coefficient, Kähler coordinate, axion, and volume appearing in those formulas denotes its dimensionless numerical value in this source string-unit convention; and are dimensionless intersection coefficients, and and are dimensionless couplings. In the associated ten-dimensional convention, coordinate components of the R-R fields and have units of inverse length; a raw R-R -form period has units of length, while an period has units of length squared. The flux integers are dimensionless, and equations (3.8)–(3.9) fix the period normalizations in DGKT's R-R basis, including its rescaling relative to the unrescaled R-R basis. The scalar coefficients in the reduction formulas are those basis-normalized source numbers after setting . In particular, the source hierarchy compares dimensionless string-unit numbers, not dimensionful quantities.
Adopt the source-reported classical four-dimensional constant-mode solution of DeWolfe–Giryavets–Kachru–Taylor (DGKT) for the orientifold with a further freely acting quotient. This is a product of two actions; it is not a quotient by three independent factors. In the resolved Calabi–Yau model of the source, gives three bulk Kähler moduli and nine blow-up Kähler moduli, while . The source adopts a smeared/averaged O6 term in the four-dimensional reduction.
Let and denote the dimensionful Romans and NS-flux parameters before setting ; they have units of inverse length and length squared, respectively. The source normalization is Thus the positively oriented dual cycle used by the source has , so its normalized free period is . In the reduced string-unit equations write and . On the source cover its D6/O6 signed source charge is , and the DGKT source-model tadpole input is . The standard Graña Romans parameter is .
The bulk four-form coefficients also obey the explicit DGKT lattice, in the source cycles and R-R basis of equations (3.8)–(3.9): Thus setting does not make an arbitrary integer: it leaves the fixed spacing . The factor is the source R-R normalization and is the source bulk-cycle/basis normalization. The source notes possible shifted lattices generally, and states that this shift does not affect the cycles of its specified Calabi–Yau example; this adopted integer lattice is model specific. In particular, the allowed equal-bulk sequence is for , so with and fixed.
For cyclic in , write the bulk Kähler coordinates as , with , and define For each of the nine exceptional divisors, let be the source-normalized exceptional flux, let , and define Here is the bulk imaginary coordinate, whereas is the magnitude of the negative exceptional imaginary coordinate: (DGKT Eq. (5.8), footnote 9). The real flux coefficients and the displayed lattice coefficients specify the branch. Require , common sign of the , , and for every , together with the source's Kähler-cone hierarchy below and positive total volume.
To fix the volume convention, let be the source's real degree-two cohomology basis represented by smooth closed forms on the resolved threefold , with symmetric triple intersections , and all other independent triple intersections zero. The Kähler form is a smooth closed real -form with for every nonzero tangent vector , where is the complex structure; its class is . Consequently the dimensionless volume and four-dimensional dilaton are The factor six in the bulk contraction counts the permutations of three distinct indices; there is one exceptional term per , with negative sign because . The dilaton expression follows from DGKT Eq. (5.10) and in Eq. (4.12). These defining equations resolve the sign inconsistency of the printed positive exceptional term in Eq. (5.11); that term cannot be used with the negative exceptional coordinate of Eq. (5.8). The bulk-only expression is the leading approximation when the exceptional-volume contribution is negligible, not the exact dilaton with nine nonzero exceptional moduli. On the branch , the RR axion is fixed by . These equations are adopted source-model data, not a derivation from a ten-dimensional localized solution.
In the controlled scaling regime of the source, scale the dimensionless bulk four-form coefficients together, , while the Romans and NS quanta and blow-up fluxes remain fixed with The source reports and . With dimensions restored, its four-dimensional Einstein-frame scalings mean where is the vacuum-energy density (units of length), is the reduced four-dimensional Planck mass (units of length), and is the characteristic internal Kaluza–Klein length (units of length). The volume is the dimensionless volume in string units. Defining gives . These are source-reported scalings within the classical constant-mode truncation; the hierarchy and all reduced formulas use the source string-unit normalization.