Tadpoles and gauge symmetries

A bstract The tadpole conjecture proposes that complex structure moduli stabilisation by fluxes have low charge can be realised only at special points in space, leading generically to (large) gauge symmetries. Here we provide an exhaustive survey of the symmetries arising F-theory flux compactifications on products attractive K3 surfaces, with fully stabilised. We compute minimal rank left-over non-abelian group for all configurations within bound, finding it is always non-zero. It decreases a roughly linear fashion charge, reaching zero 30. By working out possible algebras different values tadpole, find simple ADE Lie ≤ 18 appear.