The Grothendieck Construction of Bipermutative-Indexed Categories and Pseudo Symmetric Inverse K-Theory

TL;DR

This paper explores the Grothendieck construction over bipermutative categories, revealing its pseudo symmetric properties and implications for inverse K-theory and E-infinity-algebras.

Contribution

It demonstrates that the Grothendieck construction over bipermutative categories is a pseudo symmetric Cat-multifunctor, not symmetric, impacting the structure preservation in inverse K-theory.

Findings

Inverse K-theory is a pseudo symmetric Cat-multifunctor.

Inverse K-theory preserves pseudo symmetric E-infinity-algebras.

The Grothendieck construction over bipermutative categories is generally not symmetric.

Abstract

The Grothendieck construction is a fundamental link between indexed categories and opfibrations. This work is a detailed study of the Grothendieck construction over a small tight bipermutative category in the context of Cat-enriched multicategories, with applications to inverse K-theory and pseudo symmetric E-infinity-algebras. The ordinary Grothendieck construction over a small category C is a 2-equivalence that sends a C-indexed category to an opfibration over C. We show that the Grothendieck construction over a small tight bipermutative category D is a pseudo symmetric Cat-multifunctor that is generally not a Cat-multifunctor in the symmetric sense. When the projection to D is taken into account, we prove that the Grothendieck construction over D lifts to a non-symmetric Cat-multiequivalence whose codomain is a non-symmetric Cat-multicategory with small permutative opfibrations over D as objects. As applications we show that inverse K-theory, from Gamma-categories to small permutative categories, is a pseudo symmetric Cat-multifunctor but not a Cat-multifunctor in the symmetric sense. It follows that inverse K-theory preserves algebraic structures parametrized by non-symmetric and pseudo symmetric Cat-multifunctors but not Cat-multifunctors in general. As a special case, we observe that inverse K-theory sends pseudo symmetric E-infinity-algebras in Gamma-categories to pseudo symmetric E-infinity-algebras in small permutative categories.