[논문 리뷰] Relative homological algebra, Waldhausen $K$-theory, and quasi-Frobenius conditions

Andrew Salch|arXiv (Cornell University)|2013. 03. 15.

Algebraic structures and combinatorial models참고 문헌 6인용 수 4

한 줄 요약

이 논문은 상대적 프로젝티브 객체가 수축 가능 객체인 아벨 범주에 대한 Waldhausen $K$-이론이, 실수적으로 안정적 표현 이론을 위한 모델 범주보다 더 일반적이지 않기 위해, 쿼티-프로베니우스 조건이 필요하다는 것을 입증한다. 또한 유한체의 유한차원 쿼티-프로베니우스 담비 확장에 대한 안정적 대수적 $G$-이론을 계산하여, 이가 차수 이동이 있는 탑오그래픽 순환 호모로지와 동형이며, 복소 구조를 가진 링 스펙트럼임을 보여준다.

ABSTRACT

We study the question of the existence of a Waldhausen category on any (relative) abelian category in which the contractible objects are the (relatively) projective objects. The associated $K$-theory groups are "stable algebraic $G$-theory," which in degree zero form a certain stable representation group. We prove both some existence and nonexistence results about such Waldhausen category structures, including the fact that, while it was known that the category of $R$-modules admits a model category structure if $R$ is quasi-Frobenius, that assumption is required even to get a Waldhausen category structure with cylinder functor---i.e., Waldhausen categories do not offer a more general framework than model categories for studying stable representation theory of rings. We study multiplicative structures on these Waldhausen categories, and we relate stable algebraic $G$-theory to algebraic $K$-theory and we compute stable algebraic $G$-theory for finite-dimensional quasi-Frobenius nilpotent extensions of finite fields. Finally, we show that the connective stable $G$-theory spectrum of $\mathbb{F}_{p^n}[x]/x^{p^n}$ is a complex oriented ring spectrum, partially answering a question of J. Morava about complex orientations on algebraic $K$-theory spectra.

연구 동기 및 목표

• 상대적 아벨 범주가 상대적 프로젝티브 객체가 수축 가능해지는 월드하우젠 범주적 구조를 갖는지 여부를 규명하는 것.
• 그러한 월드하우젠 범주에서 실수적으로 실현 가능한 실수적 구조를 갖기 위해 쿼티-프로베니우스 조건이 필수적인지 조사하는 것.
• 모듈의 텐서곱으로부터 유도되는 월드하우젠 $K$-이론 스펙트럼의 스펙트럼적 구조를 탐색하는 것.
• 유한체 위의 유한차원 대수에 대해 안정적 대수적 $G$-이론이 대수적 $K$-이론과 탑오그래픽 순환 호모로지와 어떻게 관련되는지 규명하는 것.
• $\mathbb{F}_p$ 위의 절단 다항식 대수에 대한 연결 안정적 $G$-이론 스펙트럼의 호모토피 군을 계산하는 것.

제안 방법

• 허용 가능한 클래스 $E$와 $F$의 쌍을 사용하여 아벨 범주 위에 월드하우젠 범주적 구조를 구성하고, 약한 동치를 $E$-안정 동치로, 코프라비션을 $F$-단사로 정의한다.
• 모든 객체가 $F$-단사 사상을 통해 $E$-프로젝티브 객체로 유일하게 포함될 수 있을 때에만 실수적으로 실현 가능한 실수적 구조가 존재함을 증명하여, 일반화된 쿼티-프로베니우스 조건을 확립한다.
• 유한체 위의 모듈에서의 텐서곱의 스펙트럼적 구조를 활용하여 월드하우젠 $K$-이론 스펙트럼에 호모토피-교환 가능한 링 스펙트럼의 구조를 유도한다.
• 히슬홀트-마든센의 절단 다항식 링의 탑오그래픽 순환 호모로지 계산을 적용하여 안정적 $G$-이론을 $TC_*(A;\hat{\mathbb{Z}}_p)$의 차수 이동된 형태로 식별한다.
• 아티야-히르체브루흐 스펙트럼 열과 $BU(1)$의 $2$-스켈레톤을 사용하여 안정적 $G$-이론 스펙트럼이 복소 구조를 가짐을 보인다.
• $\mathbb{Z}/p^n\mathbb{Z}$-모듈의 구조를 활용하여 호모토피 군에서 $\ell$-나누어지는 합성부를 제거함으로써 계산의 정확성을 확보한다.

실험 결과

연구 질문

• RQ1 상대적 아벨 범주에서 상대적 프로젝티브 객체가 수축 가능해지는 월드하우젠 범주적 구조가 존재하는 조건은 무엇인가?
• RQ2 그러한 월드하우젠 범주에서 실수적 구조가 존재하기 위해 쿼티-프로베니우스 조건이 필수적인가?
• RQ3 유한체 위의 유한차원 쿼티-프로베니우스 대수에 대해 월드하우젠 $K$-이론 스펙트럼이 스펙트럼적 구조를 가질 수 있는가?
• RQ4 유한체의 유한차원 담비 확장에 대해 안정적 대수적 $G$-이론이 대수적 $K$-이론과 탑오그래픽 순환 호모로지와 어떻게 관련되는가?
• RQ5 $\mathbb{F}_p[x]/x^{p^n}$의 연결 안정적 $G$-이론 스펙트럼은 복소 구조를 가질 수 있는가?

주요 결과

• 상대적 안정 동치를 $E$-안정 동치로, 코프라비션을 $F$-단사로 정의한 월드하우젠 범주적 구조는 포화성 및 확장 공리를 만족한다.
• 모든 객체가 $F$-단사 사상을 통해 $E$-프로젝티브 객체로 유일하게 포함될 수 있을 때에만 실수적 구조가 존재하며, 이는 일반화된 쿼티-프로베니우스 조건이다.
• 유한체 위의 유한차원 쿼티-프로베니우스 대수 $R$에 대해, 유한생성 $R$-모듈의 범주는 단사 사상으로 코프라비션, 안정 동치로 약한 동치를 갖는 월드하우젠 구조를 가진다.
• 유한체 위의 $A = \mathbb{F}_p[x]/x^{p^n}$에 대해 안정적 $G$-이론은 $(G_{st})_0(A) \cong \mathbb{Z}/p^n\mathbb{Z}$를 만족하며, 이는 잔여체 $k$의 클래스에 의해 생성된다.
• 모든 양의 정수 $m$에 대해 $(G_{st})_{2m}(A) \cong TC_{2m-1}(A;\hat{\mathbb{Z}}_p) \cong \mathbb{W}_{mp^n-1}(k)/V_{p^n}\mathbb{W}_{m-1}(k)$이며, 여기서 $\mathbb{W}_i(k)$는 큰 위트 벡터의 $i$-번째 필터링 몫이다.
• 안정적 $G$-이론 스펙트럼 $g_{st}(A)$는 아티야-히르체브루흐 스펙트럼 열에서 $BU(1)$의 단위 사상이 전사임을 보여, 복소 구조를 가짐을 입증한다.