skip to main content

Logic Seminar

Wednesday, December 2, 2020
12:00pm to 1:00pm
Add to Cal
Online Event
The definable content of homological invariants I: Ext(−,−)Ext⁡(−,−) and lim1(−)lim1⁡(−)
Aristotelis Panagiotopoulos, Institute for Mathematical Logic and Basic Research, University of Münster,

This is the first talk in a three-part series in which we illustrate how classical invariants of homological algebra and algebraic topology can be enriched with additional descriptive set-theoretic information.

In the first talk we will focus on the "definable enrichment" of the first derived functors of Hom(−,−)Hom⁡(−,−) and lim(−)lim⁡(−). We will show that the resulting "definable Ext(B,F)Ext⁡(B,F)" for pairs of countable abelian groups B,FB,F; and the "definable lim1(A)lim1⁡(A)" for towers AA of Polish abelian groups substantially refine their purely algebraic counterparts. In the process, we will develop an Ulam stability framework for quotients of Polish groups GG by Polishable subgroups HH and we will provide several rigidity results in the case where the ambient Polish group GG is abelian and non-archimedean. A special case of our rigidity results answers a question of Kanovei and Reeken regarding quotients of the pp-adic groups.

This is joint work with Jeffrey Bergfalk and Martino Lupini.

For more information, please contact Math Department by phone at 626-395-4335 or by email at [email protected].