BEGIN:VCALENDAR
PRODID:-//Columba Systems Ltd//NONSGML CPNG/SpringViewer/ICal Output/3.3-
 M3//EN
VERSION:2.0
CALSCALE:GREGORIAN
METHOD:PUBLISH
BEGIN:VEVENT
DTSTAMP:20261001T110615Z
DTSTART:20261007T140000Z
SUMMARY:Logic Seminar - Valentina Disarlo
UID:{http://www.columbasystems.com/customers/uom/gpp/eventid/}l98-mupe7j3
 h-dv6pcp
DESCRIPTION:Speaker: Valentina Disarlo (The University of Manchester)\n\n
 Title: The model theory of the curve graph\n\nAbstract: The curve graph 
 of a finite-type surface is a countable graph whose vertices are isotopy
  classes of essential simple closed curves\, with adjacency determined b
 y disjointness. Although it arises naturally in low-dimensional topology
  and geometric group theory\, it also provides a remarkably rigid first-
 order structure. Ivanov's classical theorem identifies the automorphism 
 group of the curve graph with the extended mapping class group\, and his
  subsequent metaconjecture predicts analogous rigidity for a large class
  of naturally associated complexes made of adjacency relations between t
 opological objects on a surface.  \n\nIn joint work with Thomas Koberda 
 and Javier de la Nuez González\, we present the first study of the curve
  graph from the point of view of model theory. I will discuss the first-
 order theory of the curve graph\, with particular emphasis on definabili
 ty and stability phenomena. In particular\, we prove that the curve grap
 h is w-stable and has a relative form of quantifier elimination. I will 
 then present a model-theoretic framework for the Ivanov Metaconjecture a
 nd for comparing the curve graph with other complexes associated to a su
 rface.
STATUS:TENTATIVE
TRANSP:TRANSPARENT
CLASS:PUBLIC
LOCATION:Frank Adams 1\, Alan Turing Building\, Manchester
END:VEVENT
END:VCALENDAR