9519870cbd8aa576.tex
1: \begin{abstract}
2: We study a function $\mathcal{L}_{\Gamma}$ which quantifies the LEF 
3: (local embeddability into finite groups) property 
4: for a finitely generated group $\Gamma$. 
5: We compute this \emph{LEF growth} function in some examples, 
6: including certain wreath products. 
7: We compare LEF growth with the analogous quantitative 
8: version of residual finiteness, 
9: and exhibit a family of finitely generated residually finite 
10: groups which nevertheless admit many more 
11: local embeddings into finite groups than they do finite quotients. 
12: Along the way, we give a new proof that 
13: B.H. Neumann's continuous family of $2$-generated groups 
14: contains no finitely presented group, 
15: a result originally due to Baumslag and Miller. 
16: We compare $\mathcal{L}_{\Gamma}$ with quantitative versions of soficity 
17: and other metric approximation properties of groups. 
18: Finally, we show that there exists a ``universal'' function 
19: which is an upper bound on the LEF growth of any group 
20: on a given number of generators, and that 
21: (for non-cyclic groups) any such function is non-computable. 
22: \end{abstract}
23: