|
Department of Mathematics |
|
|
Seminars |
|
|
|
|
Address: Mathematics
253-37 | Caltech | Pasadena, CA 91125 |
|
Math
Home | People
| Seminars
| Courses
| Undergraduate
Info | Graduate
Program | Positions |
|
Logic
Seminar |
|
Thursday,
October 11
Thursday,
October 25
Abstract: For
a countable Borel equivalence relation E we
consider the weak choice principle ``every
countable sequence of E-classes has a choice
function''. We establish a relationship between
ergodicity of the equivalence relations and the
study of these choice principles.
We
will separate these choice principles as follows:
if E is F-ergodic (with respect to some measure)
then there is a model of set theory in which
``choice for E classes'' fails yet ``choice for F
classes'' holds. For example, ``choice for
E_\infty classes'' is strictly stronger than
``choice for E_0 classes''.
A key
lemma in the proof is the following statement: if
E is F-ergodic with respect to an
E-quasi-invariant measure \mu then the
countable power of E, E^\omega, is F-ergodic with
respect to the product measure \mu^\omega. The
proof relies on ideas from the study of weak
choice principles.
In
this talk we will go over some of the basic ideas
behind forcing and explain how they were used to
construct models of set theory without the axiom
of choice. We will then establish the relationship
with ergodicity and focus on proving the lemma
mentioned above.
Thursday,
November 1
3:00 -- 4:00 pm // Linde, Room 255 Abstract: A
large part of measured group theory studies
structural properties of countable groups
that hold "on average". This is made precise
by studying the orbit equivalence relations
induced by free Borel actions of these
groups on probability spaces. In this vein,
the cyclic (more generally, amenable) groups
correspond to hyperfinite equivalence
relations, and the free groups to the
treeable ones. In joint work with R.
Tucker-Drob, we give a detailed analysis of
the structure of hyperfinite subequivalence
relations of a treed
quasi-measure-preserving equivalence
relation, deriving some of analogues of
structural properties of cyclic subgroups of
a free group. Most importantly, just like
every cyclic subgroup is contained in a
unique maximal one, we show that every
hyperfinite subequivalence relation is
contained in a unique maximal one.
Thursday,
November 8
3:00 -- 4:00 pm // Linde, Room 255 Abstract: A
large part of measured group theory studies
structural properties of countable groups
that hold "on average". This is made precise
by studying the orbit equivalence relations
induced by free Borel actions of these
groups on probability spaces. In this vein,
the cyclic (more generally, amenable) groups
correspond to hyperfinite equivalence
relations, and the free groups to the
treeable ones. In joint work with R.
Tucker-Drob, we give a detailed analysis of
the structure of hyperfinite subequivalence
relations of a treed
quasi-measure-preserving equivalence
relation, deriving some of analogues of
structural properties of cyclic subgroups of
a free group. Most importantly, just like
every cyclic subgroup is contained in a
unique maximal one, we show that every
hyperfinite subequivalence relation is
contained in a unique maximal one.
Wednesday,
January 9
2:00 -- 3:00 pm // Linde, Room 255 Abstract:
We consider the
concept of disjointness for topological dynamical
systems, introduced by Furstenberg. We show that for
every discrete group, every minimal flow is disjoint
from the Bernoulli shift. We apply this to give a
negative answer to the “Ellis problem” for all such
groups. For countable groups, we show in addition
that there exists a continuum-sized family of
mutually disjoint free minimal systems. In the
course of the proof, we also show that every
countable ICC group admits a free minimal proximal
flow, answering a question of Frisch, Tamuz, and
Vahidi Ferdowsi.
(Joint work with Eli Glasner, Todor Tsankov, and Benjamin Weiss) Wednesday,
January 16
2:00 -- 3:00 pm // Linde, Room 255 Abstract: Given a measure-preserving equivalence relation E, there is a Polish space S(E) of subequivalence relations, which admits a natural action of the full group [E]. Does S(E) have a dense orbit? We will present results due to François Le Maître which show that the answer is yes when E is the hyperfinite ergodic equivalence relation, and that the answer is no when E is induced by a measure-preserving action of a property (T) group.
|
| Contact
information: A. Kechris, kechris@caltech.edu |
| Previous seminars 2013-2014 2014-2015 2015-2016 2016-2017 2017-2018 |