[논문 리뷰] Transfer Maps in Generalized Group Homology via Submanifolds

Martin Nitsche, Thomas Schick외 1명|arXiv (Cornell University)|2019. 06. 04.

Homotopy and Cohomology in Algebraic Topology인용 수 1

한 줄 요약

이 논문은 코디멘션 k ≥ 1인 부분다양체에 대해 등변 및 군 C*-대수 호모로지 이론에서 일반화된 이행 사상들을 구축하며, 양의 스칼라 곡률에 대한 고전적 인덱스 장벽을 확장한다. E-방향성과 스펙트럴 시퀀스를 사용하여, 포함 유도 사상과 호환되는 E∗(Bπ₁M)에서 E∗−k(Bπ₁N)로의 자연스러운 이행을 확립하며, 적절한 위상적 조건 하에서 N에서의 비영인 인덱스 클래스가 M에서의 비영인 클래스를 유도함을 증명한다. 특히 KO-호모로지와 일반 호모로지에서 k=1 및 k=2의 경우에 대해 성립한다.

ABSTRACT

Let $N \subset M$ be a submanifold embedding of spin manifolds of some codimension $k \geq 1$. A classical result of Gromov and Lawson, refined by Hanke, Pape and Schick, states that $M$ does not admit a metric of positive scalar curvature if $k = 2$ and the Dirac operator of $N$ has non-trivial index, provided that suitable conditions are satisfied. In the cases $k=1$ and $k=2$, Zeidler and Kubota, respectively, established more systematic results: There exists a transfer $\mathrm{KO}_\ast(\mathrm{C}^{\ast} π_1 M) o \mathrm{KO}_{\ast - k}(\mathrm{C}^\ast π_1 N)$ which maps the index class of $M$ to the index class of $N$. The main goal of this article is to construct analogous transfer maps $E_\ast(\mathrm{B}π_1M) o E_{\ast-k}(\mathrm{B}π_1N)$ for different generalized homology theories $E$ and suitable submanifold embeddings. The design criterion is that it is compatible with the transfer $E_\ast(M) o E_{\ast-k}(N)$ induced by the inclusion $N \subset M$ for a chosen orientation on the normal bundle. Under varying restrictions on homotopy groups and the normal bundle, we construct transfers in the following cases in particular: In ordinary homology, it works for all codimensions. This slightly generalizes a result of Engel and simplifies his proof. In complex K-homology, we achieve it for $k \leq 3$. For $k \leq 2$, we have a transfer on the equivariant KO-homology of the classifying space for proper actions.

연구 동기 및 목표

• 일반화된 호모로지 이론에서 자연스러운 이행 사상들을 구축하여 부분다양체의 양의 스칼라 곡률에 대한 인덱스 장벽을 개념적으로 통합하는 것.
• 코디멘션 k에 대해 스피너 봉우리에서 일반화된 호모로지 이론 E∗(Bπ₁M) → E∗−k(Bπ₁N)로의 고전적 이행 사상을 확장하는 것.
• Baum-Connes 조립 사상과 함께 다각체에서의 이행과 분류 공간에서의 이행 간의 호환성을 확립하는 것.
• 일반 호모로지에서 Engel의 결과를 일반화하고, K-호모로지에서 Zeidler와 Kubota의 결과를 더 넓은 설정과 더 약한 가정 하에서 확장하는 것.
• 일반화된 호모로지와 스펙트럴 시퀀스의 관점에서 Gromov-Lawson-Hanke 이행에 대한 개념적 프레임워크를 제공하는 것.

제안 방법

• 정규(bundle)의 E-방향성과 Pontryagin-Thom 구성법을 사용하여, E∗(M)에서 E∗−k(N)로의 이행 사상 τM,N: E∗(M) → E∗−k(N)를 구축한다.
• 무한한 조인 모델 EΓ과 몫 사상 q: EΓ → BΓ를 사용하여, 분류 공간의 등변 호모로지를 계산하기 위해 스펙트럴 시퀀스를 적용한다.
• 섬세한 옮김 성질과 섬세한 옮김을 통해 섬세한 옮김을 사용하여, U가 별형 이웃 영역이라면 q−1(U)가 Bπy의 모델이 됨을 보인다.
• Lemma 5.14를 적용하여, Hk(Bπy; Z) = 0일 때 0 < k < n인 경우에 이행 사상의 확장을 보장하며, 이는 확장 문제의 분해를 보장한다.
• E2(D2, S1)에서의 두 번째로 스위프된 단위와 그의 자명화에 의한 당김을 통해 θ ∈ E2(Dν, Sν)를 정의하고, 이는 이행 사상을 분류 공간으로의 확장을 가능하게 한다.
• Theorem 4.4를 적용하여, 자연성에 따라 호모로지 이론의 변환에 대해 자연스럽게 작용하는 조립 사상의 클래스를 사용하여, 이행 사상을 적절한 행동을 위한 분류 공간으로 확장한다.

실험 결과

연구 질문

• RQ1 일반화된 호모로지 이론에서 임의의 코디멘션 k ≥ 1인 부분다양체에 대해 포함 유도 사상과 호환되는 이행 사상들을 구축할 수 있는가?
• RQ2 기본군과 정규(bundle)에 어떤 조건이면, 자유 및 적절한 군 작용에 대한 분류 공간으로의 이행 사상이 다각체에서 확장될 수 있는가?
• RQ3 KO-호모로지에서의 이행 사상은 양의 스칼라 곡률에 대한 Rosenberg 인덱스 장벽과 어떻게 관련되는가?
• RQ4 일반 호모로지에서의 이행 사상은 Engel의 원래 결과를 초월하여 일반화될 수 있으며, 그 증명이 단순화되는가?
• RQ5 코디멘션 2의 경우, 구축된 이행 사상은 Kubota의 최대 군 C*-대수에서의 이행 사상과 호환되는가?

주요 결과

• 코디멘션 1의 경우, C∗max 및 C∗red 모두에 대해 유효한 자연스러운 이행 사상 KO∗(C∗π1M) → KO∗−1(C∗π1N)을 구축하며, 이는 고전적 이행 사상의 상향 확장을 제공한다. 또한 α(N) ≠ 0이면 α(M) ≠ 0임을 증명한다.
• 일반 호모로지에서, 모든 코디멘션에 대해 E∗(Bπ₁M) → E∗−1(Bπ₁N)의 이행 사상을 구축하며, Engel의 결과를 일반화하고 그의 증명을 단순화한다.
• 복소수 K-호모로지에서, 코디멘션 k ≤ 3에 대해 이행 사상을 구축하며, 기존 결과를 체계적으로 확장한다.
• k = 2이고 정규(bundle)이 자명하며 π₁-일대일 및 π₂-전사 포함 조건이 만족될 경우, KO-호모로지에서 적절한 행동을 위한 분류 공간으로의 이행 사상이 확장된다.
• 이행 사상은 Baum-Connes 조립 사상과 인덱스 클래스와 호환되며, 양의 스칼라 곡률에 대한 부분다양체 장벽에 대한 개념적 프레임워크를 제공한다.
• 적절한 행동을 위한 분류 공간으로의 이행 사상 확장은 호모로지 이론의 변환에 대해 자연스럽게 작용하며, 다양한 이론 간의 일관성을 보장한다.