[論文レビュー] 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

ひとこと要約

本稿では、2次元球面 S² 上の任意の2つの適切なボレル確率測度に対して、3本の放射線からなる3-ファンを用いて α-分割が存在することを示している。ここで α = (a, a+b, b) であり、2a + 2b = 1 を満たす。同定の同相的障害理論を用い、ターゲット拡張スキームを適用することで、問題をコhomologyにおける非ゼロの障害類の存在に還元し、指定された族に属するすべての実数の三重組に対してそのような分割が存在することを証明した。これは、極限による議論により、従来の有理数に関する結果を拡張したものである。

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² 上の任意の2つの適切なボレル確率測度に対して、α = (a, a+b, b) かつ 2a + 2b = 1 のとき、3-ファンを用いたα-分割が存在することを示すこと。
• 同相的障害理論を応用し、従来の否定的障害結果の制限を克服して、組合せ幾何学的問題において肯定的結果を得ること。
• 2つの本質的障害を1つに削減するターゲット拡張スキームを構築・適用し、コhomological計算を可能にすること。

提案手法

• 測度分割問題を、V₂(ℝ³) から Wₙ 内のアレンジメントの補集合への D₂ₙ-可換写像の存在問題に還元する。
• スカラーの拡張を用いて、D₂ₙ を Q₄ₙ 行動に置き換え、同相的設定を単純化する。
• ターゲット拡張スキームを適用してターゲット空間の連結性を高め、障害問題を1つのコhomology的障害に還元する。
• 障害コサイクルを c′′ = 2τ₃‖y₁‖ と特定し、Poincaré双対性とリンク数を用いて、それがコインvariantホモロジーにおいて非ゼロであることを示す。
• 一般位置にある写像の方法を用い、リンク数を計算することで、H₂(Wₙ \∪A(α); ℤ)ₚ₄ₙ ≅ ℤ₂ ⊕ ℤ₄ 内での障害類が非自明であることを検証する。
• 解空間の閉性を活用して、有理数三重組 (a/n, (a+b)/n, b/n) に関する結果を、2a + 2b = 1 を満たすすべての実数 α = (a, a+b, b) にまで拡張する極限議論を用いる。

実験結果

リサーチクエスチョン

• RQ1 2a + 2b = 1 を満たす三重組 α = (a, a+b, b) に対して、S² 上の2つの適切なボレル確率測度を、所定の領域測度を持つ3-ファンで分割できるのはどのような場合か？
• RQ2 従来の否定的結果があるにもかかわらず、同相的障害理論を用いて測度分割問題において肯定的結果を証明することは可能か？
• RQ3 ターゲット拡張スキームは、複数の障害を持つ問題における同相的障害の計算をどのように簡略化できるか？
• RQ4 Poincaré双対性とリンク数は、コインvariantホモロジーにおける障害類の非自明性を検出するために果たす役割は何か？
• RQ5 測度分割における有理数の結果を、位相的閉包議論を用いて、全実数パラメータ空間へどの程度まで拡張できるか？

主な発見

• 2a + 2b = 1 を満たすすべての3-ファン分割 α = (a, a+b, b) の集合は、S² 上の任意の2つの適切なボレル確率測度に対して、解集合 S に含まれる。
• 障害コサイクル c′′ = 2τ₃‖y₁‖ は、コインvariantホモロジー群 H₂(Wₙ \∪A(α); ℤ)ₚ₄ₙ ≅ ℤ₂ ⊕ ℤ₄ 内で非ゼロであり、必要な同相的写像の非存在を示している。
• コhomology的障害類は非自明であることがPoincaré双対性により確認され、ϑ(‖y₁‖)(l) = ±1、ϑ(‖y₁‖)(k) = ±1、ϑ(‖y₁‖)(h) = 0 が成り立ち、l, k, h は Hₙ₋₄(∪A(𝐽,α); ℤ) の基底の一部を構成する。
• 非ゼロの障害は、S³ からアレンジメントの補集合への Q₄ₙ-写像が存在しないことを示し、これにより D₂ₙ-写像が V₂(ℝ³) からアレンジメントに存在しないことを意味し、結果として α-分割の存在が保証される。
• 解空間 S は閉集合であるため、有理数の結果が、2a + 2b = 1 を満たすすべての実数 α = (a, a+b, b) にまで拡張され、全連続族についての証明が完了する。
• 本稿は、同相的障害理論が幾何的分割問題において肯定的結果をもたらすことができることを示している。これは、従来の手法の制限を克服するものである。