AI 中文总结
该研究探讨怀特黑德定理在极小有限模型中的适用性，证明其不成立，构造了反例，给出近极值分类定理，并在特定假设下证明了怀特黑德型正向结果。
AI 中文摘要
我们研究怀特黑德定理在极小有限模型中的适用程度，这对Barmak提出的问题给出否定回答，即该定理在此语境下不成立。更准确地说，对每个$n\boldsymbol{\u003e2}$，我们构造了$S^n\bigvee S^{n-1}\bigvee S^{n-1}$的两个含$2n+4$个点的极小有限模型之间的一个弱同伦等价，但这两个模型并非同伦等价。这些例子的极小性源于一个近极值分类定理：若连通有限空间至多有$2n+3$个点且在域上的第$n$个同调非零，则其序复形同伦等价于$S^n$或$S^n\bigvee S^k$（其中$1\boldsymbol{\u003c k\boldsymbol{\u003c n}$）。最后，我们证明了一个正向的怀特黑德型结果：在自然的上同调刚性假设下，极小有限模型之间的每个弱同伦等价都是同伦等价。
英文摘要
We investigate the extent to which Whitehead's theorem remains valid for minimal finite models. We show that it fails in this setting, answering negatively a question posed by Barmak. More precisely, for every $n\geq 2$, we construct a weak homotopy equivalence between two $(2n+4)$-point minimal finite models of $S^n\vee S^{n-1}\vee S^{n-1}$ which are not homotopy equivalent. The minimality of these examples follows from a near-extremal classification theorem: if a connected finite space has at most $2n+3$ points and nonzero $n$th homology over a field, then its order complex is homotopy equivalent either to $S^n$ or to $S^n\vee S^k$ for some $1\leq k\leq n$. Finally, we prove a positive Whitehead-type result: under a natural cohomological rigidity hypothesis, every weak homotopy equivalence between minimal finite models is a homotopy equivalence.
Comments14 pages, 1 figure. Comments welcome
