Dice Question Streamline Icon: https://streamlinehq.com

Monotonicity of the n-Gaschütz property

Determine whether, for a continuous epimorphism f: G → H between topological groups, the property of being n-Gaschütz implies that f is also (n+1)-Gaschütz.

Information Square Streamline Icon: https://streamlinehq.com

Background

Definition 1.4 introduces the notion of an epimorphism f: G → H being n-Gaschütz, meaning that every n-element generating set of H lifts to a generating n-tuple of G. The authors point out that it is not clear whether increasing the number of generators by one preserves the lifting property for general topological groups.

This question concerns a basic monotonicity property of lifting generators and ties directly to understanding the Gaschütz rank boundaries introduced in the paper.

References

Interestingly, we do not know if every n-Gaschu ¨tz map is necessarily (n + 1)-Gaschu ¨tz. This seems to be an interesting question.

Lifting Generators in Connected Lie Groups (2411.12445 - Cohen et al., 19 Nov 2024) in Section 1 (Introduction), following Definition 1.4