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.
D4-brane monodromy inflation as a model proposal
Conditional source-model calculation for the leading geometric D4 DBI contribution on a local single-Nil wrapped embedding, using the current wrapped-D4 reduction theorem under its exact probe, fixed-modulus, zero-flux and low-velocity hypotheses. The source-frame-to-Einstein-frame normalization is an explicit constant model input. The item does not establish global orientifold charge cancellation, moduli stabilization, slow roll, corrections, backreaction, observational viability, or a globally controlled compactification.
Example
Let be a nonempty open interval, let be a smooth oriented boundaryless three-manifold, and set . Choose a spatial chart , with and open. On this chart the four-dimensional metric factor in the adopted ten-dimensional string-frame background is where is positive definite at every point; the dot denotes . The chart is zero-shift and is proper time along its coordinate observers. The subscript denotes string frame.
In the Nil quotient, the base coordinate has period one under the lattice generator . Thus itself is a real coordinate on the covering space, not a period-one real-valued function; its quotient base coordinate is , with the stated simultaneous shift. In this example choose the positive real lift of that base coordinate. Let be the integer Nil twist, dimensionless size moduli, the dimensionless anisotropy, the constant dimensionless string coupling, and the inverse string-tension parameter with dimensions of length squared. Set , , and .
Let with coordinate of period one. The local worldvolume is , with the D4 embedding fixed by , , , and a fixed point in the second Nil factor, as in Wrapped D4 Embedding In Nil Coordinates. The deck transformation above records the brane-position monodromy; this local DBI calculation does not construct a global orientifold. Use , so and the positive frame factor are dimensionless, and have mass dimension one, and four-dimensional potentials have mass dimension four.
Use the single-Abelian-probe, fixed-modulus, constant-dilaton, zero-pulled-back-, zero-, negligible-backreaction branch of the cited geometric DBI term. Define For this branch the local D4 supplier gives the positive source-frame kinetic coefficient and potential Assume and use the large-position asymptotic regime . By the local D4 theorem, the source-frame canonical field is fixed, not freely shifted, by In particular, and , so in this asymptotic regime. For the Einstein-frame scalar EFT, supply a positive constant as frame data, with ; fixed moduli and dilaton make this factor field-independent in this example. The source sections do not fix the numerical value of this frame map. If the source metric is separately identified with the Einstein-frame metric, that choice is .
The conditional Einstein-frame conclusion is where with the corresponding canonical origin , and Here has mass dimension , so the potential has dimension four. This is the local geometric DBI contribution only; it makes no claim of a globally controlled compactification, moduli stabilization, slow roll, an observational fit, or an empirical result.
Facts & Assumptions
Given: The smooth local Nil background and wrapped D4 embedding, the fixed-modulus probe assumptions, the low-velocity and large- regime, the adopted scalar EFT, and a supplied constant frame map .
Four-dimensional Einstein-frame multi-scalar cosmology EFT data: the four-dimensional EFT is in Einstein frame and has two-derivative scalar density , with the frame transformation from another description supplied as model data.
Adopted two-derivative multi-scalar cosmology EFT: the displayed Einstein-frame two-derivative action and scalar stationarity are adopted model premises; the postulate does not assert a string compactification realizing them.
Silverstein Westphal Nil Background Data For Wrapped D4 Reduction: the Nil quotient has , the adopted metric block has and , and .
Wrapped Nil D4 DBI Reduction And Large Field Potential: for the specified single Abelian probe wrapped on the unit circle, with fixed moduli, constant dilaton, zero pulled-back and , negligible backreaction, and , the theorem gives and fixes the canonical coordinate by , ; as , and , giving .
Silverstein Westphal Nil Background Data For Wrapped D4 Reduction: the adopted ten-dimensional string-frame metric has , with constant ; in the isolated geometric DBI contribution the pulled-back and are zero and Chern–Simons, stabilization, loop, and higher- terms are separate.
Four-dimensional Einstein-frame multi-scalar cosmology EFT data requires any frame transformation from another description to be supplied as model input; accordingly, the positive constant relating the source four-metric to the Einstein metric is explicit data here. No value for or global compactification map is inferred from the local DBI theorem.
Silverstein–Westphal, §§3.1.1–3.1.2, PDF pp. 27–30, distinguishes the specific global orientifold branch, whose D4 image is an anti-D4 and has zero net D4 source charge, from a separate flux-charged branch with . This is source-reported model scope, not a charge-balance premise in the local calculation.
Verification
The lattice and local Nil metric in [F2] are those used by the wrapped embedding, and [F4] gives the fixed-dilaton, zero-, zero- DBI branch. Together with of unit period and only homogeneous moving, these are the hypotheses of the current single-Abelian-probe theorem [F3]. Its source-frame canonical coefficient is positive and its asymptotics hold only for .
By [F3], and , where and . Since the canonical map has positive derivative and , it is increasing on and the asymptotic inverse is . Therefore . Substituting gives with the coefficient stated in Example.
Since with constant , and . Thus the kinetic coefficient transforms as , the potential as , and the canonical coordinates satisfy , with both origins fixed at zero. Substitution into step 2.1 gives . This identifies only the isolated geometric DBI term with the potential slot in the adopted scalar EFT [F1, A1]; any other sector or correction contributes separately.
The source-specific charge distinction in [A3] prevents attaching the charged balance from its separate branch to this calculation. The present proof is only the local single-Nil DBI term; it establishes neither the source's global orientifold realization nor a tadpole equation. The source's moduli stabilization, higher-derivative, loop, backreaction, slow-roll and observational conditions remain separate; no measurement or globally controlled compactification follows.