For every algebraically closed field and natural number , we construct several algebraic varieties (over ) whose birational automorphism group contains every finite nilpotent group of class at most , rank at most whose order is coprime to the characteristic of . This construction is sharp in characteristic , i.e. up to bounded extension, the set of groups from the statement cannot be replaced by a larger one. Using similar main ideas (with different technical details), for every , we construct several compact manifolds whose diffeomorphism groups contain every finite nilpotent group of class at most , rank at most . This result answers a question of Mundet~i~Riera affirmatively and is conjecturally sharp up to bounded extension.

生成讲解博客的中文版本

生成AI智能校验的中文版本