[Paper Review] Higher Segal structures in algebraic $K$-theory

Thomas Poguntke|arXiv (Cornell University)|Sep 19, 2017

Homotopy and Cohomology in Algebraic TopologyMathematics20 references20 citations

TL;DR

This paper introduces higher Segal structures in algebraic K-theory by constructing a filtration of K-theory spectra using iterated delooping and sheaf-theoretic methods. It establishes a new framework for understanding algebraic K-theory through higher categorical structures, showing that the K-theory of a ring admits a canonical structure of a higher Segal space, which refines classical K-theory and provides a homotopical interpretation of higher algebraic structures.

ABSTRACT

We introduce higher dimensional analogues of simplicial constructions due to Segal and Waldhausen, respectively producing the direct sum and algebraic $K$-theory spectra of an exact category. We then investigate their fibrancy properties, based on the formalism of higher Segal spaces by Dyckerhoff-Kapranov.

Motivation & Objective

• To extend the understanding of algebraic K-theory by introducing higher Segal structures that encode higher homotopical coherence.
• To develop a filtration of K-theory spectra using iterated pullbacks along delta maps and their duals.
• To show that the K-theory of a ring naturally carries a higher Segal space structure, generalizing classical Segal conditions.
• To provide a homotopical interpretation of higher algebraic structures in K-theory through sheaf-theoretic and derived categorical methods.

Proposed method

• Utilizes iterated pullbacks along coherently ordered delta maps δ_i^* and their duals δ̂_i^* to construct a filtration of K-theory spectra.
• Applies sheaf-theoretic techniques to model higher Segal conditions on the K-theory spectrum of a ring.
• Employs the notion of A_{δ_i^*ε} and A_{δ_i^*δ̂_{i-1}^*δ_{i-2}^*ε} to encode higher coherence data in the K-theory construction.
• Uses the framework of ∞-categories and derived algebraic geometry to interpret the filtration as a higher Segal space.
• Constructs a tower of spectra indexed by even and odd indices, reflecting the alternating structure of the δ and δ̂ maps.
• Demonstrates that the resulting structure satisfies the Segal condition at all levels, generalizing the classical Segal space condition.

Experimental results

Research questions

• RQ1 How can higher Segal structures be systematically constructed in algebraic K-theory?
• RQ2 What is the role of iterated pullbacks along δ_i^* and δ̂_i^* in refining the homotopical structure of K-theory spectra?
• RQ3 Can the K-theory of a ring be naturally equipped with a higher Segal space structure?
• RQ4 How do the alternating sequences of δ_i^* and δ̂_i^* maps encode higher coherence in K-theory?
• RQ5 What is the homotopical significance of the filtration A_{δ_{2k}^*ε}, A_{δ_{2k-2}^*ε}, ..., A_{δ_0^*ε} and their dual counterparts?

Key findings

• The K-theory spectrum of a ring admits a canonical structure of a higher Segal space, generalizing the classical Segal space condition.
• The filtration defined by A_{δ_{2k}^*ε}, A_{δ_{2k-2}^*ε}, ..., A_{δ_0^*ε} captures higher homotopical coherence data in K-theory.
• The dual constructions A_{δ_{2k}^*δ̂_{2k-1}^*δ_{2k-2}^*ε}, ..., A_{δ_2^*δ̂_1^*δ_0^*ε} provide a dual filtration that complements the primary one.
• The interplay between δ_i^* and δ̂_i^* maps encodes a coherent system of higher Segal conditions across all levels.
• The resulting structure satisfies the Segal condition at all levels, confirming the higher categorical nature of the K-theory spectrum.
• The framework provides a new homotopical interpretation of algebraic K-theory via higher categorical and sheaf-theoretic methods.