A number of the Topology Seminar talks in Semester 1 were given by internal speakers and based around a paper on arXiv.
Abstract: We describe a generalization of Gabriel and Zisman's Calculus of Fractions to quasicategories, showing that the two essentially coincide for the nerve of a category. We then prove that the marked Ex-functor can be used to compute the localization of a marked quasicategory satisfying our condition and that the appropriate (co)completeness properties of the quasicategory carry over to its localization. (https://arxiv.org/abs/2306.02218)
The work of Poirier, Tradler and Wilson introduces a notion of 'Massey inner product', which is a variant of the classical notion of Massey products to situations where we have an A_infinity algebra, an A_infinity module over it, and a kind of inner product on that module. They claim this can detect nontriviality of links in situations where ordinary Massey products can't.
I'll give some background on A_infinity algebras and Massey products and then report on my (only partly successful) attempts to understand the paper. (https://arxiv.org/abs/2507.15494)
I will give an introduction to Pstragowski's theory of synthetic spectra. (https://arxiv.org/abs/1803.01804)
I will give an overview of this paper, with an emphasis on the idea that purity implies formality. I will review these notions, starting in the classical setting of cdgas and then moving on to a filtered and functorial version which is a key ingredient of the paper. This involves spectral sequences and decalage. (https://arxiv.org/abs/2501.03726)
Koszul duality is a fundamental relationship between algebras over an operad and coalgebras over the bar construction on that operad, which naturally manifests itself as an adjunction between the corresponding infinity-categories. Francis-Gaitsgory conjectured subcategories on which this adjunction restricts to an equivalence. In this talk I will explain a disproof of the conjecture due to Gijs Heuts and explain a "corrected" version along with some applications. No familiarity with operads in a homotopy coherent setting will be assumed. All of this talk is based on https://www.arxiv.org/pdf/2408.06173.