[논문 리뷰] Calculating with topological André-Quillen theory, I: Homotopical properties of universal derivations and free commutative $S$-algebras

Andrew Baker|ENLIGHTEN (Jurnal Bimbingan dan Konseling Islam)|2012. 08. 09.

Homotopy and Cohomology in Algebraic Topology참고 문헌 5인용 수 8

한 줄 요약

이 논문은 상위 앤드레-퀴렌 이론을 사용하여 보편 도함수와 자유 가환 $S$-대수의 호모토프리 성질을 개발하며, 특히 다중선형 호모로지 이론에서의 행동에 초점을 맞춘다. 특히 감소 자유 대수 함자 $\widetilde{\mathbb{P}}_R$ 를 통해 가환 $S$-대수의 모듈로 $p$ 호모로지에서 다이어-라쇼프 연산을 포함한 공식을 수립하여, 안정화 기반 방법 외의 방법으로 대수적 토폴로지 내 계산에 직접적인 접근을 제공한다.

ABSTRACT

We adopt the viewpoint that topological Andé-Quillen theory for commutative $S$-algebras should provide usable (co)homology theories for doing calculations in the sense traditional within Algebraic Topology. Our main emphasis is on homotopical properties of universal derivations, especially their behaviour in multiplicative homology theories. There are algebraic derivation properties, but also deeper properties arising from the homotopical structure of the free algebra functor $\mathbb{P}_R$ and its relationship with extended powers of spectra. In the connective case in ordinary $\bmod{\,p}$ homology, this leads to useful formulae involving Dyer-Lashof operations in the homology of commutative $S$-algebras. Although many of our results could no doubt be obtained using stabilisation, our approach seems more direct. We also discuss a reduced free algebra functor $ ilde{\mathbb{P}}_R$.

연구 동기 및 목표

• 가환 $S$-대수의 맥락에서 보편 도함수의 호모토프리 이해를 개발하기 위해.
• 호모토프리 및 힘 연산 구조를 활용하여 자유 대수 함자 $\mathbb{P}_R$ 와 그 감소형 $\widetilde{\mathbb{P}}_R$ 를 분석하기 위해.
• 특히 연결 경우에서 가환 $S$-대수의 호모로지에서 다이어-라쇼프 연산에 대한 명시적 공식을 제공하기 위해.
• 미래의 스펙트럴 시퀀스 계산을 위한 상위 앤드레-퀴렌 이론의 기초 도구를 마련하기 위해.
• 상위 앤드레-퀴렌 호모로지 내 계산을 위한 안정화 기반 방법의 직접적 대안을 제공하기 위해.

제안 방법

• 호모토프리 프레임워크의 중심 대상으로 유도 코탄젠트 복합체 $\Omega_A(B)$ 와 보편 도함수 $\delta_{(B,A)}$ 를 사용한다.
• 모듈러스 $M$ 과 $F_B(-,M)$ 에 대한 사상으로 $\operatorname{TAQ}_*$ 와 $\operatorname{TAQ}^*$ 호모로지 및 코호모로지 이론을 적용한다.
• 코프리프레임의 $R$-모듈러스 위에서 정의된 감소 자유 대수 함자 $\widetilde{\mathbb{P}}_R$ 를 활용하여 퀠렌 수반 관계를 수립한다.
• 자유 대수 함자와 스펙트럼의 확장된 거듭제곱 사이의 관계를 활용하여 호모토프리 성질을 유도한다.
• 모듈로 $p$ 호모로지 $H_*(-;\mathbb{F}_p)$ 내 다이어-라쇼프 연산을 사용하여 $H_*(MU)$ 의 생성자, 특히 $b_n$ 에 대한 작용을 계산한다.
• 모듈로 $p$ 에 대한 이항계수 합동식을 적용하여 다이어-라쇼프 연산의 영이 아닌 조건을 도출한다.

실험 결과

연구 질문

• RQ1 다중선형 호모로지 이론에서 보편 도함수는 어떻게 행동하는가, 특히 모듈로 $p$ 호모로지에서?
• RQ2 자유 가환 $S$-대수 함자 $\mathbb{P}_R$ 와 그 감소형 $\widetilde{\mathbb{P}}_R$ 의 호모토프리 구조는 무엇인가?
• RQ3 상위 앤드레-퀴렌 이론을 통해 가환 $S$-대수의 호모로지에서 다이어-라쇼프 연산을 명시적으로 계산할 수 있는가?
• RQ4 확장된 스펙트럼의 거듭제곱은 도함수의 호모토프리 성질을 결정하는 데 어떤 역할을 하는가?
• RQ5 이항계수 합동식 모듈로 $p$ 는 다이어-라쇼프 연산이 호모로지 생성자에서 영이 아닌지를 어떻게 결정하는가?

주요 결과

• 홀수 $p$ 에 대해 다이어-라쇼프 연산은 $H_*(MU;\mathbb{F}_p)$ 에서 $\operatorname{Q}^r b_n \approx (-1)^{r+n+1}(n,r-n-1)b_{n+r(p-1)}$ 를 만족한다.
• $p=2$ 에 대해 연산은 $H_*(MU;\mathbb{F}_2)$ 에서 $\operatorname{Q}^{2r} b_n \approx (n,r-n-1)b_{n+r}$ 를 만족한다.
• 불가분 몫 $\mathrm{Q}_{\mathrm{DL}}H_*(MU)$ 는 $p \nmid n$ 이고 $p$-진 자릿수에 특정 조건을 만족하는 $b_{np^t}$ 를 기저로 갖는다. $p$ 가 홀수일 경우.
• $p=2$ 에 대해 $\mathrm{Q}_{\mathrm{DL}}H_*(MU)$ 의 기저는 $t \geq 0$ 에 대해 $b_{2^t}$ 로 주어지며, 이는 다이어-라쇼프 불가분성을 나타낸다.
• $p$ 가 홀수일 때, $n$ 이 $p$-진 전개에서 $n_s \neq 0$, $n_{s+t} \neq 0$, $t > 0$ 를 만족하면 $\operatorname{Q}^{n - n_s p^s} b_{n_s p^s} \not\approx 0$ 이다. 이는 모듈로 $p$ 에서의 영이 아닌 이항계수에 기인한다.
• 유사하게, $p=2$ 에 대해 $n$ 이 $2$-진 전개에서 $n_s \neq 0$, $n_{s+t} \neq 0$, $t > 0$ 를 만족하면 $\operatorname{Q}^{2n - 2^{s+1}} b_{2^s} \not\approx 0$ 이다. 이는 모듈로 2 에서의 영이 아닌 이항계수에 기인한다.