Controlled localized anti-D3 uplift to a full type-IIB de Sitter solution

Use units $c=\mathrm{\hslash }=1$. A Calabi–Yau threefold here is a smooth, compact complex manifold $X$ of complex dimension three with a Kähler metric and trivial canonical bundle. The Type-IIB compactification data include a specified involution of $X$ combined with world-sheet parity, its fixed-plane and brane sources, and the resulting flux lattice. Quantized three-form flux means that the periods of $F_3$ and $H_3$ lie in the lattice allowed by those data. Tadpole cancellation means that the integrated Bianchi identity for the self-dual five-form is satisfied after including flux-induced charge and all localized and curvature D3-charge contributions.

A localized anti-D3-brane is a source supported at a specified internal position, with positive tension and D3-charge opposite to that of a D3-brane. Let the ten-dimensional spacetime have product topology $M_4\times X$, with coordinates $x^{\mu }$ on $M_4$ and $y^m$ on $X$. Use ten-dimensional Einstein-frame metric $g_{MN}^{(10,E)}=e^{-\mathrm{\Phi }\mathrm{/}2}{g}_{MN}^{(10,s)}$, where $g^{(10,s)}$ is the string-frame metric and $\mathrm{\Phi }$ is the dilaton. Away from localized sources, use the warped ansatz

$d{s}_{10,E}^2=e^{2A(y)}{g}_{\mu \nu }^{(4,E)}(x)d{x}^{\mu }d{x}^{\nu }+e^{-2A(y)}{\tilde{g}}_{mn}(y)d{y}^{m}d{y}^n,$

where $\tilde{g}$ is a Riemannian reference metric on $X$, $A:X\to \mathbb{R}$ is the dimensionless warp function, and $g^{(4,E)}$ is normalized to the four-dimensional Einstein frame. Write $h(y)=e^{-4A(y)}$. For this question, a warped throat is a connected internal region $U_{\mathrm{t}\mathrm{h}}\subset X$ with compact closure, a tip $y_{\mathrm{t}\mathrm{i}\mathrm{p}}\in {\bar{U}}_{\mathrm{t}\mathrm{h}}$ at which $A$ attains its minimum, and a fixed bulk reference region $B\subset X$ of positive $\tilde{g}$-volume, for which the stated redshift

$w=\exp \text{\hspace{0.17em}⁣}(A(y_{\mathrm{t}\mathrm{i}\mathrm{p}})-A_B)\ll 1,A_B=\frac{1}{{\mathrm{Vol}}_{\tilde{g}}(B)}{\int }_{B}Ad{\mathrm{vol}}_{\tilde{g}},$

is small. A local proper energy at $y$ is redshifted relative to the bulk four-dimensional Einstein-frame observer by $\exp (A(y)-A_B)$. The metric, warp function and other supergravity fields are required to be regular only away from localized sources; an idealized delta-function source requires distributional field equations and matching data, or else a resolved source core, rather than an assumption of smoothness through the source.

For the four-dimensional Einstein-frame description, use signature $(-,+,+,+)$ and the curvature convention for which de Sitter space has $R_{\mu \nu }=3H^2{g}_{\mu \nu }$. Let ${\mathcal{M}}_{\mathrm{r}\mathrm{e}\mathrm{t}}$ be the smooth real $n$-dimensional field manifold of retained scalar degrees of freedom, with local dimensionless coordinates ${\varphi }^A$, $A=1,\dots ,n$. A classical scalar configuration is a $C^2$ map $\varphi :M_4\to {\mathcal{M}}_{\mathrm{r}\mathrm{e}\mathrm{t}}$. The field-space metric $G_{AB}$ is a $C^2$ positive-definite metric on the stated retained-field regime, and the Einstein-frame potential $V_E:{\mathcal{M}}_{\mathrm{r}\mathrm{e}\mathrm{t}}\to \mathbb{R}$ is $C^2$. With $M_P$ the reduced four-dimensional Planck mass, $G_{AB}$ has mass dimension two and $V_E$ mass dimension four. The two-derivative scalar action is

$S_4=\int d^{4}x\sqrt{-g}[\frac{M_P^2}{2}{R}_4-\frac{1}{2}{G}_{AB}(\varphi ){\mathrm{\partial }}_{\mu }{\varphi }^A{\mathrm{\partial }}^{\mu }{\varphi }^B-V_E(\varphi )],$

At a stationary point with constant ${\varphi }^A$ and $V_E>0$, the Einstein equations give $R_{\mu \nu }=3H^2{g}_{\mu \nu }$ and $3M_P^2{H}^2=V_E$. The retained mass-squared eigenvalues are those of $G^{AC}{\mathrm{\nabla }}_C{\mathrm{\nabla }}_B{V}_E$ at the stationary point, with $\mathrm{\nabla }$ the Levi-Civita connection of $G$. All retained scalar directions are stabilized at quadratic order when these eigenvalues are positive. Metastability additionally requires that all physically allowed decay channels be enumerated or bounded as absent, and that a semiclassical decay-rate or lifetime estimate be supplied for each allowed channel, with its bounce and prefactor assumptions stated; no universal lifetime threshold is imposed here.

