Alphabeta Math
ExampleConstruction: AI-adaptedVerification: 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.

A four-dimensional nonsupersymmetric Type II Scherk–Schwarz orbifold

Physical scope

A source-reported four-dimensional Type II closed-string construction using a symmetric Z2×Z2 orbifold of (T2)^3, a specified free-fermionic basis/GSO choice, shifted Gamma(2,2) sectors, and a freely acting Scherk–Schwarz Z2 deformation. Its modular invariance, full spectrum, tachyon exclusion, and one-loop statements remain attributed to the source; no full stabilized vacuum is claimed.

Example

The earlier A-page item def-cmp-geometric-orbifold-compactification-data defines the relevant orbifold data as a complete finite-group action on full worldsheet CFT data, with a twisted sector and centralizer action for every group element. Its genus-zero local and genus-one trace conditions require separate level-matching, phase-lift, twisted-OPE and modular-covariance checks; higher-genus sewing is additional data for a complete string background. It does not assert that every finite-group action has such a completion.

Antoniadis, Diaz Avalos, and Faraggi report a four-dimensional Type II closed-string construction on a symmetric Z2×Z2 orbifold of T6=(T2)3, with complex moduli T(i),U(i) for i=1,2,3, a source-reported choice of sector-projection phases, and an additional Z2 modification of the genus-one phase sum specified below. The following basis, projection matrix, shifted lattices, and phase are the source data. All binary labels and additions below are in Z2.

Here a free-fermionic basis is an ordered list of boundary-condition vectors for the worldsheet fermions. In each vector, the displayed fields are periodic and every other fermion in the basis system is antiperiodic; sums of basis vectors are componentwise sums of these boundary-condition labels in Z2. The vertical bar separates left-moving fields from right-moving fields, and a bar on a field symbol marks a right mover. The index μ=0,1,2,3 labels four-dimensional fermions, and IJ denotes an internal index pair. As in the source, χIJ=χI+iχJ; yIJ and wIJ denote the complexified fermions for internal bosons XIJ=XI+iXJ, with ∂XI∼yIωI. The displayed wI notation is the source's ωI notation.

The ordered free-fermionic basis is (1,S,Sˉ,b1,b2,T1,T2), where μ=0,1,2,3 labels four-dimensional spacetime fermions and IJ denotes the indicated internal pair: 1={ψμ,χ1,…,6,y1,…,6,w1,…,6∣ψˉμ,χˉ1,…,6,yˉ1,…,6,wˉ1,…,6},S={ψμ,χ1,…,6},Sˉ={∣ψˉμ,χˉ1,…,6},b1={ψμ,χ12,y34,y56∣ψˉμ,χˉ12,yˉ34,yˉ56},b2={ψμ,χ34,y12,y56∣ψˉμ,χˉ34,yˉ12,yˉ56},T1={y12,w12∣yˉ12,wˉ12},T2={y34,w34∣yˉ34,wˉ34}. The source also denotes the derived sector T3=1+S+Sˉ+T1+T2; it is not an eighth independent basis vector.

A Gliozzi–Scherk–Olive (GSO) phase matrix is, here, the ordered array of signs used for the source's projections on free-fermion sectors: C[vi,vj]∈{+1,−1} is the phase in row vi and column vj. In the row/column order (1,S,Sˉ,b1,b2,T1,T2), the complete source matrix is C[vi,vj]=(11111111−11−1−1−1−111−1−1−1−1−1111111111111111−1−111111−1−11111). The item records this matrix as source data; it does not independently prove that the full model's partition function is modular invariant or that its twisted OPE data sew.

