\documentclass[oneside,final,12pt]{book}

\usepackage{amssymb}
\usepackage{amsmath}
\usepackage{xunicode}

\usepackage{hyperref}
\usepackage{xstring}
\def\rooturl{https://www.math.bgu.ac.il/}
\hyperbaseurl{\rooturl}
\let\hhref\href
\providecommand{\extrahref}[2][]{\LTRfootnote{\LR{\IfBeginWith*{#2}{http}{\nolinkurl{#2}}{\nolinkurl{\rooturl#2}}}}}
\renewcommand{\href}[2]{\IfBeginWith*{#1}{http}{\hhref{#1}{#2}}{\hhref{\rooturl#1}{#2}}\extrahref{#1}}

\usepackage{polyglossia}
\usepackage{longtable}
%% even in English, we sometimes have Hebrew (as in course hours), and we
%% can't add it in :preamble, since it comes after hyperref
%%\usepackage{bidi}
\setdefaultlanguage{english}
\setotherlanguage{hebrew}
%%\setmainfont[Ligatures=TeX]{Libertinus Serif}
\setmainfont[Script=Hebrew,Ligatures=TeX]{LibertinusSerif}[
  UprightFont = *-Regular,
  BoldFont = *-Bold,
  ItalicFont = *-Italic,
  BoldItalicFont = *-BoldItalic,
  Extension = .otf]

\SepMark{‭.}
\robustify\hebrewnumeral
\robustify\Hebrewnumeral
\robustify\Hebrewnumeralfinal

% vim: ft=eruby.tex:



\begin{document}
\pagestyle{empty}
\pagenumbering{gobble}

\begin{center}
\vspace*{\baselineskip}

{\Large Department of Mathematics, BGU}

\vspace*{\baselineskip}

\rule{\textwidth}{1.6pt}\vspace*{-\baselineskip}\vspace*{2pt}
\rule{\textwidth}{0.4pt}\\[\baselineskip]

{\Huge Geometry and Group Theory}\\[0.2\baselineskip]

\rule{\textwidth}{0.4pt}\vspace*{-\baselineskip}\vspace{3.2pt}
\rule{\textwidth}{1.6pt}\\[\baselineskip]

\textbf{On} \emph{Sunday, December 24, 2017}
\bigskip

\textbf{At} \emph{14:30 -- 15:30}
\bigskip

\textbf{In} \emph{-101}

\vspace*{2\baselineskip}

{\large\scshape Oren Becker 
  %
  (HUJI)
}
\bigskip

will talk about
\bigskip

{\Large\bfseries Equations in permutations and group theoretic local testability\par}
\bigskip

\end{center}
\vfill

\textsc{Abstract:}
Given two permutations A and B which ``almost'' commute, are they ``close'' to permutations A' and B' which really commute? Arzhantseva and Paunescu (2015) formalized this question and answered affirmatively. This can be viewed as a property of the equation \$XY=YX\$, and turns out to be equivalent to the following property of the group \$Z\^{}2 = \textbackslash{}langle X,Y \textbackslash{}vert XY=YX \textbackslash{}rangle\$ Every ``almost-everywhere locally-defined'' action of \$X\^{}2\$ is close to a genuine action of \$Z\^{}2\$. This leads to the notion of locally testable groups (aka ``stable groups'').

We will take the opportunity to say something about ``local testability'' in general, which is an important subject in computer science. We will then describe some results and methods to decide whether various groups are locally testable.
This will bring in some important notions in group theory, such as amenability, Kazhdan's Property (T) and sofic groups.

Based on joint work with Alex Lubotzky.








% vim: ft=eruby.tex:


\end{document}

% vim: ft=eruby.tex:
