Isoperimetric inequalities in finitely generated groups

Abstract: To each finitely generated group $G$, we associate a quasi-isometric invariant called the Dehn spectrum of $G$. If $G$ is finitely presented, our invariant is closely related to the Dehn function of $G$. The main goal of this paper is to initiate the study of Dehn spectra of finitely generated (but not necessarily finitely presented) groups. In particular, we compute the Dehn spectrum of small cancellation groups, certain wreath products, and free Burnside groups of sufficiently large odd exponent. We also address some natural questions on the structure of the poset of Dehn spectra. As an application, we show that there exist $2^{\aleph_0}$ pairwise non-quasi-isometric finitely generated groups of finite exponent.

\section{Introduction}
We begin by recalling the definition of the Dehn function of a finitely presented group. Let
\begin{equation}\label{Eq:Gpr}
G=\langle X\mid \mathcal R\rangle
\end{equation}
be a finite presentation of a group $G$. Thus, $G=F(X)/\ll \mathcal R\rr$, where $F(X)$ is the free group with the basis $X$ and $\ll \mathcal R\rr $ denotes the minimal normal subgroup containing the subset $\mathcal R \subseteq F(X)$. Every element $w\in \ll \mathcal R\rr$ admits a decomposition of the form
\begin{equation}\label{wprod}
w=\prod\limits_{i=1}^\ell f_i^{-1}R_i^{\e_i} f_i,
\end{equation}
where $f_i \in F(X)$, $R_i\in \mathcal R$, and $\e_i=\pm 1$ for all $i$. The minimal number $\ell$ over all such decompositions is denoted by $Area_{\mathcal R}(w)$. The \emph{Dehn function of the presentation (\ref{Eq:Gpr})} is defined by the formula
$$
\delta_{G}(n)=\max\{ Area_{\mathcal R}(w) \mid w\in \ll R\rr, \; \| w\|\le n\},
$$
where $\| w\| $ denotes the length of the word $w$. In particular, every $w\in \ll R\rr$ satisfies the \emph{isoperimetric inequality} $Area_{\mathcal R}(w)\le \delta_{G}(\| w\|)$.

In 1980s, Gromov \cite{Gro} characterized hyperbolic groups in terms of linear isoperimetric inequality. Ever since, the study of Dehn functions of finitely presented groups has been one of the central themes in geometric group theory. Research in this direction is strongly motivated by connections to geometric and algorithmic properties of groups. In particular, for every finitely presented group $G$, we have the following.

\begin{enumerate}
\item[(a)] Up to a natural equivalence relation, $\delta_{G}$ is independent of the choice of a particular finite presentation of $G$. Moreover, the equivalence class of the Dehn function is a quasi-isometric invariant of $G$.

\item[(b)] The equivalence class of $\delta_{G}$ can be used to detect the decidability of the word problem. Namely, the word problem in $G$ is decidable if and only if $\delta_{G}$ is equivalent to a recursive function.
\end{enumerate}

The Dehn function can be defined for any group presentation with a finite set of generators. However, properties (a) and (b) only hold for finitely presented groups. Moreover, the decidability of the word problem is not invariant under quasi-isometries of finitely generated groups \cite{Ers}. Thus, any invariant of finitely generated groups will unavoidably lack one of the above-mentioned properties.

In \cite{GI}, Grigorchuck and Ivanov suggested several analogs of the Dehn function whose computability for a (possibly infinite) recursive group presentation is equivalent to the decidability of the word problem. However, the functions considered in \cite{GI} are not quasi-isometric invariants; moreover, they depend on the choice of a particular presentation.

In this paper, we move in the other direction and introduce the notion of an \emph{isoperimetric spectrum} of a finitely generated group, which enjoys quasi-isometric invariance. In fact, we will work in the more general category of graphs but restrict our discussion to finitely generated groups in the introduction.

\begin{defn}\label{Def:main}
Let $G$ be a group generated by a finite set $X$. We keep the notation introduced above. In particular, we have $G=F(X)/\ll \mathcal R\rr$, but we do not assume that $\mathcal R$ is finite anymore. For every $k\in \NN$, let $\mathcal S_k$ denote the set of all words of length at most $k$ in the alphabet $X\cup X^{-1}$ representing $1$ in $G$; that is,
\begin{equation}\label{Sk}
\S_k=\{w\in \ll \mathcal R\rr \mid \| w\|\le k\}.
\end{equation}
The \emph{isoperimetric spectrum of $G$ with respect to $X$} is the function defined on the set of all triples $(k,m,n)\in \NN^3$ satisfying the inequality $m\ge k$ by the formula
\begin{equation}\label{fkmn}
f_{G,X}(k,m,n)=\max\{ Area_{\S_m}(w) \mid w\in \ll \S_{k} \rr,\; \|w\|\le n\}.
\end{equation}
The condition $m\ge k$ ensures that $Area_{\S_m}(w)$ is well-defined.
\end{defn}

We consider an important particular case.

\begin{ex}\label{Ex:fp}
Suppose that the presentation (\ref{Eq:Gpr}) is finite and let $M=\max\{ \| R\| \mid R\in \mathcal R\}$. Then $\ll \S_M\rr =\ll \S_{M+1}\rr =\ldots $ and for very $k\ge M$, we have $f_{G,X}(k,m,n)=\delta _{\langle X\mid S_m\rangle }(n)$, where $\delta _{\langle X\mid S_m\rangle }$ is the Dehn function of $G$ computed using the finite presentation $\langle X\mid S_m\rangle $. Thus, the isoperimetric spectrum provides more information about $G$ than any single Dehn function; in fact, it encodes the whole spectrum of the isoperimetric behaviour of $G$ at various scales, hence the name.
\end{ex}

We denote by $\mathcal F$ the set of all partial functions $f\colon \NN^3\to \mathbb R$ such that $f$ is defined on all triples $(k,m,n)\in \NN^3$ satisfying $m\ge k$, non-decreasing in the first and third arguments, and non-increasing in the second argument. It is straightforward to verify that $f_{G,X}\in \mathcal F$ for any group $G$ generated by a finite set $X$.

\begin{defn}\label{Def:ord}
Given two functions $f, g\in \mathcal F$, we write $f\preccurlyeq g$ if there exists $C\in \mathbb N$ such that
$$
f(k, Cm, n)\le Cg(Ck, m, Cn) + C\frac{n}{m} + C
$$
for all $(k, m, n)\in \NN^3$ such that $m\ge Ck$. Further, we write $f\sim g$ and say that $f$ and $g$ are \emph{equivalent} if $f\preccurlyeq g$ and $g\preccurlyeq f$.
\end{defn}

It is straightforward to verify that $\sim$ is indeed an equivalence relation on the set $\mathcal F$. Our first result establishes the quasi-isometric invariance of the isoperimetric spectrum.

\begin{thm}\label{Thm:QI}
Let $G$ and $H$ be groups generated by finite sets $X$ and $Y$, respectively. If $G$ and $H$ are quasi-isometric, then $f_{G,X} \sim f_{H,Y}$. In particular, the equivalence class of the isoperimetric spectrum of a finitely generated group is independent of the choice of a particular generating set.
\end{thm}

\begin{rem}
A thoughtful reader may wonder why we defined the isoperimetric spectrum of a group as a function of three variables. Indeed, it seems more natural to consider the function $g_{G,X}(k,n)=f_{G,X}(k,k,n)$. The reason behind our choice of the more complicated definition is that the function $g_{G,X}$ may not satisfy any reasonable analog of Theorem~\ref{Thm:QI}.
\end{rem}

In this paper, we often consider isoperimetric spectra up to the equivalence relation introduced above. In these cases, we omit the generating set from the notation and simply denote the isoperimetric spectrum of a finitely generated group $G$ by $f_G$.

If $G$ is a finitely presented group, the isoperimetric spectrum of $G$ essentially reduces to a function of two variables closely related to the Dehn function of $G$. More precisely, we say that a function $f\in \mathcal F$ is \emph{essentially independent} of $k$ if $f(k, m,n)$ is equivalent to a function that depends on $m$ and $n$ only. We prove the following.

\begin{thm}\label{Thm:FP}
For every finitely presented group $G$, the function $f_G(k,m,n)$ is essentially independent of $k$ and we have
\begin{equation}\label{fpspectrum}
\frac{\delta_G(n)}{\delta_G(m)}\preccurlyeq f_G(k,m,n)\preccurlyeq\frac{\delta_G(n)}m,
\end{equation}
where $\delta_G(n)$ is the Dehn function of some finite presentation of $G$.
\end{thm}

\begin{rem}
Here we think of the lower and upper bounds in (\ref{fpspectrum}) as functions of triples $(k,m,n)\in \NN^3$ independent of $k$. We need to be careful with the choice of a finite presentation of $G$ to make sure that $\delta_G(n)/\delta_G(m)$ is well-defined. However, both inequalities in (\ref{fpspectrum}) hold for any finite presentation of $G$ such that the corresponding Dehn function satisfies $\delta_G(m)>0$ for all $m\in \NN$  (see Corollary \ref{Cor:fp}.)
\end{rem}

We discuss several particular examples illustrating various behaviour of the isoperimetric spectrum of finitely presented groups.
If $G$ is hyperbolic, the lower and upper bounds in (\ref{fpspectrum}) coincide. Conversely, the equivalence $f_G(k,m,n)\sim n/m$ for a finitely presented group $G$ implies hyperbolicity of $G$ (see Example \ref{Ex:fp}).

\begin{defn}
We say that a finitely generated group $G$ has \emph{linear isoperimetric spectrum} if $f_G(k,m,n)\sim n/m$.
\end{defn}

\begin{cor}\label{Cor:Hyp}
A finitely presented group is hyperbolic is and only if its isoperimetric spectrum is linear.
\end{cor}

The right inequality in (\ref{fpspectrum}) is strict for any non-hyperbolic finitely presented group (see Corollary \ref{Cor:hyp}). In contrast, the left inequality often becomes an equivalence. For example, combining Theorem \ref{Thm:FP} with results of Papasoglu \cite{Pap}, we obtain the following.

\begin{cor}\label{Cor:Quad}
For any finitely presented group $G$ with quadratic Dehn function, we have $f_G(k,m,n)\sim (n/m)^2$.
\end{cor}

In particular, we have $f_G(k,m,n)\sim (n/m)^2$ for any non-hyperbolic semihyperbolic group in the sense of Alonso and Bridson \cite{AB}.

In fact, it is not easy to construct a finitely presented group such that the left inequality in (\ref{fpspectrum}) is strict. To find such examples, we observe that $f_G(k,m,n)\not\sim\delta(n)/\delta(m)$ for any finitely presented groups $G$ with a polynomial Dehn function such that not all asymptotic cones of $G$ are simply connected (see Proposition \ref{Prop:AC}). First groups of this sort were constructed by Bridson \cite{Bri} and a somewhat easier example was later found by Olshanskii and Sapir \cite{OS}.

As we pass from finitely presented to finitely generated groups, many natural questions arise. In this paper, we discuss three of them highlighting the striking difference between the finitely presented and finitely generated cases.
\begin{enumerate}
\item[(Q1)] Is every finitely generated group with linear isoperimetric spectrum hyperbolic?
\item[(Q2)] What is the cardinality of the set of equivalence classes of isoperimetric spectra of finitely generated groups?
\item[(Q3)] Does there exist a finitely generated group $G$ whose isoperimetric spectrum essentially depends on the first argument?
\end{enumerate}

We begin with the first question. The well-known characterization of hyperbolic groups in terms of Dehn functions immediately implies that every finitely presented group with linear isoperimetric spectrum is hyperbolic. The situation changes dramatically when we pass to infinitely presented groups. The theorem below provides many examples of non-hyperbolic groups with linear isoperimetric spectrum; it summarizes results obtained in Corollary \ref{Cor:C16}, Theorem~\ref{Thm:WP}, and Theorem~\ref{Thm:Bmn}.

\begin{thm}\label{Thm:Lin}
The following groups have linear isoperimetric spectrum.
\begin{enumerate}
\item[(a)] Wreath products of the form $K{\,\rm wr\,} \mathbb Z$, where $K$ is an arbitrary finite group.
\item[(b)] Finitely generated (but not necessarily finitely presented) $C^\prime(1/6)$-groups.
\item[(c)] Finitely generated free Burnside groups of sufficiently large odd exponent.
\end{enumerate}
\end{thm}

To address (Q2) and (Q3), we consider the Polish space $\G_n$ of $n$-generated marked groups. Informally, $\G_n$ is the set of pairs $(G,X)$, where $G$ is a group and $X$ is an ordered generating set of $G$ of cardinality $n$, with the topology induced by the local convergence of Cayley graphs (see Section \ref{Sec:aaifgg} for details). The relations on $\mathcal F$ introduced in Definition \ref{Def:ord} induce the following relations on the spaces $\G_n$:
$$(G,X)\preccurlyeq _{is} (H,Y)\;\;\; \Longleftrightarrow \;\;\; f_{G,X}\preccurlyeq f_{H,Y}$$
and
$$(G,X)\sim_{is} (H,Y)\;\;\; \Longleftrightarrow \;\;\; f_{G,X}\sim f_{H,Y}.$$
\noindent Clearly, $\preccurlyeq_{is}$ is a quasi-order on $\G_n$ and $\sim_{is}$ is the induced equivalence relation.

Recall that a hyperbolic group is said to be \emph{elementary} if it contains a cyclic subgroup of finite index. Let $\mathcal H_n$ denote the subset of $\G_n$ consisting non-elementary hyperbolic marked groups without non-trivial finite normal subgroups and let  $\overline{\mathcal H}_n$ be the closure of $\mathcal H_n$ in $\G_n$. Our next result answers (Q2) and provides a rich source of groups whose isoperimetric spectra essentially depend on $k$. As usual, we say that a certain property \emph{holds for a generic element} of a Polish space $P$ if it holds for every element of a comeager subset of $P$.

\begin{thm}\label{Thm:HL}
For every integer $n\ge 2$, the following hold.
\begin{enumerate}
\item[(a)] The space $\overline{\mathcal H}_n$ contains $2^{\aleph_0}$ pairwise $\preccurlyeq_{is}$--incomparable elements. In particular, the set of equivalence classes of isoperimetric spectra of finitely generated groups has the cardinality of the continuum.
\item[(b)] The isoperimetric spectrum $f_{G,X}(k,m,n)$ of a generic element $(G,X)\in \overline{\mathcal H}_n$ is not equivalent to any function that depends on $m$ and $n$ only.
\end{enumerate}
\end{thm}

The proof of Theorem \ref{Thm:HL} is non-constructive and makes use of results from the theory of Borel quasi-orders and Borel equivalence relations on Polish spaces.

To illustrate the usefulness of isoperimetric spectra, we consider an application to groups of finite exponent. The famous Burnside problem asks whether every finitely generated group of a finite exponent $N$ is finite. The negative answer was first obtained by Novikov and Adian for all odd $N\ge 4381$; an improved version of the original proof for odd $N\ge 665$ can be found in the book \cite{Adi}. Later Olshanskii suggested a much simpler geometric proof for odd $N>10^{10}$ \cite{Ols83}. For all sufficiently large even exponents, the negative solution was obtained by Ivanov \cite{Iva} and Lysenok \cite{Lys}. More recently, Coulon \cite{Cou} provided yet another geometric proof following the ideas of Delzant and Gromov \cite{DG}; his proof explicitly uses hyperbolic geometry and works in both cases, odd and even.

Despite this progress, very little is known about the large-scale geometry of finitely generated groups of finite exponent. Our last result shows that groups of finite exponent can be very diverse from the geometric point of view. It is worth noting that even the fact that not all finitely generated infinite groups of finite exponent are quasi-isometric seems to be new.

\begin{thm}\label{Thm:FE}
There exist $2^{\aleph_0}$ finitely generated pairwise non-quasi-isometric groups of finite exponent.
\end{thm}

Using the approach suggested in \cite{MOW}, we reduce the proof of Theorem \ref{Thm:FE} to proving that a finitely generated free Burnside group of sufficiently large odd exponent is not quasi-isometric to its universal central extension. This is accomplished by showing that the isoperimetric spectra of these groups are not equivalent. Olshanskii's small cancellation technique developed in \cite{Ols83,book} plays a crucial role in the proof of Theorem \ref{Thm:FE} (as well as in the proof of part (c) of Theorem \ref{Thm:Lin}).

\paragraph{Acknowledgments.} The authors are grateful to O. Kulikova for the constant attention to this work and useful remarks.

\section{Equivalent definitions and basic properties of isoperimetric spectrum}

\subsection{Isoperimetric spectrum of a graph}
We begin by establishing the notation and terminology used throughout the paper. Let $K$ be a $CW$-complex. By $K^{(n)}$ we denote the $n$-skeleton of $K$. If $K$ is $2$-dimensional, we use the terms \emph{vertices, edges,} and \emph{faces} for $0$-cells, $1$-cells, and faces of $K$, respectively. By a \emph{path} $p$ in a $CW$-complex $K$ we always mean a combinatorial path in $K^{(1)}$; we denote by $\ell(p)$, $p_-$, and $p_+$ its length, origin, and terminal vertex, respectively; $p$ is a \emph{loop} if $p_-$=$p_+$.

A \emph{graph} is a $1$-dimensional $CW$-complex. Thus, we allow graphs to have multiple edges as well as edges that join a vertex to itself. We use the notation $V(\Gamma)$ and $E(\Gamma)$ for the sets of vertices and edges of $\Gamma$, respectively. Throughout this paper, we think of graphs as metric spaces with respect to the metric induced by the identification of edges with the interval $[0,1]$. If $\Gamma$ is a finite connected plane graph and $\Pi$ is a face of $\Gamma$, we denote by $\partial \Pi$ the boundary path of $\Pi$; the boundary of the exterior face of $\Gamma$ is denoted by $\partial \Gamma$. Henceforth, the term \emph{face} will mean an interior face in this context.

We assume the reader to be familiar with the notions of a Cayley graph and van Kampen diagram. The Cayley graph of a group $G$ with respect to a generating set $X$ is denoted by $Cay(G,X)$. If $p$ is a path in an oriented labelled graph, we denote by $\Lab(p)$ its label. For two (possibly non-reduced) words $u$ and $v$ in an alphabet $X\cup X^{-1}$, we write $u\equiv v$ if they are equal as words and $u=v$ if they represent the same element of the free group $F(X)$. Labels of boundaries of van Kampen diagrams and their faces are usually considered up to a cyclic shift and taking inverses. E.g., we write $\Lab (\partial \Delta)\equiv w$ for a van Kampen diagram $\Delta$ to mean that $w$ reads along $\partial \Delta $ starting from a certain point in an appropriate direction.

