Can componentwise D7-tadpole cancellation yield a chiral Standard Model? A no-go for smooth O7$^{-}$ orientifolds

Mudit Jain

REVIEW

Can componentwise D7-tadpole cancellation yield a chiral Standard Model? A no-go for smooth O7$^{-}$ orientifolds

Mudit Jain

High Energy Physics - Theory · Submitted 20 Oct 2026

Pith's verdict: A clean no-go theorem for chiral Standard Models under componentwise D7-tadpole cancellation — mathematically sound, clearly scoped, and worth reading for anyone working in Type IIB string phenomenology.

T0 · AI review

How this review was made: An AI referee (deepseek/deepseek-v4-flash) read the paper on October 22, 2026 and answered a fixed list of questions about it. T0 is the starting level every paper gets. The levels describe how deeply Pith has checked the paper, never the authors.

T0 AI review An AI read the paper and answered a fixed list of questions.
T1 Audit Automatic checks that the references and files the paper relies on exist and match.
T2 Compute The paper's code or calculations re-run with the same results.
T3 Formal statement The claims written out in a formal math language a computer can read.
T4 Proof Those claims proved, and the proof checked by computer.

How Pith checks papers →

· 4 minor · Ask about this paper · The compiled record · Read the full review →

Challenge this review Comment (0) Read on arXiv ↗

Cite ▾

arXiv ID2610.28730 (version 2)

Pith IDEH2JDLIQ, Pith's permanent record of this paper and its review

CitationMudit Jain. "Can componentwise D7-tadpole cancellation yield a chiral Standard Model? A no-go for smooth O7$^{-}$ orientifolds." arXiv:2610.28730 (2026). https://pith.science/paper/EH2JDLIQ

Cite this reviewBibTeX for Pith's review of this paper

Claim paper

Why Pith says this

Highlight any text to comment on it.

Editor's note

read the letter

This paper proves that under the componentwise D7-tadpole cancellation prescription (which includes local cancellation as a special case) in smooth O7⁻ orientifolds with pairwise distinct O7 component divisor classes, the net chiral index of D7–D7 quark-doublet fermions is zero. The chiral Standard Model, requiring I_Q = 3, is therefore excluded.

What is new: earlier work focused on local cancellation or general configurations; this paper systematically treats the componentwise prescription and gives two independent arguments — one group-theoretic (so(8) contains no su(3)⊕su(2) subalgebra) and one involving Stückelberg masses from hypercharge flux. Both are well executed. The representation theory lemma for so(8) is correctly proved via decomposition of the complexified vector representation under su(3). The disjointness argument for distinct O7-component classes is geometrically rigorous. The hypercharge mass argument (Appendix A) is clean and uses only standard D7 Chern–Simons couplings.

The paper is honest about its scope and limitations. The pairwise distinct divisor classes assumption is stated explicitly and is essential; if it fails, the argument does not apply. The componentwise prescription is an additional restriction beyond general D7-tadpole cancellation, and the authors note that configurations with redistributed charges, singular supports, or nonperturbative visible sectors lie outside the proposition. This is not a flaw; it is proper boundary-drawing.

The soft spots: the result is conditional on an extra prescription that is motivated by moduli stabilization constructions but not forced by general tadpole cancellation. The paper acknowledges this. The pairwise distinct class assumption, while natural for smooth O7 components, could fail in geometries where two O7 components are homologous (e.g., a Calabi–Yau with multiple components in the same divisor class). In that case the no-go does not apply, and the paper says so. This is a limitation, not a mistake.

Who this is for: string phenomenologists working on orientifold model building with D7-branes and moduli stabilization. The result gives a concrete obstruction that should inform future searches for chiral Standard Models in this class of compactifications.

Recommendation: This paper deserves a serious referee. It is mathematically sound, clearly written, and makes a definite claim that is non-trivial yet provable within its stated assumptions. I would send it to peer review.

Referee report

Minor objections (4)