For each torus define T(i)=T1(i)+iT2(i) and U(i)=U1(i)+iU2(i), with T2(i),U2(i)>0. The labels hi,gi∈Z2 are the orbifold twists and Hi,Gi∈Z2 are the shifted-lattice labels. Let τ∈H:={z∈C:Im⁡z>0} be the worldsheet-torus modulus, and put q=e2πiτ and qˉ=e−2πiτˉ. The left-moving spin-structure labels are a,b∈Z2 and the right-moving labels are k,l∈Z2, each pair specifying boundary conditions around the two non-contractible torus cycles. For α,β∈Z2, represented by 0 or 1, write ϑ[αβ]:=ϑ[αβ](0∣τ),ϑ[αβ](z∣τ)=∑r∈Zq12(r−α/2)2exp⁡ ⁣(2πi(z−β/2)(r−α/2)). Thus every theta symbol below with omitted arguments means the theta constant at z=0 and this same τ; all additions in its characteristics are reduced in Z2. For lattice summation indices m1,m2,n1,n2∈Z, set m=(m1m2),n=(n1n2+Hi/2),G(i)=T2(i)U2(i)(1U1(i)U1(i)∣U(i)∣2),B(i)=T1(i)(0−110). The source-normalized left/right lattice momenta and their norms are pL=(G(i))−12(−m+B(i)n+G(i)n),pR=(G(i))−12(−m+B(i)n−G(i)n),pL,R2=pL,RIGIJ(i)pL,RJ. They are in the dimensionless normalization used in the source, so their squared values enter the exponents of q and qˉ below; no conversion to dimensionful target-space momenta is made here. The shifted untwisted lattice factor is Γ2,2(i)[HiGi](T(i),U(i))=∑m1,m2,n1,n2∈Z(−1)Gim2qpL2/2qˉpR2/2,q=e2πiτ. The full lattice factor with the paired orbifold twist (hj,gj) is source-defined by Γ2,2(i)[HiGi] ⁣[hjgj]={Γ2,2(i)[HiGi],hj=gj=0,12∑ζi,δi=01(−1)ζiGi+δiHi+HiGi∣ϑ[ζiδi]ϑ[ζi+hjδi+gj]∣2,otherwise. In the total partition function the paired twists are (h2,g2) for i=1, (h1,g1) for i=2, and (h1+h2,g1+g2) for i=3. Define the base spin-structure phase P0:=(−1)a+b+k+l and the Scherk–Schwarz insertion ΞSS:=(−1)a(G1+G3)+b(H1+H3)+H1G1+H3G3+kG2+lH2+H2G2. The source's phase replacement is P0↦P0ΞSS, so the full phase is (−1)a+b+k+l+a(G1+G3)+b(H1+H3)+H1G1+H3G3+kG2+lH2+H2G2.

Use ℏ=c=1, α′>0, ℓs=α′ and Ms=ℓs−1 as in def-supergravity-conventions-and-normalizations. Here G and B are dimensionless lattice data: the internal physical metric in angular coordinates is α′G. Thus T2,U2 and the displayed pL,R are dimensionless. To remove the ambiguity of “string units”, write m^2:=α′Mphys,s2, where Mphys,s is the four-dimensional string-frame pole mass. In the NS chiral sectors relevant to the source's tachyon test, set LL=12pL2+NL−12,LR=12pR2+NR−12. The source denotes these chiral levels ML2,MR2 in equations (2.21)–(2.22). A physical level-matched NS–NS state obeys m^2=4LL=4LR in the adopted α′ restoration, since its noncompact chiral momentum contribution is −α′Mphys,s2/4. The Ramond intercept is zero rather than 1/2 for a Ramond chiral factor. This normalization also gives m^2=n2/G11 for a pure circle momentum mode: the displayed lattice normalization has pL2=pR2=n2/(2G11), so each chiral level shift is n2/(4G11). No chiral level is silently equated to the full pole mass.

For the tree-level pole-mass interpretation, fix four-dimensional Minkowski space M4=R4 with global coordinates xμ of length dimension, μ=0,1,2,3, and string-frame metric g4,s=η=diag⁡(−1,1,1,1). Use the trivial spin structure and its complex Dirac bundle S4=M4×Δ4, Δ4=C4, with constant Clifford matrices γμ∈End⁡C(Δ4) satisfying γμγν+γνγμ=2ημνI. A vector-spinor is a smooth section ψ∈C∞(M4,T∗M4⊗S4), written ψ=dxμ⊗ψμ(x) in this parallel trivialization. Define D4ψμ=γν∂νψμ and (□4,sψ)μ=ηνρ∂ν∂ρψμ componentwise. For a positive constant pole mass m=Mphys,s, use the free linear spin-3/2 description (D4−m)ψμ=0, ∂μψμ=0, and γμψμ=0, with indices raised using η. A complex Fourier mode is ψμ(x)=uμeipνxν, where p∈(R4)∗ is a constant momentum covector of inverse-length dimension and uμ∈Δ4 is its constant polarization; its constraints are pμuμ=γμuμ=0 and (iγνpν−m)uμ=0. Composing the kinetic equation with D4+m gives (□4,s−m2)ψμ=0, so a nonzero mode has ηνρpνpρ=−m2. Here “gravitino” denotes the fermionic mode with this linear description whose massless supersymmetric parent is the gauge field of local supersymmetry. This is a flat-background tree-level description of the reported pole masses, not an interacting field equation on the putative one-loop vacuum. The symbols S,Sˉ label the source's left and right sectors, not two new scalar fields. Its equation (2.14) reports the two would-be massless gravitinos' dimensionless squared pole-mass shifts m^S2=1T2(1)U2(1)+1T2(3)U2(3),m^Sˉ2=1T2(2)U2(2). Thus MS,phys,s2=Ms2m^S2 and similarly for Sˉ; writing α′=1 gives precisely the paper's numerical formulas. A tree-level tachyon means a physical, level-matched, projection-surviving state with Mphys,s2<0 in the genus-zero spectrum. It is not a generic negative term before level matching and GSO/orbifold projections, nor a negative one-loop Hessian eigenvalue. The source reports absence of such states throughout the allowed torus moduli after its sector analysis; this item does not rederive that analysis.

At genus one the source reports a minimum of the twelve real T,U torus-moduli directions at T(i)=U(i)=1+i, with positive Hessian in those directions and negative vacuum-energy density Λs in the four-dimensional string-frame effective action term −∫−g4,s Λs. To state its separate dilaton caveat, let v6=V6,s/(2πℓs)6 and define the four-dimensional dilaton by e−2ϕ4=v6e−2Φ10, up to a fixed reference-volume constant absorbed into the gravitational coefficient. The local four-dimensional coupling variable is g4=eϕ4, while the ten-dimensional string coupling at a constant background is gstr=eΦ10. At fixed torus volume their weak-coupling limits agree. The four-dimensional Einstein metric is g4,E=e−2ϕ4g4,s,VE(ϕ4)=e4ϕ4Λs. This is the four-dimensional Weyl rescaling, distinct from the ten-dimensional relation G10,E=e−Φ10/2G10,s. At fixed torus moduli, Λs<0 gives no finite dilaton stationary point and VE→0 from below as g4→0. “Runaway” here means the absence of a stationary dilaton in this truncated potential; no dynamical rolling direction toward weak coupling is inferred from that limit. The source proposes additional flux/orientifold mechanisms as possibilities outside this construction. The negative torus-moduli energy therefore does not itself establish a stabilized AdS vacuum.

Facts & Assumptions

Given: The source-reported data in the Example and the conditional orbifold-data interface [F1]. Statements attributed to the paper remain source reports; they are not presented as independent proofs of modular invariance, sewing, or the complete spectrum.

[F1]

Geometric finite-group orbifold compactification data: a geometric finite-group orbifold datum includes the complete worldsheet group action, twisted sectors, centralizer projections, and any discrete-torsion phases. The definition is a conditional data interface and does not prove that every finite quotient gives a consistent CFT.

[F2]

Supergravity Conventions And Normalizations supplies ℏ=c=1, α′>0, ℓs=α′, the string-coupling convention, and the distinction between ten-dimensional string and Einstein metrics. The four-dimensional dilaton and Weyl rescaling used here are defined explicitly in the Example; the mass units are fixed by the displayed chiral levels.

[A1]

Adopt the basis vectors, GSO matrix, shifted Γ2,2 factors, and Scherk–Schwarz phase exactly as data reported in Antoniadis–Diaz Avalos–Faraggi, arXiv:2504.19364v2, §2.1, PDF pp. 3–6. No independent modular transformation or sewing proof is asserted here.

[A2]

Adopt as source reports the two gravitino mass shifts, the tree-level no-tachyon conclusion, and the genus-one torus-moduli result with its negative energy, unbounded directions, and dilaton runaway. The Appendix C spectrum table and the full sector-by-sector tachyon proof have not been independently reconstructed in this batch.

[A3]

The paper's results are at tree level for the spectrum/tachyon statement and at genus one for the stated moduli potential. No higher-genus, nonperturbative, backreaction, flux, orientifold, localized-charge cancellation, or completed dilaton-stabilization result is adopted.

Proof

Given: [F1]–[F2], [A1]–[A3], the source's moduli domain T2(i),U2(i)>0, and the exact locators in the source reference.

1.1F1A1given

The ordered basis has seven entries, and the displayed matrix has the same row and column order; the shifted lattice and phase definitions use the source's distinct labels hi,gi for orbifold twists and Hi,Gi for Scherk–Schwarz shifts. These are the exact source data adopted in [A1]. This records the source-specific basis, projections, lattices and phase only. These data do not establish an instance of [F1]: its full-local fields, all twisted-sector OPE maps and compatible centralizer transports have not been supplied here. The source reports and the conditional deductions below do not assume that missing completion.

1.2A2givenalgebra

At finite allowed moduli, each T2(i)U2(i) is a product of two positive finite real numbers. Its reciprocal is positive, so both displayed sums m^S2 and m^Sˉ2 are strictly positive. In the source's stated decompactification limits T2(1),T2(3)→∞ the terms in m^S2 tend to zero with fixed positive U2(1),U2(3), and T2(2)→∞ makes m^Sˉ2→0. For the defined flat vector-spinor, commuting partial derivatives and the Clifford relations give D4 2=12{γν,γρ}∂ν∂ρ=□4,s on each covector component. Thus (D4+m)(D4−m)=□4,s−m2, and substituting uμeip⋅x gives the stated mass shell. These are local consistency checks of the linear description. Positivity and the limits follow from the reported formulas; the formulas themselves are not independently derived.

1.3A2given

The no-tree-tachyon assertion is included only as the result that the named paper reports from its sector analysis. The local proof here neither reconstructs the Appendix C sectors nor derives the exclusion over the full moduli space, so the claim remains explicitly source-attributed.

2.1F2A2A3step 1.3algebra∎

From g4,s=e2ϕ4g4,E in four dimensions, −g4,s=e4ϕ4−g4,E, so the genus-one string-frame term gives VE=e4ϕ4Λs. Holding the torus moduli fixed, dVE/dϕ4=4e4ϕ4Λs≠0 for Λs<0, while its weak-coupling limit is zero from below. The one-loop statement concerns the twelve real torus-moduli directions and is separate from the tree-level tachyon claim. The negative energy, unbounded directions, and nonstationary Einstein-frame dilaton potential defined above and recorded in [A2] prevent this item from promoting the torus-moduli minimum to a fully stabilized vacuum.

Remarks

The paper is the sole primary source for this specific GSO choice, shifted lattices, tree spectrum, and genus-one calculation. Its relevant full text and exact equations were inspected. Ginsparg's orbifold discussion is used only for the general conditional vocabulary in [F1], not to prove the model-specific partition function. The source's own title uses “AdS vacuum,” but its conclusion states that the negative one-loop energy does not by itself imply an AdS vacuum because the Einstein-frame dilaton runs away; this carrier preserves that caveat.

Depends on

Dependency tree · 2 levels

Sources