-
Ramification and descent in homotopy theory and derived algebraic geometry
Authors:
John D. Berman
Abstract:
We introduce notions of unramified and totally ramified maps in great generality - for commutative rings, schemes, ring spectra, or derived schemes. We prove that the definition is equivalent to the classical definition in the case of rings of integers in number fields.
The new definition leads directly (without computational techniques) to a calculation of topological Hochschild homology for ri…
▽ More
We introduce notions of unramified and totally ramified maps in great generality - for commutative rings, schemes, ring spectra, or derived schemes. We prove that the definition is equivalent to the classical definition in the case of rings of integers in number fields.
The new definition leads directly (without computational techniques) to a calculation of topological Hochschild homology for rings of integers. We show that THH(R) is the homotopy cofiber of a map $R[ΩS^3]\otimes_RΩ^1_{R/\mathbb{Z}}\to R[ΩS^3\langle 3\rangle]$, so there is a long exact sequence $\cdots\to H_\ast(ΩS^3;Ω^1_{R/\mathbb{Z}})\to H_\ast(ΩS^3\langle 3\rangle;R)\to THH_\ast(R)\to\cdots$.
Any time an extension Y/X is a composite of unramified and totally ramified extensions, our results allow for the study of THH(X) in terms of THH(Y) by a kind of weak etale descent (ramified descent).
△ Less
Submitted 29 December, 2021;
originally announced December 2021.
-
Enriched infinity categories I: enriched presheaves
Authors:
John D. Berman
Abstract:
This is the first of a series of papers on enriched infinity categories, seeking to reduce enriched higher category theory to the higher algebra of presentable infinity categories, which is better understood and can be approached via universal properties.
In this paper, we introduce enriched presheaves on an enriched infinity category. We prove analogues of most familiar properties of presheaves…
▽ More
This is the first of a series of papers on enriched infinity categories, seeking to reduce enriched higher category theory to the higher algebra of presentable infinity categories, which is better understood and can be approached via universal properties.
In this paper, we introduce enriched presheaves on an enriched infinity category. We prove analogues of most familiar properties of presheaves. For example, we compute limits and colimits of presheaves, prove that all presheaves are colimits of representable presheaves, and prove a version of the Yoneda lemma.
△ Less
Submitted 25 August, 2020;
originally announced August 2020.
-
On lax limits in infinity categories
Authors:
John D. Berman
Abstract:
We introduce partially lax limits of infinity-categories, which interpolate between ordinary limits and lax limits. Most naturally occurring examples of lax limits are only partially lax; we give examples arising from enriched categories and operads. Our main result is a formula for partially lax limits and colimits in terms of the Grothendieck construction. This generalizes a formula of Lurie for…
▽ More
We introduce partially lax limits of infinity-categories, which interpolate between ordinary limits and lax limits. Most naturally occurring examples of lax limits are only partially lax; we give examples arising from enriched categories and operads. Our main result is a formula for partially lax limits and colimits in terms of the Grothendieck construction. This generalizes a formula of Lurie for ordinary limits and of Gepner-Haugseng-Nikolaus for fully lax limits.
△ Less
Submitted 18 June, 2020;
originally announced June 2020.
-
THH and traces of enriched categories
Authors:
John D. Berman
Abstract:
We prove that topological Hochschild homology (THH) arises from a presheaf of circles on a certain combinatorial category, which gives a universal construction of THH for any enriched infinity category.
Our results rely crucially on an elementary, model-independent framework for enriched higher category theory, which may be of independent interest.
We prove that topological Hochschild homology (THH) arises from a presheaf of circles on a certain combinatorial category, which gives a universal construction of THH for any enriched infinity category.
Our results rely crucially on an elementary, model-independent framework for enriched higher category theory, which may be of independent interest.
△ Less
Submitted 4 November, 2019;
originally announced November 2019.
-
Higher Lawvere theories
Authors:
John D. Berman
Abstract:
We survey Lawvere theories at the level of infinity categories, as an alternative framework for higher algebra (rather than infinity operads). From a pedagogical perspective, they make many key definitions and constructions less technical. They are also better-suited than operads for equivariant homotopy theory and its relatives.
Our main result establishes a universal property for the infinity…
▽ More
We survey Lawvere theories at the level of infinity categories, as an alternative framework for higher algebra (rather than infinity operads). From a pedagogical perspective, they make many key definitions and constructions less technical. They are also better-suited than operads for equivariant homotopy theory and its relatives.
Our main result establishes a universal property for the infinity category of Lawvere theories, which completely characterizes the relationship between a Lawvere theory and its infinity category of models. Many familiar properties of Lawvere theories follow directly.
As a consequence, we prove that the Burnside category is a classifying object for additive categories, as promised in an earlier paper, and as part of a more general correspondence between enriched Lawvere theories and module Lawvere theories.
△ Less
Submitted 7 March, 2019;
originally announced March 2019.
-
Euler characteristic and homotopy cardinality
Authors:
John D. Berman
Abstract:
Baez asks whether the Euler characteristic (defined for spaces with finite homology) can be reconciled with the homotopy cardinality (defined for spaces with finite homotopy). We consider the smallest infinity category $\text{Top}^\text{rx}$ containing both these classes of spaces and closed under homotopy pushout squares. In our main result, we compute the K-theory $K_0(\text{Top}^\text{rx})$, wh…
▽ More
Baez asks whether the Euler characteristic (defined for spaces with finite homology) can be reconciled with the homotopy cardinality (defined for spaces with finite homotopy). We consider the smallest infinity category $\text{Top}^\text{rx}$ containing both these classes of spaces and closed under homotopy pushout squares. In our main result, we compute the K-theory $K_0(\text{Top}^\text{rx})$, which is freely generated by equivalence classes of connected p-finite spaces, as p ranges over all primes. This provides a negative answer to Baez's question globally, but a positive answer when we restrict attention to a prime.
△ Less
Submitted 28 June, 2019; v1 submitted 18 November, 2018;
originally announced November 2018.
-
Euler Characteristics of Finite Homotopy Colimits
Authors:
John D. Berman
Abstract:
In this short note, we provide a calculation of the Euler characteristic of a finite homotopy colimit of finite cell complexes, which depends only on the Euler characteristics of each space and resembles Mobius inversion. Versions of the result are known when the colimit is indexed by a finite category, but the behavior is more uniform when we index by finite quasicategories instead. The formula s…
▽ More
In this short note, we provide a calculation of the Euler characteristic of a finite homotopy colimit of finite cell complexes, which depends only on the Euler characteristics of each space and resembles Mobius inversion. Versions of the result are known when the colimit is indexed by a finite category, but the behavior is more uniform when we index by finite quasicategories instead. The formula simultaneously generalizes the additive formula for Euler characteristic of a homotopy pushout and the multiplicative formula for Euler characteristic of a fiber bundle.
△ Less
Submitted 6 November, 2018;
originally announced November 2018.
-
Singular dynamics in the failure of soft adhesive contacts
Authors:
Justin D. Berman,
Manjari Randeria,
Robert W. Style,
Qin Xu,
James R. Nichols,
Aidan J. Duncan,
Michael Loewenberg,
Eric R. Dufresne,
Katharine E. Jensen
Abstract:
We characterize the mechanical recovery of compliant silicone gels following adhesive contact failure. We establish broad, stable adhesive contacts between rigid microspheres and soft gels, then stretch the gels to large deformations by pulling quasi-statically on the contact. Eventually, the adhesive contact begins to fail, and ultimately slides to a final contact point on the bottom of the spher…
▽ More
We characterize the mechanical recovery of compliant silicone gels following adhesive contact failure. We establish broad, stable adhesive contacts between rigid microspheres and soft gels, then stretch the gels to large deformations by pulling quasi-statically on the contact. Eventually, the adhesive contact begins to fail, and ultimately slides to a final contact point on the bottom of the sphere. Immediately after detachment, the gel recoils quickly with a self-similar surface profile that evolves as a power law in time, suggesting that the adhesive detachment point is singular. The singular dynamics we observe are consistent with a relaxation process driven by surface stress and slowed by viscous flow through the porous, elastic network of the gel. Our results emphasize the importance of accounting for both the liquid and solid phases of gels in understanding their mechanics, especially under extreme deformation.
△ Less
Submitted 11 October, 2018;
originally announced October 2018.
-
Categorified algebra and equivariant homotopy theory
Authors:
John D. Berman
Abstract:
This dissertation comprises three collections of results, all united by a common theme. The theme is the study of categories via algebraic techniques, considering categories themselves as algebraic objects. This algebraic approach to category theory is central to noncommutative algebraic geometry, as realized by recent advances in the study of noncommutative motives.
We have success proving alge…
▽ More
This dissertation comprises three collections of results, all united by a common theme. The theme is the study of categories via algebraic techniques, considering categories themselves as algebraic objects. This algebraic approach to category theory is central to noncommutative algebraic geometry, as realized by recent advances in the study of noncommutative motives.
We have success proving algebraic results in the general setting of symmetric monoidal and semiring $\infty$-categories, which categorify abelian groups and rings, respectively. For example, we prove that modules over the semiring category Fin of finite sets are cocartesian monoidal $\infty$-categories, and modules over Burn (the Burnside $\infty$-category) are additive $\infty$-categories.
As a consequence, we can regard Lawvere theories as cyclic $\text{Fin}^\text{op}$-modules, leading to algebraic foundations for the higher categorical study of Lawvere theories. We prove that Lawvere theories function as a home for an algebraic Yoneda lemma.
Finally, we provide evidence for a formal duality between naive and genuine equivariant homotopy theory, in the form of a group-theoretic Eilenberg-Watts Theorem. This sets up a parallel between equivariant homotopy theory and motivic homotopy theory, where Burnside constructions are analogous to Morita theory. We conjecture that this relationship could be made precise within the context of noncommutative motives over the field with one element.
△ Less
Submitted 22 May, 2018;
originally announced May 2018.
-
On the Commutative Algebra of Categories
Authors:
John D. Berman
Abstract:
We discuss what it means for a symmetric monoidal category to be a module over a commutative semiring category. Each of the categories of (1) cartesian monoidal categories, (2) semiadditive categories, and (3) connective spectra can be recovered in this way as categories of modules over a commutative semiring category (or $\infty$-category in the last case). This language provides a simultaneous g…
▽ More
We discuss what it means for a symmetric monoidal category to be a module over a commutative semiring category. Each of the categories of (1) cartesian monoidal categories, (2) semiadditive categories, and (3) connective spectra can be recovered in this way as categories of modules over a commutative semiring category (or $\infty$-category in the last case). This language provides a simultaneous generalization of the formalism of algebraic theories (operads, PROPs, Lawvere theories) and stable homotopy theory, with essentially a variant of algebraic K-theory bridging between the two.
△ Less
Submitted 22 May, 2018; v1 submitted 17 June, 2016;
originally announced June 2016.