[Abstract and Introduction] The phrase 'component-wise D7-tadpole cancellation' is central but could be more explicitly distinguished from 'local cancellation' at first use. The paper does so in §I, but a very brief one-sentence reminder in the abstract would help readers unfamiliar with the refinement.
[§II, Eq. (3)] The sum ∑_α N_{iα} = 4 uses integer N_{iα} >0. Later in §V.B the allocation test allows real nonnegative multiplicities before imposing integrality. The transition from integer to real is smooth, but the text could briefly note that the integer condition is reimposed only after the linear programming bounds are derived, to avoid confusion.
[§III.A, disjointness argument] The argument that distinct O7 components are disjoint (Eq. (9)) relies on the existence of an invariant Kähler metric. This is standard, but a reference for the averaging construction would be helpful (e.g., for readers unfamiliar with isometries of involutions on complex manifolds).
[§IV.B, Eq. (20) and surrounding text] The factor 6 in K_{Y,i}([R_i]) = 6q_i A_{c,i} arises from 3 (color components) × 2 (color + image-color signs). The derivation in Eq. (A22) is clear, but in the main text this step could be expanded slightly to avoid the need to jump to Appendix A for the factor. (The current version is acceptable, but a short inline explanation would improve readability.)

How Pith checks papers → · Full audit of this paper →

The paper

The paper claims

Under the componentwise D7-tadpole cancellation prescription in smooth Type IIB Calabi–Yau orientifolds with pairwise distinct O7 component classes, the net chiral index of massless D7–D7 quark-doublet fermions is forced to zero…

The reading

The paper considers Type IIB orientifolds with O7$^{-}$ planes, where each O7 component has its own divisor class and exactly eight covering-space D7-branes must be distributed among smooth irreducible representatives of that class. The author proves that under this prescription, the perturbative D7 spectrum cannot contain net chiral quark doublets. Without symplectic factors, the gauge algebra of every component sector embeds into $\mathfrak{so}(8)$, which cannot contain commuting color and weak-isospin subalgebras. With symplectic factors, the requirement of a massless hypercharge gauge boson forces the net quark-doublet chirality to vanish. Consequently the chiral Standard Model, which needs three net quark doublets, is ruled out.

What carries the argument

Two geometric and representation-theoretic facts carry the argument: (i) O7 components with distinct divisor classes have disjoint smooth D7 representatives, so no massless D7–D7 fermion connects different component sectors; (ii) the complete parent algebra of a sector without symplectic factors lies inside $\mathfrak{so}(8)$, which admits no $\mathfrak{su}(3) \oplus \mathfrak{su}(2)$ subalgebra. For symplectic sectors, the Stückelberg mass of hypercharge (determined by the integral of the color flux against the even divisor class $[R_i]$) is proportional to the net quark-doublet chirality of that sector, forcing $I_{Qi}=0$ when hypercharge is massless.

Extended reading notes

Core claim

In smooth Type IIB Calabi–Yau orientifolds with O7$^{-}$ components of pairwise distinct divisor classes, the componentwise D7-tadpole cancellation prescription (eight covering-space D7-branes per O7 component class) forces the net chiral index $I_Q$ of massless D7–D7 quark-doublet fermions to be zero, thereby excluding the chiral Standard Model (which requires $I_Q=3$). The proof covers configurations both without and with symplectic parent factors: in the former case, the parent algebra of each component sector embeds in $\mathfrak{so}(8)$ and cannot contain commuting $\mathfrak{su}(3)$ and $\mathfrak{su}(2)$; in the latter, the Stückelberg mechanism ties nonzero $I_Q$ to a massive hypercharge boson, and disjointness of component sectors prevents cancellation of the charge.

Load-bearing premise

The O7-component divisor classes are required to be pairwise distinct ($[R_i] \neq [R_j]$), which ensures that different component sectors have disjoint D7 supports and cannot exchange massless matter.

Editorial extensions

If this is right

