Calmes, Baptiste and Dotto, Emanuele and Harpaz, Yonatan and Hebestreit, Fabian and Land, Markus and Moi, Kristian and Nardin, Denis and Nikolaus, Thomas and Steimle, Wolfgang (2023) Hermitian K-theory for stable ∞-categories I: Foundations. SELECTA MATHEMATICA-NEW SERIES, 29 (1): 10. ISSN 1022-1824, 1420-9020
Full text not available from this repository. (Request a copy)Abstract
This paper is the first in a series in which we offer a new framework for hermitian K-theory in the realm of stable infinity-categories. Our perspective yields solutions to a variety of classical problems involving Grothendieck-Witt groups of rings and clarifies the behaviour of these invariants when 2 is not invertible. In the present article we lay the foundations of our approach by considering Lurie's notion of a Poincare infinity-category, which permits an abstract counterpart of unimodular forms called Poincare objects. We analyse the special cases of hyperbolic and metabolic Poincare objects, and establish a version of Ranicki's algebraic Thom construction. For derived infinity-categories of rings, we classify all Poincare structures and study in detail the process of deriving them from classical input, thereby locating the usual setting of forms over rings within our framework. We also develop the example of visible Poincare structures on infinity-categories of parametrised spectra, recovering the visible signature of a Poincare duality space. We conduct a thorough investigation of the global structural properties of Poincare infinity-categories, showing in particular that they form a bicomplete, closed symmetric monoidal infinity-category. We also study the process of tensoring and cotensoring a Poincare infinity-category over a finite simplicial complex, a construction featuring prominently in the definition of the L- and Grothendieck-Witt spectra that we consider in the next instalment. Finally, we define already here the 0th Grothendieck-Witt group of a Poincare infinity-category using generators and relations. We extract its basic properties, relating it in particular to the 0th L- and algebraic K-groups, a relation upgraded in the second instalment to a fibre sequence of spectra which plays a key role in our applications.
| Item Type: | Article |
|---|---|
| Uncontrolled Keywords: | CONJECTURES; FUNCTORS; FORMS; |
| Subjects: | 500 Science > 510 Mathematics |
| Divisions: | Mathematics |
| Depositing User: | Dr. Gernot Deinzer |
| Date Deposited: | 19 Mar 2024 10:50 |
| Last Modified: | 19 Mar 2024 10:50 |
| URI: | https://pred.uni-regensburg.de/id/eprint/60351 |
Actions (login required)
 |
View Item |
