Skip to main content

Abstracts for Abstract Homotopy Theory Seminar

Alternatively have a look at the program.

Categorical Ambidexterity

Posted in
Speaker: 
Shay Ben Moshe
Zugehörigkeit: 
MPIM
Datum: 
Die, 12/05/2026 - 11:00 - 12:30
Location: 
MPIM Seminar Room

Limits of ∞-categories are usually much easier to compute than colimits. Nevertheless, in Pr^L, limits and colimits indexed by a space coincide as proven by Lurie. Harpaz has shown a similar phenomenon for ∞-categories with π-finite colimits, which plays an important role in the theory of higher semiadditivity. In this talk, I will explain a common generalization of these results. Surprisingly, the proof will make use of the (∞,3)-category of iterated spans, and its universal property due to Stefanich, which encodes such ambidexterity phenomena in a coherent fashion.

The Oriented Freudenthal Suspension Theorem

Posted in
Speaker: 
Thorger Geiß
Zugehörigkeit: 
Universität Münster
Datum: 
Die, 26/05/2026 - 11:00 - 12:30
Location: 
MPIM Seminar Room

he classical Freudenthal Suspension Theorem is the statement that, given a space X, the connectivity of the unit map X -> ΩΣX of the loop-suspension adjunction is (roughly) twice the connectivity of X. In this talk, I will discuss the setting of oriented (or directed) homotopy theory, in which spaces are replaced by higher, i.e. (∞,ω)-, categories and the cartesian product by the Gray tensor product, and generalize the Freudenthal Suspension Theorem in this context. This gives, in particular, evidence for a yet-elusive "oriented topos theory".

Higher categories as directed spaces

Posted in
Speaker: 
Hadrian Heine
Zugehörigkeit: 
MPIM
Datum: 
Die, 23/06/2026 - 11:00 - 12:00
Location: 
MPIM Seminar Room

We describe a geometric and homotopical perspective on higher categories: higher categories are built by iterated attachment of directed cells in the spirit of CW-complexes and admit Postnikov towers giving rise to homotopy posets. These carry the obstruction classes controlling extensions from one skeleton to the next. The associated graded is given by wedges of spheres and directed spheres, leading to stabilization phenomena and categorical analogues of Freudenthal suspension. 
This is joint work with David Gepner.

 

 

[Abstract homotopy theory seminar] Computing cohomology of differentiable stacks

Posted in
Speaker: 
Annika Kraasch-Tarnowsky
Zugehörigkeit: 
MPIM
Datum: 
Die, 30/06/2026 - 11:00 - 12:30
Location: 
MPIM Seminar Room

The notion of a differentiable stack in geometry can be used to study objects such as orbifolds, moduli spaces or classifying spaces, which despite not being manifolds carry similar differential geometric information. Examples in particular include quotients of manifolds by a Lie group action. These objects are closely related to equivariant cohomology, a cohomology theory on such manifolds with group actions that has many applications in different areas of mathematics and physics. It can be seen as a special case of the cohomology of differentiable stacks.

Higher Hopf algebras

Posted in
Speaker: 
Ralph Kaufmann
Zugehörigkeit: 
Purdue/z. Z. MPIM
Datum: 
Die, 11/08/2026 - 11:00 - 12:30
Location: 
MPIM Seminar Room

Together with Galvez-Carilllo and Tonks we established that every simplicial set yields a bi-algebra, whose cubical structure can be understood via the category of simplicial strings, aka. necklaces, using Joyal duality. The reason for the existence is the fact that simplices form an operad and after dualization give a co-operad with multiplication which is the correct input for the GCKT machine.

Derived operadic centers in deformation quantization

Posted in
Speaker: 
Sonja Farr
Zugehörigkeit: 
MPIM
Datum: 
Die, 25/08/2026 - 11:00 - 12:30
Location: 
MPIM Seminar Room

It is well known that Hochschild cohomology and, in particular, the algebraic structure it carries, plays a central role in studying the infinitesimal noncommutative deformations of geometric spaces. We construct a canonical solution to Deligne’s conjecture for Hochschild cochains on a scheme, even for the singular case, by exhibiting the Hochschild complex as an ∞-operadic center.

Group-completion K-theory via Waldhausen categories

Posted in
Speaker: 
Maxine Calle
Zugehörigkeit: 
Universität Bonn
Datum: 
Die, 22/09/2026 - 11:00 - 12:30
Location: 
MPIM Seminar Room

There are various constructions of higher algebraic K-theory that are applicable to different kinds of categorical inputs, and these constructions agree in many settings — most notably, for the algebraic K-theory of a ring. In this talk we will discuss a new, general comparison between Waldhausen’s S-dot construction and Segal’s group completion K-theory for symmetric monoidal categories: given any symmetric monoidal category, we construct a Waldhausen category with an equivalent K-theory spectrum.

© MPI f. Mathematik, Bonn Impressum & Datenschutz
-A A +A