Moduli-stabilisation constructions that rely on the componentwise D7-tadpole prescription cannot simultaneously realise the chiral Standard Model from perturbative D7 branes, limiting the search for stringy visible sectors.
The geometric condition $\int_X [R_i]^2 \wedge J < 0$ (for some Kähler form $J$) forces purely local cancellation on $R_i$; this gives a practical test to exclude many Calabi–Yau orientifolds from hosting a perturbative D7 Standard Model.
The allocation test described in Section V.B can identify O7 components whose eight D7 branes are forced by the tadpole to lie on that component, geometrically sequestering those sectors and reinforcing the no-go.
Non-perturbative visible sectors (e.g., F-theory, D3-brane stacks) remain unaffected by this no-go, so the result sharpens the distinction between perturbative and non-perturbative string model building.

Reading between the lines

Editorial extensions of the paper, not claims the author makes directly.

If the assumption of pairwise distinct O7-component classes is relaxed (allowing classes to coincide), the disjointness argument breaks: D7 representatives from different O7 components could then intersect, potentially allowing matter connecting sectors and possibly accommodating net chirality. The no-go's sensitivity to this assumption suggests that geometries with repeated O7 classes are the mos
The Stückelberg argument for symplectic factors does not forbid vectorlike quark-doublet pairs; a model with exactly three net quark doublets produced from three separate O7 components would require each component to contribute $I_{Qi}=1$, which is excluded. However, a hypothetical mechanism mixing hypercharge from different sectors could conceivably circumvent the masslessness condition, though t
The no-go may extend to F-theory compactifications where the componentwise D7-tadpole condition is replaced by a similar local cancellation condition on the discriminant locus, potentially limiting the construction of chiral GUTs in those setups as well.

Original abstract

We study a componentwise prescription for D7-tadpole cancellation that includes, as a special case, the local cancellation used in several moduli-stabilisation constructions. We first consider smooth Type IIB Calabi--Yau orientifolds with O7$^{-}$ components of pairwise distinct divisor classes. For each component class $[R_i]$, eight covering-space D7-branes are distributed among smooth irreducible representatives of that class in an orientifold-compatible way. Each component sector may therefore contain several orthogonal, unitary, or symplectic parent factors. We show that these configurations cannot supply the chiral Standard Model through their perturbative D7 spectrum. Without symplectic factors, the entire parent algebra of each component sector embeds into $\mathfrak{so}(8)$ and cannot contain commuting color and weak-isospin subalgebras. Disjointness excludes massless fermions connecting different component sectors, so quark-doublet fermions are absent. Configurations containing symplectic factors require a separate argument: massless hypercharge, together with the same disjointness, forces the net quark-doublet chirality to vanish. Both arguments allow admissible D7 gauge backgrounds and diagonal gauge embeddings, with no restriction on $h^{1,1}_{-}(X)$. We then allow repeated O7 classes, whose D7 sectors can have larger parent groups but necessarily have zero net chirality for both Abelian and non-Abelian gauge backgrounds. We also extend the obstruction to mixed allocations with Whitney remainders supporting no continuous gauge group. We give a geometric condition under which the tadpole forces purely local cancellation. For a specified finite set of allowed D7 support classes, a separate test identifies component sectors in which the tadpole forces componentwise cancellation. We discuss applications to toric constructions and axion potentials.

The compiled record

The paper's own sentences, arranged, kept beside the review and separate from it. Each label is drawn from a closed vocabulary; the number beside it is the probability the classifier gave that label. Numbers in the tables are the authors', checked by code. No sentence in this record was written by a model.

Compiled by classifier-1.13.0 via TypeSafe API, question bank abstract-p1-20260923, 2026-10-22: 1 request, 8,886 input tokens.

What the abstract itself states, as probabilities: claims first 0.04 · states limitation 0.78 · human participants 0.01 · controlled comparison 0.04 · randomized assignment 0.01 · states quantitative result 0.29 · compares with prior results 0.41 · mentions code or data availability 0.02.

The abstract, sentence by sentence

arXiv listing abstract v1. Results and the main claim are underlined; show every role.

