The stable Andrews-Curtis conjecture remains one of the most notorious unsolved problems in group theory. It proposes that every balanced presentation of the trivial group can reduced to the standard presentation (with one generator and one relation) using a sequence of simple moves. In my talk, I will focus on group presentations that are ‘thickenable’, which means that their associated 2-complex embeds in a 3-manifold. For such presentations, the stable Andrews-Curtis conjecture is known to hold. In my talk, I will explain how one can also get an explicit exponential-type upper bound on the number of stable Andrews-Curtis moves that are required. This is in sharp contrast to what is known about non-thickenable presentations.

Deformation theory studies how varieties and other algebro-geometric objects vary in families. A central part of the subject is formal deformation theory, where one deforms over an Artinian base; such deformation problems are governed by Lie algebraic models. 

We pose the question of deforming varieties over nilpotent but not necessarily Artinian bases. These turn out to be classified by the same Lie algebraic models plus some topological structure. More precisely, we will consider partition Lie algebras in the category of ultrasolid modules, a variation of the solid modules of Clausen and Scholze that give a well-behaved category akin to topological modules.

To approach this result, we decompose deformation problems into n-nilpotent layers. Each of these layers is individually easier to understand, and is classified by simpler variants of partition Lie algebras.