Let $\Gamma$ and $\Delta $ be any graphs. We say that $\phi\colon \Delta \to \Gamma$ is a \emph{generalized combinatorial map} if $\phi $ is continuous, maps vertices of $\Delta$ to vertices of $\Gamma$, and the image of every edge of $\Delta$ under $\phi $ is either a vertex or an edge of $\Gamma$. Note that every generalized combinatorial map sends paths to paths and loops to loops.

\begin{defn}\label{Def:k-fil}
Let $c$ be a loop in a graph $\Gamma$ and let $k\in \mathbb N$. A \emph{combinatorial $k$-filling} of $c$ is a generalized combinatorial map $\phi \colon D\to \Gamma$, where $D$ is a finite connected plane graph, such that the following conditions hold.
\begin{enumerate}
\item[(a)] There exists a vertex $o\in \partial D$ such that $\phi (o)=c_-=c_+$ and the loop $\phi(\partial D)$ starting at $\phi(o)$ coincides with $c$.
\item[(b)] For every (interior) face $F$ of $D$, we have $\ell(\phi(\partial F))\le k$.
\end{enumerate}
The \emph{area} of $\phi$, denoted by $Area(\phi)$, is the number of faces of $D$. A loop $c$ in $\Gamma $ is said to be \emph{$k$-contractible} if it admits a combinatorial $k$-filling. The set of all $k$-contractible loops in $\Gamma $ will be denoted by $C_k(\Gamma)$. For $c\in C_k(\Gamma)$, we define $Area_k(c)$ to be the minimum of areas of all combinatorial $k$-fillings of $c$.
\end{defn}

Two remarks are in order. First, one can always convert $D$ to a planar $CW$-complex by filling in the internal faces of $D$. This complex is connected and simply connected, but may not be homeomorphic to a disk, just like a van Kampen diagram over a group presentation. In particular, $\partial D$ is not necessarily a simple path. Second, it is important that $\phi(\partial D)$ and $c$ coincide as paths (not as subsets of $\Gamma$) in (a). E.g., if $c_0$ is any loop in $\Gamma$ and $c=c_0c_0$, then $\phi(\partial D)$ must also wind twice around $c_0$.

\begin{defn}\label{Def:IPG}
Let $\mathbb T=\{ (k,m,n)\in \mathbb N\times \mathbb N\times\mathbb N\mid m\ge k \}$. The \emph{isoperimetric spectrum} $f_\Gamma\colon \mathbb T \to \mathbb N\cup\{\infty\}$ of a connected graph $\Gamma $ is defined by the formula
$$
f_\Gamma (k,m,n)=\sup\{ Area_{m}(c)\mid c\in C_k(\Gamma),\; \ell(c)\le n\}.
$$
Note that $Area_{m}(c)$ is well-defined for $m\ge k$ since $C_k(\Gamma)\subseteq C_m(\Gamma)$. We say that $\Gamma $ has \emph{finitary} isoperimetric spectrum if $f_\Gamma $ takes only finite values.
\end{defn}

\begin{lem}\label{Lem:finitary}
Every vertex-transitive graph of finite degree has finitary isoperimetric spectrum. In particular, this is true for any Caley graph of a group with respect to a finite generating set.
\end{lem}

\begin{proof}
The claim follows immediately from the observation that for every $n\in \NN$, there are only finitely many $Aut(\Gamma)$-orbits of loops of length $n$ in $\Gamma$.
\end{proof}

Recall that $\mathcal F$ denotes the set of all functions $f\colon \mathbb T\to \mathbb R$ such that $f$ is non-decreasing in the first and third arguments, and non-increasing in the second argument. It is easy to see that $f_{\Gamma }\in \mathcal F$ for any graph $\Gamma$ whenever $f_\Gamma$ is finitary. As in the case of groups, we consider finitary isoperimetric spectra of graphs up to the equivalence relation introduced in Definition \ref{Def:ord}. For completeness, we record the following.

\begin{prop}\label{Prop:F}
\begin{enumerate}
\item[(a)] Let $\Gamma $ be a graph. If $f_\Gamma$ is finitary, then $f_\Gamma\in \mathcal F$.
\item[(b)] The relation $\preccurlyeq$ is a preorder and $\sim$ is an equivalence relation on $\mathcal F$.
\end{enumerate}
\end{prop}

\begin{proof}
Part (a) follows immediately from the definition. To prove transitivity of $\preccurlyeq$, suppose that $f\preccurlyeq g\preccurlyeq h$ for some $f,g,h\in \mathcal F$. By definition, there exist $C_1, C_2\in \NN$ such that
$$
f(k, C_1m, n)\le C_1g(C_1k, m, C_1n)+C_1 n/m +C_1
$$
and
$$
g(k, C_2m, n)\le C_2h(C_2k, m, C_2n)+C_2 n/m +C_2
$$
for all $(k,m,n)\in \NN^3$ satisfying $m\ge C_1k$ and $m\ge C_2k$, respectively. Therefore, we have
$$
f(k, C_1C_2m, n)\le  C_1\big( C_2h(C_1C_2k, m, C_1C_2n)+C_2 C_1n/m + C_2\big) + C_1n/(C_2m) +C_1
$$
for all triples $(k,m,n)\in \NN^3$ satisfying $m\ge C_1C_2k$. Since the functions $f$ and $h$ are non-increasing (respectively, nondecreasing) in the second (respectively, first and third) argument, we have $f(k,Cm,n)\le Ch(Ck,m,Cn)+Cn/m +C$, where $C=C_1(C_1C_2+1)$. Thus, $\preccurlyeq$ is a preorder and, therefore, $\sim $ is an equivalence relation.
\end{proof}

Our next goal is to relate Definition \ref{Def:IPG} to the one given in the introduction. To this end, we will use the van Kampen lemma, which states that a word $w\in F(X)$ represents $1$ in the group given by a presentation $\langle X\mid \mathcal R\rangle$ if and only if there exists a van Kampen diagram $\Delta $ over this presentation such that $\Lab(\partial \Delta)\equiv w$ (see \cite{LS}). It follows immediately from the proof that the minimal number of faces in such a diagram equals $Area_{\mathcal R} (w)$. Furthermore, for every loop $c$ in the Cayley graph $Cay(G,X)$ labelled by $w$, there is a canonical graph homomorphism  $\Delta^{(1)}\to Cay(G,X)$ preserving labels and orientation that sends $\partial \Delta$ to $c$.

\begin{prop}\label{Prop:f=f}
For every group $G$ generated by a finite set $X$, we have
\begin{equation}\label{Eq:ips=}
f_{Cay(G,X)}(k,m,n)= f_{G,X}(k,m,n).
\end{equation}
\end{prop}

\begin{proof}
Let $c$ be a loop in $Cay(G,X)$ and let $w\equiv \Lab(c)$. Assume first that $c\in C_k(\Gamma)$ for some $k\in \NN$. Let $\phi\colon D\to Cay(G,X)$ be a minimal area combinatorial $m$-filling of $c$ for some $m\ge k$. We orient and label every $e\in E(D)$ as follows. If $\phi(e)$ is a vertex, we orient $e$ arbitrarily and label it with the empty word; if $\phi(e)=f\in E(Cay(G,X))$ we endow $e$ with the same orientation and label as $f$. Further, we fill in all faces of the plane graph $D$ by gluing $2$-cells along their boundaries. By part (b) of Definition \ref{Def:k-fil}, we have $\Lab(\Pi)\in \mathcal S_m$ for every face $\Pi$ of the obtained $2$-complex $\Delta$ (see (\ref{Sk})).

Thus, $\Delta$ is almost a van Kampen diagram over $\langle X\mid S_m\rangle$, the only difference is that we may have edges labelled by the empty word. Cutting $\Delta $ into the union of individual faces just as in the proof of the ``if" part of van the Kampen lemma, we obtain a decomposition (\ref{wprod}), where $\ell =  Area_m(c)$ and $R_i\in \mathcal S_m$ for all $i$. In particular, $w\in \ll \mathcal S_k\rr$ and, for any $m\ge k$, we have $Area_{\mathcal S_m} (w)\le Area_m(c)$.

Now, suppose that $w\in \ll \mathcal S_k\rr$. For every $m\ge k$, there exists a van Kampen diagram $\Delta$ over $\langle X \mid \mathcal S_m\rangle$ with at most $Area_{\mathcal S_m}(w)$ faces and the boundary label $\Lab(\Delta)\equiv w$. The canonical map $\Delta^{(1)} \to Cay(G,X)$ sending $\partial \Delta$ to $c$ is a combinatorial $m$-filling of $c$ of area at most $Area_{\mathcal R}(w)$. In particular, $c$ is $k$-contractible and $Area_{m}(c)\le Area_{S_m}(w)$. Combining this with the opposite inequality proved above, we obtain (\ref{Eq:ips=}).
\end{proof}

\subsection{Quasi-isometric invariance}\label{Sec:QI}

The main goal of this section is to show that isoperimetric spectrum is a quasi-isometric invariant of connected graphs. Recall that a map $\alpha \colon S\to T$ between metric spaces $(S, \d_S)$, $(T, \d_T)$ is \emph{$(K,L)$-coarsely Lipschitz} for some constants $K, L\ge 0$ if \begin{equation}\label{C-Lip}
\d_T(\alpha(x), \alpha(y)) \le K\d_S (x,y)+ L
\end{equation}
for all $x,y\in S$. Metric spaces $(S, \d_S)$ and $(T, \d_T)$ are \emph{quasi-isometric} if there exists $L\ge 0$ and $(L,L)$-coarsely Lipschitz maps $\alpha\colon S\to T$ and $\beta\colon T\to S$ such that $\alpha$ and $\beta$ are \emph{$L$-coarse inverses} of each other; that is,
\begin{equation}\label{ci}
\sup\limits_{t\in T} \d_T (\alpha\circ \beta(t), t)\le L \;\;\; {\rm and }\;\;\; \sup\limits_{s\in S} \d_S (\beta\circ \alpha(s), s)\le L.
\end{equation}

We begin by describing a general construction that will be used several times in our paper.

\begin{defn}\label{Def:im}
Let $\Gamma$, $\Delta $ be two graphs, $\alpha\colon V(\Gamma )\to V(\Delta )$ a map between the sets of their vertices, $c=e_1\ldots e_r$ a path in $\Gamma$, where $e_1, \ldots, e_r\in E(\Gamma)$. We say that a path $d$ in $\Delta $ is a \emph{coarse $\alpha$-image} of $c$ if it decomposes as $d=d_1\ldots d_r$, where $d_i$ is geodesic in $\Delta $ and $\alpha ((e_i)_\pm)=(d_i)_\pm$ for all $i$; if $c$ is not simple, we additionally require that if $e_i=e_j^{\pm 1}$ for some $i\ne j$, then $d_i=d_j^{\pm 1}$.
\end{defn}

\begin{lem}\label{Lem:indf}
Let $\Gamma$, $\Delta $ be two graphs, $\alpha\colon \Gamma\to \Delta$ a $(K,L)$-coarsely Lipschitz map, where $K,L\in \NN$, sending vertices of $\Gamma$ to vertices of $\Delta$. For any path $c$ in $\Gamma$ and any coarse $\alpha$-image $d$ of $c$ in $\Delta$, the following hold.
\begin{enumerate}
\item[(a)] $\ell(d)\le (K+L)\ell(c)$.
\item[(b)] If $c\in C_k(\Gamma)$, then $d\in C_{(K+L)k}(\Delta)$ and  $Area_{(K+L)k}(d)\le Area_k(c)$.
\end{enumerate}
\end{lem}

\begin{proof}
In the notation of Definition \ref{Def:im}, let $e_i$ be an edge of $c$. The corresponding subpath $d_i$ of $d$ has length
$$
\ell(d_i)=\d_{\Delta} (\alpha((e_i)_-), \alpha((e_i)_+)) \le K\d_\Gamma ((e_i)_-,(e_i)_+)+L \le K+L.
$$
This implies (a).

Further, every combinatorial filling $\phi \colon C \to \Gamma $ of $c$ can be transformed to a combinatorial filling $\psi \colon D \to \Delta $ of $d$ as follows. Let $e$ be an edge of $C$. If $\phi (e)$ is a vertex of $\Gamma$, we do not modify $e$ and define $\psi(e)=\phi(e)$. If $\phi (e)=e_i$ for some $i$ and $\ell(d_i)>0$, we subdivide $e$ into $\ell(d_i)$ edges and let $\psi$ map the resulting path to $d_i$ in the obvious way. For any other edge $e$ of $C$, we fix any geodesic $p$ in $\Delta$ connecting $\alpha\circ \phi(e_-)$ to $\alpha\circ\phi(e_+)$, subdivide $e$ into $\ell(p)$ edges, and let $\psi$ map the obtained path to $p$. Let $D$ denote the resulting plane graph. Since every edge of $C$ gets subdivided into at most $K+L$ edges, $\psi\colon D \to \Delta $ is a combinatorial $(K+L)k$-filling of $d$; obviously, it has the same area as $\phi$. Applying this construction to a combinatorial $k$-filling of $c$ of minimal area, we obtain (b).
\end{proof}

\begin{thm}\label{Thm:QIG}
Let $\Gamma $ and $\Delta$ be connected quasi-isometric graphs. Suppose that $\Gamma$ has finitary isoperimetric spectrum. Then so does $\Delta$ and we have $f_\Gamma\sim f_\Delta$.
\end{thm}

\begin{proof}
Let $\alpha\colon \Gamma\to \Delta $ and $\beta\colon \Delta\to \Gamma$ be $L$-quasi-inverse, $(L,L)$-coarsely Lipschitz maps for some $L\in \NN$. Without loss of generality, we can assume that $\alpha$ and $\beta$ send vertices to vertices. Let $k$ be a positive integer, $c$ a $k$-contractible loop in $\Gamma $, $d$ a coarse $\alpha$-image of $c$ in $\Delta$. By Lemma \ref{Lem:indf}, $d$ is $2Lk$-contractible.

Further, let $m\ge 2Lk$ and let $\tilde c$ be a coarse $\beta$-image of $d$ in $\Gamma$.  By Lemma \ref{Lem:indf}, $\tilde c$ admits a combinatorial $2Lm$-filling $\tilde \phi\colon \tilde D\to \Gamma$ of area
$$
Area (\tilde\phi)=Area_{m}(d) \le f_\Delta (2Lk, m, \ell(d)) \le f_\Delta (2Lk, m, 2L\ell(c)).
$$

\begin{figure}

  \begin{center}
 \hspace{18mm} \input{figbord.pdf_tex}
  \end{center}
  \vspace{-3mm}
  \caption{Constructing a combinatorial filling of $c$.}\label{figbord}
\end{figure}

In order to obtain a filling of $c$, we modify $\tilde D$ and $\tilde \phi$ as follows. Let $c=c_1\ldots c_r$, where $r\le  \lceil\ell(c)/m\rceil$ and $1\le \ell(c_i)\le m$ for all $i$. Let $\tilde c =\tilde c_1\ldots \tilde c_r$ and $\partial \tilde D=d_1\ldots d_r$, where
$$
(\tilde c_i)_\pm =\beta\circ \alpha((c_i)_\pm)\;\;\; {\rm and}\;\;\; \tilde\phi(d_i)=\tilde c_i, \;\;\; i=1, \ldots, r.
$$
Since $\alpha$ and $\beta $ are $L$-quasi-inverse, we have $\d_\Gamma((c_i)_-, (\tilde c_i)_-)\le L$. Let $s=s_1\ldots s_r$ be a simple combinatorial loop (i.e., a graph homeomorphic to $\mathbb S^1$) embedded in the Euclidean plane, where $\ell(s_i)=\ell(c_i)$ for all $i$. We embed $D$ in the open disk bounded by $s$ so that $\partial D$ and $s$ are oriented in the same way. For  every $i$, we connect $(d_i)_-$ to $(s_i)_-$ by a combinatorial path $t_i$ of length $\d_\Gamma((c_i)_-, (\tilde c_i)_-)$ so that the interior of $t_i$ is disjoint from $s$, $D$, and $t_j$ for $j\ne i$ (see Fig. \ref{figbord}). Finally, we extend $\tilde\phi$ to a map $\phi \colon D\to \Gamma$ by sending each $s_i$ to $c_i$ and each $t_i$ to a geodesic connecting $(\tilde c_i)_-$ to $(c_i)_-$ in $\Gamma$.

Let $K_i$ denote the face of $D$ bounded by $t_is_it_{i+1}^{-1}d_i^{-1}$ (indices are modulo $r$). Applying part (a) of Lemma \ref{Lem:indf} twice, we obtain $\ell(\tilde c_i)\le 4L^2 \ell(c_i)$ for every $i$. Hence,
$$
\begin{array}{rcl}
\ell(\phi(\partial K_i)) & = & \ell(\phi(s_i))+\ell(\phi (d_i))+\ell(\phi(t_i))+ \ell(\phi(t_{i+1}))\\&&\\
& = & \ell(c_i) + \ell(\tilde c_i) + 2L \\&&\\
& \le & \ell(c_i) + 4L^2 \ell(c_i) + 2L \\&&\\
& \le & (4L^2+2L+1)m.
\end{array}
$$
Therefore, $\phi$ is a combinatorial $Cm$-filling of $c$, where $C=4L^2+2L+1$. Note that
$$
Area_{Cm}(c)\le Area(\phi) \le Area(\tilde\phi) +r\le f_\Delta (2Lk, m, 2L\ell(c)) + \ell(c)/m +1.
$$
This implies the inequality $f_\Gamma(k, m, n)\preccurlyeq f_\Delta (k,m,n)$. The proof of the opposite inequality is symmetric.
\end{proof}

Recall that a metric space is said to be \emph{quasi-geodesic} if it is quasi-isometric to a geodesic metric space. It is well-known and easy to prove that every quasi-geodesic metric space  is quasi-isometric to a connected graph. This and Theorem \ref{Thm:QIG} allow us to define the isoperimetric spectrum of a quasi-geodesic metric space (up to the equivalence). Alternatively, we can work with a more general notion of filling and area in metric spaces (see \cite[Section III.H.2]{BH} or \cite[Section 9.7]{DK}).  However, we do not see any immediate applications of these generalizations and do not further discuss them in this paper.

