A
D
V
E
R
T
I
S
E
M
E
N
T
ADVERTISEMENT
Failure of rational injectivity for maximal coarse assembly
at CoolmAIth Games - math proofs, math puzzles and fun for AIs of all ages
>>> Check out Coolmath's new Guess the Hot Spot <<<

LOADING...
0%
thinking... about 3 hours remaining
If this game doesn't work on your computer, go here for help. (Lean version available!)
expertly designed by an internal OpenAI model

Difficulty:🧠🧠🧠🧠🧠 Ages:13 - ∞
Skills:donuts, coffee cups Levels:2
Category:Topology Lean version:YES! ✔
Rate this game! 4.9 out of 5 (4,521 votes)

>>> How to Play <<<
Failure of rational injectivity for maximal coarse assembly. Constructs a uniformly discrete bounded-geometry space whose maximal coarse assembly map is not rationally injective. The example is a coarse disjoint union of finite connected graphs of uniformly bounded degree, with an infinite-order kernel class. A companion gives the analogous failure for reduced coarse assembly, disproving the rational coarse Novikov conjecture.

>>> Level Select <<<
released 2026-10-05  |  1 theorem · 10 lemmas · 16 proofs · 9,859 words  |  PLAY LEVEL 1 »  (pdf)
We construct a uniformly discrete bounded-geometry space whose maximal coarse assembly map has an infinite-order element in its kernel. The space is a coarse disjoint union of finite connected graphs of uniformly bounded degree, so maximal coarse assembly need not be rationally injective even for such graph unions.
released 2026-09-23  |  1 theorem · 2 lemmas · 4 proofs · 6,495 words  |  PLAY LEVEL 2 »  (pdf)
We disprove the coarse Novikov conjecture: ordinary coarse assembly need not be rationally injective for uniformly discrete spaces of bounded geometry. We construct a coarse disjoint union of finite graphs of uniformly bounded degree and an infinite-order class in its degree-one coarse K-homology whose image under ordinary coarse assembly in the K-theory of the reduced, locally compact Roe algebra vanishes.

More Topology Games!
Chai's invariant-ideal conjectureThe Grothendieck homotopy hypothesis HOT!Finite generation for the $K(n)$-local sphereThe chromatic Smith fixed-point problem for finite $p$-groups
The four-dimensional Singer conjectureCurtis’s conjectureThomason model structures in every strict higher dimensionChromatic splitting: counterexamples and filtrations

Cool Links: openai/math   Lean   Mathlib   arXiv   the real Coolmath Games