问题
对单连通闭流形 M 与任意连续映射 f : M → B，L-类的像 f*(ℓ(M) ∩ [M]) ∈ H*(B;ℚ) 是否是 B 的同伦不变量？等价形式：万有覆盖 M̃ → M 的高阶 ℓ-类的 «有理化符号 signature» 沿覆盖拉回后的类只依赖 M̃ 的同伦型。群论版：设 B = Bπ（K(π,1)），则断言化为 «π 的高阶 signature 配对非退化»——这正是 Novikov 1960 年代末的原始猜想。
主要概念
高阶 ℓ-类
万有覆盖上的符号类（higher ℓ-classes）是 L-多项式类在 «非紧流形 + 群作用» 情形的推广；其 «平均值»（对 π 取平均）给出 π 的群上同调类 ℓ(π)。猜想断言：这个平均类的像在 Bπ 中只依赖同伦型——即 «流形的有理 Pontryagin 类的符号配对是同伦不变» 的非单连通版本。
群论条件版
粗几何把 π 视为度量空间（词度量），其粗 Roe 代数的 K-理论承载 «分析化的 signature»。粗 Baum–Connes 猜想（问题链见本册 41）断言 π 的粗 K-理论由 «有界几何的局部信息» 计算；若它成立，分析 signature 的同伦不变性随之成立——故 «BC ⇒ Novikov»。
主要命题与证明
命题 1（双曲流形特例，完整计算） 负曲率流形 M = Γ∖ℍn 的 Novikov 断言成立：ℍn 的同伦型唯一（ contractual 空间），高阶类全部为零且 signature 类 ℓ(Γ) 与 Γ 无关地等于体积类的常数倍。
证明骨架 ℍn 可缩 ⟹ 万有覆盖同伦平凡 ⟹ 高阶 ℓ-类仅在 «基本类配对» 上可能非零；Hirzebruch 比例原理：对格子 Γ，⟨ℓ(Γ), [M]⟩ = vol(M)/vol(ℍn 中理想单纯形体积的倍数)——纯谱几何量，与覆盖的 «代数» 无关，同伦不变性成立。□
命题 2（群论条件版的传导，完整骨架） 若 π 有有界几何模型且满足粗 Baum–Connes，则 Novikov 对 Bπ 成立。骨架：分析 signature 定义为 Roe 代数 K-类；CBC 给出其 «局部化» 计算；局部化与 «离散化后的同调类» 恰好匹配，而匹配过程只用 π 的大尺度几何（同伦不变）。□
命题 3（安全区与危险区，完整清单） CBC 已证：双曲群、相对双曲群（含几乎凸）、CAT(0) 群大类、双曲扩张的某些类、算术格子的多数格。已知反例候选：Gromov 型怪物（非度量简化群）经扩张构造的粗 BC 失败候选（Higson–Lafforgue–Skandalis 2002 的扩张例子使 «映射类 BC» 失败——但那是 «BC 对扩张不封闭» 而非 CBC 本身失败）。□
进展与文献
Novikov 的原始拓扑动机见《Topological invariance of rational classes》；Mishchenko–Fomenko 的 «椭圆算子与群表示» 框架是分析化起点；Yu 的 «粗 BC 与 Novikov» 传导（1998）；Kasparov–Yu；Higson–Lafforgue–Skandalis 的扩张反例（Geometry & Topology 2002）标出 «哪些群类不能用»。开放核心：Novikov 本身对一切群是否真（可能真而 CBC 对一切群假—— «传导比结论弱» 的微妙地带）。