\subsection{The case of finitely presented groups}

The main goal of this section is to prove Theorem \ref{Thm:FP}. We fix a finitely presented group $G$ and consider a finite presentation
\begin{equation}\label{Gpres}
G=\langle X\mid \mathcal R\rangle
\end{equation}
satisfying the following two conditions.
\begin{enumerate}
\item[($\ast$)] All relations $R\in \mathcal R$ have length $\|R\| \le 3$ and $\mathcal R$ contains all reduced words in the alphabet $X\cup X^{-1}$ of length at most $3$ representing $1$ in $G$;
\item[($\ast\ast$)] For all $n\in \NN$, we have $\delta_G (n)>0$.
\end{enumerate}
Condition ($\ast$) will be necessary to apply a result of Papasoglu (see Lemma \ref{m>r} below) in the proof of the upper bound in (\ref{fpspectrum}). Condition ($\ast\ast$) guarantees that the left side of (\ref{fpspectrum}) is well-defined.

Note that such a presentation always exists. Indeed, the first condition can be ensured by the obvious triangulation procedure. Namely, we start with any finite presentation $G=\langle X_0\mid \mathcal R_0\rangle $. For every relator $x_1x_2\ldots x_k\in \mathcal R_0$, where $k>3$ and $x_i\in X_0^{\pm 1}$ for all $i$, we add extra generators $y_1, \ldots, y_{k-1}$ and relations $$y_1=x_1x_2,\;\;\; y_2=y_1x_3,\;\;\; \ldots,\;\;\; y_{k-1}=y_{k-2}x_k.$$ After that, we replace $x_1x_2\ldots x_k$ with $y_{k-1}$. The resulting presentation obviously satisfies ($\ast$). Since it is obtained from $\langle X_0\mid \mathcal R_0\rangle$ by a finite sequence of Tietze transformations, it represents the same group $G$. Similarly, ($\ast\ast$) can always be ensured by adding a redundant generator $z$ and the relation $z=1$.

\begin{defn} For a van Kampen diagram $\Delta$ over (\ref{Gpres}), we denote by $\d_\Delta $ the graph metric on its $1$-skeleton. The \emph{radius} of $\Delta$ is defined by the formula
$$
r(\Delta)=\max\{ \d_\Delta  (u, \partial \Delta)\mid u\; {\rm is \;a \;vertex \;of\;} \Delta\}.
$$
\end{defn}
In this notation, the following result was proved in \cite[Section 2]{Pap}.

\begin{lem}\label{m>r}
Let $\Delta$ be a van Kampen diagram over (\ref{Gpres}). For every $m\ge r(\Delta)$, we can cut $\Delta$ into at most $\ell(\partial \Delta)/m +1$ subdiagrams of perimeter at most $25m$.
\end{lem}

\begin{proof}[Proof of Theorem \ref{Thm:FP}]
Let (\ref{Gpres}) be a finite presentation of $G$ satisfying ($\ast$) and ($\ast\ast$) and let $\delta_G(n)$ denote its Dehn function. Throughout the proof, we use the notation $\mathcal S_k$ and $Area_{\mathcal S_k}$ introduced in Definition \ref{Def:main}. Note that $\mathcal S_3=\mathcal R$ by ($\ast$).

\begin{figure}

  \begin{center}
 \hspace{18mm} \input{fig4.pdf_tex}
  \end{center}
  \vspace{-3mm}
  \caption{}\label{fig4}
\end{figure}

We begin by proving the upper bound in (\ref{fpspectrum}). For every word $w$ in the alphabet $X^{\pm 1}$ representing $1$ in $G$ and any positive integer $m$, we will show that
\begin{equation}\label{A25m}
Area_{\mathcal S_{25m}}(w) \le \theta(w)/m +1,
\end{equation}
where
$$
\theta(w)=15 Area_{\mathcal S_3}(w) +\| w\|.
$$
This implies $f_{G,X}(k, 25m, n) \le (15\delta_G(n)+n)/m +1$ and the desired upper bound follows.

The proof of (\ref{A25m}) is by induction on $\theta(w)$. If $\theta (w)\le 25 m$ the claim is obvious as $\| w\|\le 25m$ and $Area_{\mathcal S_{25m}}(w)\le 1$ in this case. Assume that $\theta(w)>25 m$.

Throughout the rest of the proof, by the \emph{area} of a van Kampen diagram $\Delta$, denoted by $Area(\Delta)$, we mean the number of faces in $\Delta$. Let $\Delta $ be a minimal area van Kampen diagram over (\ref{Gpres}) such that $\lab(\partial\Delta )\equiv w$.  There are two cases to consider.

{\it Case 1.} Suppose first that $m\ge r(\Delta)$. Applying Lemma \ref{m>r} to $\Delta$, we obtain $$Area_{\mathcal S_{25m}}(w) \le \ell(\partial \Delta)/m +1=\|w\|/m +1\le \theta(w)/m +1.$$

{\it Case 2.} Now assume that $m<r(\Delta)$. Let $u$ be a vertex of $\Delta$ such that $\d_\Delta (u, \partial \Delta)=m$ and let $p$ denote a geodesic path in $\Delta^{(1)}$ connecting $u$ to the closest vertex $v\in \partial \Delta$. Clearly, $\ell(p)= m$. Let $\Sigma $ be the minimal simply connected subdiagram of $\Delta $ containing $p$ and all faces of $\Delta$ that have at least one common edge with $p$. Since $p\cap \partial \Delta =\{v\}$, every edge of $p$ belongs to a face of $\Delta$. By ($\ast$), we have $Area(\Sigma)\ge m/3$ (we do not care about optimal constants here). On the other hand, every face $\Pi$ of $\Sigma$ that shares an edge with $\partial \Sigma$ must also share an edge with $p$ as otherwise $\Pi$ can be excluded from $\Sigma$. This easily implies that $\ell(\partial \Sigma)\le 4m$.