The omitted-mode comparison requires the following spectral data at the proposed solution. After imposing the linearized constraints and quotienting gauge directions, specify a positive Hilbert space $\mathcal{H}$ of physical internal fluctuation profiles, its kinetic inner product, and a densely defined self-adjoint mass-squared operator $\mathsf{K}:D(\mathsf{K})\subset \mathcal{H}\to \mathcal{H}$. These data must come from the quadratic fluctuation theory in the same four-dimensional Einstein-frame units as $S_4$. A mass here is the mass parameter in the canonically normalized covariant four-dimensional free-field equation; specify each spin sector and its curvature-coupling convention. No global time-translation generator on de Sitter space is assumed. In a generalized internal eigenproblem $\mathsf{L}u=\lambda \mathsf{W}u$, give the actual operators, positive kinetic weight $\mathsf{W}$, Hilbert completion, operator domain, orientifold projections, and source-core boundary or matching conditions determining the self-adjoint realization. Here $\lambda$ has mass dimension two. Kaluza–Klein modes are the internal-profile modes of ten-dimensional fields; throat modes belong to this same problem and are concentrated in $U_{\mathrm{t}\mathrm{h}}$, rather than forming an independent duplicate spectrum. Include physical brane fluctuations and string oscillator sectors beyond supergravity, with their quadratic spectral description or justified lower spectral bounds and error estimates.

Specify a finite-rank orthogonal projection $P_{\mathrm{r}\mathrm{e}\mathrm{t}}:\mathcal{H}\to \mathcal{H}$, meaning a bounded operator with $P_{\mathrm{r}\mathrm{e}\mathrm{t}}^2=P_{\mathrm{r}\mathrm{e}\mathrm{t}}=P_{\mathrm{r}\mathrm{e}\mathrm{t}}^{\ast }$, satisfying $P_{\mathrm{r}\mathrm{e}\mathrm{t}}D(\mathsf{K})\subset D(\mathsf{K})$ and $\mathsf{K}{P}_{\mathrm{r}\mathrm{e}\mathrm{t}}u=P_{\mathrm{r}\mathrm{e}\mathrm{t}}\mathsf{K}u$ for every $u\in D(\mathsf{K})$. Its range must be exactly the retained fluctuation sector, including any retained gravity, vector and fermion modes as well as the scalars in ${\mathcal{M}}_{\mathrm{r}\mathrm{e}\mathrm{t}}$; its scalar restriction must reproduce the retained Hessian masses. The retained masses $m_j$ are the nonnegative square roots of the eigenvalues of this finite-dimensional restriction, which must therefore be nonnegative. Set ${\mathcal{H}}_{\mathrm{o}\mathrm{m}}=(I-P_{\mathrm{r}\mathrm{e}\mathrm{t}})\mathcal{H}\mathrm{\ne }\{0\}$ and ${\mathsf{K}}_{\mathrm{o}\mathrm{m}}=\mathsf{K}{\mathrm{\mid }}_{{\mathcal{H}}_{\mathrm{o}\mathrm{m}}}$, with domain $D(\mathsf{K})\cap {\mathcal{H}}_{\mathrm{o}\mathrm{m}}$. Define $\sigma ({\mathsf{K}}_{\mathrm{o}\mathrm{m}})$ to be the set of real $\lambda$ for which ${\mathsf{K}}_{\mathrm{o}\mathrm{m}}-\lambda I$ has no everywhere-defined bounded inverse, and set

${\lambda }_{\mathrm{o}\mathrm{m}}=\inf \sigma ({\mathsf{K}}_{\mathrm{o}\mathrm{m}}),m_{\mathrm{o}\mathrm{m}}=\sqrt{{\lambda }_{\mathrm{o}\mathrm{m}}}\text{when }{\lambda }_{\mathrm{o}\mathrm{m}}>0.$

A claimed omitted-mode gap must establish ${\lambda }_{\mathrm{o}\mathrm{m}}>0$ and $m_j<m_{\mathrm{o}\mathrm{m}}$ for every retained mass $m_j$ in the specified truncation. A negative or zero spectral bottom fails this requirement; continuous spectrum is included and the infimum need not be attained. An unidentified sector or uncontrolled spectral error leaves the comparison unestablished. Constructing these model-derived data and bounding mixing and approximation errors are part of the requested solution, rather than assumptions that the named excitation classes already determine a spectrum.

