Existence of connected NP1-digital H-spaces not H-equivalent to topological groups
Ascertain whether there exists a connected NP1-digital H-space that is not H-equivalent (via continuous pointed maps that are homotopy inverses and compatible with multiplication up to homotopy) to any NP1-digital topological group.
References
In the NP_1 category, we do not know if such examples can exist: Is there any connected NP_1-digital H-space which is not H-equivalent to an NP_1-digital topological group?
                — On digital H-spaces
                
                (2408.10087 - Johnson et al., 19 Aug 2024) in Section 7 (Examples, and classification of NP2-digital H-spaces)