Update 2024-06-23-Alan-Reid.md

Author: lenis2000

_posts/IMS/VML/2024-06-23-Alan-Reid.md

@@ -8,13 +8,30 @@ comments: false
 categories: news virginia-mathematics-lectures ims events major-news
 published: true  
 image: __SITE_URL__/img/IMS/Alan-Reid.jpg
-# image-address:   
 image-alt: Alan Reid  
 image-tall: true  
-# more-text: Abstracts  
+more-text: Abstracts
 nav_parent: IMS  
 ---
 
-<span class="mt-1 mb-1"><a href="https://math.rice.edu/~ar99/index.html">Alan Reid</a> (Rice University) will be the speaker for the Virginia Mathematics Lectures in Fall 2024. The dates are October 28-30 (Monday to Wednesday).</span>
+<h5 class="mt-1 mb-1"><a href="https://math.rice.edu/~ar99/index.html">Alan Reid</a> (Rice University)</h5>
+
+<h3 class="mb-3">Finite shadows of infinite groups: What do they hide?</h3>
+
+- Lecture 1: Monday, October 28, 2024 - **Exploring infinite groups by finite quotients**
+- Lecture 2: Tuesday, October 29, 2024 - **What is profinite rigidity?**
+- Lecture 3: Wednesday, October 30, 2024 - **Grothendieck's Problem and detecting finitely generated versus finitely presented**
 
 <!--more-->
+
+<h4>Lecture 1: Exploring infinite groups by finite quotients</h4>
+
+**Abstract:** There are many situations in geometry and group theory where it is natural, convenient or necessary to explore infinite groups via their actions on finite objects — ie via their finite quotients. A natural question is therefore where do we find finite quotients, and how can we use them to distinguish infinite groups. Lecture 1 will provide an elementary discussion of these topics.
+
+<h4>Lecture 2: What is profinite rigidity?</h4>
+
+**Abstract:** The set of finite quotients of a finitely generated group is neatly captured by its profinite completion. A finitely generated (residually finite) group G is called profinitely rigid if whenever another finitely generated (residually finite) group H has isomorphic profinite completion, then H is isomorphic to G. This talk will discuss some history and some recent progress on groups that are (are not) profinitely rigid. In particular I will discuss results connected to the study of 3-manifold groups.
+
+<h4>Lecture 3: Grothendieck's Problem and detecting finitely generated versus finitely presented</h4>
+
+**Abstract:** A particular construction of groups that fail to be profinitely rigid, arise from Grothendieck Pairs (G,H) where H is a subgroup of G and the inclusion map is not an isomorphism, but it does induce an isomorphism of profinite completions (and related to a famous problem of Grothendieck as in the title we will discuss). We will go onto show how this framework arises naturally in constructing finitely presented groups that are pro finitely rigid amongst finitely presented groups, but not finitely generated ones.