Quantum cluster positivity and cohomological Donaldson-Thomas theory

I will start by introducing Somos sequences, defined by innocent-looking quadratic recursions which, surprisingly, always return integer values. I will then explain how they can be viewed in a much larger context, that of the Laurent phenomenon in the theory of cluster algebras. Some further steps take us to the the quantum cluster positivity conjecture of Berenstein and Zelevinski. I will finally explain how, following Nagao and Efimov, cohomological Donaldson-Thomas theory leads to a proof of this conjecture in some, perhaps all, cases. This is joint work with Davison, Maulik, Schuermann.