Baum–Dąbrowski–Hajac conjecture

For every non-empty compact Hausdorff space XX, every non-trivial compact group G\mathbb{G}, and every free continuous action X×G→XX\times\mathbb{G}\to X, there is no continuous G\mathbb{G}-equivariant map X∗G→XX*\mathbb{G}\to X, where X∗GX*\mathbb{G} carries the induced diagonal action.

References

Primary source

arXiv

Additional references

Progress summary

Refreshed
Claimed progress

A new unrefereed paper claims a group-based classification of the compact-abelian cases, but the broader conjecture remains open.

Baum, Dąbrowski, and Hajac introduced two noncommutative Borsuk–Ulam conjectures in 2015; the classical form asks whether a free action of a nontrivial compact group can admit an equivariant map from the join back to the original space.

Known results

  • Baum, Dąbrowski, and Hajac (2015) proved the second conjecture for C(SUq(2))C(SU_q(2)).
  • Dąbrowski, Hajac, and Neshveyev (2016) proved Type 1 for compact quantum groups with a nontrivial torsion character.
  • The same paper established stronger Type 2 obstructions under a nontrivial K1K_1-class condition.
  • A 2018 paper states that Type 1 remains open in full generality and that Type 2 is false in broad commutative cases.

October 2026 compact-abelian classification claim

On October 7, 2026, Alexandru Chirvasitu and Alexander Dąbrowski reported an exact classification of nontrivial compact abelian groups admitting counterexamples to the conjectured obstruction. This is a claimed advance restricted to the compact-abelian setting; the retrieved evidence does not verify that it resolves the full conjecture.

Current status (as of October 2026): The original Type 1 conjecture remains open in full generality; a compact-abelian classification is claimed but unverified.

Sources

Solutions 0

No solutions have been posted yet.