AI 中文总结
本文证明闭曲面基本群和更一般的 Fuchsian 群的 von Neumann 代数是自由群因子，通过构造自由补元素解决了 de la Harpe-Voiculescu 猜想。
AI 中文摘要
我们证明了闭可定向曲面（亏格 $g\geq2$）基本群的 von Neumann 代数是 $2g-1$ 个生成元的自由群因子。关键技术要素涉及证明自由群 $\mathbb{F}_{2}=\langle A,B\rangle$ 中的元素 $w=ABA^{-1}B^{-1}$ 在群因子中是自由补的：即存在某个 Haar 酉算子 $v\in L(\mathbb{F}_{2})$，使得 $L(\mathbb{F}_{2})=W^{*}(w)*W^{*}(v)$，且 $v$ 与 $w$ 自由独立。结合先前的结果，我们得出结论：对于任意有限生成、无挠、非初等的离散子群 $\Gamma\subset PSL_{2}(\mathbb{R})$，$L(\Gamma)$ 是自由群因子，从而解决了 de la Harpe 和 Voiculescu 的一个猜想。该结果使用 OpenAI 的 ChatGPT Pro 6.0 获得。
英文摘要
We show that von Neumann algebras of fundamental groups of closed orientable surfaces of genus $g\geq2$ are free group factors on $2g-1$generators. The key technical ingredient involves a proof that the element $w=ABA^{-1}B^{-1}$ of the free group $\mathbb{F}_{2}=\langle A,B\rangle$ is freely complemented in the group factor: $L(\mathbb{F}_{2})=W^{*}(w)*W^{*}(v)$ for some Haar unitary $v\in L(\mathbb{F}_{2})$ that is freely independent from $w$. Combined with previous results, we conclude that for an arbitrary finitely generated torsion-free non-elementary discrete subgroup $Γ\subset PSL_{2}(\mathbb{R})$, $L(Γ)$ is a free group factor, settling a conjecture of de la Harpe and Voiculescu. This result was obtained using OpenAI's ChatGPT Pro 6.0.
