AI 中文总结
本文证明所有奥尔桑斯基满同态均为标准的，构造性处理了Q₈情形，给出哈拉兰波娃等人所宣布结果的详细证明，未使用佩雷尔曼定理等。
AI 中文摘要
1989年，奥尔桑斯基引入了一个三参数族的坐标满射同态，从亏格为2的曲面群映射到两个秩为2的自由群的直积。当两个坐标像的公共商是阶为n的有限群时，限制到对应的正则覆叠会得到一个满同态π₁(S_{n+1})→F_{n+1}×F_{n+1}，我们将这些映射称为奥尔桑斯基满同态。它们构成了分裂满同态标准性问题的一个显式高亏格测试族。我们证明所有奥尔桑斯基满同态都是标准的。该亏格为2的同态确定了一个在S²上的塞弗特纤维化3-流形的海格德分裂，其具有至多3个例外纤维。在有限商情形下，经典塞弗特理论表明其万有覆叠是S³；随后沃尔德豪森定理意味着提升后的亏格为(n+1)的海格德分裂是标准的。该证明未使用佩雷尔曼定理或一般庞加莱定理。我们还对四元数情形Q(2,2,2)≅Q₈进行了构造性处理，其覆叠曲面的亏格为9。四元数施赖埃尔图中的一个极大树给出了覆叠 handlebody 以及显式施赖埃尔基。利用几何经纬度对和支撑在9个单孔环面上的显式曲面自同构，我们将提升后的子午线词转换为自由基。一个独立的固定秩安德鲁斯-柯蒂斯归约了相关的平衡展示。本文提供了哈拉兰波娃和夫多维娜之前论文中宣布结果的详细证明。
英文摘要
In 1989 Olshanskii introduced a three-parameter family of coordinate-surjective homomorphisms from the genus-two surface group to a direct product of two rank-two free groups. When the common quotient of the two coordinate images is finite of order $n$, restriction to the corresponding regular cover produces an epimorphism \[ π_1(S_{n+1})\longrightarrow F_{n+1}\times F_{n+1}. \] We call these maps \emph{Olshanskii epimorphisms}. They form an explicit high-genus test family for the standardness problem for splitting epimorphisms. We prove that every Olshanskii epimorphism is standard. The genus-two homomorphism determines a Heegaard splitting of a Seifert fibered $3$-manifold over $S^2$ with at most three exceptional fibers. In the finite-quotient cases, classical Seifert theory shows that its universal cover is $S^3$; Waldhausen's theorem then implies that the lifted genus-$(n+1)$ Heegaard splitting is standard. The proof uses neither Perelman's theorem nor the general Poincaré theorem. We also give a constructive treatment of the quaternion case $Q(2,2,2)\cong Q_8$, whose covering surface has genus nine. A maximal tree in the quaternion Schreier graph yields the covering handlebody and explicit Schreier bases. Using geometric longitude--meridian pairs and explicit surface automorphisms supported on the nine one-holed tori, we transform the lifted meridian words into a free basis. A separate fixed-rank Andrews--Curtis certificate reduces the associated balanced presentation. This paper supplies the detailed proof of the result announced in the previous Kharlampovich, Vdovina paper.
