[論文レビュー] The rational sectional category of certain maps

José Gabriel Carrasquel-Vera|arXiv (Cornell University)|Mar 25, 2015

Homotopy and Cohomology in Algebraic Topology参考文献 14被引用数 6

ひとこと要約

本稿は、ホモトピー再帰を備えた写像に対して、有理的セクショナル・カテゴリーの代数的特徴づけを提供し、有理的LSカテゴリーに関する Félix-Halperin 定理を一般化するとともに、有理的トポロジカル・コンプレックスの Jessup-Murillo-Parent 予想を証明する。主な結果は、有理的セクショナル・カテゴリーが、ある特定のcdga射影がホモトピー再帰を備える最小の $ m $ であることを示している。

ABSTRACT

We give a simple algebraic characterisation of the sectional category of rational maps admitting a homotopy retraction. As a particular case we get the Félix-Halperin theorem for rational Lusternik-Schnirelmann category and prove the conjecture of Jessup-Murillo-Parent on rational topological complexity. We also give a characterisation for relative category in the sense of Doeraene-El Haouari.

研究の動機と目的

• ホモトピー再帰を備える写像に対して、有理的セクショナル・カテゴリーの完全な代数的特徴づけを提供すること。
• 有理的LSカテゴリーに関する Félix-Halperin 定理を、ホモトピー再帰を備える任意の有理的写像へ一般化すること。
• 提案された枠組みを用いて、有理的トポロジカル・コンプレックスに関する Jessup-Murillo-Parent 予想を証明すること。
• Doeraene-El Haouari の意味における相対的カテゴリーへ特徴づけを拡張すること。
• 有理不変量を用いて、整数的セクショナル・カテゴリーに対する代数的下界を確立すること。

提案手法

• s-モデル $ \varphi: A \to B $ を用いて有理的写像をモデル化し、ここで $ A = (B \otimes \Lambda W, D) $ は相対的サリバン代数であり、$ \varphi $ は再帰である。
• 写像 $ \rho_m: A \to A / (\ker \varphi)^{m+1} $ を定義し、これは $ \varphi $ の核の $ (m+1) $ 乗を商取ることで得られる。
• 標準的な有理ホモトピー論的手法と相対的サリバンモデルを用い、$ \rho_m $ のホモトピー再帰とセクショナル・カテゴリーとの関係を確立する。
• 対角写像 $ \Delta_n: X \to X^n $ を用いて、高次トポロジカル $ n $-コンプレックスをモデル化する。
• $ B $-加群のホモトピー再帰と $ A $-加群構造を用いて、$ \text{msecat} $ および $ \text{mTC} $ を定義・分析する。
• cdgaの圏における可換図式を構成し、ホモトピー切断と再帰を関連づけ、モデル理論的技法を用いて主要定理を証明する。

実験結果

リサーチクエスチョン

• RQ1 写像 $ f $ の有理化がホモトピー再帰を備えるとき、その有理的セクショナル・カテゴリーの代数的特徴づけは何か？
• RQ2 Jessup-Murillo-Parent が提示した有理的トポロジカル・コンプレックスに関する予想は真であり、有理ホモトピー論を用いて証明可能か？
• RQ3 ホモトピー再帰を備える写像に対して、有理的セクショナル・カテゴリーは Doeraene-El Haouari の意味における相対的カテゴリーとどのように関係するか？
• RQ4 有理化がホモトピー再帰を備えるとき、$ \text{msecat}(f) $ 不変量は有理的セクショナル・カテゴリーに等しいか？
• RQ5 特に $ X \times S^n $ に対して、有理的トポロジカル・コンプレックスの性質はどのように振る舞うか？

主な発見

• 有理的セクショナル・カテゴリー $ \text{secat}(f_0) $ は、cdga射影 $ \rho_m: A \to A / (\ker \varphi)^{m+1} $ がホモトピー再帰を備える最小の $ m $ に等しい。
• Jessup-Murillo-Parent 予想は正当であることが証明された：$ \text{TC}(X_0) $ は、射影 $ \Lambda V \otimes \Lambda V \to (\Lambda V \otimes \Lambda V)/K^{m+1} $ がホモトピー再帰を備える最小の $ m $ に等しく、ここで $ K $ は乗法写像の核である。
• 高次トポロジカル・コンプレックスに対しては、$ \text{TC}_n(X_0) $ は、射影 $ A \otimes (\Lambda V)^{\otimes n-1} \to A \otimes (\Lambda V)^{\otimes n-1} / (\ker \varphi)^{m+1} $ がホモトピー再帰を備える最小の $ m $ に等しい。
• Ganea 予想は $ \text{mTC} $ に対して成立する：$ \text{mTC}(X \times S^n) = \text{mTC}(X) + \text{mTC}(S^n) $ であり、ここで $ \text{mTC} $ はトポロジカル・コンプレックスの $ A $-加群版である。
• 有理的相対カテゴリー $ \text{relcat}(f_0) $ は、最小の $ m $ であり、相対的サリバンモデル $ i_m $ が、$ \varphi \circ r \simeq \overline{\varphi} \circ \theta_m \text{ rel } A $ を満たす再帰 $ r $ を備える。
• 有理化がホモトピー再帰を備えるとき、$ \text{msecat}(f) = \text{secat}(f_0) $ であるという予想は、フレームワークによって支持されるが、完全には証明されていない。