The coarse Novikov conjecture asserts rational injectivity of reduced coarse assembly for uniformly discrete metric spaces
of bounded geometry. Writing 
for the Rips complex,
its domain is
 |
where 
is locally finite analytic K-homology and 
is taken modulo 2. The reduced map
is
 |
with 
the locally compact reduced Roe algebra. Rational
injectivity means that tensoring the map with 
gives an injective map.
Surjectivity is a separate assertion.
