[論文レビュー] Extensions of theorems of Rattray and Makeev

Pavle V. M. Blagojević, Роман Карасев|arXiv (Cornell University)|Nov 3, 2010

Finite Group Theory Research参考文献 10被引用数 4

ひとこと要約

この論文は、RattrayおよびMakeevの定理（測度の直交分割および対称関数に関するもの）を、$ℝ^n$ 内の正規直交$k$-フレームの状況に拡張し、複数の奇関数および対称関数が互いに直交する単位ベクトルの組で同時に消失することを証明している。主な貢献は、Fadell–Husseini指数の計算を用いた位相的障害理論であり、正確な次元的・対称的制約のもとでこのような分割の存在を確立している。応用としては、実射影空間の埋め込み問題および測度の等分割問題が含まれる。

ABSTRACT

We consider extensions of the Rattray theorem and two Makeev's theorems, showing that they hold for several maps, measures, or functions simultaneously, when we consider orthonormal $k$-frames in $\R^n$ instead of orthonormal basis (full frames). We also present new results on simultaneous partition of several measures into parts by $k$ mutually orthogonal hyperplanes. In the case $k=2$ we relate the Rattray and Makeev type results with the well known embedding problem for projective spaces.

研究の動機と目的

• 奇対称関数が正規直交基底で消失することを示したRattrayの定理を、正規直交$k$-フレームへ一般化すること。
• $n$個の直交超平面による測度の等分割を示したMakeevの定理を、$k$個の互いに直交する超平面が複数の測度を同時に等分割する場合に拡張すること。
• 等変位相論を用いて、複数の対称的および奇関数がペアワイズに消失するような$k$-フレームの存在に必要な条件を確立すること。
• このような分割の存在を、実射影空間の埋め込み問題と位相的障害を通じて関連付けること。

提案手法

• $Ȓ_2$-コホモロジーにおけるFadell–Husseini指数理論を用いて、配置空間間の$W_k$-等変写像の非存在を検出すること。
• 一般化されたRattrayおよびMakeev問題を、Stiefel多様体$V_n^k$または積空間から対称的および奇関数に関連する球面への等変写像の存在問題に還元すること。
• 全スティッフ・サポートを持つ測度を等分割する超平面の対の配置空間とStiefel多様体$V_n^2$との間で$D_8$-等変ホメオモーフィズムを構成し、射影空間の配置に還元可能にする。
• $ℝ P^{n-1} \times \u211d P^{n-1} \setminus \Delta$における「削除された平方」障害を適用し、テスト写像のゼロを強制することで、複数関数の同時消失を保証すること。
• コンパクト性および近似論的議論を用いて、全スティッフ・サポートを持つ測度から任意の絶対連続測度への結果の拡張を達成すること。
• 群作用および軌道空間の簡約（例：$V_n^k / (\mathbb{Z}_2)^k$）を用いて、等変位相を簡略化し、解の存在に必要な条件を導出すること。

実験結果

リサーチクエスチョン

• RQ1 どの三つ組$(n, m, k)$に対して、$S^{n-1} \times S^{n-1}$上の$m$個の奇関数および対称関数が、ある正規直交$k$-フレームのベクトル上でペアワイズに消失するか？
• RQ2 $\mathbb{R}^n$ 内の$m+1$個の絶対連続確率測度が、$k < n$ の場合に$k$個の互いに直交する超平面によって同時に等分割可能か？
• RQ3 複数の対称的および奇関数が同時に消失する条件を満たす$k$-フレームの存在を妨げる位相的障害は何か？
• RQ4 $Ȓ_2$-コホモロジーにおけるFadell–Husseini指数の計算が、この一般化された設定における等変写像の存在または非存在をどのように検出するか？
• RQ5 一般化されたRattrayおよびMakeevの定理は、実射影空間の埋め込み問題とどの程度関連しているか？

主な発見

• $m$個の奇関数および対称関数が、ある正規直交$k$-フレーム上でペアワイズに消失する三つ組$(n, m, k)$の集合$\mathcal{R}_{\text{odd,sym}}^{\text{orth}}$は、Fadell–Husseini指数障害によって特徴づけられる。
• $k=2$の場合、Fadell–Husseini指数条件$\frac{1}{t_1 t_2} (t_1 + t_2)^m \notin \langle \bar{w}_{n-1}, \bar{w}_n \rangle$が成り立つならば、$m+1$個の測度を同時に等分割する直交する超平面のペアが存在することが保証される。
• 全スティッフ・サポートを持つ測度を等分割する超平面の対の配置空間は、$D_8$-等変ホメオモーフィズムによってStiefel多様体$V_n^2$と同相であり、射影空間の配置に還元可能である。
• $(S^n)^k$から$S(S_{1l}^{igoplus m})$への$W_k$-等変写像の存在は、$\prod_{s_1+\cdots+s_k \geq 1} (s_1 t_1 + \cdots + s_k t_k)^m \notin \langle t_1^{n+1}, \dots, t_k^{n+1} \rangle$である場合に障害を受けるため、これは同時消失のための必要条件を提供する。
• $m+1$個の測度と$k=2$個の超平面に対する一般化されたMakeev型の結果は、$ℝ P^{n-1} \times \u211d P^{n-1} \setminus \Delta$における削除された平方障害がテスト写像のゼロを強制する場合に成立する。
• 本論文は、特定のコホモロジー類の消失を通じて、このような$k$-フレームの存在と$\mathbb{R}P^n$ が $\mathbb{R}^{2n}$ に埋め込まれるという問題との間の位相的関係を確立している。