We study a componentwise prescription for D7-tadpole cancellation that includes, as a special case, the local cancellation used in several moduli-stabilisation constructions. We work in smooth Type IIB Calabi--Yau orientifolds with O7$^{-}$ components of pairwise distinct divisor classes. For each component class $[R_i]$, eight covering-space D7-branes are distributed among smooth irreducible representatives of that class in an orientifold-compatible way. Each component sector may therefore contain several orthogonal, unitary, or symplectic parent factors. We show that these configurations cannot supply the chiral Standard Model through their perturbative D7 spectrum. Without symplectic factors, the entire parent algebra of each component sector embeds into $\mathfrak{so}(8)$ and cannot contain commuting color and weak-isospin subalgebras. Disjointness excludes massless fermions connecting different component sectors, so quark-doublet fermions are absent. Configurations containing symplectic factors require a separate argument: massless hypercharge, together with the same disjointness, forces the net quark-doublet chirality to vanish. Both arguments allow admissible D7 gauge backgrounds and diagonal gauge embeddings, with no restriction on $h^{1,1}_{-}(X)$. We also give a geometric condition under which the tadpole forces purely local cancellation. For a specified finite set of allowed D7 support classes, a separate test identifies component sectors in which the tadpole forces componentwise cancellation. We discuss applications to toric constructions and axion potentials.

background contribution method result interpretation main claim

What the classifier reports for each sentence. The number is the probability it gave the label.
#	sentence	role	the authors' own work	states the main conclusion	strength
s0	We study a componentwise prescription for D7-tadpole cancellation that includes, as a special case, the local cancellation used in several moduli-stabilisation constructions.	contribution 0.90	0.88	0.03	asserted 0.97
s1	We work in smooth Type IIB Calabi--Yau orientifolds with O7$^{-}$ components of pairwise distinct divisor classes.	method 0.56	0.61	0.02	asserted 0.90
s2	For each component class $[R_i]$, eight covering-space D7-branes are distributed among smooth irreducible representatives of that class in an orientifold-compatible way.	method 0.93	0.55	0.02	asserted 0.98
s3	Each component sector may therefore contain several orthogonal, unitary, or symplectic parent factors.	method 0.68	0.48	0.02	hedged possibility 0.95
s4	We show that these configurations cannot supply the chiral Standard Model through their perturbative D7 spectrum.	result 1.00	0.96	0.95	asserted 1.00
s5	Without symplectic factors, the entire parent algebra of each component sector embeds into $\mathfrak{so}(8)$ and cannot contain commuting color and weak-isospin subalgebras.	result 0.93	0.88	0.10	asserted 1.00
s6	Disjointness excludes massless fermions connecting different component sectors, so quark-doublet fermions are absent.	result 0.96	0.87	0.06	asserted 1.00
s7	Configurations containing symplectic factors require a separate argument: massless hypercharge, together with the same disjointness, forces the net quark-doublet chirality to vanish.	result 0.89	0.91	0.13	asserted 1.00
s8	Both arguments allow admissible D7 gauge backgrounds and diagonal gauge embeddings, with no restriction on $h^{1,1}_{-}(X)$.	result 0.62	0.85	0.06	asserted 0.97
s9	We also give a geometric condition under which the tadpole forces purely local cancellation.	contribution 0.65	0.94	0.03	asserted 0.99
s10	For a specified finite set of allowed D7 support classes, a separate test identifies component sectors in which the tadpole forces componentwise cancellation.	method 0.58	0.91	0.02	asserted 0.98
s11	We discuss applications to toric constructions and axion potentials.	contribution 0.48	0.82	0.02	asserted 0.55

What kind of paper the classifier reports this is: theoretical result 1.00 · evidence from proof or derivation 0.99.

What was examined, and what was not

sources read

arXiv listing abstract v1

not examined

full text
figures and tables
references and citing sentences
relations to other papers

levels run

P abstract

not run

S sections
T body sentences
C citations
R cross-paper relations

Every quoted sentence on this record is the authors'. Every label is from Pith's closed vocabulary, with the probability shown beside it. Every number in the measurements table is the authors', checked by code. Record as JSON

References

Discussion

Disagree with the review, or know something it missed? Leave a comment, highlight any passage above to comment on it, or challenge this review formally.