K-theory and polynomial functors
We show that the algebraic K-theory space of stable infinity-categories is canonically functorial in polynomial functors. As a consequence, we obtain a new proof of Bökstedt's calculation of .
Source author record
Clark Barwick
Explore this author’s publications, collaborators and research topics. This catalog record has not been claimed by its author.
ResearcherUnclaimed source record
Catalog footprint
Research overview
12works
5topics
4close collaborators
Published work
12 publications
preprint2020arXiv
Exodromy
Let X be a quasicompact quasiseparated scheme. Write Gal(X) for the category whose objects are geometric points of X and whose morphisms are specializations in the étale topology. We define a natural profinite topology on the category Gal(X) that globalizes the topologies of the absolute Galois groups of the residue fields of the points of X. One of the main results of this book is that Gal(X) variant of MacPherson's exit-path category suitable for the étale topology: we construct an equivalence between representations of Gal(X) and constructible sheaves on X. We show that this 'exodromy equivalence' holds with nonabelian coefficients and with finite abelian coefficients. More generally, by using the pyknotic/condensed formalism, we extend this equivalence to coefficients in the category of modules over profinite rings and algebraic extensions of Qℓ. As an 'exit-path category', the topological category Gal(X) also gives rise to a new, concrete description of the étale homotopy type of X. We also prove a higher categorical form of Hochster Duality, which reconstructs the entire étale topos of a quasicompact and quasiseparated scheme from the topological category Gal(X). Appealing to Voevodsky's proof of a conjecture of Grothendieck, we prove the following reconstruction theorem for normal varieties over a finitely generated field k of characteristic 0: the functor X↦Gal(X) from normal k-varieties to topological categories with an action of Gk and equivariant functors that preserve minimal objects is fully faithful.
Open access
preprint2020arXiv
On the Unicity of the Homotopy Theory of Higher Categories
We axiomatise the theory of (∞,n)-categories. We prove that the space of theories of (∞,n)-categories is a B(Z/2)n. We prove that Rezk's complete Segal Θn-spaces, Simpson and Tamsamani's Segal n-categories, the first author's n-fold complete Segal spaces, Kan and the first author's n-relative categories, and complete Segal space objects in any model of (∞,n−1)-categories all satisfy our axioms. Consequently, these theories are all equivalent in a manner that is unique up to the action of (Z/2)n.
Open access
preprint2016arXiv
A note on stable recollements
In this short étude, we observe that the full structure of a recollement on a stable infinity-category can be reconstructed from minimal data: that of a reflective and coreflective full subcategory. The situation has more symmetry than one would expect at a glance. We end with a practical lemma on gluing equivalences along a recollement.
Open access
preprint2016arXiv
Categorifying rationalization
We solve a problem proposed by Khovanov by constructing, for any set of primes S, a triangulated category (in fact a stable ∞-category) whose Grothendieck group is S−1Z. More generally, for any exact ∞-category E, we construct an exact ∞-category S−1E of equivariant sheaves on the Cantor space with respect to an action of a dense subgroup of the circle. We show that this ∞-category is precisely the result of categorifying division by the primes in S. In particular, Kn(S−1E)≅S−1Kn(E).
Open access
preprint2016arXiv
Cyclonic spectra, cyclotomic spectra, and a conjecture of Kaledin
With an explicit, algebraic indexing (2,1)-category, we develop an efficient homotopy theory of cyclonic objects: circle-equivariant objects relative to the family of finite subgroups. We construct an ∞-category of cyclotomic spectra as the homotopy fixed points of an action of the multiplicative monoid of the natural numbers on the category of cyclonic spectra. Finally, we elucidate and prove a conjecture of Kaledin on cyclotomic complexes.
Open access
preprint2016arXiv
Fibrations in ∞-category theory
In this short expository note, we discuss, with plenty of examples, the bestiary of fibrations in quasicategory theory. We underscore the simplicity and clarity of the constructions these fibrations make available to end-users of higher category theory.
Open access
preprint2016arXiv
On the fibrewise effective Burnside ∞-category
Effective Burnside ∞-categories are the centerpiece of the ∞-categorical approach to equivariant stable homotopy theory. In this étude, we recall the construction of the twisted arrow ∞-category, and we give a new proof that it is an ∞-category, using an extremely helpful modification of an argument due to Joyal--Tierney. The twisted arrow ∞-category is in turn used to construct the effective Burnside ∞-category. We employ a variation on this theme to construct a fibrewise effective Burnside ∞-category. To show that this constuctionworks fibrewise, we introduce a fragment of a theory of what we call marbled simplicial sets, and we use a yet further modified form of the Joyal--Tierney argument.
Open access
preprint2016arXiv
Parametrized higher category theory and higher algebra: A general introduction
We introduce the study of parametrized higher category theory and parametrized higher algebra, and we describe the main theorems of the series of Exposés that make up the monograph.
Open access
preprint2016arXiv
Parametrized higher category theory and higher algebra: Exposé I -- Elements of parametrized higher category theory
We introduce the basic elements of the theory of parametrized ∞-categories and functors between them. These notions are defined as suitable fibrations of ∞-categories and functors between them. We give as many examples as we are able at this stage. Simple operations, such as the formation of opposites and the formation of functor ∞-categories, become slightly more involved in the parametrized setting, but we explain precisely how to perform these constructions. All of these constructions can be performed explicitly, without resorting to such acts of desperation as straightening. The key results of this Exposé are: (1) a universal characterization of the T-∞-category of T-objects in any ∞-category, (2) the existence of an internal Hom for T-∞-categories, and (3) a parametrized Yoneda lemma.
Open access
preprint2014arXiv
Dualizing cartesian and cocartesian fibrations
In this technical note, we proffer a very explicit construction of the "dual cocartesian fibration" p∨ of a cartesian fibration p, and we show they are classified by the same functor to Cat∞.
Open access
preprint2014arXiv
Regularity of structured ring spectra and localization in K-theory
We identify a regularity property for structured ring spectra, and with it we prove a natural analogue of Quillen's localization theorem for algebraic K-theory in this setting.
Open access
Research graph
See the researcher in context
Inspect adjacent papers, topics, institutions and collaborators without losing the researcher page.
Building this map preview
BZPEER is loading the nearby papers, people, topics and institutions for this page.