BZPEERReading, trust and collaboration for researchDiscover
Workspaces
Network
Opportunities
Account
Researcher profile
Saul Glasman contributes to research discovery and scholarly infrastructure.
Trust snapshot
Actions
Identity and collaboration
Claiming links this public author record to a researcher profile and unlocks direct collaboration workflows.
Log in to claimDirect collaboration
Claim this author entity first to unlock direct invitations.
Research graph
Inspect adjacent work, topics, institutions and collaborators without jumping out to a separate graph page.
BZPEER is loading the nearby papers, people, topics and institutions for this page.
Published work
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 $\mathrm{THH}(\mathbb{F}_p)$.
Let $X$ be a quasicompact quasiseparated scheme. Write $\operatorname{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 $\operatorname{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 $\operatorname{Gal}(X)$ variant of MacPherson's exit-path category suitable for the étale topology: we construct an equivalence between representations of $\operatorname{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 $\mathbf{Q}_{\ell}$. As an 'exit-path category', the topological category $\operatorname{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 $\operatorname{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\mapsto\operatorname{Gal}(X)$ from normal $ k $-varieties to topological categories with an action of $\operatorname{G}_{k}$ and equivariant functors that preserve minimal objects is fully faithful.
For any $E_\infty$ ring spectrum $E$, we show that there is an algebra $\mathrm{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 \to \mathrm{Pow}(E) \to \mathrm{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 $\infty$-category $\mathcal{C}$ to spectra, with particular attention to the case where $\mathcal{C}$ is an $\mathcal{O}$-monoidal $\infty$-category.
We solve a problem proposed by Khovanov by constructing, for any set of primes $S$, a triangulated category (in fact a stable $\infty$-category) whose Grothendieck group is $S^{-1}\mathbf{Z}$. More generally, for any exact $\infty$-category $E$, we construct an exact $\infty$-category $S^{-1}E$ of equivariant sheaves on the Cantor space with respect to an action of a dense subgroup of the circle. We show that this $\infty$-category is precisely the result of categorifying division by the primes in $S$. In particular, $K_n(S^{-1}E)\cong S^{-1}K_n(E)$.