This Transalpine Topology Tetrahedron (TTT) -International Meeting at the Pavia Vertex is partially funded by the INdAM- GNSAGA grant CUP E53C24001950001, the Dipartimento di Matematica ‘Felice Casorati’ of the University of Pavia and the London Mathematical Society (LMS).
Nicholas Meadows (University of Bologna)
Paul Arne Østvær (University of Milan)
Simona Paoli (University of Aberdeen)
Schedule
All talks will take place in Aula Beltrami of the Dipartimento di Matematica ‘Felice Casorati’, Università di Pavia and online streaming via ZOOM. All times are in CEST.
Join Zoom Meeting https://unipv-it.zoom.us/j/94344875868
Meeting ID: 943 4487 5868
10:15 - 11:15 Simona Paoli (University of Aberdeen)
A higher categorical approach to the André-Quillen cohomology of an
(∞, 1)-Category
11:30 - 12:30 Nicholas Meadows (University of Bologna)
Andrè-Quillen Cohomology and the k-Invariants of Simplicial Categories
12:30 Lunch Break
15:00 – 16:00 Luigi Caputi (University of Bologna)
The weak categorical quiver minor theorem and its applications
16:00 Coffee Break
16:30 – 17:30 Paul Arne Østvær (University of Milano and University of Oslo)
Motivic K-theory
19:00 Dinner at local restaurant
Speaker: Luigi Caputi (University of Bologna)
Title: The weak categorical quiver minor theorem and its applications
Abstract: The aim of the talk is to describe the weak categorical quiver minor theorem. We will introduce the framework of quasi-Groebner categories, as developed by Sam and Snowden, and use it to study structural properties (e.g. bound on ranks and order of torsion) of graph homologies, in the spirit of Miyata, Proudfoot and Ramos. More specifically, we will focus on magnitude (co)homology, as introduced by Hepworth and Willerton, and we will show that magnitude cohomology yields finitely generated functors on the category of directed graphs with bounded genus. Then, we will discuss some main applications. This is joint work with Carlo Collari and Eric Ramos.
Speaker: Nicholas Meadows (University of Bologna)
Title: Andrè-Quillen Cohomology and the k-Invariants of Simplicial Categories
Abstract: Spaces, and more generally infinity-categories, have a canonical decomposition into simpler pieces known as Postnikov sections, which are glued together by their k-invariants. For an $\infty$-category X, these take value in the spectral Andre-Quillen cohomology of Harpaz, Nuiten, and Prasma. By pulling these k-invariants back to diagrams inside X, one obtains a series of obstructions to lifting the diagram to successive stages in the Postnikov tower.
In this talk, we will show how various constructions in algebraic topology, such as differentials in spectral sequences and cohomology operations, can be viewed as obstructions to extending cubical diagrams in the infinity category of spaces. Motivated by this, we will also show that there exists a canonical cubical decomposition of the spectral Andre-Quillen cohomology. Joint work with David Blanc.
Speaker: Paul Arne Østvær (University of Milano and University of Oslo)
Title: Motivic K-theory
Abstract: We will discuss definitions and properties of motivic K-theory of motivic ring spectra. Joint work with Hadrian Heine.
Speaker: Simona Paoli (University of Aberdeen)
Title: A higher categorical approach to the André-Quillen cohomology of an (∞, 1)-Category
Abstract: Simplicial categories, that is categories enriched in simplicial sets, are a model of (∞, 1)-categories. Their André-Quillen cohomology, originally introduced by Dwyer, Kan and Smith [DKS], was later re-interpreted and extended by Harpaz, Nuiten and Prasma [HNP1]. The André-Quillen cohomology of a simplicial category can be used to describe its k-invariants which in turn contain various higher homotopy information and in particular yield an obstruction theory for realizing homotopy-commutative diagrams [DKS]. Our aim is to give an algebraic, elementary and explicit approach to the André-Quillen cohomology of simplicial categories using the tools of higher category theory.
For this purpose, we first observe that in order to study the nth André-Quillen cohomology group of a simplicial category, it suffices to look at simplicial categories that are n-truncated, that is they are enriched in n-types. This has the advantage that we can use one of the algebraic models of n-types from higher category theory to produce an algebraic replacement for the nth Postnikov truncation of a simplicial category. We choose to use the category of groupoidal weakly globular n-fold categories arising within Paoli's model of weak n-categories [Pa3]. This category is a model of n-types with a cartesian monoidal structure. Further, every n-type can be modelled by a weakly globular n-fold groupoid, that is an object of the full subcategory of weakly globular n-fold groupoids [BP2], which is more convenient algebraically. Our model for the nth Postnikov truncation of a simplicial category is a category enriched in weakly globular n-fold groupoids with respect to the cartesian monoidal structure. We call the latter an n-track category. Using the n-fold nature of our model, we iteratively build a comonad on n-track categories. Using this comonad we then obtain an explicit cosimplicial abelian group model for the André-Quillen cohomology of an (∞, 1)-category. This is joint work with David Blanc [BP4].
References:
[BP2] D. Blanc & S. Paoli, Segal-type algebraic models of n-types, Algebraic & Geometric Topology 14 (2014), pp. 3419-3491.
[BP4] D. Blanc & S. Paoli, A Model for the André-Quillen Cohomology of an (∞, 1)-Category, preprint arXiv:2405.12674v2, 2024.
[DKS] W.G. Dwyer, D.M. Kan, J. H. Smith An obstruction theory for diagrams of simplicial categories, Proc.Kon. Ned. Akad. Wet. - Ind. Math. 48 (1986), pp. 153-161.
[HNP1] Y. Harpaz, J. Nuiten, & M. Prasma, The abstract cotangent complex and Quillen cohomology of enriched categories, J. Topology 11 (2018), 752-798.
[Pa3] S. Paoli, Simplicial Methods for Higher Categories: Segal-type models of weak n-categories, 'Algebra and Applications', Springer, Berlin-New York, 2019.
Many thanks to Frank Neumann for organising TTT122.