Passing to a cyclic shift of $w$ if necessary, we can assume that $w$ is read along $\partial \Delta$ starting from the vertex $v$ in the counterclockwise direction. Let  $s\equiv\lab(\partial \Sigma)$, where the label is also read counterclockwise starting from $v$ (see Fig. \ref{fig4}). By cutting off $\Sigma $, we get the decomposition $w=w^\prime  s$ in the free group $F(X)$, where $w^\prime =ws^{-1}$. Obviously, we have
$$
Area _{\mathcal S_3}(w^\prime) \le Area (\Delta) - Area(\Sigma)\le Area_{\mathcal S_3}(w)-m/3,
$$
and $$\| w^\prime\|\le \|w\| + \| s\| \le \| w\|+ 4m.$$
Hence,
\begin{equation}\label{tW'}
\theta (w^\prime)\le  15 (Area_{\mathcal S_3} (w)-m/3) + \| w\| +4m  = \theta (w)- m.
\end{equation}
Using the inductive assumption, the inequality $\| s\| \le 4m < 25 m$, and (\ref{tW'}), we obtain
$$
Area_{\mathcal S_{25m}}(w)\le Area_{\mathcal S_{25m}}(w^\prime) +1 \le \theta (w^\prime)/m +2 \le \theta (w)/m +1.
$$

Next we prove the lower bound in (\ref{fpspectrum}).
Fix any $m\ge 3$. By the definition of the isoperimetric spectrum, every word $w\in \ll \mathcal R\rr$ of length $\| w\| = n$  decomposes as
\begin{equation}\label{Eq:w=}
w=\prod_{i=1}^\ell f_i^{-1}R_i f_i,
\end{equation}
where $f_i \in F(X)$, $R_i\in \mathcal S_m$, and $\ell \le f_{G,X}(3,m,n)$. Further, every $R_i$ decomposes as a product of at most $\delta_G(m)$ conjugates of elements of $\mathcal R$ in $F(X)$ by the definition of the Dehn function. Substituting these decompositions in (\ref{Eq:w=}), we obtain the inequality $Area_{\mathcal R} (w)\le \ell \delta_G(m)$. Therefore, $\delta_G(n)\le f_{G,X}(3,m,n)\delta_G(m)$ for all $n$ and all $m\ge 3$ and the left inequality in (\ref{fpspectrum}) follows.
\end{proof}

We now discuss the dependence of the lower and upper bounds in (\ref{fpspectrum}) on the choice of the finite presentation of $G$. Let $f, g\colon \NN\to \NN\cup \{ 0\}$. We write $f\precapprox g$ if there exists $C\in \NN$ such that $f(n)\le Cg(Cn)+Cn$. It is easy to see that $\precapprox$ is a quasi-order on the set of all non-decreasing functions $\NN\to \NN$. By $\approx$ we denote the induced equivalence relation. It is well-known that the Dehn functions of any two finite presentations of the same group are $\approx$-equivalent.

\begin{defn}
We say that a function $f\colon \NN\to \NN$ has \emph{at least linear growth} if $\inf_{n\in \NN} f(n)/n>0$.
\end{defn}

The following lemma is likely known to experts. However, it does not seem to have been recorded in the literature. The closest result we could find is a considerably weaker theorem proved in \cite{Bat}: if a group $G$ has a finite presentation with Dehn function satisfying $\lim_{n\to \infty}\delta_G(n)/n=0$, then $G$ is either free or finite.

\begin{lem}\label{Lem:sl}
Let $G=\langle X\mid \mathcal R\rangle$ be a finite presentation. If $\ll \mathcal R\rr\ne \{ 1\}$ in $F(X)$, then the Dehn function of $G$ with respect to this presentation has at least linear growth.
\end{lem}

\begin{proof}
Recall that a map $\phi\colon F(X)\to \mathbb R$ is a \emph{quasi-character} if there exists a constant $\e$ such that $\phi(f^n)=n\phi(f)$ and $|\phi(fg)-\phi(f)-\phi(g)|\le \e$ for all $f,g\in F(X)$. It is well known (see \cite{Bro}) that for any non-trivial element $f\in F(X)$, there is a quasi-character $\phi\colon F(X)\to \mathbb R$ such that $\phi (f)>0$.

By our assumption, there exists $R_0\in \mathcal R$ such that $R_0\ne 1$ in $F(X)$. Let $\phi\colon F(X)\to \mathbb R$ be a quasi-character such that $\phi (R_0)>0$. The definition of a quasi-character implies that for every $f_i \in F(X)$, $R_i\in \mathcal R$, and $\e_i=\pm 1$, we have
\begin{equation}
\begin{split}
\left|\phi\left(\prod\limits_{i=1}^\ell f_i^{-1}R_i^{\e_i} f_i\right)\right| & \le \sum\limits_{i=1}^\ell \left|\phi (f_i^{-1}R_i^{\e_i}f_i)\right| + (\ell-1)\e\\ & \le\sum\limits_{i=1}^\ell(|\phi(R_i)|+2\e)+(\ell-1)\e\le \ell(M+3\e),
\end{split}
\end{equation}
where $M=\max_{R\in \mathcal R}|\phi (R)|$. On the other hand, $\phi(R_0^n)=n\phi(R_0)$. This implies that $Area_{\mathcal R} (R_0^n)\ge n|\phi(R_0)|/(M+3\e)$ and, therefore, the Dehn function of $\langle X\mid \mathcal R\rangle$ has at least linear growth.
\end{proof}

\begin{lem}\label{Lem:ab}
Let $\alpha_1,\alpha_2,\beta_1,\beta_2\colon \NN\to \NN$ be any non-decreasing functions such that $\alpha_1 \approx\alpha_2$ and $\beta_1\approx\beta_2$. Suppose that $\beta_1$ and $\beta_2$ have at least linear growth. Then $\alpha_1(n)/\beta_1(m) \sim \alpha_2(n)/\beta_2(m)$, where both sides are considered as functions of triples $(k,m,n)$ independent of $k$.
\end{lem}

\begin{proof}
Since  $\beta_1$, $\beta_2$ have at least linear growth, we can find $C\in \NN$ such that $\alpha _1(n)\le C\alpha_2(Cn)+Cn$ and $\beta _2(n)\le C\beta_1(Cn)$ for all $n\in \NN$. These inequalities imply
$$
\frac{\alpha_1(n)}{\beta_1(Cm)} \le \frac{C\alpha_2(Cn)+Cn}{\beta_2(m)/C} \le  C^2 \frac{\alpha_2(Cn)}{\beta_2(m)} + \frac{C^2}{\inf_{m\in \NN}\beta_2(m)/m}\cdot \frac nm .
$$
Therefore, $\alpha_1(n)/\beta_1(m) \curlyeqprec \alpha_2(n)/\beta_2(m)$. Similarly, $\alpha_2(n)/\beta_2(m) \preccurlyeq \alpha_1(n)/\beta_1(m)$.
\end{proof}

\begin{rem}
The assumption that $\beta_1$ and $\beta_2$ have at least linear growth cannot be omitted. Indeed, $1\approx m$ but $n\not\sim n/m$.
\end{rem}

\begin{cor}\label{Cor:fp}
Let $G$ be a finitely presented group. Suppose that $\delta_G$ is the Dehn function of a finite presentation of $G$ such that $\delta_G(m)>0$ for all $m\in \NN$. Then (\ref{fpspectrum}) holds.
\end{cor}

\begin{proof}
Note that if $G=\langle Y\mid \mathcal S\rangle$ is a finite presentation of $G$ and the corresponding Dehn function takes at least one positive value, then $\ll \mathcal S\rr\ne \{ 1\}$ in $F(Y)$. Therefore, the Dehn function of $G$ with respect to $\langle Y\mid \mathcal S\rangle$ has at least linear growth by Lemma \ref{Lem:sl} (in particular, this is true for the finite presentation (\ref{Gpres}) used in the proof of Theorem \ref{Thm:FP} by $(\ast\ast)$). Thus, Lemma \ref{Lem:ab} applied to the lower and upper bounds in (\ref{fpspectrum}) allows us to replace the Dehn function with respect to (\ref{Gpres}) with any other Dehn function of  $G$ that takes only positive values.
\end{proof}

\begin{cor}\label{Cor:hyp}
Let $G$ be a finitely presented group. We have $f_G(k,m,n)\sim \alpha(n)/m$ for some function $\alpha\colon \NN\to \NN\cup\{0\}$ if and only if $G$ is hyperbolic.
\end{cor}

\begin{proof}
The backwards implication follows immediately from Theorem \ref{Thm:FP}. Let us prove the forward implication. We fix a finite generating set $X$ of $G$. Since $G$ is finitely presented, there exists $M\in \NN$ such that $G=\langle X\mid \mathcal S_M\rangle $ (see Example \ref{Ex:fp}). By our assumption, there exists $C\in \NN$ such that
\begin{equation}\label{Eq:amf1}
\frac{\alpha(n)}{Cm} \le Cf_{G,X} (Ck, m, Cn)+ C\frac nm +C
\end{equation}
for all $(k,m,n)\in \NN^3$ satisfying $m\ge Ck$. Substituting $k=1$ and $m=Cn$ in (\ref{Eq:amf1}) and taking into account that $f_{G,X} (C, Cn, Cn)\le 1$, we obtain that $\alpha(n)/n$ is bounded from above. This easily implies the existence of a constant $D$ such that
\begin{equation}\label{Eq:amf2}
f_{G,X}(k,m,n)\le D n/m +D
\end{equation}
for all $m\ge D k$.

Let $\delta_G$ denote the Dehn function of $G$ with respect to the presentation $\langle X\mid \mathcal S_{D M}\rangle$. By definition, we have $\delta_G(n)=f_{G,X} (M, DM, n)$. Combining this equality with (\ref{Eq:amf2}), we conclude that $G$ has a linear Dehn function and, therefore, it is hyperbolic.
\end{proof}

Corollary \ref{Cor:hyp} can be used to provide examples of functions that \emph{cannot} be equivalent to the isoperimetric spectrum of any finitely presented group. E.g., the function $n^2/m$ has this property.

Now we prove another corollary of Theorem \ref{Thm:FP}.

\begin{proof}[Proof of Corollary \ref{Cor:Quad}]
Let $G$ be a group given by finite presentation (\ref{Gpres}) satisfying ($\ast$). Suppose that the corresponding Dehn function satisfies $\delta_G(n)\le Cn^2$ for some $c\in \NN$. Papasoglu proved that there exists a constant $K\in \NN$ such that for any $a\in \mathbb N$, one can cut a minimal area van Kampen diagram over (\ref{Gpres}) with boundary length $n>100 a$ into less than $Ka^2$ subdiagrams of perimeter at most $n/a$ each (see the first paragraph on p. 803 in \cite{Pap}]).

Fix any $(k,m,n)\in \NN^3$ such that $n\ge m>100$ and let $a= \lfloor n/m\rfloor$. Thus, we have $2m>n/a \ge m>100 a$. Let $w$ be any word in $X\cup X^{-1}$ representing $1$ in $G$ of length $\| w\| = n$ and let $\Delta $ be a minimal area van Kampen diagram over (\ref{Gpres}) such that $\Lab (\partial \Delta)\equiv w$. Applying the result of Papasoglu to $\Delta $, we obtain
$$
Area_{\mathcal S_{2m}}(w)\le Ka^2 \le K {n^2}/{m^2}.
$$
Thus, $f_{G,X} (k,2m,n) \le K(n/m)^2$ for all $(k,m,n)\in \NN^3$ such that $n\ge m>100$. Note also that $f_{G,X}(k,m,n)\le 1$ whenever $n\le m$. Therefore, we have $f_{G,X}(k,m,n)\preccurlyeq (n/m)^2$. Combining this inequality with the lower bound in (\ref{fpspectrum}), we obtain $f_{G,X}(k,m,n)\sim (n/m)^2$.
\end{proof}

We conclude this section with a proposition relating isoperimetric spectrum of a finitely generated group to the geometry of its asymptotic cone.
For the definition and basic properties of asymptotic cones, we refer the reader to \cite{DK}.

\begin{prop}\label{Prop:AC}
Let $G$ be a finitely presented group. Suppose that there exists a non-decreasing function $g\colon \mathbb Q_+\to \mathbb R$ such that $f_G(k,m,n) \preccurlyeq g(n/m)$. Then all asymptotic cones of $G$ are simply connected.
\end{prop}

\begin{proof}
Let $\langle X\mid \mathcal R\rangle $ be a finite presentation of $G$, $M=\max\{ \| R\| \mid R\in \mathcal R\}$. By our assumption, there exists $C\in \NN$ such that $f_{G,X}(M, Cm, n)\le Cg(Cn/m)+Cn/m +C$ for all $m\ge CM$. This easily implies that there are $K,N\in \NN$ such that $f_{G,X}(M, \lfloor n/2\rfloor , n)\le K$ for every $n\ge N$. That is, every loop $c$ of sufficiently large length admits a combinatorial $\lceil \ell(c)/2\rceil$-filling of area at most $K$. As observed by Gromov \cite[Section 5.F]{Gro93}, this property implies that all asymptotic cones of $G$ are simply connected (a detailed proof is given in \cite{Pap}).
\end{proof}

\begin{rem}
The existence of a combinatorial $\lfloor \ell(c)/2\rfloor$-filling of area at most $K$ (where $K$ is fixed) for every loop $c$ of sufficiently large length easily implies that the Dehn function of $G$ is bounded by a polynomial. (The latter property is also known to follow from the fact that all asymptotic cones of $G$ are simply connected \cite[Section 5.F]{Gro93}.)
\end{rem}

As we already mentioned in the introduction, Proposition \ref{Prop:AC} can be used to exhibit examples of finitely presented groups for which the left inequality in (\ref{fpspectrum}) is strict. However, the use of Proposition \ref{Prop:AC} can be avoided. We illustrate this by considering an example from \cite{OS}. Let $$G=\langle a,b, s,t\mid s^{-1}as=a,\, t^{-1}at=a,\, s^{-1}bs=ba,\, t^{-1}bt=ba \rangle.$$ In the course of proving \cite[Theorem 1.1]{OS}, Olshanskii and Sapir showed that $\delta _G(n)$ is cubic while loops in the Cayley graph of $G$ with respect to the generating set $\{a,b,s,t\}$ labeled by $[b^n, s^nt^{-n}]$ can not be decomposed into less than $\sqrt{n}$ loops of perimeter at most $n$. This implies that $f_{G,X} (5, n, 6n)$ is unbounded as $n\to \infty$. Therefore, $f_G(k,m,n)$ cannot be equivalent to $\delta_G(n)/\delta_G(m)\sim (n/m)^3$.

\section{Groups with linear isoperimetric spectrum}

\subsection{Limits of hyperbolic groups}
Recall that a geodesic metric space $S$ is said to be $\delta$-hyperbolicfor some $\delta\ge 0$ (or simply \emph{hyperbolic}) if every geodesic triangle is $S$ is $\delta$-thin; that is, every side of the triangle is contained in the union of the closed $\delta$-neighborhoods of the other two sides. A group $G$ is hyperbolic if so is its Cayley graph $Cay(G,X)$ with respect to some (equivalently, any) finite generating set $X$.

In this section we study isoperimetric spectra of groups that can be approximated by hyperbolic ones in a certain sense. We begin by recalling the an analog  of the Dehn algorithm for hyperbolic graphs. The first claim of the lemma below can be found in {\cite[Chapter III.H, Lemma 2.6]{BH}}; the second claim easily follows from the first one by induction.

\begin{lem}[]\label{Lem:Dhyp}
Let $\Gamma $ be a $\delta $-hyperbolic graph for some $\delta\in \NN$. For every loop $c$ in $\Gamma$, the following hold.
\begin{enumerate}
\item[(a)] There exists a subpath $p$ of $c$  such that $\d (p_-, p_+)\le \ell (p)-1$ and $\d (p_-, p_+)+ \ell (p)\le 16\delta$.
\item[(b)] The loop $c$ admits a combinatorial $16\delta$-filling of area at most $\ell(c)$.
\end{enumerate}
\end{lem}

Let $\Gamma $ be a graph and let $s\in \NN$. The \emph{$s$-expansion} of $\Gamma$, denoted by $\Gamma^s$, is the graph obtained from $\Gamma$ by adding edges between every pair of vertices $a,b\in V(\Gamma)$ such that $1<\d_\Gamma (a,b)\le s$, where $\d_\Gamma$ denotes the metric on $\Gamma$.

\begin{lem}[{\cite[Lemma 4.2]{MO}}]\label{Lem:MO}
Let $\Gamma $ be a $\delta$-hyperbolic graph. For every $s\in \NN$, the graph $\Gamma^s$ is $(\delta/s+6)$-hyperbolic.
\end{lem}

The following corollary will be instrumental in our study of limits of hyperbolic groups.

\begin{cor}\label{Cor:fhyp}
Let $\delta \in \NN$ and let $\Gamma $ be a $\delta$-hyperbolic graph. For every integer $m\ge 200\delta$, every loop $c$ in $\Gamma$ admits a combinatorial $m$-filling of area at most $400\lceil\ell(c)/m\rceil$.
\end{cor}

\begin{proof}
Let $s = \lfloor(m-16\delta)/100\rfloor$. Note that $s>0$ for every $m\ge 200 \delta$. We think of $\Gamma $ as a subgraph of the $s$-expantion $\Gamma^{s}$. Let $r=\lceil \ell(c)/s \rceil$ and let $c=c_1\ldots c_r$, where $\ell(c_i)\le s$ for all $i$. Connecting $(c_i)_-$ to $(c_{i})_+$ by an edge $e_i$ in $\Gamma ^{s}$, we obtain a loop $d=e_1\ldots e_r$ in $\Gamma ^{s}$. By Lemma~\ref{Lem:MO}, $\Gamma ^{s}$ is $(\delta/s +6)$-hyperbolic. Therefore,  $Area_{16\delta/s +96} (d)\le \ell(d)=r$ by Lemma \ref{Lem:Dhyp}.

Let $\alpha\colon V(\Gamma^s)\to V(\Gamma)$ denote the identity map and let $\tilde c$ be a coarse $\alpha$-image of $d$ (see Definition~\ref{Def:im}). Note that $\alpha$ is $(s,0)$-Lipschitz. By Lemma \ref{Lem:indf}, $\tilde c$ admits a combinatorial $s(16\delta/s +96)$-filling $\tilde \phi\colon \tilde D\to \Gamma$ of area at most $r$. Arguing as in the proof of Theorem \ref{Thm:QIG}, we can transform this filling to a combinatorial filling $\phi\colon D\to \Gamma$ of $c$ of area at most $2r$. In the notation of the proof of Theorem \ref{Thm:QIG}, we have $(c_i)_\pm = (\tilde c_i)_\pm$; therefore, the additional faces $K_i$ glued to $\tilde D$ satisfy $\ell(\phi(\partial K_i))\le \ell (c_i)+\ell(\tilde c_i) \le 2s\le m$. For every other face $K$ of $D$, we have
$$
\ell(\phi (\partial K))=\ell (\tilde\phi (\partial K))\le  s(16\delta/s+96)=16\delta +96s =16\delta +96 \lfloor(m-16\delta)/100\rfloor \le m.
$$
Thus, $c$ admits a combinatorial $m$-filling of area at most
$$
2r=2\left\lceil \frac{\ell(c)}{s}\right\rceil=2\left\lceil \frac{\ell(c)}{\lfloor(m-16\delta)/100\rfloor}\right\rceil \le 400\left\lceil \frac{\ell(c)}{m}\right\rceil.
$$
\end{proof}

\begin{defn}\label{Def:wah}
We say that a group $G$ is a \emph{limit of hyperbolic groups} if $G$ is the direct limit of a sequence
$$
G_1\stackrel{\e_1}\longrightarrow G_2 \stackrel{\e_2}\longrightarrow \ldots,
$$
where each group $G_i$ is hyperbolic and each homomorphism $\e_i$ is surjective. Equivalently, $G$ admits a presentation
\begin{equation}\label{Eq:Glim}
\left\langle X\; \left| \;\, \bigcup_{i=1}^\infty \mathcal R_i \right.\right\rangle,
\end{equation}
where $|X|<\infty $, $\mathcal R_1\subseteq \mathcal R_2\subseteq \ldots$,  and groups $G_i=\langle X\mid \mathcal R_i\rangle$ are hyperbolic for all $i\in \NN$. Furthermore, we say that $G$ is \emph{well-approximated by hyperbolic groups} if, in addition, there exists a constant $C\in \NN$ such that the following conditions hold for all $i\in \NN$.
\begin{enumerate}
\item[(a)] The normal closure of $\mathcal R_i$ in $F(X)$ contains all words $w\in F(X)$ of length $\| w\|\le i$ representing the identity in $G$.
\item[(b)] The Cayley graph $Cay(X,G_i)$ of the group $G_i=\langle X\mid \mathcal R_i\rangle$ is $Ci$-hyperbolic.
\end{enumerate}
\end{defn}

The main result of this section is the following.

\begin{prop}\label{Prop:LimHyp}
Let $G$ be a limit of hyperbolic groups.
\begin{enumerate}
\item[(a)] For every $k\in \NN$, there exists $M=M(k)\in \NN$ such that $f_{G,X}(k,m,n)\le 400\lceil n/m\rceil $ for all $m\ge M$.
\item[(b)] If $G$ is well-approximated by hyperbolic groups, then $f_{G,X}(k,m,n)\sim n/m$.
\end{enumerate}
\end{prop}

\begin{proof}
Let (\ref{Eq:Glim}) be a presentation of $G$ as in Definition \ref{Def:wah}. Fix any $k\in \NN$. There exists $i(k)$ such that $\S_k\subseteq \ll \mathcal R_{i(k)}\rr $, where $\mathcal S_k$ is defined by (\ref{Sk}). Let $M(k)$ denote the hyperbolicity constant of the Cayley graph $Cay(G_{i(k)}, X)$. Note that every $w\in \ll \mathcal S_k\rr$ labels a loop in $Cay(G_{i(k)}, X)$. Applying Corollary \ref{Cor:fhyp} to $Cay(G_{i{k}}, X)$, we obtain
\begin{equation}\label{Eq:Aw}
Area_{\mathcal S_m}(w) \le \left\lceil 200\| w\|/m\right\rceil.
\end{equation}
for all $m\ge M(k)$ and claim (a) follows.

If $G$ is well-approximated by hyperbolic groups, we can assume that $i(k)=k$ and $M(k)\le Ck$ in the notation of the previous paragraph. Thus, (\ref{Eq:Aw}) holds for all $m\ge Ck$ and we obtain $f_{G,X}(k,m,n)\sim n/m$.
\end{proof}

Recall that a function $f(k,m,n)\in \mathcal F$ is essentially independent of $k$ if it is equivalent to a function $g\in \mathcal F$ that depends on $m$ and $n$ only.

\begin{cor}\label{Cor:LHk}
Let $G$ be a limit of hyperbolic groups. If $f_G(k,m,n)$ is essentially independent of $k$, then $f_G(k,m,n)\sim n/m$.
\end{cor}

\begin{proof}
Suppose that $f_G(k,m,n)\sim g(m,n)$. By definition, there exists a finite generating set $X$ of $G$ and a constant $C$ such that $g(Cm,n)\le f_{G,X}(Ck,m,Cn) +Cn/m +C$ for all $(k,m,n)\in \mathbb T$ satisfying the inequality $m\ge Ck$. Let $M$ be the constant provided by Proposition \ref{Prop:LimHyp}. For every $m\ge M$, we have
$$
g(Cm,n)\le f_{G,X}(C,m,Cn) +Cn/m +C\le 400\left\lceil \frac{n}{m}\right\rceil +C\frac{n}{m} +C \preceq n/m
$$
and the result follows.
\end{proof}

We conclude this section with the first examples of infinitely presented groups with linear isoperimetric spectrum.
Recall that a word $w$ is the alphabet $X\cup X^{-1}=\{x_1, x_1^{-1}, x_2, x_2^{-1}, \ldots \} $ is \emph{reduced} if it contains no subwords of the form $x_ix_i^{-1}$ and $x_i^{-1}x_i$. A group presentation $\langle X\mid \mathcal R\rangle $
is said to be \emph{reduced} if all cyclic shifts of every word $R\in \mathcal R$ are reduced. A presentation $\langle X\mid \mathcal R\rangle $ satisfies the $C^\prime(\lambda)$ \emph{small cancellation condition} for some $\lambda \in [0, 1]$ if for any cyclic shifts $R_1\not\equiv R_2$ of some relators from $\mathcal R$ or their inverses, any common initial subword $U$ of $R_1$ and $R_2$ has length
$$
\| U\| < \lambda \min\{ \| R\|, \, \| S\|\}.
$$
The result below was originally proved by Greendlinger \cite{Green} using combinatorial arguments. For a contemporary geometric proof see \cite[Section 12]{book}.

\begin{lem}[Greendlinger Lemma]\label{Lem:Green}
Suppose that a group $G$ has a reduced presentation $\langle X\mid \mathcal R\rangle $ satisfying $C^\prime (1/6)$. Then every non-empty reduced word in the alphabet $X\cup X^{-1}$ that represents $1$ in $G$ contains a subword $U$ such that $U$ is also a subword of a cyclic shift of some $R\in \mathcal R^{\pm 1}$ and $\| U\| > \|R\|/2$.
\end{lem}

\begin{cor}\label{Cor:C16}
Let $G$ be a finitely generated group admitting a (possibly infinite) presentation satisfying the $C^\prime(1/6)$ small cancellation condition. Then the isoperimetric spectrum of $G$ is linear.
\end{cor}

\begin{proof}
Let $G=\langle X\mid \mathcal R\rangle $ be a presentation satisfying the $C^\prime(1/6)$ small cancellation condition. Let $\mathcal R_i=\{ R\in \mathcal R\mid \| R\| \le i\}$. Iterated application of Lemma \ref{Lem:Green} implies that every word $w\in F(X)$ of length $\|w\|\le i$ representing $1$ in $G$ belongs to $\ll \mathcal R_i\rr$. It is also known that if $H=\langle Y\mid \mathcal S\rangle$ is a finite presentation satisfying $C^\prime(1/6)$, then $Cay(H,Y)$ is $\delta$-hyperbolic for $\delta =\max\{ \|S\| \mid S\in \mathcal S\}$ (see Theorem 36 in \cite{Str}). Thus $G$ is well-approximated by hyperbolic groups and part (b) of Proposition \ref{Prop:LimHyp} applies.
\end{proof}

\subsection{Wreath products}

The main goal of this section is to prove part (a) of Theorem \ref{Thm:Lin}. We begin by estimating hyperbolicity constants of groups acting on trees.

Let $G$ be a group generated by a set $X$. For every finite subset $S\subseteq G$, we define its \emph{radius} by
$$
Rad_X(S)=\max\{ |g|_X \mid g\in S\},
$$
where $|g|_X$ is the word length of $g$ with respect to $X$.

\begin{prop}\label{Prop:Tree}
Let $G$ be a group acting by isometries on a tree $T$. Let $v$ be a vertex of $T$ and let $X$ be a generating set of $G$ such that
\begin{equation}\label{Eq:dT}
\d_T(v, xv)\le 1\;\;\; \forall\, x\in X\cup X^{-1}.
\end{equation}
Suppose that the stabilizer of $v$ is finite. Then the Cayley graph $Cay(G,X)$ is $\delta$-hyperbolic for $\delta = 2Rad_X(Stab_G(v))$.
\end{prop}

\begin{proof}
The map $G\to V(T)$ defined by $g\mapsto gv$ for all $g\in V$ extends to a generalized combinatorial map $\psi\colon Cay(G,X)\to T$. Indeed, suppose that some $g,h\in G$ are connected by an edge $e$ in $Cay(G,X)$. Then $h=gx$ for some $x\in X\cup X^{-1}$. Using (\ref{Eq:dT}), we obtain $$\d_T(gv, hv)=\d_T(gv, gxv)=\d_T(v, xv)\le 1, $$ i.e., the vertices $gv$ and $hv$ are connected by an edge in $T$ or coincide. In the former case, we define $\psi (e)$ to be the edge connecting $gv$ and $hv$ in $T$; in the latter case, we let $\psi(e)=gv=hv$.

Note that for every path $s$ in $Cay(G,X)$, its image $\psi(s)$  contains the geodesic in $T$ connecting $\psi(s)_-$ to $\psi(s)_+$. We denote this geodesic by $\widehat s$. Let now $\Delta =pqr$ be a triangle in $Cay (G,X)$ with geodesic sides $p$, $q$, $r$ and let $u$ be a vertex on $p$. We will show that $u$ is within distance at most $\delta$ from $q\cup r$.

\begin{figure}

  \begin{center}
 \input{fig6.pdf_tex}
  \end{center}
  \vspace{-3mm}
  \caption{The map $\psi\colon Cay(G,X) \to T$.}\label{fig3}
\end{figure}

In general, $\psi(u)$ may not lie on $\widehat p$. However, there always exists a subpath $p_u$ of $p$ containing $u$ such that $\psi(p_u)_-=\psi(p_u)_+\in \widehat p$ (if $u$ lies on $\widehat p$, $p_u$ reduces to one point). Shifting $\Delta $ by an isometry of $Cay(G,X)$, we can assume that $(p_u)_-=1$ and, therefore, $\psi(p_u)_-=\psi(p_u)_+=v$.

Let $g_u\in G$ be the element represented by $\Lab(p_u)$. Obviously, we have $g_u\in Stab_G(v)$. Thus, $u$ belongs to a geodesic in $Cay(G,X)$ connecting $1$ to an element of $Stab_G(v)$. Hence, $|u|_X\le Rad_X(Stab_G(v))$. Since $T$ is a tree, we have $v\in \widehat q$ or $v\in \widehat r$. Therefore, there is a vertex $w\in q\cup r$ such that $\psi (w)=v$. Again, we have $w\in Stab_G(v)$ and
$|w|_X\le Rad_X(Stab_G(v))$. Finally, we obtain $$\d_X(u,w)\le |u|_X+|w|_X \le 2Rad_X(Stab_G(v)).$$
\end{proof}

Now we turn to wreath products. Let $K$ be a finite group. We consider the presentation
$$K=\la Y\mid \mathcal S \ra, $$ where $Y=K$ and $\mathcal S$ is the set of all words in $Y\cup Y^{-1}$ of length at most $3$ representing $1$ in $K$. For elements $x$, $y$ of some group, we abbreviate $x^{-1}yx$ by $y^x$ and $x^{-1}y^{-1}xy$ by $[x,y]$. It is well-known and easy to prove (see, for example, \cite[Section 15]{Joh}) that the wreath product $G=K\wr \ZZ $ has the presentation
$$
G=\langle X \mid \mathcal R  \rangle,
$$
where
$$
X=Y\cup \{ t\}\;\;\; {\rm and}\;\;\; \mathcal R= S\cup \{\, [a^{t^i}, b^{t^{j}}]\mid i,j\in \ZZ, \; i\ne j\}.
$$
We denote by $K_0$ the subgroup of $G$ generated by $Y$ and let $K_i= t_i^{-1}K_0t_i$. In this notation, we have
$$
G=\left(\bigoplus_{i\in \ZZ} K_i\right) \rtimes \ZZ,
$$
where $\ZZ=\langle t\rangle$ acts on $\bigoplus_{i\in \ZZ} K_i$ by shifts. Given $k\in \NN$, let
$$
\mathcal R_k=S\cup \{ \, [a^{t^i}, b^{t^{j}}]\mid i,j\in \ZZ, \; i\ne j,\;  |i|, |j|\le k\},
$$
and
$$
G_k=\langle X\mid \mathcal R_k\rangle .
$$

\begin{lem}\label{Lem:k}
Every word $w\in F(X)$ representing $1$ in $G$ represents $1$ in $G_{\|w\|}$.
\end{lem}
\begin{proof}
Let $w\in F(X)$ be a word of length $k$ representing $1$ in $G$. Using relations from the set $\mathcal S$, we can rewrite $w$ as
\begin{equation}\label{w'}
w^\prime \equiv t^{\tau_0}a_1 t^{\tau_1}\ldots a_qt^{\tau_{q}},
\end{equation}
where $q$ is a non-negative integer (we include the possibility $q=0$ to encompass the case $w^\prime =1$ in $F(X)$), $a_1, \ldots, a_q \in Y$, and $\tau_i$ are integers satisfying $\sum_{i=1}^q|\tau_i|\le k$ for all $i=1, \ldots, q$. Let $\e \colon F(X)\to \ZZ=\langle t\rangle $ be the natural homomorphism with the kernel $\ll Y\rr$. Clearly, we have $\e(w^\prime)=\tau_0+\ldots +\tau_1 =0$. Therefore,
\begin{equation} \label{w''}
w^{\prime}=a_{1}^{t^{\sigma_1}}\ldots a_{q}^{t^{\sigma_q}}
\end{equation}
in the free group $F(X)$, where
$$
\sigma_1= -\tau_0=\tau_1+\tau_2+\ldots + \tau_q, \;\;\; \sigma_2= \tau_2+\ldots + \tau_q,\;\;\; \ldots\;\;\; \sigma_q=\tau_q.
$$

To prove the lemma it suffices to show that every word of the form (\ref{w''}) represents $1$ in $G_k$. We induct on $q$. If $w^\prime =1$ in $F(X)$, the claim is trivial, so we assume $q>0$. Without loss of generality, we can also assume that $a_1\ne 1$. Let $\pi\colon \bigoplus_{i\in \ZZ} K_i \rightarrow K_{\sigma_1}$ be the natural projection. Note that $\pi(a_i^{t^{\sigma_i}})=a_i$ if $\sigma_j=\sigma_1$ and $\pi(a_i^{t^{\sigma_i}})=1$ otherwise. Since $w^\prime$ represents $1$ in $G$, we have $\pi(a_{1}^{t^{\sigma_1}}\ldots a_{q}^{t^{\sigma_q}})=1$. As $a_1\ne 1$, there must exist $i\in \{2, \ldots, q\}$ such that $\sigma_i=\sigma_1$. Suppose that $i$ is the minimal index with this property. Then for every integer $j\in (1, i)$, we have $\sigma _i\ne \sigma_j$. Since $|\sigma_i|\le k$ for all $i=1, \ldots q$, we have $a_i^{t^{\sigma_i}}a_{j}^{t^{\sigma_{j}}}=a_{j}^{t^{\sigma_{j}}}a_i^{t^{\sigma_i}}$
in the group $G_k$. Applying these relations, we conclude that $w^\prime$ represents the same element of $G_k$ as
$$
(a_{1}a_i)^{t^{\sigma_1+\sigma_i}}a_{2}^{t^{\sigma_2}}\dots a_{i-1}^{t^{\sigma_{i-1}}} a_{i+1}^{t^{\sigma_{i+1}}}\ldots a_{q}^{t^{\sigma_q}}.
$$
Now, we can replace $a_1a_2$ with a single letter from $Y$ and complete the proof by induction.
\end{proof}

\begin{lem}\label{Lem:14k}
For every $k\in \NN$, the Cayley graph $Cay(G_{k}, X)$ is a $14k$-hyperbolic metric space.
\end{lem}
\begin{proof}
Let
$$
B_1=K_{-k} \oplus  \cdots \oplus K_{k-1} \; \;\; \text{and} \;\; \; B_2=K_{-k+1} \oplus \cdots \oplus K_{k}.
$$
It is easy to see that $G_k$ is an HNN-extension of $A_k= K_{-k} \oplus  \cdots \oplus K_{k}$ with the associated subgroups $B_1$ and $B_2$ corresponding to the natural ``shift automorphism" $B_1\to B_2$. Let $T$ be the corresponding Bass-Serre tree of $G_k$. Recall that the vertex set of $T$ is $\{ gA_k\mid g\in G\}$ and, for every $g\in G$, the vertices $gA_k$ and $gt^{\pm1}A_k$ are connected by an edge. Let $v=1A_k$. It is easy to see that the action of $G$ on $T$ satisfies the assumptions of Proposition \ref{Prop:Tree}.

Let us estimate the radius of $Stab_G(v)=A_k$ with respect to $X$. Every $a\in A_k$ decomposes as $a=a_{-k}^{t^{-k}} \cdots a_{k}^{t^{k}}$ for some $a_{-k}, \ldots, a_k\in Y$.  We have
$$
|a|_X= |t^ka_{-k}t^{-1}a_{-k+1} \cdots  t^{-1}a_{k}t^{k}|_X\le 6k+1.
$$
Thus, $Rad_X(A_k)\le 6k+1\le 7k$. By Proposition \ref{Prop:Tree}, $Cay(G_k, X)$ is $14k$-hyperbolic.
\end{proof}

We are now ready to prove the main result of this section.

\begin{thm}\label{Thm:WP}
For any finite group $K$, the wreath product $K\wr \ZZ$ is well-approximated by hyperbolic groups. In particular, $f_{K\wr \ZZ} \sim n/m$.
\end{thm}

\begin{proof}
The presentation of $G=K\wr \ZZ $ described above satisfies conditions (a) and (b) of Definition \ref{Def:wah} by Lemmas \ref{Lem:k} and \ref{Lem:14k}, respectively. Thus, the theorem follows from Proposition \ref{Prop:LimHyp}.
\end{proof}

\subsection{Geodesics and detours in Cayley graphs}

In this section, we establish a property of groups with linear isoperimetric spectrum that is reminiscent of exponential divergence of geodesics in hyperbolic spaces. It provides a useful tool for proving non-linearity of the isoperimetric spectrum and  will play a significant role in our treatment of groups of finite exponent in Section \ref{FEQI}.

We begin by introducing the necessary terminology. Throughout this section, $G$ denotes a group generated by a finite set $X$.

\begin{defn}\label{det}
Let $p$ be a geodesic in $Cay(G,X)$. We say that a path $q$ is an $r$-\emph{detour} of a vertex $o\in p$ if $q_-=p_-$, $q_+=p_+$, and $q$ does not intersect the $r$-neighborhood of $o$.
\end{defn}

\begin{figure}

  \begin{center}
 \input{fig5.pdf_tex}
  \end{center}
  \vspace{-3mm}
  \caption{An $r$-detour.}\label{fig3}
\end{figure}

\begin{prop}\label{Prop:div}
Let $G$ be a group with linear isoperimetric spectrum generated by a finite set $X$. There exists a constant $D$ such that the following holds. Let $p$ be a geodesic in $Cay(G,X)$ and let $q$ be an $r$-detour of a vertex of $p$ for some $r\ge 0$. If the loop $pq^{-1}$ is $k$-contractible for some $k\in \NN$, then $\ell (q)\ge D(r/k)^2$.
\end{prop}

We will need two lemmas. The proof of the first one is an easy exercise and we leave it to the reader.

\begin{lem}\label{Lem:Lin}
Let $f\in \mathcal F$ be a linear function. There exists a constant $C$ such that for every $(k,m,n)\in \mathbb T$, we have $f(k,m,n)\le C\lceil n/m\rceil$ for every $m\ge Ck$.
\end{lem}

The second lemma was proved in \cite[Lemma 5]{Ols}.

\begin{lem}[Olshanskii]\label{Lem:Ols}
Let $\Delta $ be a van Kampen diagram over a group presentation, where every face has perimeter at most $M$. Suppose that $\partial \Delta =p_1p_2\ldots p_n$, where each $p_i$ is geodesic in $\Delta^{(1)}$. If there exists $i$ and a vertex $o$ on $p_i$ such that $o$ does not belong to the closed $r$-neighborhood of $\bigcup_{j\ne i} p_j$, then the number of faces in $\Delta$ is at least $4r^2/M^3$.
\end{lem}

The main result of this section easily follows from Olshanskii's lemma.

\begin{proof}[Proof of Proposition \ref{Prop:div}]
Let $C$ be the constant provided by Lemma \ref{Lem:Lin} and let $p$, $q$ be as in the proposition. By the definition of $f_{G,X}$, there exists a van Kampen diagram $\Delta$ over $\langle X\mid S_{Ck}\rangle $ with the boundary label $\Lab(pq^{-1})$ and at most $f_{G,X}(k, Ck, \ell(pq^{-1})$ faces. By abuse of notation, we think of $p$ and $q$ as subpaths of $\partial \Delta$.

Clearly $p$ is a geodesic in $\Delta^{(1)}$. We think of $\partial \Delta$ as a geodesic polygon whose sides are $p$ and individual edges of $q^{-1}$. Since $q$ is an $r$-detour of a vertex of $p$, Lemmas \ref{Lem:Lin} and \ref{Lem:Ols} imply that
$$
4r^2\le(Ck)^3 f_{G,X}(k, Ck, \ell(pq^{-1}))\le (Ck)^3 \left\lceil \frac{\ell(pq^{-1})}{Ck}\right\rceil\le (Ck)^3 \left\lceil \frac{2\ell(q)}{Ck}\right\rceil,
$$
which easily yields the desired inequality for an appropriate constant $D$.
\end{proof}

\begin{rem}
Proposition \ref{Prop:div} can be used to show that a finitely generated group with linear isoperimetric spectrum cannot be decomposed into a direct product of two infinite groups and has a  locally finite center. Since these results are not used in our paper, we leave the proofs to the reader.
\end{rem}

\section{A descriptive approach to isoperimetric functions}\label{Sec:DA}

\subsection{Borel quasi-orders and equivalence relations on Polish spaces}

We begin by briefly reviewing the necessary background from descriptive set theory. A topological space is a \emph{Polish space} if it is separable and completely metrizable. A basic example is the power set $2^S$ of a discrete countable set $S$ endowed with the product topology (or, equivalently, the topology of pointwise convergence of indicator functions). By Tychonoff's theorem, $2^S$ is compact; if $S$ is countably infinite, $2^S$ is homeomorphic to the Cantor set. The class of Polish spaces is obviously closed under taking closed subspaces.

A\emph{ $G_\delta$-subset} (respectively, an \emph{$F_\sigma$-subset}) of a topological space is a subset that can be represented as a countable intersection of open sets (respectively, a countable union of closed sets).  A subset of a topological space is \emph{meager} if it is a union of countably many nowhere dense sets. A \emph{comeager} set is a set whose complement is meager. Equivalently, a subset of a topological space is comeager if it is a countable intersection of sets with dense interior.

The Baire category theorem (see~\cite[Theorem~8.4]{Kec}) states that the intersection of any countable collection of dense open subsets of a Polish space $X$ is dense in $X$. In particular, comeager subsets of a Polish space are non-empty.

Throughout the rest of this section, let $X$ denote a Polish space. A relation $R$ on $X$ is \emph{Borel} (respectively, $F_\sigma$, meager, etc.) if $R$ is a Borel (respectively, $F_\sigma$, meager, etc.) subset of $X\times X$. For an equivalence relation $E$ on $X$ and any $x\in X$, let $[x]_E$ denote the $E$-equivalence class of $X$. We will need the following well-known characterization of meager equivalence relations.

\begin{lem}\label{Lem:m}
An equivalence relation $E$ on a Polish space $X$ is meager if and only if $[x]_E$ is meager for all $x\in X$.
\end{lem}
\begin{proof}
If $[x]_E$ is meager for all $x\in X$, then $E$ is meager by the Kuratowski-Ulam theorem \cite[Theorem 8.41]{Kec}. If $E$ is meager, the Kuratowski-Ulam theorem only claims the existence of a comeager subset $C\in X$ such that $[c]_E$ is meager for all $c\in C$. Let $x\in X$. If there exists $c\in [x]_E\cap C\ne \emptyset$, then $[x]_E=[c]_E$ is meager; otherwise, $[x]_E$  is meager being a subset of the meager set $X\setminus C$.
\end{proof}

As usual, by a \emph{quasi-order} we mean any reflexive and transitive (but not necessarily antisymmetric) relation. Every Borel quasi-order $Q$ on $X$ induces a Borel equivalence relation $E_Q$ by the rule
$$
xE_Qy \;\; \Longleftrightarrow  \;\; xQy \;\,{\rm and }\;\, yQx.
$$
A quasi-order $Q$ on $X$ is said to be \emph{linearizable} if there is a Polish space $Y$, a linear order $L$ on $Y$, and a Borel map $\beta \colon X\to Y$ such that $xQy$ implies $\beta(x)L\beta(y)$, and $\beta(x)=\beta(y)$ if and only if $xE_Qy$ for all $x,y\in X$. A subset $A\subseteq X$ is a \emph{$Q$-antichain} if distinct elements of $A$ are $Q$-incomparable. The following dichotomy was proved in \cite[Theorem 3.1]{HMS}.

\begin{thm}[Harrington--Marker--Shelah]\label{BQO}
Let $Q$ be a Borel quasi-order on a Polish space $X$. If $X$ does not contain any $Q$-antichain of cardinality $2^{\aleph_0}$, then $Q$ is linearizable.
\end{thm}

Recall that a Borel equivalence relation $E$ on $X$ is  \emph{smooth} if there is a Polish space $Y$ and a Borel map $\beta \colon X\to Y$ such that for any $x,y\in X$, we have $xEy$ if and only if $\beta(x)=\beta(y)$. It is easy to see that if $Q$ is a linearizable Borel quasi-order on $X$, then the induced equivalence relation $E_Q$ is smooth. Thus we obtain the following corollary of Theorem \ref{BQO}.

\begin{cor}\label{Cor:NS}
Let $Q$ be a Borel quasi-order on a Polish space $X$. If the induced equivalence relation is non-smooth, then $X$ contains a $Q$-antichain of cardinality $2^{\aleph_0}$.
\end{cor}

A Borel equivalence relation $E$ on a Polish space $X$ is said to be \emph{generically ergodic} if every $E$-invariant Borel subset of $X$ is either meager or comeager.

\begin{prop}\label{Prop:FsQ}
Let $Q$ be an $F_\sigma$ quasi-order on a Polish space $X$. Suppose that $E_Q$ is generically ergodic and $X$ contains a dense $E_Q$-equivalence class whose compliment is also dense in $X$. Then $E_Q$ is meager and $X$ contains a $Q$-antichain of cardinality $2^{\aleph_0}$.
\end{prop}

\begin{proof}
Since $Q$ is $F_\sigma$, so is $E_Q$. By definition, $E=\bigcup_{i\in \NN}E_i$, where each $E_i\subseteq X\times X$ is closed. Let $U\subseteq X\times X$ be a non-empty open subset, $[x]_E$ a dense equivalence class with a dense complement. By our assumption, we can find $a\in [x]_E$ and $b\in X\setminus [x]_E$ such that $(a,b)\in U$. Note that $(a,b)\notin E$ by the choice of $a$ and $b$. Therefore, $E$ is nowhere dense in $X\times X$. In particular, every $E_i$ is nowhere dense. Thus, $E$ is meager. It is well-known (see, for example, \cite[Proposition 6.1.10]{Gao}) that every generically ergodic meager equivalence relation is non-smooth. Thus, Corollary \ref{Cor:NS} applies.
\end{proof}

\subsection{Isoperimetric spectra of finitely generated marked groups}\label{Sec:aaifgg}

We recall the definition of the space of finitely generated marked groups. Let $F_n$ denote the free group of rank $n$ with a fixed basis $A=\{ a_1,\ldots, a_n\}$ and let $\mathcal N(F_n)$ denote the set of all normal subgroups in $F_n$. The \emph{product topology} on $2^{F_n}$ is the topology induced by pointwise convergence of indicator functions. We think of $\mathcal N(F_n)$ as a subset of $2^{F_n}$ and endow it with the subspace topology.

Every pair $(G,X)$, where $G$ is a group generated by an ordered tuple $X=(x_1,\dots,x_n)$, corresponds to a normal subgroup of $F_n$, namely the kernel of the homomorphism $\e_{G,X}\colon F_n\to G$ sending $a_i$ to $x_i$ for all $i$. We say that two such pairs $(G,X)$ and $(H, Y)$ are \emph{isomorphic} if $|X|=|Y|=n$ and $Ker(\e_{G,X}) = Ker(\e_{H,Y})$.

\begin{ex}
Let $n=2$ and let $G\cong \mathbb Z\oplus\mathbb Z$. For any generating pairs $X=(x_1,x_2)$ and $Y=(y_1,y_2)$ of $G$, the pairs $(G,X)$ and $(G,Y)$ are isomorphic since $\e_{G,X}=\e_{G,Y}=[F_2, F_2]$.
\end{ex}

\begin{defn}
For each $n \in \NN$, let $\mathcal G_n$ denote the set of isomorphism classes of pairs $(G,X)$, where $G$ is a group and $X$ is a generating $n$-tuple of $G$. We endow $\mathcal G_n$ with the pull-back of the product topology on $\mathcal N (F_n)$ via the (bijective) map $(G,X)\mapsto Ker(\e_{G,X})$. For simplicity, we keep the notation $(G,X)$ for the equivalence class of $(G,X)$.
\end{defn}

The topology on $\G_n$ can be visualized in terms of Cayley graphs as follows. For a group $G$ generated by a set $X$ and for any $r>0$, we define
$$
B_{G,X}(r)=\{ g\in G \mid |g|_X\le r\}.
$$

\begin{defn}\label{CayTop}
Let $(G,X), (H,Y)\in \G _n$, where $X=(x_1, \ldots, x_n)$ and $Y=(y_1, \ldots, y_n)$. We say that  $(G,X)$ and $(H,Y)$ are \emph{$r$-locally isomorphic} for some $r\in \mathbb N$ and write $(G,X)\cong_r(H,Y)$ if there is an isomorphism between the induced subgraphs of $Cay (G,X)$ and $Cay (H,Y)$ with the vertex sets $B_{G,X}(r)$ and $B_{H,Y}(r)$, respectively, that sends edges labelled by $x_i$ to edges labelled by $y_i$ for all $i=1, \ldots, n$.
\end{defn}

It is easy to show that the family of sets
$$
U(G,X,r) = \{ (H,Y)\in \G_n\mid (G,X)\cong_r(H,Y)\},
$$
where $(G,X)\in \G_n$ and $r\in \NN$, is a basis of neighborhoods in $\G_n$.

\begin{ex}
Let $G$ and $G_i$ be as in Definition \ref{Def:wah}. Then the sequence $(G_i, X)$ converges to $(G, X)$ in $\G_n$, where $n=|X|$. (By abuse of notation, we think of $X$ as a subset of $G$ and $G_i$ here.)
\end{ex}

Recall that $\mathcal F$ denotes the set of all functions $\mathbb T\to \mathbb R$ that are non-decreasing in the first and third arguments and non-increasing in the second argument. In what follows, we think of $\mathcal F$ as a topological space with the topology of pointwise convergence. For every $n\in \NN$, we consider the map $\iota_n\colon \G_n\to \mathcal F$ given by
$$
\iota_n(G,X)=f_{G,X}.
$$
Note that this map is well-defined as Cayley graphs of isomorphic elements of $\G_n$ are isomorphic as unlabeled graphs.

\begin{lem}
For every $n\in \NN$, the map $\iota_n$ is continuous.
\end{lem}

\begin{proof}
It is straightforward to see from the definition of an isoperimetric spectrum that for any $r>0$ and any $r$-similar marked groups $(G_1,X_1), (G_2, X_2) \in \G_n$, we have $f_{G_1, X_1}(k,m,n)=f_{G_2, X_2}(k,m,n)$ for all $k,m,n\le r$. as above. This obviously implies continuity of $\iota_n$.
\end{proof}

\begin{prop}\label{Prop:Fs}
For every $n\in \NN$, the relation $\preccurlyeq_{is}$ is an $F_\sigma$ quasi-order on $\G_n$.
\end{prop}

\begin{proof}
By definition, we have $(G,X)\preccurlyeq (H,Y)$ for some $(G,X), (H,Y)\in \G_n$ if and only if $\iota_n(G,X)=\iota_n(H,Y)$. Since $\iota_n$ is continuous, it suffices to show that $\preccurlyeq$ is an $F_\sigma$ quasi-order on $\mathcal F$. For two functions $f, g\colon \mathbb T\to \mathbb R$ and constants $C,D\in \NN$, we denote by $Q_{C,D}$ the set of all pairs $(f,g)\in \mathcal F\times \mathcal F$ such that
$$
f(k,Cm,n)\le Cg(Ck, m, Cn) +Cn/m +C
$$ for all $(k,m,n)\in \mathbb T$ satisfying the inequalities $k\le D$, $m\le D$, and $n\le D$. As a subset of $\mathcal F \times \mathcal F$, the relation $\preccurlyeq$ coincides with $\bigcup\limits_{C\in \NN}\bigcap\limits_{D\in \NN} Q_{C,D}$. Obviously, each $Q_{C,D}$ is closed in $\mathcal F\times \mathcal F$ and the result follows.
\end{proof}

We briefly recall the definition of a relatively hyperbolic group given in \cite{Osi06}. A group $G$ is \emph{hyperbolic relative to a subgroup} $H$ if it is finitely presented relative to $H$ and satisfies a linear relative isoperimetric inequality. That is, there exist finite subsets $X\subseteq G$, $\mathcal R\subseteq F(X)\ast H$, and a constant $C\in \NN$ such that $G$ is naturally isomorphic to $F(X)\ast H/\ll \mathcal R\rr$ and every element $w\in \ll \mathcal R\rr$ can be represented in $F(X)\ast H$ as the product of at most $C|w|_{X\cup H}$ conjugates of elements of $\mathcal R$ or their inverses. In particular, $F(X)\ast H$ is hyperbolic relative to $H$ (we can take $\mathcal R=\emptyset $ in this case).

The proof of the next result makes use of small cancellation theory in relatively hyperbolic groups. For unexplained terminology and details, we refer to \cite{Osi06}. Readers unfamiliar with this techniques can accept the lemma as a ``black box".

\begin{lem}\label{Lem:quad}
For every integer $n\ge 2$, $\overline{\mathcal H}_n$ contains a dense subset of marked groups $(G,X)$ such that $G$ is hyperbolic relative to a free abelian subgroup of rank $2$; in particular, these groups are non-hyperbolic.
\end{lem}

\begin{proof}
Let $U$ be a non-empty open neighborhood in $\overline{\mathcal H}_n$, $V$ an open neighborhood in $\G_n$ such that $U=V\cap \overline{\mathcal H}_n$. There exists $(H,Y)\in U$ such that $H$ is non-elementary hyperbolic and contains no non-trivial finite normal subgroups.

Let $K=\langle a, b\mid [a,b]\rangle \cong \ZZ\oplus \ZZ$. The group $G_0=H\ast K$ is torsion-free and hyperbolic relative to $K$. Further, the subgroup $H$ is suitable in $G_0$ in the terminology of \cite{Osi10} (see Definition 2.2 in \cite{Osi10} and the sufficient condition for being suitable given in Proposition~3.4 in \cite{AMO}). This allows us to apply \cite[Theorem 2.4]{Osi10}, which provides us with an epimorphism $\e\colon G_0\to G$ such that the restriction of $\e$ to $K$ is injective, $G$ is hyperbolic relative to $A=\e(K)$, and $\e(a), \e(b)\in \e(H)$. Informally, $G$ is obtained by taking the quotient of $G_0$ by $\ll au, bv\rr$, where $u,v\in H$ and the elements $au$, $bv$ satisfy certain small cancellaion conditions. In particular, $G$ is a quotient group of $H$ and is generated by $X=\e(Y)$. Furthermore, for every fixed $r>0$, \cite[Lemma 5.1]{Osi10} allows us to choose the elements $u$, $v$ so that the restriction of $\e$ to $B_{H,Y}(r)$ is injective; this implies that $(G,X)\cong_r(H,Y)$ (see Definition \ref{CayTop}). By satisfying the latter condition for a sufficiently large $r$,  we can ensure that $(G,X)\in V$.

By \cite[Corollary 1.6]{Osi07}, every group $G$ hyperbolic relative to a subgroup isomorphic to $\ZZ\oplus \ZZ$ is fully residually non-elementary hyperbolic; that is, for every finite subset $S\subseteq G$, there exists an epimorphism $\xi\colon G\to Q$ such that $Q$ is non-elementary hyperbolic and the restriction of $\xi$ to $S$ is injective. Applying this to $S=B_{G,X}(r)$ and letting $r\to \infty$, we obtain $(G,X)\in \overline{\mathcal H}_n$. Thus, $(G,X)\in U$. It is well-known that a hyperbolic group cannot contain a subgroup isomorphic to $\ZZ\oplus \ZZ$. Therefore, every group $G$ as above is non-hyperbolic.
\end{proof}

Let $I$ denote the equivalence relation on $\G_n$ induced by group isomorphism:
$$
((G,X)(H,Y))\in I \Longleftrightarrow G\cong H.
$$
We will also need the following lemma, which can be easily derived from results of \cite{Osi21}.

\begin{lem}\label{Osi21}
For every integer $n\ge 2$ the following hold.
\begin{enumerate}
\item[(a)] Every $I$-invariant Borel subset of $\overline{\mathcal H}_n$ is either meager or comeager.
\item[(b)] For a generic element $(G,X)\in \overline{\mathcal H}_n$, the group $G$ is a limit of hyperbolic groups in the sense of Definition \ref{Def:wah}.
\end{enumerate}
\end{lem}

\begin{proof}
Claims (a) and (b) were obtained in Theorem 2.9 and in the proof of Theorem 2.11 in \cite{Osi21} for a topological union of spaces $\overline{\mathcal H}_0=\bigcup_{n\in \NN}\overline{\mathcal H}_n$ in place of $\overline{\mathcal H}_n$. We refer the reader to \cite{Osi21} for the precise definition of $\overline{\mathcal H}_0$. Here we only need the following obvious consequence of this definition: each $\overline{\mathcal H}_n$ embeds in $\overline{\mathcal H}_0$ as an open subset. Since the intersection of every meager (respectively, comeager) set of a Polish space $P$ with any open subset $U$ of $P$ is meager (respectively, comeager) in $U$, the results for $\overline{\mathcal H}_n$ follow.
\end{proof}

\begin{proof}[Proof of Theorem \ref{Thm:HL}]
By Theorem \ref{Thm:QI}, every $\sim_{is}$-invariant subset of $X$ is also $I$-invariant. Therefore, the relation $\sim_{is}$ on $\overline{\mathcal H}_n$ is generically ergodic by Lemma \ref{Osi21} (a). Further, by Corollary \ref{Cor:Hyp} and Lemma \ref{Lem:quad},  $\overline{\mathcal H}_{n}$ contains a dense $\sim_{is}$-equivalence class consisting of groups with linear isoperimetric spectrum and a dense subset of marked groups with non-linear isoperimetric spectrum.  Applying Proposition \ref{Prop:FsQ} to the quasi-order $\preccurlyeq_{is}$ on $\overline{\mathcal H}_{n}$, we obtain part (a) of the theorem.

By Lemma \ref{Osi21} (b), there is a comeager subset $C\subseteq \overline{\mathcal H}_n$ such that for every $(G,X)\in C$, the group $G$ is a limit of hyperbolic groups. Let $$C_0= \{ (G,X)\in C\mid f_{G,X}(k,m,n)\sim n/m\}.$$ Corollary \ref{Cor:LHk} guarantees that $f_{G,X}(k,m,n)$ essentially depends on $k$ for every $(G,X)\in C\setminus C_0$. By Proposition \ref{Prop:FsQ} and Lemma \ref{Lem:m}, $C_0$ is meager. Therefore, $C\setminus C_0$ is comeager and we obtain (b).
\end{proof}

\begin{rem}
Formally speaking, to derive the existence of a finitely generated group whose spectrum essentially depends on $k$ from part (b) of Theorem \ref{Thm:HL}, we need to know that comeager subsets of $\overline{\mathcal H}_n$ are non-empty. This follows from the Baire category theorem since $\overline{\mathcal H}_n$ is a Polish space being a closed subspace of the Polish space $\G_n$.
\end{rem}

\section{Groups of finite exponent}

\subsection{Olshanskii's graded small cancellation theory}\label{Sec:O}

Our next goal is to prove linearity of the isoperimetric spectrum of free Burnside groups of sufficiently large odd exponent. This result will then be used to prove Theorem \ref{Thm:FE}. Our proofs make use Olshanskii's graded small cancellation technique used in the geometric proof of the Novikov-Adian theorem \cite{Ols83}. In order to make our exposition as self-contained as possible, we review the necessary background from \cite{book}.

The \emph{free Burnside group} $B(r,N)$ of exponent $N$ and rank $r$, is the free group in the variety of groups of exponent $N$. Throughout the rest of the paper,  section we assume that $N$ is odd and large enough, and $r\ge 2$. By \cite[Theorem 19.1]{book}, the group $B(r,N)$ can be defined by the presentation
\begin{equation}\label{B}
B(r,N)=\left\langle X  \; \left| \; R=1,\, R\in \mathcal R=\bigcup\limits_{i=1}^\infty
\mathcal R_i\right.\right\rangle ,
\end{equation}
where $X=\{ x_1, \ldots, x_r\}$ and the sets of relators $\mathcal R_0\subseteq \mathcal R_1\subseteq \ldots$  are constructed as follows.
Let $\mathcal R_0 =\emptyset $. By induction, suppose that $i> 0$ and we
have already defined the sets $\mathcal R_{j}$ for all  $j=0,\ldots,i-1$. Let $G_{i-1}=\langle X \mid R=1, R\in \mathcal R_{i-1}\rangle $. We define $$\mathcal R _{i}=\mathcal R _{i-1} \cup \{ P^N\mid P\in \mathcal P_i\},$$ where the set of \emph{periods} $\mathcal P_{i}$ is a maximal set of words in the alphabet $X\cup X^{-1}$ satisfying the following conditions.

\begin{enumerate}
\item[(a)] $\mathcal P_{i}$ consists of words of length $i$ that are not conjugate to powers of words of length less than $i$ in $G_{i-1}$.

\item[(b)] If $A,B\in \mathcal P_{i}$ and $A\not\equiv B$, then $A$ is not conjugate to $B^{\pm 1}$ in the group $G_{i-1}$.
\end{enumerate}

Results of Chapters 5 and 6 of \cite{book} involve a sequence of fixed small parameters
\begin{equation}\label{para}
1/2 > \alpha >\beta >\gamma> \e> \zeta >\iota=1/N.
\end{equation}
The exact relations between these parameters are described by a system of inequalities, which can be made consistent by choosing each parameter in the sequence to be sufficiently small compared to all preceding parameters. We can also assume that the parameters satisfy any additional finite system of inequalities that can be ensured in this way; this is called the \emph{lowest parameter principle} in \cite[Section 15.1]{book}. To help the reader follow our proofs, we use the abbreviation \emph{LPP} to designate inequalities that involve the lowest parameter principle.

Let
\begin{equation}\label{Gi}
G_i=\langle X\mid \mathcal R_i\rangle .
\end{equation}
Van Kampen diagrams over presentations (\ref{B}) and (\ref{Gi}) considered in \cite{book} can also have edges labeled by $1$ and the so-called \emph{$0$-faces of rank $0$} whose labels represent $1$ in the free group $F(X)$. Edges labelled by $1$ are assumed to be of length $0$ and are not counted when computing lengths of paths and distances in van Kampen diagrams. Faces labelled by elements of $\mathcal R$ are called \emph{ $\mathcal R$-faces}.

\begin{figure}

  \begin{center}
  \input{figred.pdf_tex}
  \end{center}
  \vspace*{-3mm}
  \caption{A reduction}\label{figred}
 \end{figure}

Let $i\ge 1$ and suppose we have a pair of distinct faces $\Pi_1$ and $\Pi_2$ in a diagram $\Delta$ over (\ref{B}) such that their boundaries $p_1$ and $p_2$ (oriented in the same way, e.g., counterclockwise) are labeled by $P^N$ and $P^{-N}$ for some period $P\in \mathcal P_i$. Further, suppose that there is a simple path $t$ in $\Delta $ from $(p_1)_-$ to $(p_2)_-$ such that $T\equiv \Lab(t)$ represents $1$ in $G_{i-1}$. Then $$\Lab(p_1tp_2t^{-1})\equiv P^NTP^{-N}T^{-1}=1$$ in $G_{i-1}$ and, therefore, the subdiagram of $\Delta $ bounded by $p_1tp_2t^{-1}$ can be replaced with a diagram $\Sigma$ over $G_{i-1}$ (see Fig. \ref{figred}).

We call such $\mathcal R$-faces $\Pi_1$ and $\Pi_2$  a \emph{reducible pair} and refer to the procedure described in the previous paragraph as a \emph{reduction}. A Kampen diagram is \emph{reduced} if it contains no reducible pairs of faces. Note that every van Kampen diagram can be transformed to a reduced one by finitely many reductions. Indeed, every reduction lexicographically decreases the {\it type} $\tau(\Delta)=(\tau_1,\tau_2,\dots)$ of the diagram, where $\tau_j$ is the number of faces in $\Delta$ labelled by relators from $\mathcal R_j$.

Next we discuss the notion of a contiguity subdiagram. The precise definition is somewhat technical and is not used in our paper. For our purposes, it suffices to know that a \emph{contiguity subdiagram} $\Gamma$ of an $\mathcal R$-face $\Pi$ to a subpath $q$ of $\partial\Delta$ is a subdiagram of $\Delta $ bounded by a path $s_1p_1s_2p_2$, where $p_1$ and $p_2$ are subpaths of $\partial\Pi_1$ and $q$, respectively, and $\Gamma$ does not contain $\Pi$ (see Fig. \ref{figcs}). In what follows, we call $\partial \Gamma =s_1p_1s_2p_2$ the \emph{canonical boundary decomposition} of $\Gamma$. The paths $s_1$ and $s_2$ (respectively, $p_1$ and $p_2$) are called the \emph{side sections} (respectively, \emph{contiguity sections}) of $\partial \Gamma$). The ratio $\ell(p_1)/\ell(\partial \Pi )$ is called the {\it contiguity degree} of $\Pi $ to $\partial \Delta$ and is denoted by $(\Pi , \Gamma , \partial \Delta)$.

By \cite[Lemma 19.4]{book}, every reduced diagram $\Delta$ over the presentation (\ref{B}) is an \emph{$A$-map}. Again, we do not discuss the definition of an $A$-map since we do not use it here. We only need to know that all lemmas about $A$-maps stated in Chapter 5 of \cite{book} apply to reduced diagrams. Below, we collect some necessary results.

\begin{figure}

  \begin{center}
  \input{figcs.pdf_tex}
  \end{center}
  \vspace*{-3mm}
  \caption{A contiguity subdiagram}\label{figcs}
 \end{figure}

\begin{lem}[{\cite[Corollary 17.1]{book}}]\label{beta} If a reduced diagram $\Delta$ over (\ref{B}) contains an $\mathcal R$-face $\Pi$, then $|\partial\Delta|>(1-\beta)|\partial\Pi|$.
\end{lem}

\begin{lem}\label{cont}
Let $\Delta$ be a reduced diagram over (\ref{B}) and let $\Gamma$ be a contiguity subdiagram of an $\mathcal R$-face $\Pi$ to a subpath $p$ of $\partial\Delta$ with the canonical boundary decomposition  $\partial(\Pi,\Gamma,q)=s_1p_1s_2p_2$. Then the following hold.
\begin{enumerate}
\item[(a)] \cite[Lemma 15.3]{book}. $\max (\ell(s_1),\ell(s_2))<\zeta N r(\Pi)=\zeta\ell(\partial\Pi)$.

\item[(b)] \cite[Lemma 15.4]{book}. If $(\Pi, \Gamma, p)\ge \varepsilon$, then $\ell(p_1)<(1+2\beta)\ell(p_2)$.

\item[(c)] \cite[Lemma 15.5]{book}. If $(\Pi, \Gamma, p)\ge 1/2+\alpha$, then $\ell(s_1p_1s_2)< \ell(p_2)$.
\end{enumerate}
\end{lem}

We will need an immediate consequence of Lemma \ref{cont} (c) and the inequality $1/2+\alpha < 1- \gamma$ (LPP).

\begin{cor}\label{geod}
Let $\Delta$ be a van Kampen diagram over (\ref{B}), $q$ a subpath of $\partial \Delta$, $\Gamma$ a contiguity subdiagram of an $\mathcal R$-face $\Pi$ to $q$. If $q$ is geodesic in $\Delta$, then $(\Pi, \Gamma, q)<1/2+\alpha < 1-\gamma $.
\end{cor}

The next lemma is an immediate consequence of \cite[Theorem 16.1]{book} (for $\ell \le 4$ it is stated as Corollary 16.1 in \cite{book}).  Note that the proof of Theorem 16.1 given in \cite{book} works for every $\ell\in \NN$, but we may have to decrease the parameters (\ref{para}) and use the lowest parameter principle explained above to make sure that all the inequalities involved in the proof are consistent as $\ell $ increases. For this reason, we need $\ell $ to be fixed in advance. We will need the case $\ell\le 6$ in our paper.

\begin{lem}\label{gamma}
Let $\Delta$ be a reduced diagram over (\ref{B}) containing at least one $\mathcal R$-face. Suppose that the boundary of $\Delta $ decomposes as $\partial \Delta =q_1\ldots q_\ell$, where $\l\le 6$ . Then there is an $\cal R$-face $\Pi$ of $\Delta$ and disjoint contiguity subdiagrams $\Gamma_1,\ldots, \Gamma_\ell$ of $\Pi$ to $q_1,\ldots,q_\ell$, respectively (some of them may be absent) such that
$$\sum_{i=1}^\ell(\Pi,\Gamma_i,q_i)>1-\gamma.$$
\end{lem}

We say that a (combinatorial) path $p$ in a van Kampen diagram $\Delta$ is \emph{geodesic} if it is geodesic in $\Delta^{(1)}$. If sections $q_1, \ldots, q_\ell$ in Lemma \ref{gamma} are geodesic, Corollary \ref{geod} implies that at least two contiguity subdiagrams $\Gamma_i$ must exist. The lemma below will be used several times to deal with the case when exactly two contiguity subdiagrams are present. In what follows, we denote by $\d_\Delta $ the length function on $\Delta^{(1)}$.

\begin{lem}\label{corner}
Let $\Delta$ be a reduced diagram over (\ref{B}), $p$ and $q$ geodesic subpaths of $\partial \Delta$. Suppose that $\Delta$ contains an $\cal R$-face $\Pi$ and disjoint contiguity subdiagrams $\Gamma_1$, $\Gamma_2$ of $\Pi$ to $p$ and $q$, respectively, such that
\begin{equation}\label{Eq:G1G2}
(\Pi,\Gamma_1,p)+(\Pi,\Gamma_2,q)>1-\gamma.
\end{equation}
Then $\d_\Delta (p_-, q) < \ell(p)$.
\end{lem}

\begin{figure}

  \begin{center}
  \input{figcor.pdf_tex}
  \end{center}
  \vspace*{-3mm}
  \caption{The length of the green path is less than $\ell(p)$.}\label{figcor}
 \end{figure}

\begin{proof}
Let $\partial \Gamma_1=s_1p_1s_2p_2$ and $\partial \Gamma_2=t_1q_1t_2q_2$ be the canonical decompositions as shown on Fig. \ref{figcor}. By Corollary \ref{geod}, we have $(\Pi,\Gamma_2,q) <1/2+\alpha$. Hence, $(\Pi,\Gamma_1,p) \ge 1/2 - \gamma - \alpha  > \epsilon $ (LPP). Using Lemma \ref{beta} (b), we obtain
\begin{equation}\label{Eq:lq2}
\ell(p_2)> \frac{\ell(p_1)}{1+2\beta}\ge \frac{1/2 -\gamma-\alpha}{1+2\beta} \ell(\partial \Pi)> \frac 13 \ell(\partial \Pi) \;\;\; (LPP).
\end{equation}
Note that $\d_\Delta (p_-, q)$ is bounded from above by the length of the path labeled in green on Fig. \ref{figcor}. Let $z$ be the subpath of $\partial \Pi$ connecting $(t_1)_+$ to $(s_2)_-$ that does not contain $p_1$ and $q_1$. By (\ref{Eq:G1G2}), we have $$\ell(z) \le  \ell(\partial\Pi)-\ell(p_1)-\ell(q_1)< \gamma\ell(\partial\Pi).$$ Combining this with (\ref{Eq:lq2}) and Lemma \ref{beta} (a), we obtain
$$
\d_\Delta (p_-, q) \le \ell (t_1)+\ell(z) +\ell(s_2) + \ell(p) - \ell(p_2)\le \ell(p) + (2\zeta +\gamma - 1/3) \ell(\partial \Pi) <\ell (p) \;\;\; (LPP).
$$
\end{proof}

\subsection{Isoperimetric spectrum of free Burnside groups}

In this section, we compute the isoperimetric spectrum of free Burnside groups of sufficiently large odd exponent. A major step towards this goal is the following.

\begin{prop}\label{33ni}
Let $G_i$ be the group defined by (\ref{Gi}). The Cayley graph $Cay(G_i,X)$ is $32Ni$-hyperbolic.
\end{prop}

A similar result was proved in \cite[Proposition 6.2 (e)]{OOS} for groups given by a slightly different presentation (the groups considered there have unbounded torsion). The same proof works in our case after obvious modifications. However, we choose to present a slightly longer yet, in a sense, more easier proof. The difference is that the argument given in \cite{OOS} makes use of \emph{$B$-} and \emph{$C$-maps} introduced in \cite[Chapter 7]{book}, while our approach only requires familiarity with more elementary $A$-maps discussed in \cite[Chapter 5]{book}. This allows us to make our exposition more self-contained than the one in \cite{OOS}.

\begin{proof}
Consider an arbitrary geodesic triangle with vertices $x$, $y$, $z$ in $Cay(G_i, X)$. We use the notation $[x,y]$, $[y,z]$, $[z,x]$ for the sides of this triangle. For any vertex $o\in [z,x]$, we will prove the inequality
\begin{equation}\label{doxyz}
\d_i(o, [x,y]\cup [y,z])\le 31 Ni,
\end{equation} where $\d_i$ denotes the metric on $Cay(G_i, X)$. Without loss of generality, we can assume that
\begin{equation}\label{Eq:do}
\d_i(o, [x,y]\cup [y,z]) > 15 Ni.
\end{equation}

\begin{figure}

  \begin{center}
  \input{fig4-gon.pdf_tex}
  \end{center}
  \vspace*{-3mm}
  \caption{Case A.}\label{fig4-gon}
 \end{figure}

\smallskip

\noindent{\it Case A.\;} Suppose first that the segment $[z,o]$ of the side $[z,x]$ intersects the closed $15Ni$-neighborhood of $[x,y]$, or the segment $[o,x]$ of $[z,x]$ intersects the closed $15Ni$-neighborhood of $[y,z]$. For definiteness, we consider the former case; the latter one is analogous.

Let $r_1$ be the shortest subpath of $[z,x]$ containing $o$ such that $$\d_i((r_1)_-, [x,y])= \d_i((r_1)_+, [x,y])=15Ni.$$ Let $u,v\in [x,y]$ be the vertices nearest to $(r_1)_+$ and $(r_1)_-$, respectively (see Fig. \ref{fig4-gon}). Let $r_2$ denote the subpath of $[x,y]^{\pm 1}$ connecting $u$ to $v$ and let $b_1$, $b_2$ be any geodesics in $Cay(G_i,X)$ connecting $(r_1)_+$ to $u$ and $v$ to $(r_1)_-$. In what follows, we call the paths $r_1$, $r_2$ (respectively, $b_1$, $b_2$) \emph{red} (respectively, \emph{blue}). Obviously, the quadrilateral $r_1b_1r_2b_2$ satisfies the following condition.

\begin{enumerate}
\item[($\ast$)] The distance in $Cay(G_i, X)$ between distinct red sides and the length of every blue side are equal to $15Ni$.
\end{enumerate}

Let $\Delta $ be a reduced van Kampen diagram with boundary label $\Lab(\partial \Delta)\equiv \Lab(r_1b_1r_2b_2)$. By abuse of notation, we identify $\partial \Delta$ with its canonical image $r_1b_1r_2b_2$ in $Cay(G_i,X)$. Note that $\Delta $ must contain at least one $\mathcal R$-face; for otherwise, $o$ belongs to $b_1r_2b_2$, which contradicts (\ref{Eq:do}). By Lemma \ref{gamma}, we can find an $\mathcal R$-face $\Pi $ and contiguity subdiagrams $\Gamma_1$, $\Gamma_2$, $\Sigma_1$, $\Sigma_2$ of $\Pi$ to $r_1$, $r_2$, $b_1$, $b_2$ respectively (some of these diagrams may be absent) such that $$\sum\limits_{j=1}^2\Big((\Pi,\Gamma_j, r_j) + (\Pi, \Sigma_j, b_j)\Big) \ge 1-\gamma.$$

By Corollary \ref{geod}, at least two of the contiguity subdiagrams $\Gamma_1$, $\Gamma_2$, $\Sigma_1$, $\Sigma_2$ must actually exist. Furthermore, suppose there are exactly two contiguity subdiagrams and they are adjacent to sides of distinct colors, say $b_1$ and $r_2$ (other cases only differ by notation). Then Lemma \ref{corner} applied to $p=b_1$ and $q=r_2$ implies that
$$
\d_i((b_1)_-, r_2)\le \d_\Delta ((b_1)_-, r_2)< \ell(b_1) \le 3Ni,
$$
which contradicts ($\ast$). Thus, there must exist two contiguity subdiagrams of $\Pi$ to sides of the same color (and possibly other contiguity subdiagrams). For $j=1,2$, we denote by $s_j$ and $t_j$ the side sections of $\partial\Gamma_i$ and $\partial\Sigma_i$ as shown on Fig. \ref{fig4-gon} and consider two subcases.

\smallskip

\noindent{\it Case A.1.\;} Suppose first that $\Gamma_1$ and $\Gamma_2$ are present. By Lemma \ref{beta} (a), we have
$$
\d_i((s_1)_-,(s_2)_+)< \ell(s_1) +\ell(\partial \Pi) + \ell (s_2) \le (2\zeta +1)\ell (\partial\Pi) < 2Ni \;\; (LPP),
$$
which contradicts ($\ast$). Thus, this case is impossible.

\smallskip

\noindent{\it Case A.2.\;} Assume that $\Sigma_1$ and $\Sigma_2$ are present.
As above, we obtain $\d_i((t_1)_-, (t_2)_+) \le 2Ni$. Since the path $r_1$ is geodesic, we have $\ell (r_1) \le \ell(b_1) +\d_i((t_1)_-, (t_2)_+) +\ell (b_2) \le 32 Ni$. Therefore, $\d_i(o, r_2)\le \ell(r_1)/2 +\ell(b_1) \le 31 Ni$.

\smallskip

\begin{figure}

  \begin{center}
  \input{fig6-gon.pdf_tex}
  \end{center}
  \vspace*{-3mm}
  \caption{Case B.}\label{fig6-gon}
 \end{figure}

\noindent{\it Case B.\;} Now suppose that $[z,o]$ (respectively, $[o,x]$) does not intersect the closed $15Ni$-neighborhood of $[x,y]$ (respectively, $[y,z]$).

Let $r_1$ be the shortest subpath of $[z,x]$ containing $o$ such that
$$
\d_i((r_1)_-, [x,y]\cup [y,z])=\d_i((r_1)_-, [x,y]\cup [y,z])=3Ni.
$$
Let $u,v\in [x,y]\cup [y,z]$ be the nearest vertices to $(r_1)_+$ and $(r_1)_-$, respectively (see Fig. \ref{fig6-gon}). Note that the assumption of Case B implies that $u\in [x,y]$, $v \in [y,z]$, and $\d_i(u,v)\ge 12Ni>3Ni$. Let $r_2$ (respectively, $r_3$) be the shortest segments of $[x,y]$ (respectively, $[y,z]$) starting at $u$ (respectively, ending at $v$) such that $\d_i((r_2)_+, (r_3)_-)= 3Ni$. We denote by $b_1$, $b_2$, $b_3$ any geodesics in $Cay(G_i,X)$ connecting $(r_1)_+$ to $u$, $(r_2)_+$ to $(r_3)_-$, and $v$ to $(r_1)_-$, respectively. As above, paths $r_1$, $r_2$, $r_3$ and $b_1$, $b_2$, $b_3$ are called \emph{red} and \emph{blue}, respectively. By construction, the hexagon $r_1b_1r_2b_2r_3b_3$ satisfies the following analog  of ($\ast$).

\begin{enumerate}
\item[($\ast\ast$)] The distance in $Cay(G_i, X)$ between distinct red sides and the length of every blue side are equal to $3Ni$.
\end{enumerate}

As above, we consider a reduced van Kampen diagram with boundary $r_1b_1r_2b_2r_3b_3$ and note that $\Delta $ must contain at least one $\mathcal R$-face. By Lemma \ref{gamma}, there exists an $\mathcal R$-face $\Pi $ and contiguity subdiagrams $\Gamma_j$, $\Sigma_j$ of $\Pi$ to $r_j$ and $b_j$ for $j=1,2,3$ (some of these diagrams may be absent) such that
$$\sum\limits_{j=1}^3\Big((\Pi,\Gamma_j, r_j) + (\Pi, \Sigma_j, b_j)\Big) \ge 1-\gamma.$$
Arguing as in Case A, we show that at least two of these contiguity subdiagrams must be present and if there are exactly two of them,  they cannot be adjacent to sides of distinct colors. Thus, we are left with only two cases to consider.

\smallskip
\noindent{\it Case B.1.\;}  Two contiguity subdiagrams to red sides are present (here and in Case B.2 below we do not exclude the possibility of having other contiguity subdiagrams as well). Arguing as in Case A.1, we obtain a contradiction to $(\ast\ast)$.

\smallskip
\noindent{\it Case B.2.\;} Two contiguity subdiagrams to blue sides are present. First assume that $\Sigma _1$ and $\Sigma_2$ are present.  Let $s_1$ and $s_2$ be any side sections of $\partial \Sigma_1$ and $\partial\Sigma_2$ (see Fig. \ref{fig6-gon}). By Lemma \ref{beta}~(a), we have
$$
\begin{array}{rcl}
\d_i((r_1)_+, [y,z]) & \le &  \ell(b_1) +\ell(s_1) +\ell(\partial \Pi ) +\ell (s_2) +\ell(b_2) \\&&\\ &\le & 6Ni +(2\zeta+1) \ell (\partial \Pi)\\&&\\ &< & 8Ni \;\;\; (LPP),
\end{array}
$$
which contradicts the assumption of Case B. Similarly, the case when $\Sigma _2$ and $\Sigma_3$ are present is impossible. Thus, the present contiguity subdiagrams to blue sides must be $\Sigma_1$ and $\Sigma_3$. Arguing as in Case A.2, we obtain $\d_i(o, r_2\cup r_3)\le 31 Ni$.

Thus, in all cases, we have (\ref{doxyz}). This implies that $Cay(G_i, X)$ is hyperbolic with the hyperbolicity constant at most $31Ni+1/2< 32Ni$.
\end{proof}

\begin{thm}\label{Thm:Bmn}
For any $r\ge 1$ and any sufficiently large odd $N$, the free Burnside group $B(r,N)$ is well-aproximated by hyperbolic groups. In  particular, $f_{B(r,N)}\sim n/m$.
\end{thm}

\begin{proof}
For every $i\in \NN$, let $j(i)=\lceil i/(1-\beta)\rceil$. We define $\mathcal R^\prime _i= \mathcal R_{j(i)}$ and $G^\prime _i=\langle X\mid \mathcal R^\prime _i\rangle$. By Lemma \ref{beta}, every word $w\in F(X)$ of length $\| w\|\le i$ representing $1$ in $B(r,N)$ belongs to $\ll \mathcal R^\prime_i\rr$. Further, by Proposition \ref{33ni}, $Cay(G_i^\prime, X)$ is hyperbolic and its hyperbolicity constant is bounded from above by $32N\lceil i/(1-\beta)\rceil \le 64Ni$ (LPP). Thus the sequence of presentations  $G^\prime _i$ satisfies Definition \ref{Def:wah} and we obtain the first claim of the theorem. The second claim follows from Proposition \ref{Prop:LimHyp}.
\end{proof}

\subsection{Non-quasi-isometric finitely generated groups of finite exponent}\label{FEQI}

Our next goal is to prove Theorem \ref{Thm:FE}. Our proof is based on the approach suggested in \cite{MOW}, which allows one to derive the existence of uncountably many pairwise non-quasi-isometric central extensions of certain groups from the existence of only two such extensions. More precisely, let $G$ be a finitely generated group such that the center of $G$ decomposes as
$$
Z(G)=\bigoplus\limits_{i\in \mathbb N} C_i,
$$
where each $C_i$ is a non-trivial finite abelian group. For each subset $I\subseteq \mathbb N$, we define
$$
Z_I =\left\langle \bigcup\limits_{i\in I}C_i \right\rangle \;\;\; {\rm and} \;\;\; G_I=G/Z_I.
$$
In this notation, the following result is an immediate corollary of \cite[Proposition 5.2]{MOW}.

\begin{prop}[Minasyan-Osin-Witzel]\label{MOW}
Suppose that the group $G$ is not quasi-isometric to $G/Z(G)$. Then the set $\{G_I\mid I\subseteq \NN\}$ contains a subset of cardinality $2^{\aleph_0}$ consisting of pairwise non-quasi-isometric groups.
\end{prop}

We are going to apply Proposition \ref{MOW} to the central extension of the free Burnside group $B(r,N)$ defined as follows. Let $X$ and $\mathcal R$ be as in (\ref{B}) and let $K$ denote the normal closure of $\mathcal R$ in $F(X)$. Fix any integer $p\ge 2$ and consider the group
\begin{equation}\label{Cmnp}
C(r,N,p) =F(X)/K^p[K,F(X)]=\langle X\mid \,R^p=1,\, [R,x]=1,\, R\in \mathcal R,\, x\in X\rangle.
\end{equation}
The lemma below summarizes some properties of $C(r,N,p)$ obtained in \cite{book}.

\begin{lem}[Olshanskii]\label{Cext}
For any integers $r,p\ge 2$ and any sufficiently large odd $N\in \NN$, the center of $C(r,N,p)$ is isomorphic to the direct sum of countably many copies of $\ZZ_p$ and we have $C(r,N,p)/Z(C(r,N,p))\cong B(r,N)$. In particular, $C(r,N,p)$ has exponent $Np$.
\end{lem}
\begin{proof}
By \cite[Corollary 31.1]{book}, the subgroup $K/[F(X),K]$ of $F(X)/[F(X),K]$ is free abelian with basis $\overline{\mathcal R} =\{ \overline {R}\mid R\in \mathcal R\}$, where $\overline{R}=R[F(X), K]$. The set $\mathcal R$ is infinite by \cite[Theorem 19.3]{book}. Therefore, the central subgroup $Z=K/K^p[F(X),K]\le C(r,N,p)$ is isomorphic to the direct sum of countably many copies of $\ZZ_p$ generated by the images of elements $\overline{R}\in \overline{\mathcal R}$. Obviously, we have $C(r,N,p)/Z\cong B(r,N)$. By \cite[Theorem 19.5]{book}, the group $B(r,N)$ is centerless. Hence,  $Z(C(r,N,p))=Z$.
\end{proof}

Proposition \ref{MOW} and Lemma \ref{Cext} reduce the proof of Theorem \ref{Thm:FE} to the following.

\begin{prop}\label{mainL}
For any integers $r\ge 4$, $p\ge 2$, and any sufficiently large odd $N\in \NN$, the free Burnside group $B(r,N)$ is not quasi-isometric to its central extension $C(r,N,p)$.
\end{prop}

We will prove this result by showing that the isoperimetric spectrum of $C(r,N,p)$ is not linear. The intuition behind this approach is that $C(r,N,p)$ has a large center, which can be used to violate the conclusion of Proposition \ref{Prop:div}. The assumption $r\ge 4$ is not really essential and is added in order to simplify some technical arguments in the proof; a slightly longer argument works for any $r\ge 2$.

We begin with auxiliary results. Our first goal is to show that the set of relations in the Olshanskii presentation (\ref{B}) grows exponentially. More precisely, we say that a set $\mathcal W$ of words in some alphabet is \emph{exponential} if there exists a constant $c$ such that
$$
|\{ W\in \mathcal W \mid \| W\| \le ci\} | \ge 2^i
$$
for all $i\in \NN$.

\begin{lem}[Olshanskii, {\cite[Lemma 1.2]{Ols16}}]\label{C*}
For any $\lambda >0$, there exists an exponential set $\mathcal W$ of words in a $2$-letter alphabet such that following conditions hold.
\begin{enumerate}
\item[(a)] Every word in $\mathcal W$ is $7$-aperiodic; that is, $W$ contains no subwords of the form $U^7$, where $U$ is any non-empty word.
\item[(b)] If $V$ is a common subword of some words $U, W \in \mathcal W$ and $\| V\| \ge \lambda \| W\|$, then $U\equiv W$.
\end{enumerate}
\end{lem}

Recall that the sets of periods $\mathcal P_i$ were defined in the process of constructing the presentation (\ref{B}) in Section \ref{Sec:O}. Let
$$
\mathcal P=\bigcup_{i=1}^\infty \mathcal P_i
$$

\begin{lem}\label{exp}
For every $r\ge 2$ and every sufficiently large odd $N\in \NN$, the set $\mathcal P$ is exponential.
\end{lem}

\begin{proof}
Let $\mathcal W$ be an exponential set of words in the alphabet $X$ satisfying conditions (a) and (b) of Lemma \ref{C*} for $\lambda = 1/40$. For every $W\in \mathcal W$, we have $W^N=1$ in $B(r,N)$. By \cite[Theorem 16.2]{book}, there exists a period $A\in \mathcal P$ such that a cyclic shift of the word $W^N$ and a cyclic shift of $A^N$ have a common subword of length at least $\e N \| A\| >60 \| A\|$ (LPP). We fix one such period for each $W\in \mathcal W$ and denote it by $A_W$. Getting rid of cyclic shifts, we obtain that $A_W^{29}$ is a subword of $W^N$.

Suppose that $A_U\equiv A_W$ for some words $U,W\in \mathcal W$. Without loss of generality, we can assume that $\| W\|\le \|U\|$. If $\| A_W\| \le\|W\|/10$, then $A^{29}$ is a subword of $W^4$, which contradicts the assumption that $W$ is $7$-aperiodic. Therefore, $\| A_W\| >\|W\|/10$.
Since $A_W$ is a subword of $W^N$, the words $A_W$ and $W$ have a common subword $B$ of length at least $\|A_W\|/2> \|W\|/20$. Note that $B$ is also a subword of $U^N$ as $A_U\equiv A_W$. Since $\| B\|\le \| W\|\le \| U\|$, the words $B$ and $U$ share a common subword $C$ of length at least $\| B\|/2>\| W\|/40$. Obviously, $C$ is also a common subword of $U$ and $W$ and hence we have $U\equiv W$ by condition (b) of Lemma \ref{C*}. Thus the map $W\mapsto A_W$ is injective. The obvious inequality $\| A_W\| \le N\|W\|$ implies that the subset $\{ A_W\mid W\in \mathcal W\}\subseteq\mathcal P$ is exponential.
\end{proof}

Recall that $E(\Delta)$ denotes the set of edges of a van Kampen diagram $\Delta$. We will also need the following result obtained by Grigorchuk and Ivanov in the course of proving Theorem~1.10 in \cite{GI} (it is stated explicitly in the third paragraph of the proof).

\begin{lem}[{\cite{GI}}]\label{GI}
For every reduced van Kampen diagram $\Delta$ over (\ref{B}), we have $|E(\Delta)|\le \ell(\partial\Delta)^{19/12}$.
\end{lem}

In the proof of Proposition \ref{mainL}, we will borrow some ideas from Section 5.3 of \cite{OOS}. In particular, we will make use of the following invariant. Let $A\in \mathcal P$ be a period. For a diagram $\Delta$ over (\ref{B}), we let $$\sigma _A(\Delta)= \sigma_A^+(\Delta) - \sigma_A^-(\Delta),$$ where $\sigma_A^+(\Delta)$ (respectively $\sigma_A^-(\Delta)$) is the number of faces whose boundary label reads $A^N$ (respectively,  $A^{-N}$) in the counterclockwise direction starting from an appropriate vertex.

Every diagram $\Sigma $ over (\ref{Cmnp}) can be converted to a diagram $\Delta $ over (\ref{B}) with the same boundary label by using the following transformations  (see Fig. \ref{fig1}).

\begin{figure}

  \begin{center}
  \input{fig1.pdf_tex}
  \end{center}
  \vspace{-3mm}
  \caption{Transformations (T$_1$) and (T$_2$).}\label{fig1}
\end{figure}

\begin{enumerate}
\item[(T$_1$)] Every face with boundary label $[R,x]$ for some $R\in \mathcal R$ and $x\in X$ is replaced with two faces with boundary labels $R$ and $R^{-1}$ (read in the same direction, e.g., clockwise) connected by an edge labelled by $x$.
\item[(T$_2$)] Every face $\Pi$ with boundary label $R^p$ for some $R\in \mathcal R$ is replaced with the wedge of $p$ faces with boundary labels  $R$ (read in the same direction as $\Lab (\partial \Pi)$).
\end{enumerate}

We record an obvious observation.

\begin{lem}\label{conv}
Let $\Sigma $ be any diagram over (\ref{Cmnp}),  $\Delta $ the diagram over (\ref{B}) obtained from $\Sigma$ by transformations (T$_1$) and (T$_2$). For every period $A\in \mathcal P$, we have $\sigma _A(\Delta )\equiv 0 \; ({\rm mod}\, p)$.
\end{lem}

Now, we prove the main technical result of this section.

\begin{lem}\label{qg}
Let $r,p\ge 2$ be any integers and let $N\in \NN$ be a sufficiently large odd number. For any $\ell\in \NN$ and any pairwise distinct periods $A_1, \ldots, A_\ell\in \mathcal P$, we have $|A_1^N\ldots A_\ell^N|_X\ge  (\|A_1^N\ldots A_\ell^N\|/2) ^{12/19}$ in the group $C(r,N,p)$.
\end{lem}

\begin{proof}
Let $S$ be a shortest word representing the same element as $A_1^N\ldots A_\ell^N$ in $C(r,N,p)$. Let $\Sigma $ be a van Kampen diagram over (\ref{Cmnp}) with the boundary label $A_1^N\ldots A_\ell ^NS^{-1}$. We transform $\Sigma $ to a diagram $\Delta$ over (\ref{B}) by using (T$_1$) and (T$_2$). Further, we ``wrap" $\Delta$ around the part of the boundary labelled by $A_1^N\ldots A_\ell ^N$ and fill the obtained hole with a wedge of faces labelled by $A_1^N$, $\ldots$, $A_\ell^N$ (see Fig. \ref{fig3}). Let $\Omega_0$ denote the obtained diagram. Note that $\Omega_0$ may not be reduced. To be able to apply Lemma \ref{GI}, we reduce $\Omega_0$ and denote by $\Omega$ the resulting reduced diagram; this step does not change the boundary of the diagram and thus $\lab(\partial \Omega )\equiv \lab(\partial \Omega_0)\equiv S^{-1}$.

\begin{figure}

  \begin{center}
\hspace*{3mm} \input{fig3.pdf_tex}
  \end{center}
  \vspace{-3mm}
  \caption{Transforming $\Delta $ to $\Omega _0$.}\label{fig3}
\end{figure}

By Lemma \ref{conv}, we have $\sigma_A (\Delta )=0 \; ({\rm mod}\, p)$ for every period $A$. Since the periods $A_1, \ldots, A_\ell$ are distinct, we have $\sigma_{A_i} (\Omega_0)\equiv 1 \; ({\rm mod}\, p)$ for all $i=1, \ldots, \ell$. The same equality holds for $\Omega$ since the reduction process does not affect the invariant $\sigma _{A_i}$. In particular, the diagram $\Omega $ must contain at least one face labelled by each of the words $A_1^N, \ldots, A_\ell^N$. Therefore, $|E(\Omega)| \ge (\|A_1^N\| +\cdots +\| A_\ell^N\|)/2$. Combining this with Lemma \ref{GI}, we obtain
$$
|A_1^N\ldots A_\ell^N|_X=\| S\| =\ell (\partial\Omega)\ge |E(\Omega)|^{12/19}\ge  (\|A_1^N\ldots A_\ell^N\|/2) ^{12/19}.
$$
\end{proof}

\begin{proof}[Proof of Proposition \ref{mainL}]
Let $X=\{ y_1,y_2,z_1,z_2, ...\}$ be an alphabet of cardinality $r$ and let $B(r,N)$ be the free Burnside group of exponent $N$ with basis $X$. We also denote by $B_Y$ and $B_Z$ the free Burnside groups of exponent $N$ with bases $Y=\{y_1, y_2\}$ and $Z=\{z_1,z_2\}$, respectively.

Since $B(r,N)$ is free in the variety of groups of exponent $N$, there are natural homomorphisms $B(r,N)\to B_Y$ and $B(r,N)\to B_Z$ that send all generators from $X\setminus Y$ (respectively, $X\setminus Z$) to $1$. We denote by $\phi\colon C(r,N,p)\to B_Y$ (respectively, $\psi\colon C(r,N,p)\to B_Z$) the composition of these homomorphisms and the natural homomorphism $C(r,N,p)\to B(r,N)$. Finally, let $$\widehat\phi\colon Cay(C(r,N,p), X)\to Cay(B_Y, Y)$$ and $$\widehat\psi\colon Cay(C(r,N,p), X)\to Cay(B_Z, Z)$$ be the maps between the Cayley graphs induced by $\phi$ and $\psi$.

Fix some $k\in \NN$ and let $W$ be any word in the alphabet $\{ y_1^{\pm 1}, y_2^{\pm 1}\}$ of length
\begin{equation}\label{W2k}
\|W\|=2^k
\end{equation}
that labels a geodesic path in the Cayley graph $Cay(B_Y, Y)$. Obviously, every path labelled by $W$ in $Cay(C(r,N,p), X)$ is also geodesic. Further, by Lemma \ref{exp}, there is a constant $c\in \NN$ such that the number of periods of length at most $ck$ in Olshanskii's presentation of $B_Z$ is at least $2^k$. Let $A_1, \ldots, A_{2^k}$ be pairwise distinct periods in Olshanskii's presentation of $B_Z$ of length
\begin{equation}\label{Ai}
\| A_i\| \le ck, \;\;\; i=1, \ldots, 2^k,
\end{equation}
There exists $1\le \ell \le 2^k$ such that
\begin{equation} \label{A-side}
2^k\le \| A_1^N \ldots A_\ell^N\| \le 2^k+ckN.
\end{equation}

Let
$$
L\equiv WA_1^N \ldots A_\ell^N W^{-1} (A_1^N \ldots A_\ell^N)^{-1}.
$$
Since every $A_i^N$  belongs to the center of $C(r,N,p)$, $L=1$ in this group. Thus, the word $L$ labels a loop $p=p_1p_2p_3p_4$
in $Cay(C(r,N,p), X)$, where
$$
\Lab(p_1)\equiv W,\;\;\; \Lab(p_2)\equiv A_1^N \ldots A_\ell^N,\;\;\; \Lab(p_3)\equiv W^{-1},\;\;\; \Lab(p_4)\equiv (A_1^N \ldots A_\ell^N)^{-1}.
$$
Denote the midpoint of $p_1$ by $o$. Note that $o$ is a vertex since $\ell(p_1)=\| W\| =s=2^k$ is even. Let $v$ be a vertex on $p_2p_3p_4$ closest to $o$, let $q$ denote a geodesic going from $o$ to $v$ in $Cay(C(r,N,p), X)$, and let $t=\ell(q)$. There are two cases to consider.

\begin{figure}

  \begin{center}
 \hspace*{15mm} \input{fig2.pdf_tex}
  \end{center}
  \vspace{-3mm}
  \caption{Two cases in the proof of Lemma \ref{mainL}.}\label{fig2}
\end{figure}

\smallskip
\noindent{\emph{Case 1.}}\;  Suppose first that $v$ lies on $p_2$ or $p_4$. To estimate $t$ from below, we project our configuration to $Cay(B_Y, Y)$ via $\widehat\phi$ (see Fig. \ref{fig2}). Obviously, $\widehat\phi(v)=\widehat\phi(p_1)_+$ (if $v\in p_2$) or $\widehat\phi(v)=\widehat\phi(p_1)_-$ (if $v\in p_4$). Since $\widehat\phi$ maps $p_1$ to a geodesic of length $\| W\|$ in $Cay(B_Y, Y)$ by the choice of $W$, we have $$t\ge \| W\| /2=2^{k-1}$$

\smallskip
\noindent{\emph{Case 2.}}\;  Now, assume that $v$ lies on $p_3$. Projecting this configuration to $Cay(B_Z, Z)$ via the map $\widehat\psi$, we obtain $\widehat\psi (o)=\widehat\psi(p_2)_-$ and $\widehat\psi(v)=\widehat\psi(p_2)_+$. Therefore, $t\ge |A_1^N \ldots A_\ell^N|_Z$ in this case, where $|\cdot |_Z$ denotes the word length in $B_Z$ with respect to $Z$. Applying Lemma~\ref{qg} and using the left inequality in (\ref{A-side}), we obtain $$t\ge(\| A_1^N \ldots A_\ell^N\|/2)^{12/19}\ge 2^{12(k-1)/19}.$$

In both cases, $(p_2p_3p_4)^{-1}$ is a $2^{12(k-1)/19}$-detour of the midpoint of $p_1$ (see Definition \ref{det}). Note that the relation $L=1$ in $C(r,N,p)$ follows from the relations of the form $[A_i^N, y]=1$, where $i=1, \ldots, \ell$ and $y\in Y$. By (\ref{Ai}), we have
$$
\| [A_i^N, y]\| \le 2 \max\limits_{i=1, \ldots, \ell}\| A^N_i\|+2 \le 2ckN+2<3ckN.
$$
Hence, the loop $p_1p_2p_3p_4$ is $3ckN$-contractible. Assume that $C(r,N,p)$ has linear isoperimetric spectrum. Applying Proposition \ref{Prop:div} to $p$ and using (\ref{A-side}) and (\ref{W2k}), we obtain
$$
D\left( \frac{2^{12(k-1)/19}}{3ckN} \right)^2 \le \ell(p_2p_3p_4)\le 2\| A_1^N \ldots A_\ell^N\|+\| W\|\le  3\cdot 2^k+2ckN ,
$$
where $D$ is a constant independent of $k$. Clearly, this is a nonsense if $k$ is large enough. Thus, the isoperimetric spectrum of $C(r,N,p)$ is not linear and the claim of the proposition follows from Theorem \ref{Thm:Bmn} and Theorem \ref{Thm:QI}.
\end{proof}

Theorem \ref{Thm:FE} is a simplified version of the following.

\begin{thm}
For any integer $p\ge 2$ and any sufficiently large odd $N\in \NN$, there exists $2^{\aleph_0}$ pairwise non-quasi-isometric finitely generated groups of exponent $Np$.
\end{thm}

\begin{proof}
Lemma \ref{Cext} and Proposition \ref{mainL} allow us to apply Proposition \ref{MOW} to $G=C(r,N,p)$ and the result follows.
\end{proof}

\begin{rem}
Using the same ideas as in Section \ref{Sec:aaifgg}, we could prove that there are $2^{\aleph_0}$ finitely generated groups of exponent $Np$ with pairwise non-equivalent isoperimetric spectra.
\end{rem}

\addcontentsline{toc}{section}{References}