Ohio State nav bar

Model theory and the Lazard Correspondence

Logic Seminar
April 11, 2023
2:30PM - 3:30PM
Enarson 354

Date Range
Add to Calendar 2023-04-11 14:30:00 2023-04-11 15:30:00 Model theory and the Lazard Correspondence Title:  Model theory and the Lazard Correspondence Speaker:  Nick Ramsey (University of Notre Dame) Abstract:  The Lazard Correspondence is a characteristic p analogue of the correspondence between nilpotent Lie groups and Lie algebras, associating to every nilpotent group of exponent p and nilpotence class c a Lie algebra over F_p with the same nilpotence class (assuming c < p). We will describe the role that this translation between nilpotent group theory and linear algebra has played in an emerging program to understand the first order properties of random nilpotent groups. In this talk, we will focus on connections to neostability theory, highlighting the way that nilpotent groups furnish natural algebraic structures in surprising parts of the SOP_n and n-dependence hierarchies. This is joint work with Christian d'Elbée, Isabel Müller, and Daoud Siniora. Enarson 354 Department of Mathematics math@osu.edu America/New_York public

Title:  Model theory and the Lazard Correspondence

Speaker:  Nick Ramsey (University of Notre Dame)

Abstract:  The Lazard Correspondence is a characteristic p analogue of the correspondence between nilpotent Lie groups and Lie algebras, associating to every nilpotent group of exponent p and nilpotence class c a Lie algebra over F_p with the same nilpotence class (assuming c < p). We will describe the role that this translation between nilpotent group theory and linear algebra has played in an emerging program to understand the first order properties of random nilpotent groups. In this talk, we will focus on connections to neostability theory, highlighting the way that nilpotent groups furnish natural algebraic structures in surprising parts of the SOP_n and n-dependence hierarchies. This is joint work with Christian d'Elbée, Isabel Müller, and Daoud Siniora.

Events Filters: