[논문 리뷰] Derived Hall algebras for stable homotopy theories

Julia E. Bergner|arXiv (Cornell University)|2009. 10. 09.

Algebraic structures and combinatorial models참고 문헌 18인용 수 3

한 줄 요약

이 논문은 안정적 호모토피 이론, 특히 유한성 조건을 갖춘 안정적 완전 세갈 공간을 사용하여 툰의 유도된 할름 대수 구축을 일반화한다. 이를 통해 호모토피 피보트 곱과 에크스트 그룹을 이용한 유도된 할름 수의 공식을 수립하며, 모델 범주를 넘어서 보다 광범위한 호모토피적 환경으로 대수적 구조를 일반화한다.

ABSTRACT

In this paper we extend Toën's derived Hall algebra construction, in which he obtains unital associative algebras from certain stable model categories, to one in which such algebras are obtained from more general stable homotopy theories, in particular stable complete Segal spaces satisfying appropriate finiteness assumptions.

연구 동기 및 목표

• 안정적 모델 범주에서 유도된 할름 대수의 구축을 더 일반적인 안정적 호모토피 이론으로 일반화한다.
• 기존의 구축에서의 유한성 가정의 한계, 특히 루트 범주와 같이 비유한성 조건을 만족하지 않는 삼각형 범주에 대해 다룬다.
• 모델 범주가 너무 제한적일 때, 유도된 범주가 모델 범주로부터 유래되지 않는 환경에서도 호모토피 이론적 도구를 사용할 수 있도록 한다.
• 미래의 유도된 할름 대수에 대한 코알제브라 및 호프 대수적 구조 연구의 기반을 마련한다.
• 유도된 범주보다 더 많은 호모토피적 정보를 포착하는 완전한 세갈 공간을 사용한 프레임워크를 제공한다.

제안 방법

• 안정적 호모토피 이론을 나타내기 위해 $(\infty,1)$-범주로서의 안정적 완전 세갈 공간을 사용한다.
• 툰의 모델 범주에 대한 호모토피 피보트 곱을 완전 세갈 공간의 호모토피 당김으로 대체한다.
• 특히 $F^z_{x,y}$, 즉 $\text{equiv}(W\downarrow z)$의 객체가 $x' \to z$ 및 $x' \simeq x$이고 그 콘의가 $y$인 전체 부분범주인, 사상 공간의 호모토피 피브리의 뉘른을 통해 유도된 할름 수를 정의한다.
• 사상 공간의 피브레이션에서 유도된 호모토피 군의 장기 정렬 수열을 적용하여 $\pi_i(F^z_{x,y}, u)$를 $\text{Ext}^{-i}(x,z)$ 및 $\text{Ext}^{-i}(x,x)$와 연결한다.
• 호모토피 군의 오일러 특성으로부터 유도된 할름 수의 공식을 유도한다: $g^z_{x,y} = \sum_{[f] \in \pi_0(F^z_{x,y})} \prod_{i>0} |\pi_i(F^z_{x,y}, u)|^{(-1)^i}$.
• 핵심 항등식을 확립한다: $\prod_{i>0} |\pi_i(F^z_{x,y}, u)|^{(-1)^i} = |\text{Aut}(f/z)|^{-1} \cdot \prod_{i>0} |\text{Ext}^{-i}(x,z)|^{(-1)^i} \cdot |\text{Ext}^{-i}(x,x)|^{(-1)^{i+1}}$.

실험 결과

연구 질문

• RQ1 툰의 원래 모델 범주 프레임워크에서 요구하는 유한성 조건을 만족하지 않는 삼각형 범주에 대해 유도된 할름 대수를 구성할 수 있는가?
• RQ2 호모토피 이론적 도구는 어떻게 완전 세갈 공간의 맥락에서 할름 대수를 정의하는 데 적응시킬 수 있는가?
• RQ3 완전 세갈 공간을 사용할 경우, 호모토피 군과 에크스트 군에 대한 유도된 할름 수의 정확한 공식은 무엇인가?
• RQ4 이 일반화된 맥락에서 유도된 할름 대수의 구조는 코알제브라나 호프 대수적 구조를 포함하도록 확장될 수 있는가?
• RQ5 완전 세갈 공간은 모델 범주보다 얼마나 더 민첩하고 정보가 풍부한 프레임워크를 제공하는가?

주요 결과

• 유도된 할름 수 $g^z_{x,y}$ 는 공식 $g^z_{x,y} = \frac{|[x,z]_y| \cdot \prod_{i>0} |\text{Ext}^{-i}(x,z)|^{(-1)^i}}{|\text{Aut}(x)| \cdot \prod_{i>0} |\text{Ext}^{-i}(x,x)|^{(-1)^i}}$ 로 주어지며, 여기서 $[x,z]_y$ 는 콘의가 $y$ 와 동형인 사상 $x \to z$ 의 집합이다.
• 대상 사상 $t: X^{(1)} \to X^{(0)}$ 에서 $z$ 에서의 호모토피 피브리 $F^z_{x,y}$ 는 $\text{equiv}(W\downarrow z)$ 의 뉘른과 호모토피적으로 약한 동치이며, 그 $\pi_0$ 는 $[x,z]_y / \text{Aut}(x)$ 를 분류한다.
• 호모토피 군 $\pi_i(F^z_{x,y}, u)$ 는 사상 공간의 피브레이션에서 유도된 장기 정렬 수열을 통해 $\text{Ext}^{-i}(x,z)$ 와 $\text{Ext}^{-i}(x,x)$ 와 연결된다.
• 사상 $f \in [x,z]_y$ 에 대해 $\text{Aut}(x)$ 에서의 안정자 $\text{Aut}(f/z)$ 는 공식에서 $|\text{Aut}(f/z)|^{-1}$ 로 나타나 자동화의 과잉 계산을 보정한다.
• 이 공식으로 정의된 곱에 대해 유도된 할름 대수는 결합법칙을 만족하며, 툰의 결과를 완전 세갈 공간으로 일반화한다.
• 이 구축은 적절한 유한성 가정을 만족하는 안정적 완전 세갈 공간에 대해 유효하며, 모델 범주를 넘어서 모델 범주로부터 유래되지 않는 유도된 범주를 포함하여 범위를 확장한다.