Brane gaugino condensate in 10d

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.