[논문 리뷰] The suspended free loop space of a symmetric space

Marcel Bökstedt, Iver Ottosen|arXiv (Cornell University)|2005. 11. 03.

Geometric Analysis and Curvature Flows참고 문헌 12인용 수 3

한 줄 요약

이 논문은 랭크-1 대칭 공간 $M = \mathbb{C}P^n$, $\mathbb{H}P^n$, 및 $\mathbb{O}P^2$ 에 대해 자유 루프 공간 $\Lambda M_+$ 의 스펙트럼 스플릿팅이 안정적으로 존재함을 증명한다. 이는 $M_+$ 의 스퍼스닝 스펙트럼과 $M$ 의 단위 접선 구면 번들의 위에 있는 무한한 수의 톰 공간들의 와이드 합과의 호모토피 동치임을 보여준다. 이 결과는 지ller의 모어 이론과 호환되는 동차군론적 호모토피 이론에 기반한 호모로지 스플릿팅을 확장하며, 이전 연구에서 제기된 루프 공간의 mod 2 코homology에 대한 추측을 확인한다.

ABSTRACT

Let M be one of the projective spaces CP^n, HP^n for n>1 or the Cayley projective plane OP^2, and let LM denote the free loop space on M. Using Morse theory methods, we prove that the suspension spectrum of (LM)_+ is homotopy equivalent to the suspension spectrum of M_+ wedge a family of Thom spaces of explicit vector bundles over the tangent sphere bundle of M.

연구 동기 및 목표

• 랭크-1 대칭 공간에 대해 자유 루프 공간 $\Lambda M_+$ 의 스퍼스닝 스펙트럼에 대한 안정적 스플릿팅을 증명하는 것.
• 이전 연구에서 제기된 추측을 확인하는 것: $\Lambda M$ 의 mod 2 코homology 는 톰 공간의 코homology 합으로 분해된다.
• 지ller의 호모로지 스플릿팅 결과를 스펙트럼 수준으로 확장하여, 단지 군 수준의 동형이 아니라 호모토피 동치를 확보하는 것.
• 스플릿팅에 나타나는 명시적 톰 공간들을 특정하는 것, 특히 $M$ 의 접선 번들의 단위 구면 번들 위에 있는 것들.
• 스펙트럼 수준의 스플릿팅이 스틴로드 대칭 대수의 작용과 안정적 호모토피 연산들과 호환되는지 확인하는 것.

제안 방법

• 에너지 함수수와 등장 대칭군의 작용을 이용하여 자유 루프 공간 $\Lambda M$ 에 모어 이론을 적용한다.
• 등급 동차 미분 위상수학을 사용하여 $\Lambda M$ 의 부분공간들을 대칭 공간의 구조와 관련된 동차 공간으로 식별한다.
• 표현환의 코어널에서의 장애를 분석하여 이러한 동차 공간들의 등급 동차 스플릿팅을 구성한다.
• 장애가 $\mathbb{C}P^n$, $\mathbb{H}P^n$, 및 $\mathbb{O}P^2$ 에서 사라짐을 보여주어, 스퍼스닝 이후 안정적 스플릿팅이 가능함을 입증한다.
• 스플릿팅의 합성항들을 $M$ 의 단위 구면 번들 위에 올라간 접선 번들의 반복 유크스합의 톰 공간들로 식별한다.
• 코프라이어 수열과 톰 공간의 호모토피 동치를 이용하여 이전 연구의 코homological 결과들을 스펙트럼 수열 형태로 재구성한다.

실험 결과

연구 질문

• RQ1 랭크-1 대칭 공간에 대해 자유 루프 공간 $\Lambda M_+$ 의 스퍼스닝 스펙트럼은 안정적 스플릿팅을 갖는가?
• RQ2 루프 공간 $\Lambda M$ 의 mod 2 코homology 에 관찰된 스플릿팅은 스펙트럼 수준으로 올라갈 수 있는가?
• RQ3 스펙트럼 스플릿팅에 나타나는 명시적 톰 공간들은 무엇인가?
• RQ4 스플릿팅은 스틴로드 대칭 대수의 작용과 기타 코homology 연산들과 호환되는가?
• RQ5 이러한 스플릿팅이 존재하기 위해 표현환의 장애에 대해 어떤 조건이 필요한가?

주요 결과

• 모든 $M = \mathbb{C}P^n$ 에 대해, 호모토피 동치 $\Sigma(\Lambda \mathbb{C}P^n)_+ \simeq \Sigma \mathbb{C}P^n_+ \vee \bigvee_{m=1}^\infty \Sigma \mathrm{Th}(\xi_m)$ 가 성립하며, 여기서 $\xi_m$ 은 접선 번들의 단위 구면 번들 위에 올라간 번들이다.
• 모든 $M = \mathbb{H}P^n$ 에 대해, 스플릿팅은 접선 번들과 $S^3$ 의 표현에 관련된 3차원 번들 $\eta$ 를 포함하는 톰 공간들을 포함한다.
• 모든 $M = \mathbb{O}P^2$ 에 대해, 7차원 번들 $\eta$ 의 스티엘레벨-블랙 클래스가 영이므로 스플릿팅이 성립한다.
• 스펙트럼 수준의 스플릿팅은 스틴로드 대칭 대수 작용과 호환되며, [4] 에서의 이전 코homological 결과와의 비교로 확인되었다.
• 스플릿팅의 장애는 표현환 간의 사상의 코어널에 위치하며, 고려된 대칭 공간들에서는 이 장애가 사라진다.
• 이 결과는 모든 일반화된 호모로지 이론에 대해 안정적 스플릿팅을 암시하며, 지ller의 호모로지 수준 스플릿팅보다 더 강력한 결과를 제공한다.