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
Saul Glasman
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
13works
5topics
4close collaborators
Published work
13 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
Stable power operations
For any E∞ ring spectrum E, we show that there is an algebra Pow(E) of stable power operations that acts naturally on the underlying spectrum of any E-algebra. Further, we show that there are maps of rings E→Pow(E)→End(E), where the latter determines a restriction from power operations to stable operations in the cohomology of spaces. In the case where E is the mod-p Eilenberg-Mac Lane spectrum, this realizes a natural quotient from Mandell's algebra of generalized Steenrod operations to the mod-p Steenrod algebra. More generally, this arises as part of a classification of endomorphisms of representable functors from an ∞-category C to spectra, with particular attention to the case where C is an O-monoidal ∞-category.
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
Day convolution for infinity-categories
Given symmetric monoidal infinity-categories C and D, subject to mild hypotheses on D, we define an infinity-categorical analog of the Day convolution symmetric monoidal structure on the functor category Fun(C, D). An E_infinity monoid for the Day convolution product is a lax monoidal functor from C to D.
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
preprint2015arXiv
A spectrum-level Hodge filtration on topological Hochschild homology
We define a functorial spectrum-level filtration on the topological Hochschild homology of any commutative ring spectrum R, and more generally the factorization homology R⊗X for any space X, echoing algebraic constructions of Loday and Pirashvili. We investigate the properties of this filtration and show that it breaks THH up into common eigenspectra of the Adams operations.
Open access
preprint2014arXiv
A note on commutative algebras and their modules in quasicategories
We define a convenient ∞-operad parametrizing modules over commutative algebras in ∞-categories.
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
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.