[논문 리뷰] Equivariant Structure on Smash Powers

Morten Brun, Bjørn Ian Dundas외 1명|arXiv (Cornell University)|2016. 04. 20.

Homotopy and Cohomology in Algebraic TopologyMathematics참고 문헌 47인용 수 19

한 줄 요약

이 논문은 안정 호모토피 이론에서 스매시 곱의 등변 구조를 이해하기 위한 기초 프레임워크를 수립한다. 특히 기하학적 대각선과 그가 가환 링 스펙트럼, 고정점 스펙트럼, 윌트 벡터 구성과의 연결에서 수행하는 역할을 중심으로 다룬다. 이 논문은 $C_2$-작용에 대한 $E^{\text{∧}2}$의 고정점이 자연스럽게 $E$로 내림사고하는 사상(제약 사상)을 갖는다는 것을 증명하며, 이는 고차 스매시 곱으로 일반화되며 안정 호모토피 이론에서 윌트 벡터와 크로모틱 타워를 구성하는 데 기초가 된다.

ABSTRACT

We provide foundations for dealing with the equivariant structure of "smash powers" of commutative orthogonal ring spectra. The category of commutative orthogonal ring spectra $A$ is tensored over spaces $X$, so that $A \otimes X$ is a commutative orthogonal ring spectrum. If $X$ is a discrete space, this is literally the smash power of $A$ with itself indexed over $X$, and we keep this language also in the nondiscrete case. In particular $A \otimes S^1$ is a model for topological Hochschild homology. We provide a framework where a generalization of the cyclotomic structure of topological Hochschild homology is visible in a categorical framework, also for more general $G$ and $X$. Similar situations have been studied by others, e.g., in Hill, Hopkins and Ravenel's treatment of the norm construction and Brun, Carlsson, Dundas' covering homology. In the case of non-commutative $A$ and $X=S^1$, the situation is somewhat easier and has already been covered by Kro. We are motivated by applications to $G$ being a torus in order to study the iterated algebraic $K$-theory, and have to develop a categorical theory that in some ways goes beyond what has been done before. Most of the material appeared in the last author's thesis which was defended in 2011. We apologize for the delay.

연구 동기 및 목표

• 콤��� 리 군 $G$에 대한 $G$-스펙트럼의 스매시 곱의 등변 구조에 대한 체계적인 이해를 개발하기 위해.
• 기하학적 대각선이 고정점 스펙트럼과 윌트 벡터와 같은 대수적 구조 간의 관계를 어떻게 규명하는지 명확히 하기 위해.
• 등변 올리고노미얼 스펙트럼과 그들의 스매시 곱에 대한 모델 범주론적 기초를 확립하기 위해.
• 특히 $H\mathbb{Z}/2$와 $2$-진 정수의 맥락에서, $(E^{\text{∧}2})^{C_2}$에서 $E$로의 제약 사상이 깊이 있는 대수적 및 위상적 정보를 어떻게 캡처하는지 보여주기 위해.
• 고차 스매시 곱의 고정점이 증가하는 크로모틱 복잡도를 캡처한다는 점을 보여주며, 대수적 및 위상적 관점을 통합하기 위해.

제안 방법

• 등변 올리고노미얼 스펙트럼과 레벨 모델 구조를 사용하여 안정 범주 내에서 스매시 곱을 정의하고 분석한다.
• 일만의 삼등분 정리와 혼합 모델 구조를 적용하여 등변 공간과 스펙트럼을 다룬다.
• 모델 범주에서 코프ibrant 및 프라임 대체를 사용하여, 유 finitely group $G$에 대해 $E$에서 $(E^{\text{∧}n})^{G}$로의 자연 변환으로서 기하학적 대각선을 정의한다.
• 칸의 확장과 코엔드 계산법을 적용하여 스펙트럼의 다이어그램 범주에 대한 모델 구조를 조립한다.
• 베이크의 모나드 이론을 적용하여, 적절한 소형성 및 세포성 조건 하에서 $T$-대수의 범주가 $[\mathscr{D}, \mathscr{C}]_0$와 동형임을 보인다.
• 생성 집합 $\mathcal{G}^\mathscr{E}I$와 $\mathcal{G}^\mathscr{E}J$를 통해 $[\mathscr{E}_{\mathscr{D}}, \mathscr{C}]_0$에 제품 모델 구조를 확립하며, 다이어그램 범주에서의 코프ibrant 생성 모델 구조가 보존되도록 보장한다.

실험 결과

연구 질문

• RQ1 등변 $G$-링 스펙트럼에 대해 기하학적 대각선을 함의적으로 정의할 수 있는 방법은 무엇이며, 어떤 구조를 유지하는가?
• RQ2 스매시 곱의 고정점과 안정 호모토피 이론에서 윌트 벡터 구성 간의 정확한 관계는 무엇인가?
• RQ3 $E = H\mathbb{Z}/2$일 때, $C_{2^n}$-작용에 대한 $E^{\text{∧}2^n}$의 고정점은 $2$-진 정수와 크로모틱 타워와 어떻게 관련이 있는가?
• RQ4 제약 사상 $(E^{\text{∧}2})^{C_2} \to E$는 어떻게 가환 링의 곱셈을 일반화하며, 대수적 자료를 어떻게 캡처하는가?
• RQ5 스펙트럼의 다이어그램 범주에 대한 모델 구조는 어떻게 조립되어야 하며, 이는 점별로 피브레이션, 코프ibr레이션, 약한 동치를 보존하는가?

주요 결과

• 제약 사상 $(E^{\text{∧}2})^{C_2} \to E$는 곱셈을 일반화하는 자연 변환이며, 윌트 벡터 구조와 같은 대수적 자료를 캡처한다.
• $E = H\mathbb{Z}/2$일 때, 고정점 $(E^{\text{∧}2^n})^{C_{2^n}}$의 경로 성분은 $\mathbb{Z}/2^n$과 동형이며, $n$에 대한 역극한은 $2$-진 정수 $\mathbb{Z}_2$를 유도한다. 이는 유한 체적에서 무한 체적으로의 전이를 보여준다.
• $C_2 \times C_2$-고정점은 $E^{\text{∧}4}$에서 보다 복잡한 위상적 복잡성을 캡처하며, 보트 주기성의 그림자도 포함한다.
• 기하학적 대각선은 $E$에서 그 스매시 곱의 고정점으로 가는 자연 변환으로서 나타나며, 이 구성은 입력 스펙트럼과 군 작용에 대해 함의적이다.
• 적절한 소형성 및 세포성 조건 하에서 다이어그램 범주 $[\mathscr{E}_{\mathscr{D}}, \mathscr{C}]_0$에 코프ibrant 생성 모델 구조가 존재하며, 피브레이션, 코프ibr레이션, 약한 동치는 점별로 정의된다.
• 왼쪽 수반을 유도하는 모나드 $T$에 대해 $T$-대수의 범주는 $[\mathscr{D}, \mathscr{C}]_0$와 동형이며, 주어진 조건 하에서 다이어그램 범주가 모나드 이론을 만족함을 확인한다.