Weak generalized topological Hedetniemi conjecture
For a finite group and finite free -spaces (or finite free -simplicial complexes) and , the generalized topological Hedetniemi conjecture asserts that . In particular, its weak index- form asks whether implies that the product has the corresponding controlled index, namely .
References
Primary source
Additional references
Progress summary
A new preprint claims the generalized conjecture fails as strongly as possible for many finite groups, although the claim has not been independently verified.
The conjecture predicts that two finite free spaces whose individual mapping indices are small should have a product with similarly controlled index. Bui and Daneshpajouh established a broad index-one counterexample in 2023, and a newer preprint claims counterexamples at every prescribed index.
Known results
- For neither a cyclic -group nor a generalized quaternion group, Bui and Daneshpajouh constructed finite free -complexes with but (2023).
- For cyclic -groups and generalized quaternion groups of -power order, they proved the corresponding index-one implication.
- They formulated the higher-index statements and and proved .
August 25, 2026 higher-index counterexamples
The preprint On a Weak Form of the Topological Hedetniemi Conjecture claims that the earlier counterexamples extend from index-one factors to factors of every prescribed index , yielding arbitrarily strong failure for groups outside the cyclic prime-power and generalized quaternion cases. This is a claimed resolution of the stated generalized problem, not an independently verified result, and it does not address the original conjecture.
Current status (as of August 2026): The index-one generalized conjecture is known to fail for the specified groups, and a preprint claims failure at every prescribed index ; that higher-index claim remains unverified, while the original problem is separate.
Sources
- export.arxiv.org
- arxiv.org
- arxiv.org
- annals.math.princeton.edu
- mathoverflow.net
- quantamagazine.org
- en.wikipedia.org
- combinatorics.org
- gilkalai.wordpress.com
- blog.assafrinot.com
- arxiv.org
- arxiv.org
- export.arxiv.org
- mathstodon.xyz
- mathstodon.xyz
- mathstodon.xyz
- mathstodon.xyz
- cdn.openai.com
- quantamagazine.org
- quantamagazine.org
- www-cdn.anthropic.com
Solutions 0
No solutions have been posted yet.