Taking quotient by a unipotent group induces a homotopy equivalence

arXiv2105.04441MaRDI QIDQ6367283FDOQ6367283

Mikhail Borovoi, Andrei A. Gornitskii

Publication date: 10 May 2021

Abstract: Let U be a unipotent group over the field of complex numbers C, acting on a complex algebraic variety X. Assume that there exists a surjective morphism of complex algebraic varieties f: X --> Y whose fibres are orbits of U. We show that if X and Y are smooth and all orbits of U in X have the same dimension, then the induced map on C-points X(C) --> Y(C) is a homotopy equivalence. Moreover, if U, X, Y, and f are defined over the field of real numbers R, then the induced map on R-points X(R) --> Y(R) is surjective and induces homotopy equivalences on connected components.

Mathematics Subject Classification ID

Homotopy theory and fundamental groups in algebraic geometry (14F35) Group actions on varieties or schemes (quotients) (14L30) Topology of real algebraic varieties (14P25) Galois cohomology of linear algebraic groups (11E72)

This page was built for publication: Taking quotient by a unipotent group induces a homotopy equivalence

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6367283)