罗盘 / 光滑四维庞加莱猜想
暗星档案 · 未点亮的星光滑四维庞加莱猜想
本条为初评草案（AI 辅助编目）：T 阶为三问初评（撬动面 × 停滞度 × 临界性），双评过 σ 门并红蓝复核后才升"已建档"。查不到的字段留空不编。点亮者会进入亮星候选流程，其贡献与星阶按 HCF 独立重评，不从暗星自动继承。
光滑四维庞加莱猜想 量级 · 潜能待评
三维已被佩雷尔曼攻克，四维的光滑版本仍是拓扑学最后堡垒
所属星云究极真理·数学的圣杯理解万物
暗星编号DS-0440
轴R · 风险与文明安全
领域fundamental-science
状态初评草案 · 待双评与红蓝复核
这是什么 · 为什么难
断言任何同伦等价于四维球面的光滑闭四维流形一定微分同胚于标准四维球面。Freedman已证明拓扑意义上成立（同胚），但「光滑同胚」意义下是广义庞加莱猜想中唯一还悬而未决的维数。攻克将补全人类对四维流形分类的最后一块拼图，四维是唯一无法用传统拓扑手术方法处理的维度。
卡在哪 · 机制级卡点
四维流形处理手段极为匮乏：低于四维可用几何化（如佩雷尔曼的Ricci流），高于四维可用Whitney技巧做手术，唯独四维两种工具都失效，Cappell-Shaneson构造的同伦四维球面是目前最受关注的潜在反例但至今未被判定。
谁在攻
芝加哥大学 Danny Calegari、加州理工 Selman Akbulut 等低维拓扑学者持续研究Cappell-Shaneson球面是否为反例；加州大学戴维斯分校规范场理论方向学者用规范理论方法探索
怎么参与
先学好微分拓扑与四维流形规范理论(Donaldson理论)，跟读Calegari关于四维庞加莱猜想的公开讲义