在理论领域不能随便假设

关于紧致流形微分形式线性空间分解的"Hodge分解定理"， F.Warner的书GTM94给出据我所知详细证明，但还是存在一些实质错误。首先必须证明微分形式空间是Hilbert空间，对此就无法证明。

在N.Koblitz的书GTM58中，费了很大劲要在p-adic数Q/p的代数闭包上建立推广的度量空间，但还是无法验证范数的三角不等式，追究其错误，他对范数给出两个定义，一个用来满足积性（multiplicative），另一个用来证明简化形式的三角不等式，但两个定义无法证明一样。这将导致算术代数几何的全面崩盘（包括费马大定理的Wiles证明）。

这跟陈景润和王天泽当年论文中的错误类似，当年陆洪文教授以为论文中去掉了Siegel零点，为此长途电话给北大潘承彪（《数学学报》编委），因论文是我审稿，后又仔细看后发现是一个参数在两个地方不一致导致的。