1: \begin{abstract}

2: We construct the universal central extension of the Lie algebra of exact divergence-free vector fields, proving a conjecture by Claude Roger from 1995. The proof relies on the analysis of a Leibniz algebra that underlies these vector fields. 

3: As an application, we construct the universal central extension of the (infinite-dimensional) Lie group of exact divergence-free diffeomorphisms of a compact 3-dimensional manifold.

4: \end{abstract}

5: