Geometry and Topology
Speaker: Kensuke Arakawa (Kyoto University)
"On Pavlov's conjecture on presentably symmetric monoidal ∞-categories"
Time: 15:30 - 16:30
Room: MC 107
A classical result of Dugger and Lurie says that presentable ∞-categories are precisely the ∞-categories that underlie combinatorial model categories.
There are (at least) two generalizations of this result in the literature:
- A symmetric monoidal version of Dugger-Lurie's theorem: Presentably symmetric monoidal ∞-categories are exactly those that underlie combinatorial symmetric monoidal model categories (Nikolaus-Sagave, 2017).
- Lifting Dugger-Lurie's theorem to the level of entire homotopy theories: The homotopy theory of combinatorial model categories is equivalent to that of presentable ∞-categories (Pavlov, 2025).
As a natural meeting point of these directions, Pavlov conjectured that the homotopy theory of combinatorial symmetric monoidal model categories is equivalent to that of presentably symmetric monoidal ∞-categories. This would, for example, ensure the existence and uniqueness of (combinatorial) model-categorical presentations of important objects like spectra (with smash product) and operads (with the Boardman-Vogt tensor product).
In this talk, we will give an affirmative answer to this conjecture (and its monoidal version), explain the main ideas behind the proof, and sketch some applications to the theory of ∞-operads.
