1: \begin{abstract}

2: For every algebraically closed field and natural number $r$, we construct an algebraic variety (over the field) whose birational automorphism group contains every finite nilpotent group of class at most $2$ whose rank is at most $r$ and whose order is coprime to the characteristic of the field. 

3: This construction is sharp in characteristic $0$, i.e. up to bounded extension, the set of groups from the statement cannot be replaced by a larger one.

4: 

5: Using similar main steps, for every $r$, we construct several compact manifolds whose diffeomorphism groups contain every finite nilpotent group of class at most $2$ whose rank is at most $r$. 

6: This result answers a question of \citeauthor{Mundet2023Survey} affirmatively and is conjecturally sharp up to bounded extension. 

7: \end{abstract}