[논문 리뷰] The mod 2 homology of free spectral Lie algebras

Omar Antolín Camarena|arXiv (Cornell University)|2016. 11. 27.

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

한 줄 요약

이 논문은 단순 연결된 공간의 스텝닝 스펙트럼에 대한 자유 스펙트럴 리 대수의 mod 2 호모로지를 계산하기 위해 새로운 유형의 다이어-라쇼프 유사 호모로지 연산을 도입하고 분석함으로써, 입력 공간의 호모로지 위에 작용하는 이러한 연산들이 자유 리 대수 위에서 생성한다는 것을 보여준다. 핵심 결과는 이러한 연산의 대수 위에서 자유 모듈로 표현되는 이 호모로지의 완전한 대수적 기술이다.

ABSTRACT

The Goodwillie derivatives of the identity functor on pointed spaces form an operad in spectra. Adapting a definition of Behrens, we introduce mod 2 homology operations for algebras over this operad and prove these operations account for all the mod 2 homology of free algebras on suspension spectra of simply-connected spaces.

연구 동기 및 목표

• 굿윌디 계산에서 유래하는 스펙트럴 리 작용자 ∂∗(Id) 위의 자유 대수의 mod 2 호모로지를 이해하기 위해.
• 스펙트럴 리 작용자 위의 대수에 대해 특성 2에서 새로운 호모로지 연산을 정의하고 연구하며, 베르렌스의 굿윌디 계층에서의 연산을 일반화하기 위해.
• 단순 연결된 공간의 스텝닝 스펙트럼 위의 자유 스펙트럴 리 대수의 mod 2 호모로지에 대한 완전한 대수적 기술을 확립하기 위해.
• 토폴로지적 앤드레-퀴렌 호모로지를 통해 E∞-링 스펙트럼과 스펙트럴 리 대수 간의 관계를 설명하는 데서 코즐 데ュ얼리티와 분할 거듭제곱 대수의 역할을 명확히 하기 위해.

제안 방법

• 베르렌스의 굿윌디 계층에서의 mod 2 호모로지 연산을 변형하여 스펙트럴 리 작용자 ∂∗(Id) 위의 대수에 대한 연산을 정의한다.
• 특성 2에서 이동된 리 괄호와 단항 다이어-라쇼프 유사 연산 ḞQj를 도입한다.
• 굿윌디 타워에서 유도된 스펙트럴 시퀀스와 분할 복합체 Pn의 구조를 이용하여 자유 대수의 호모로지를 계산한다.
• 교환 작용자와 스펙트럴 리 작용자 간의 코즐 데ュ얼리티를 적용하여 E∞-링 스펙트럼과 분할 거듭제곱 스펙트럴 리 대수 간의 관계를 규명한다.
• 자유 스펙트럴 리 대수의 호모로지와 H∗(X;𝔽2) 위의 자유 리 대수에 작용하는 연산 ḞQj 대수 위의 자유 모듈 간의 이sovomorphism을 확립한다.
• 기존의 Dn(Id)(X) 및 그 호모로지 계산 결과를 활용하여, n에 대한 직접 합으로서 전체 자유 대수의 구조를 구축한다.

실험 결과

연구 질문

• RQ1 특성 2에서 스펙트럴 리 작용자 ∂∗(Id) 위의 대수에 대해 호모로지 연산을 어떻게 정의할 수 있는가?
• RQ2 단순 연결된 공간의 스텝닝 스펙트럼 위의 자유 스펙트럴 리 대수의 mod 2 호모로지에 대한 완전한 대수적 구조는 무엇인가?
• RQ3 새로운 다이어-라쇼프 유사 연산 ḞQj는 고전적 스틴로드 대수와 굿윌디 계층의 호모로지에서의 니시다 관계와 어떻게 관련되는가?
• RQ4 연산 ḞQj 간의 관계가 자유 스펙트럴 리 대수의 호모로지를 얼마나 정확히 기술하는가?
• RQ5 교환 작용자와 스펙트럴 리 작용자 간의 코즐 데ュ얼리티는 자유 대수의 호모로지에서 어떻게 나타나는가?

주요 결과

• 단순 연결된 공간의 스텝닝 스펙트럼 위의 자유 스펙트럴 리 대수의 mod 2 호모로지는 H∗(X;𝔽2) 위의 자유 리 대수에 작용하는 연산 ḞQj 대수 위의 자유 모듈과 동형이다.
• 호모로지가 비영인 경우는 오직 연산 ḞQj가 초과가 적어도 k 이상이 되는 차수에서만 발생하며, 아론-마하와르의 계산에서의 완전히 불가능한 수열과 대응된다.
• 연산 ḞQj가 니시다 관계와 일관된 관계를 만족함을 보이며, 굿윌디 계층 Dn(Id)(X)의 호모로지에서 관찰된 구조를 일반화한다.
• 계산 결과는 구의 기본 클래스에 대해 반복적으로 ḞQj 연산을 작용시켜 자유 스펙트럴 리 대수의 호모로지가 생성됨을 확인한다.
• 코즐 데ュ얼리티를 통해 토폴로지적 앤드레-퀴렌 호모로지 위의 분할 거듭제곱 대수의 구조와 자유 스펙트럴 리 대수의 호모로지 간의 정확한 이중성 관계를 확립한다.
• 자유 대수의 호모로지와 연산 대수 위의 자유 모듈 간의 이sovomorphism은 스펙트럴 시퀀스의 추론과 TAQ(R)의 필터링과의 비교를 통해 확립된다.