Preserving Algebraic Structures on Exact Infinity-Categories with the K-Theory Functor
CSEF · 2015 Mathematics & Software First Award
Overview
Objectives/Goals The objective of this project is to establish the foundations for a new perspective on the algebraic K-theory of exact quasicategories, so as to allow for a simpler way to approach multiple problems involving the existence and preservation of algebraic structures. Methods/Materials The theory of quasicategories and quasioperads was used extensively. The classical perspectives on K-theory was used as a motivation for laying the foundation for a new perspective on the algebraic K-theory of exact quasicategories. The methods of simplicial homotopy theory and category theory were instrumental in proving our main results. Results The classical interpretation on the K-theory of an exact quasicategory is as a spectrum. My idea was to view these objects not as spectra, but rather as stable quasicategories. This shift in perspective allowed me to show that the K-theory functor respects module structures, and can be used to develop a homotopical derived Morita theory for algebras in quasioperads, which, in turn, allowed for the comparison of the K-theories of different exact quasicategories. Conclusions/Discussion My interpretation of K-theory as a stable quasicategory allows for multiple problems to be simplified. The main calculation shows that K-theory is a very good "algebraic functor" because it preserves module structures, thus, giving rise to a new derived Morita theory. This main calculation also has applications to a theory of quasi-n-operads, which I plan to explore in the near future.
Summary statement
In this project, I describe, how viewing the K-theory of an exact quasicategory as a stable quasicategory (and not as a spectrum) can be beneficial to the study of homotopical algebra.
Awards (1)
Competition history
- CSEF 2015
Resources
Related projects
ISEF · 2015
Preserving Algebraic Structures on Exact Infinity: Categories with the K-theory Functor
CSEF · 2016
The Algebra and Geometry of Quasicategories
ISEF · 2016
The Algebra and Geometry of Quasicategories
ISEF · 2023
Pointed Fusion Categories Over Non-Algebraically Closed Fields
ISEF · 2017
The Homotopy Theory of Parametrized Objects
ISEF · 2014
On the Lower Central Series of PI-algebras
ISEF · 2014
Cohomology of Finite Groups without Homological Algebra
CSEF · 2015
Fuzzy Structures with Application to Differential Topology, Manifold Learning, and Specialized Concepts
Closest projects by meaning, across every fair and year in the corpus.
Browse more like this
Source: California Science & Engineering Fair public projects