Generalizing a question of Gromov, Part I

Add to your list(s) Download to your calendar using vCal

• Julia F. Knight (University of Notre Dame, None / Other)
• Monday 06 June 2022, 14:30-15:30
• Seminar Room 1, Newton Institute.

If you have a question about this talk, please contact nobody.

SASW09 - International conference on computability, complexity and randomness

This talk is Part I of an account of joint work with Johanna Franklin and Meng-Che (Turbo) Ho.  Johanna Franklin’s talk is Part II.  Gromov asked, ``What is a typical group?’’  He was thinking of finitely presented groups, and he proposed an approach involving limiting density.  In 2013, I conjectured that for presentations with $n\geq 2$ generators and a single relator, the elementary first order sentences true in the typical group are those true in the free group.  The conjecture is still open, but there are partial positive results by Kharlampovich and Miasnikov, and by Ho and Logan.  In our joint work, Franklin, Ho, and I consider other algebraic varieties, in the sense of universal algebra, asking the analogue of Gromov’s question.  We have examples illustrating different possible behaviors.  For varieties with finitely many unary function symbols, we have a general result with conditions sufficient to guarantee that the analogue of the conjecture holds.  The proof uses a version of Gaifman’s Locality Theorem, plus ideas from random group theory.  Part I will describe Gromov’s original question and its extension to other algebraic varieties, with some examples.       

This talk is part of the Isaac Newton Institute Seminar Series series.

This talk is included in these lists:

• All CMS events
• Featured lists
• INI info aggregator
• Isaac Newton Institute Seminar Series
• School of Physical Sciences
• Seminar Room 1, Newton Institute
• bld31

Note that ex-directory lists are not shown.