Alphabeta Math
ExampleConstruction: AI-adaptedVerification: AI-generatedPipeline-generatedprecheck passjudge pass (gpt-6-luna)verified 2026-11-04 (gpt-6-luna)
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

Physical scope

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 I⊆R be a nonempty open interval, let Σ3 be a smooth oriented boundaryless three-manifold, and set X4=I×Σ3. Choose a spatial chart x:UΣ→U⊆R3, with UΣ⊆Σ3 and U open. On this chart the four-dimensional metric factor in the adopted ten-dimensional string-frame background is ds4,s2=−dt2+hij(t,x) dxidxj, where hij∈C∞(I×U) is positive definite at every point; the dot denotes d/dt. The chart is zero-shift and t is proper time along its coordinate observers. The subscript s denotes string frame.

In the Nil quotient, the base coordinate has period one under the lattice generator τ1(u1,u2,x′)=(u1+1,u2,x′−Mu2). Thus u1 itself is a real coordinate on the covering space, not a period-one real-valued function; its quotient base coordinate is [u1]∈R/Z, with the stated simultaneous x′ shift. In this example choose the positive real lift u∈C∞(I,(0,∞)) of that base coordinate. Let M∈Z>0 be the integer Nil twist, Lx,Lu>0 dimensionless size moduli, β>0 the dimensionless anisotropy, gs:=eΦ∞>0 the constant dimensionless string coupling, and α′>0 the inverse string-tension parameter with dimensions of length squared. Set L:=(Lu2Lx)1/3, Lu1=Lu/β, and Lu2=Luβ.

Let S1=R/Z with coordinate σ of period one. The local worldvolume is W5=X4×S1, with the D4 embedding fixed by u1=u(t), u2=σ, x′=x0′∈R/Z, and a fixed point q~0 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 ℏ=c=1, so u,M,Lx,Lu,L,β,gs and the positive frame factor Ω are dimensionless, ϕs and ϕE have mass dimension one, and four-dimensional potentials have mass dimension four.

Use the single-Abelian-probe, fixed-modulus, constant-dilaton, zero-pulled-back-B2, zero-FA, negligible-backreaction branch of the cited geometric DBI term. Define ucrit:=β LuMLx,ϵ(t):=α′Lu2u˙(t)2β. For this branch the local D4 supplier gives the positive source-frame kinetic coefficient and potential K(u)=Lu3(2π)4gsα′β(1+M2Lx2u2βLu2)1/2,Vs(u)=Luβ(2π)4gsα′2(1+M2Lx2u2βLu2)1/2. Assume ϵ≪1 and use the large-position asymptotic regime u/ucrit→∞. By the local D4 theorem, the source-frame canonical field is fixed, not freely shifted, by ϕs(u):=∫0uK(v) dv,ϕs(0)=0. In particular, ϕs∼Cϕu3/2 and Vs∼V0u, so Vs(ϕs)∼μsϕs2/3 in this asymptotic regime. For the Einstein-frame scalar EFT, supply a positive constant Ω as frame data, with gE=Ω2g4,s; 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 Ω=1.

The conditional Einstein-frame conclusion is VE(ϕE)∼Ω−10/3μsϕE2/3, where ϕE=Ω−1ϕs with the corresponding canonical origin ϕE(0)=0, and μs=(32)2/3(2π)−8/3M2/3β1/3Lx/Lα′5/3gs2/3. Here μs has mass dimension 10/3, 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-u/ucrit regime, the adopted scalar EFT, and a supplied constant frame map gE=Ω2g4,s.

[F1]

Four-dimensional Einstein-frame multi-scalar cosmology EFT data: the four-dimensional EFT is in Einstein frame and has two-derivative scalar density MP22R−12Gij(ϕ)gEμν∂μϕi∂νϕj−VE(ϕ), with the frame transformation from another description supplied as model data.

[A1]

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.

[F2]

Silverstein Westphal Nil Background Data For Wrapped D4 Reduction: the Nil quotient has τ1(u1,u2,x′)=(u1+1,u2,x′−Mu2), the adopted metric block has Lu1=Lu/β and Lu2=Luβ, and Lu2Lx=L3.

[F3]

Wrapped Nil D4 DBI Reduction And Large Field Potential: for the specified single Abelian probe wrapped on the unit u2 circle, with fixed moduli, constant dilaton, zero pulled-back B2 and FA, negligible backreaction, and ϵ≪1, the theorem gives K(u)>0 and fixes the canonical coordinate by ϕs(0)=0, ϕs′(u)=K(u); as u/ucrit→∞, ϕs∼Cϕu3/2 and Vs∼V0u, giving Vs(ϕs)∼μsϕs2/3.

[F4]

Silverstein Westphal Nil Background Data For Wrapped D4 Reduction: the adopted ten-dimensional string-frame metric has ds10,s2=ds4,s2+dsN32+dsN~32, with constant eΦ=gs; in the isolated geometric DBI contribution the pulled-back B2 and FA are zero and Chern–Simons, stabilization, loop, and higher-α′ terms are separate.

[A2]

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.

[A3]

Silverstein–Westphal, §§3.1.1–3.1.2, PDF pp. 27–30, distinguishes the specific global ϕ2/3 orientifold branch, whose D4 image is an anti-D4 and has zero net D4 source charge, from a separate flux-charged u2−u~2 branch with ϕ~2/5. This is source-reported model scope, not a charge-balance premise in the local calculation.

Verification

1.1givenF2F3F4algebra

The lattice and local Nil metric in [F2] are those used by the wrapped embedding, and [F4] gives the fixed-dilaton, zero-B2, zero-FA DBI branch. Together with u2=σ of unit period and only homogeneous u1(t)>0 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 u/ucrit→∞.

2.1F3step 1.1algebra

By [F3], ϕs∼Cϕu3/2 and Vs∼V0u, where Cϕ=M1/2LuLx1/26π2gsα′ β1/2>0 and V0=MLx(2π)4gsα′2>0. Since the canonical map has positive derivative and ϕs(0)=0, it is increasing on u≥0 and the asymptotic inverse is u∼(ϕs/Cϕ)2/3. Therefore Vs(ϕs)∼V0Cϕ−2/3ϕs2/3. Substituting Lu2Lx=L3 gives V0Cϕ−2/3=μs with the coefficient stated in Example.

3.1givenF1A1A2step 2.1algebra

Since gE=Ω2g4,s with constant Ω>0, −g4,s=Ω−4−gE and g4,sμν=Ω2gEμν. Thus the kinetic coefficient transforms as KE=Ω−2Ks, the potential as VE=Ω−4Vs, and the canonical coordinates satisfy ϕE=Ω−1ϕs, with both origins fixed at zero. Substitution into step 2.1 gives VE(ϕE)∼Ω−10/3μsϕE2/3. 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.

4.1A3F3step 3.1∎

The source-specific charge distinction in [A3] prevents attaching the charged F2∧H3 balance from its separate ϕ~2/5 branch to this ϕ2/3 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.

Depends on

Dependency tree · 2 levels

Sources