[논문 리뷰] Twisted Parametrized Stable Homotopy Theory

Christopher L. Douglas|ArXiv.org|2005. 08. 03.

Homotopy and Cohomology in Algebraic Topology인용 수 7

한 줄 요약

이 논문은 반무한 또는 플로어 유형의 호모토피 유형을 기술하기 위한 프레임워크로 비틀린 매개변수화된 안정 호모토피 이론을 소개한다. 이 이론은 스펙트럼의 배럴 위의 단면을 통해 플로어 및 기타 무한차원 호모토피 불변량을 모델링한다. 이론은 가역성 있는 층과 스펙트럼의 카테고리의 국소 시스템을 통해 비틀린 매개변수화된 스펙트럼을 분류하며, 약간의 조건 하에 순환적으로 그레이드된 호모로지, K-이론, 복소 다각형 호모토피 불변량을 가짐을 보여준다. 이는 극화된 힐버트 다양체 위의 반무한으로 색인된 스펙트럼에 대한 추측 가능한 실현과 관련된다.

ABSTRACT

We introduce a framework, twisted parametrized stable homotopy theory, for describing semi-infinite homotopy types. A twisted parametrized spectrum is a section of a bundle whose fibre is the category of spectra. We define these bundles in terms of modules over a stack of parametrized spectra and in terms of diagrams of simplicial categories. We present a classification of bundles of categories of spectra and of the associated twisted parametrized spectra. Though twisted parametrized spectra do not have global homotopy types and therefore do not have generalized homology invariants in the usual sense, they do admit generalized-homology-type invariants for certain commutative ring spectra. We describe this invariant theory and in particular note that under mild hypotheses, a twisted parametrized spectrum will have cyclically graded homology invariants and will also have K-theory and complex bordism invariants, as expected for a Floer or semi-infinite homotopy type. We discuss the association of a twist of parametrized homotopy theory to a polarized infinite-dimensional manifold and present a conjectural, explicit realization of this twist in terms of parametrized semi-infinitely indexed spectra.

연구 동기 및 목표

• 일반적인 매개변수화된 스펙트럼로 기술할 수 없는 반무한 또는 플로어 유형의 호모토피 유형을 기술하기 위한 호모토피 이론적 프레임워크를 개발하는 것.
• 무한차원 설정에서의 전역 호모토피 유형 부족 문제를 해결하기 위해, 스펙트럼의 배럴 위의 단면으로서 비틀린 매개변수화된 스펙트럼을 도입하는 것.
• 스펙트럼의 카테고리의 배럴과 그에 관련된 비틀린 매개변수화된 스펙트럼을 가역성 있는 층과 단순형 카테고리의 국소 시스템을 사용하여 분류하는 것.
• 약간의 조건 하에 이러한 비틀린 스펙트럼에 대해 일반화된 호모로지 유형의 불변량(예: K-이론, 복소 다각형 호모토피)이 존재하는지 확인하는 것.
• 극화된 힐버트 다양체 위의 매개변수화된 반무한으로 색인된 스펙트럼을 통해 비틀림의 기하적 실현을 추측하는 것.

제안 방법

• 스펙트럼의 카테고리의 섬유를 갖는 배럴의 단면으로서 비틀린 매개변수화된 스펙트럼을 정의한다. 이는 두 가지 등가적 접근 방식을 사용한다: 매개변수화된 스펙트럼의 구조 스택 위의 가역성 있는 층과 단순형 카테고리의 국소 시스템.
• 매개변수화된 스펙트럼의 구조 스택 위의 모듈러스를 통해 이러한 배럴의 분류를 특성화하며, '유령'과 '스펙터'라는 분류 객체를 도입한다.
• 호모토피 이론의 호모토피 이론과 단순형 카테고리의 다이어그램을 사용하여 스펙트럼의 카테고리의 국소 시스템을 체계화한다.
• 가환 링 스펙트럼에 대한 $R$-호모로지로 스펙터의 불변량을 구성하며, 순환적 그레이딩과 K-이론, 복소 다각형 호모토피 불변량의 존재를 보여준다.
• 힐베르트 배럴 내의 반무한 부분공간의 제한 그라스만이 안정한 매개변수화된 호모토피 이론의 비틀림을 극화된 무한차원 다각형에 연결한다.
• 매개변수화된 반무한 스펙트럼이 $Gr({\boldsymbol{\rm H}}^+)$와 $Gr({\boldsymbol{\rm R}}^\infty)$로의 제한 사상에 의해 스펙터와 호모토피적으로 동치임을 추측하며 기하학과 호모토피 이론을 연결한다.

실험 결과

연구 질문

• RQ1 일반적인 매개변수화된 스펙트럼로 기술할 수 없는 반무한 또는 플로어 유형의 호모토피 유형을 기술하는 데 적합한 비틀린 매개변수화된 안정 호모토피 이론을 어떻게 정의할 수 있는가?
• RQ2 스펙트럼의 카테고리의 배럴과 그에 관련된 비틀린 매개변수화된 스펙트럼의 분류는 무엇인가?
• RQ3 비틀린 매개변수화된 스펙트럼은 K-이론과 복소 다각형 호모토피와 같은 일반화된 호모로지 불변량을 가지는가? 어떤 조건 하에?
• RQ4 극화된 힐버트 다양체 위의 반무한으로 색인된 스펙트럼을 통해 비틀림의 기하적 실현을 구성할 수 있는가?
• RQ5 극화된 힐버트 배럴 위의 매개변수화된 반무한 스펙트럼의 카테고리와 스펙터(비틀린 매개변수화된 스펙트럼)의 카테고리 사이에 호모토피 이론적 동치가 존재하는가?

주요 결과

• 비틀린 매개변수화된 스펙트럼은 고전적인 의미에서 전역 호모토피 유형을 갖지 않지만, 특정 가환 링 스펙트럼에 대해 일반화된 호모로지 유형의 불변량을 가진다.
• 약간의 조건 하에 비틀린 매개변수화된 스펙트럼은 반무한 또는 플로어 유형의 불변량에 대한 기대와 일치하는 순환적으로 그레이드된 호모로지 불변량을 가진다.
• 이 이론은 비틀린 매개변수화된 스펙트럼에 대해 K-이론과 복소 다각형 호모토피 불변량을 지원하며, 플로어 또는 반무한 호모토피 유형에 기대되는 바이다.
• 논문은 가역성 있는 층과 단순형 카테고리의 국소 시스템을 통해 스펙트럼의 카테고리의 배럴과 그에 관련된 비틀린 매개변수화된 스펙트럼의 분류를 제공한다.
• 제한 사상 $Gr_{\textrm{res}}({\mathcal{H}})$-스펙트럼에서 $Gr({\mathcal{H}}^+)$-스펙트럼과 $Gr({\mathbb{R}}^\infty)$-스펙트럼으로의 제한 사상이 호모토피 카테고리의 동치를 유도한다는 추측을 제시하며 기하학적 및 호모토피적 구조를 연결한다.
• 이 프레임워크는 일반적인 매개변수화된 스펙트럼의 자연스러운 일반화를 제공하며, 루프 공간 위의 스미스 스펙트럼과 같은 고전적 불변량에 대한 새로운 시각을 제공한다.