弱特别猜想与轨道 Mordell 矛盾，从而与 abc 猜想矛盾

从考察在 $\mathbb{Q}(t)$ 上的 Enriques 表面（由 Lafon 首次提出）出发，我们给出首批光滑射影弱特别三维手测面积的例子，这些手测面积在 Enriques 表面（或 K3 表面）上纤维化，且纤维在 nowhere reduced 但不可整除，且基底为一般类型轨道。我们验证了这些 Enriques 表面（或 K3 表面）的家族是非等同的，并通过研究 certain \'etale 覆盖 中局部点行为来计算其基本群。上述手测面积的存在表明，2000 年提出的弱特别猜想与轨道 Mordell 猜想矛盾，从而与 abc 猜想矛盾。利用这些例子，我们还能轻易地否定若干复杂分析类弱特别猜想的类比。最后，存在此类手测面积表明 Enriques 表面和 K3 表面可以具有不可整除但不可约化的退化，从而解答了 2005 年提出的问题。