  We analyze the structure of gaugino interactions on D7-branes from a 10d
perspective. This is essential if one wants to lift the standard 4d approach to
type IIB moduli stabilization to 10d. In particular, a 10d picture has recently
been used to raise concerns about the KKLT proposal for constructing de Sitter
vacua, and to lend support to swampland conjectures against de Sitter. However,
the analyses of brane gaugino condensation so far are plagued by UV divergences
and do not include local 4-fermion terms. They also fail to reproduce the
4-fermion terms required by supergravity when compactified to four dimensions.
Motivated by the structure of heterotic and Horava-Witten theories, we suggest
an extension of the brane action by a particular 4-fermion operator that
resolves the above problems. Crucially, the UV divergence is cancelled and the
expected structure of the 4d effective action is reproduced. We believe that
attempts at a 10d description of KKLT have to be reconsidered in this new
light.

High Energy Physics - Theory;Cosmology and Nongalactic Astrophysics;High Energy Physics - Phenomenology