For this question, “quantitatively controlled” requires more than a named small parameter. Write the four-dimensional potential as a retained contribution plus specified omitted corrections, $V_E=V_{\mathrm{k}\mathrm{e}\mathrm{p}\mathrm{t}}+{\sum }_r\delta V_r$. On a stated compact field-space neighborhood $N$ of the proposed critical point, choose a reference energy $V_{\mathrm{r}\mathrm{e}\mathrm{f}}>0$ and a radius $L>0$ in the dimensionless metric $\widehat{G}=G\mathrm{/}{M}_P^2$. With $v_r=\delta V_r\mathrm{/}{M}_P^4$ and $v_{\mathrm{r}\mathrm{e}\mathrm{f}}=V_{\mathrm{r}\mathrm{e}\mathrm{f}}\mathrm{/}{M}_P^4$, require explicit bounds

${\sum }_r{\sup }_{\varphi \in N}(\mathrm{\mid }{v}_r\mathrm{\mid }+L\mathrm{\parallel }d{v}_r{\mathrm{\parallel }}_{{\widehat{G}}^{-1}}+L^2\mathrm{\parallel }{\widehat{\mathrm{\nabla }}}^2{v}_r{\mathrm{\parallel }}_{\widehat{G}})\le ϵv_{\mathrm{r}\mathrm{e}\mathrm{f}},$

where $\widehat{\mathrm{\nabla }}$ is the Levi-Civita connection of $\widehat{G}$, $ϵ$ is stated, and the tensor norms are induced by $\widehat{G}$. The analysis must also bound the resulting displacement of the critical point and changes in its energy and mass eigenvalues, and show that these bounds leave positive energy, positive retained masses, and the claimed mass gap. Separately state the bounds on the relevant local expansion parameters, including ${\alpha }^{\mathrm{\prime }}\mathrm{\parallel }{\mathrm{R}\mathrm{m}}_s\mathrm{\parallel }$ and $e^{\mathrm{\Phi }}$, and on the warp-induced corrections in the source-free region. Localized backreaction means the changes $\delta g=g_{\mathrm{f}\mathrm{u}\mathrm{l}\mathrm{l}}-g_{\mathrm{b}\mathrm{g}}$, $\delta \mathrm{\Phi }={\mathrm{\Phi }}_{\mathrm{f}\mathrm{u}\mathrm{l}\mathrm{l}}-{\mathrm{\Phi }}_{\mathrm{b}\mathrm{g}}$ and $\delta F=F_{\mathrm{f}\mathrm{u}\mathrm{l}\mathrm{l}}-F_{\mathrm{b}\mathrm{g}}$ in the metric, dilaton and flux relative to the specified background. On a stated source-excised region, bound quantities such as $\mathrm{\parallel }\delta g{\mathrm{\parallel }}_{g_{\mathrm{b}\mathrm{g}}}$, $\mathrm{\mid }\delta \mathrm{\Phi }\mathrm{\mid }$, ${\alpha }^{\mathrm{\prime }}\mathrm{\parallel }{\mathrm{R}\mathrm{m}}_s(g_{\mathrm{f}\mathrm{u}\mathrm{l}\mathrm{l}})-{\mathrm{R}\mathrm{m}}_s(g_{\mathrm{b}\mathrm{g}}){\mathrm{\parallel }}_{g_{\mathrm{b}\mathrm{g}}}$, and $\mathrm{\parallel }\delta F\mathrm{\parallel }\mathrm{/}{F}_{\mathrm{r}\mathrm{e}\mathrm{f}}$ using stated nonzero reference scales for each flux component; give core-resolution or matching conditions at the excised source. No universal numerical tolerance is built into this open problem: the proposed model must supply the bounds and demonstrate that they are below its stability and omitted-mode margins.

For at least one explicit type-IIB Calabi–Yau orientifold with its specified involution, allowed quantized flux, tadpole cancellation, and localized anti-D3 state, determine whether the full ten-dimensional equations and their four-dimensional Einstein-frame reduction admit a metastable positive-energy solution satisfying the definitions and control bounds above, with every retained mass below the lightest omitted mode. This is the target of the question, not an assertion that such a solution exists. A local minimum of a truncated four-dimensional potential alone does not answer it.

Hebecker, Naturalness, String Landscape and Multiverse, §§6.4–6.5 and §8.5

McAllister and Quevedo, Moduli Stabilization in String Theory, §§4.1–4.3

McAllister et al., Candidate de Sitter Vacua, §§6–7

Junghans, Control Problem of de Sitter Vacua with T-brane Uplift, §§1, 3, 6–8

Hebecker et al., Effective potentials, warping, and implications for F-term uplifting, §§5.4–5.5

Status checked on 2026-10-26. On the bounded search recorded for this batch, the retrieved literature does not establish a fully controlled ten-dimensional solution for any explicit localized anti-D3 model, and it does not prove a universal no-go. Candidate de Sitter Vacua constructs explicit positive-energy minima only in its leading-order four-dimensional effective theories and explicitly leaves subleading corrections and complete flux-quantization control unresolved.

The 2026 T-brane analysis finds control problems in its studied models, while the 2026 warped F-term analysis concerns a different uplift mechanism. These results are relevant warnings about model-specific control, but neither resolves the anti-D3 existence question stated here. A local effective-theory extremum and a fully localized string solution remain distinct claims.