Logo

Mathematical Sciences Research Institute

Home » Fellowship of the Ring, National Seminar: The homotopy Lie algebra and the conormal module

Seminar

Fellowship of the Ring, National Seminar: The homotopy Lie algebra and the conormal module August 06, 2020 (01:30 PM PDT - 03:30 PM PDT)
Parent Program: --
Location: MSRI: Online/Virtual
Speaker(s) Benjamin Briggs (University of Utah)
Description No Description
Video

The Homotopy Lie Algebra And The Conormal Module

Abstract/Media

To attend this seminar, you must register in advance, by clicking HERE.



I will do my best to explain what goes in to proving the following theorem: if I is an ideal of finite projective dimension in a local ring R, and the conormal module I/I^2 has finite projective dimension over R/I, then I is generated by a regular sequence. This was conjectured by Vasconcelos, after he and (separately) Ferrand established the case that the conormal module is free.

The key tool is the homotopy Lie algebra. This is a graded Lie algebra naturally associated with any local homomorphism. It sits at the centre of a longstanding friendship between commutative algebra and rational homotopy theory, through which ideas and results have been passed back and forth for decades.

I'll go through the construction of the homotopy Lie algebra and how it's been used in commutative algebra in the past, before explaining how its structure detects when the conormal module has finite projective dimension. I'll also talk about ongoing work with Srikanth Iyengar comparing the cotangent complex with the homotopy Lie algebra.

Asset no preview Notes 3.18 MB application/pdf

The Homotopy Lie Algebra And The Conormal Module

H.264 Video 25106_28568_8426_The_Homotopy_Lie_Algebra_and_The_Conormal_Module.mp4