[논문 리뷰] Fibrant resolutions for motivic Thom spectra

Grigory Garkusha, Alexander Neshitov|arXiv (Cornell University)|2018. 04. 20.

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

한 줄 요약

이 논문은 E-프레임드 모티브와 프레임드 대응을 사용하여 모티빅스 코히어런트 스펙트럼의 명시적 프레임트 해상형을 구성한다. 이는 보보드스키의 프레임드 모티브 프레임워크를 확장하며, 점의 E-프레임드 모티브가 복소수 위에서의 위상적 코히어런트 스펙트럼 Re^ε(E)/N을 모델링하고, MGL의 대수적 코버지언스 스펙트럼을 Ω-대응과 매끄럽고 준사영적인 다양체의 순차적 합집합을 통해 계산한다.

ABSTRACT

Using the theory of framed correspondences developed by Voevodsky [24] and the machinery of framed motives introduced and developed in [6], various explicit fibrant resolutions for a motivic Thom spectrum $E$ are constructed in this paper. It is shown that the bispectrum $$M_E^{\mathbb G}(X)=(M_{E}(X),M_{E}(X)(1),M_{E}(X)(2),\ldots),$$ each term of which is a twisted $E$-framed motive of $X$, introduced in the paper, represents $X_+\wedge E$ in the category of bispectra. As a topological application, it is proved that the $E$-framed motive with finite coefficients $M_E(pt)(pt)/N$, $N>0$, of the point $pt=Spec (k)$ evaluated at $pt$ is a quasi-fibrant model of the topological $S^2$-spectrum $Re^ε(E)/N$ whenever the base field $k$ is algebraically closed of characteristic zero with an embedding $ε:k\hookrightarrow\mathbb C$. Furthermore, the algebraic cobordism spectrum $MGL$ is computed in terms of $Ω$-correspondences in the sense of [15]. It is also proved that $MGL$ is represented by a bispectrum each term of which is a sequential colimit of simplicial smooth quasi-projective varieties.

연구 동기 및 목표

• E-프레임드 모티브와 프레임드 대응을 사용하여 모티빅스 코히어런트 스펙트럼의 명시적 프레임트 해상형을 개발한다.
• 바운딩 상수가 d인 코히어런트 스펙트럼 E에 대해, 프레임드 모티브의 기계를 E-프레임드 모티브로 확장한다.
• 유한 계수를 가진 대수적 E-프레임드 모티브를 통해 위상적 코히어런트 스펙트럼 Re^ε(E)/N의 기하학적 모델을 확립한다.
• MGL의 대수적 코버지언스 스펙트럼을 Ω-대응과 매끄럽고 준사영적인 다양체의 순차적 합집합의 이중스펙트럼으로 계산한다.
• 다양한 구성—C_*Fr^E(S_T), C_*Θ^∞(E), 및 C_*Θ^∞_sym(E)—이 안정적으로 E와 동치인 모티빅스적으로 프레임트 스펙트럼을 제공함을 증명한다.

제안 방법

• X에서 E_n로의 텀블드 E-프레임드 대응으로서의 E-프레임드 모티브 M_E(X)를 도입하여, 이는 이중스펙트럼 |M_E^G(X) = (M_E(X), M_E(X)(1), M_E(X)(2), ...).
• 보보드스키의 프레임드 대응과 수스린 복합체 구성법을 사용하여, E-프레임드 대응의 P^1-스펙트럼에서 C_*Fr^E(S_T)를 구성한다.
• C_*Θ^∞(E), C_*Θ^∞_sym(E), 및 C_*Fr^E(S_T)에 대해 수준별로 니스네비치 국소 프레임트 치환을 적용하여 모티빅스적으로 프레임트 모델을 확보한다.
• 프레임드 모티브 이론과 보보드스키의 보조정리를 활용하여 Fr_n^E(X) = Hom(P^n, X_+ ∧ E_n)의 기하학적 기술을 제공한다.
• 층 필터링과 마이어-비토리스 수열을 활용하여 프레임드 스펙트럼의 호모토피 유형을 분석한다.
• k가 특성 0인 대수적으로 닫힌 체이며 C에 임베딩되어 있을 때, M_E(pt)(pt)/N은 Re^ε(E)/N의 준프레임트 모델이 된다.

실험 결과

연구 질문

• RQ1 E-프레임드 모티브를 사용하여 모티빅스 코히어런트 스펙트럼에 대해 명시적 프레임트 해상형을 구성할 수 있는가?
• RQ2 기저 체가 C에 임베딩되어 있을 때, E-프레임드 모티브는 어떤 방식으로 유한 계수를 가진 위상적 코히어런트 스펙트럼과 관련이 있는가?
• RQ3 MGL은 Ω-대응과 매끄럽고 준사영적인 다양체의 합집합의 이중스펙트럼으로 기술될 수 있는가?
• RQ4 안정적인 모티빅스 호모토피 범주에서 스펙트럼 C_*Fr^E(S_T), C_*Θ^∞(E)^f, 및 C_*Θ^∞_sym(E)^f 간의 관계는 무엇인가?
• RQ5 E-프레임드 모티브 M_E(X)가 SH(k)에서 X_+ ∧ E의 준프레임트 모델이 되는 조건은 무엇인가?

주요 결과

• 모든 코히어런트 스펙트럼 E에 대해 바운딩 상수가 d이면, 스펙트럼 C_*Fr^E(S_T)^f는 수준 max(0, d)부터 모티빅스적으로 프레임트이며, E와 안정적으로 동치이다.
• 수축 가능한 교환군 작용을 가진 대칭 코히어런트 스펙트럼 E에 대해, 스펙트럼 C_*Θ^∞(E)^f 및 C_*Θ^∞_sym(E)^f 역시 수준 max(0, d)부터 모티빅스적으로 프레임트이며, E와 안정적으로 동치이다.
• k가 특성 0인 대수적으로 닫힌 체이며 ε: k → C이면, 점 pt = Spec k에 대해 E-프레임드 모티브 M_E(pt)(pt)/N은 위상적 S^2-스펙트럼 Re^ε(E)/N의 준프레임트 모델이 된다.
• 대수적 코버지언스 스펙트럼 MGL은 순차적 합집합의 단계가 단순형 매끄럽고 준사영적인 다양체인 이중스펙트럼으로 표현된다.
• MGL은 [21]의 Ω-대응의 의미에서 계산되며, 프레임드 대응을 통한 스펙트럼의 기하학적 실현을 제공한다.
• E-프레임드 모티브와 관련된 이중스펙트럼의 구성은 모티빅스 호모토피 이론에 대한 새로운 계산 프레임워크를 제공하며, 프레임드 모티브 이론을 코히어런트 스펙트럼으로 확장한다.