[论文解读] Topology of partition of measures by fans and the second obstruction

Pavle V. M. Blagojević|ArXiv.org|Feb 25, 2004

Mathematical Dynamics and Fractals参考文献 12被引用 5

一句话总结

该论文通过使用三叉扇（3-fan）证明了在2-球面上任意两个适当的Borel概率测度存在α-划分，其中α = (a, a+b, b)且2a + 2b = 1。作者通过目标扩展方案应用等变障碍理论，将问题简化为证明上同调中非零障碍类的存在，从而证明了在指定族中所有实数三元组均存在此类划分，通过极限论证将先前的有理数结果推广至更广范围。

ABSTRACT

oindent The simultaneous partition problems are classical problems of the combinatorial geometry which have the natural flavor of the equivariant topology. The $k$-fan partition problems have attracted a lot of attention \cite{Aki2000}, \cite{BaMa2001}, \cite{BaMa2002} and forced some hard concrete combinatorial calculations in the equivariant cohomology \cite% {Bl-Vr-Ziv}. These problems can be reduced, by a beautiful scheme of \cite% {BaMa2001}, to a extquotedblright typical extquotedblright question of the existence of a $\mathbb{D}_{2n}$ equivariant map $f:V_{2}(\mathbb{R}% ^{3}) o W_{n}-\cup \mathcal{A}(α)$, where $V_{2}(\mathbb{R}% ^{3})$ is the space of all orthonormal 2-frames in $\mathbb{R}^{3}$ and $% W_{n}-\cup \mathcal{A}(α)$ is the complement of the appropriate arrangement. We introduce the extit{target extension scheme} which allow us to use the equivariant obstruction theory as a tool for proving that: for every two proper measures on the sphere $S^{2}$, and any $α=(a,a+b,b)\in \mathbb{R}_{>0}^{3}$, there exists an $α$-partition of theses measures by a 3-fan. oindent The significance of these results, among other, is that, beside negative results \cite{Bl-Vr-Ziv}, the equivariant obstruction theory can pull off some positive results, which were not attained by other means.

研究动机与目标

• 将已知关于扇形对测度进行同时划分的结果扩展至更广泛的实值权重向量类。
• 证明对于S²上任意两个适当的Borel概率测度，当α = (a, a+b, b)且2a + 2b = 1时，可通过三叉扇实现α-划分。
• 应用等变障碍理论在组合几何中证明正向结果，克服先前负向障碍结果的局限性。
• 开发并应用目标扩展方案，将必需障碍数从两个减少为一个，从而实现上同调计算。

提出的方法

• 将测度划分问题约化为从V₂(ℝ³)到Wₙ中排列补集的D₂ₙ-等变映射的存在性问题。
• 通过标量扩张将D₂ₙ作用替换为Q₄ₙ作用，简化等变设定。
• 应用目标扩展方案以提高目标空间的连通性，将障碍问题简化为单一上同调障碍。
• 将障碍胞复形识别为c′′ = 2τ₃‖y₁‖，其在余不变同调群中非零，通过庞加莱对偶性与 linking 数证明。
• 采用一般位置映射方法并计算linking数，验证障碍类在H₂(Wₙ \∪A(α); ℤ)ₚ₄ₙ ≅ ℤ₂ ⊕ ℤ₄中非平凡。
• 利用极限论证，将有理三元组(a/n, (a+b)/n, b/n)的结果推广至所有实数α = (a, a+b, b)且2a + 2b = 1，借助解空间的闭性完成推广。

实验结果

研究问题

• RQ1 对于哪些三元组α = (a, a+b, b)满足2a + 2b = 1，存在一个三叉扇将S²上的两个适当测度按指定扇区测度进行划分？
• RQ2 尽管存在先前的负向结果，等变障碍理论是否可用于证明测度划分问题中的正向存在性结果？
• RQ3 目标扩展方案如何简化具有多个障碍的复杂问题中的等变障碍计算？
• RQ4 庞加莱对偶性与linking数在余不变同调中检测障碍类非平凡性方面起什么作用？
• RQ5 通过拓扑闭包论证，测度划分中的有理数结果在多大程度上可推广至完整的实参数空间？

主要发现

• 所有满足2a + 2b = 1的三叉扇划分α = (a, a+b, b)的集合均包含于任意两个S²上适当Borel概率测度的解集S中。
• 障碍胞复形c′′ = 2τ₃‖y₁‖在余不变同调群H₂(Wₙ \∪A(α); ℤ)ₚ₄ₙ ≅ ℤ₂ ⊕ ℤ₄中非零，证明了所需等变映射不存在。
• 上同调障碍类非平凡，经庞加莱对偶性验证：ϑ(‖y₁‖)(l) = ±1，ϑ(‖y₁‖)(k) = ±1，ϑ(‖y₁‖)(h) = 0，其中l, k, h构成Hₙ₋₄(∪A(𝐽,α); ℤ)的一组基的一部分。
• 非零障碍意味着不存在从S³到排列补集的Q₄ₙ-映射，进而意味着不存在从V₂(ℝ³)到排列的D₂ₙ-映射，从而保证了α-划分的存在性。
• 解空间S是闭的，因此有理数结果可推广至所有实数α = (a, a+b, b)且2a + 2b = 1，完整证明了整个连续族的存在性。
• 本论文表明，等变障碍理论可在几何划分问题中产生正向结果，克服了早期方法的局限性。