Suppose that $\Gamma \curvearrowright (X,\mu)$ is a measure-preserving action of a discrete, finitely generated group $\Gamma = \left\langle S \right\rangle$ on a probability space $(X,\mu)$. Let $\pi: \Gamma \to L^{2}(X,\mu)$ be the associated Koopman representation $(\pi(\gamma)f)(x) := f(\gamma^{-1}x)$. I've come across two definitions of a spectral gap for such an action and it seems to me that they are not equivalent and this is what I would like to ask about.


1. There exists a constant $\kappa>0$ such that for every measurable set $A \subset X$ we have $\max\_{s \in S} \mu(A \Delta sA) \geqslant \kappa \mu(A)(1-\mu(A))$.
2. There exists a constant $\kappa'>0$ such that for every $v\in L^{2}\_{0}(X,\mu)$, the subspace of mean-zero functions, we have $\max\_{s\in S}\|v - \pi(s)v\|\_2 \geqslant \kappa' \|v\|\_2$.


The first definition implies that the action is **strongly ergodic**, i.e. if $(A\_n)\_{n \in \mathbb{N}}$ is a sequence of measurable sets such that $\lim\_{n\to \infty} \max\_{s\in S}\mu(A\_n \Delta sA\_n)=0$ then $\lim\_{n\to \infty} \mu(A\_n)(1 - \mu(A\_n))=0$. Here comes the first question:


* Is the first definition equivalent to strong ergodicity?


I know that there do exist strongly ergodic actions that do not admit spectral gap, so an affirmative answer would show that the definitions are not equivalent. If the answer is negative, one has to ask the following question.


* Is the first definition equivalent to the second one?


These things appear naturally in Popa's deformation/rigidity theory, hence the choice of tags.


EDIT:
I realised that in the context of expanders the way to obtain a spectral gap from a property of indicator functions only is to use Cheeger's inequality. Maybe the right question to ask is: is there a Cheeger-type inequality in this case that shows that the two definitions introduced above are equivalent?



Strong ergodicity and spectral gap
Yes, conditions 1 and 2 are equivalent (as you already noticed).


Let me start by replacing both definitions with their negations, and replace definition 2 with its $L^1$-version.
A and B below are the negations of 1 and 2 correspondingly, slightly rewritten:


A. There exists a sequence of measurable subsets $\emptyset,X\neq A\_n\subset X$ such that for every $s\in S$,
$$(\*)\quad \frac{\|(\chi\_{A\_n}-\mu(A\_n)\cdot 1)-s(\chi\_{A\_n}-\mu(A\_n)\cdot 1)\|\_1}{\|(\chi\_{A\_n}-\mu(A\_n)\cdot 1)\|\_1} = \frac{\mu(A\_n \Delta sA\_n)}{\mu(A\_n)(1-\mu(A\_n))}\to 0.$$


B. There exists a sequence of vectors $0\neq v\_n$ in $L^1\_0(X)$ such that for every $s\in S$,
$$(\*\*) \quad \frac{\|v\_n-sv\_n\|\_1}{\|v\_n\|\_1} \to 0.$$


To see that A is the negation of 1 is straightforward. To see that B is the negation of 2, recall that the map $L^2\ni u\mapsto \text{sgn}(u)\cdot |u|^2\in L^1$ is uniformly continuous equivariant map on the unit sphere. Use it and a projection mod constants. I am not elaborating, as this is well known.
From now on we work in $L^1$ exclusively, thus $\|\cdot\|=\|\cdot\|\_1$.


Clearly A $\Rightarrow$ B. The rest of this post is devoted to proving the application B $\Rightarrow$ A. Thus, we assume that $v\_n$ is a sequence of unit vectors satisfying $(\*\*)$ and argue to provide a sequence $A\_n$ satisfying $(\*)$.


Let me denote by $B$ the unit ball in $L^1\_0(X)$.
The idea, as usual, is to map $B$ continuously into a compact space and take a limit point of the image of the sequence $v\_n$.
A first candidate for such a map that comes to mind is the embedding into the unit ball of $L^1(X)^{\*\*}\simeq L^\infty(X)^\*$. This idea will lead us eventually to prove the existence of an invariant mean, as in the answer by Mateusz Wasilewski, but justifying everything down this road seems longer than the path we take below in which we use another map.


Consider the space of probability measures on $\mathbb{R}$, $P$.
Endow $P$ with the weakest topology for which integration against every function in $C\_c(\mathbb{R})$ is continuous. Observe that the map $B\to P$, $f\mapsto f\_\*\mu$ is continuous and that the image is precompact (use Prokhorov's theorem).
Let me denote $\nu\_n=(v\_n)\_\*\mu\in P$ and assume as we may that $\nu\_n\to \nu$.
We consider two different cases: either $\nu$ is a point mass or not.


In case $\nu$ is *NOT* a point mass we can find and fix $t\in \mathbb{R}$ such that $\nu(-\infty,t),\nu(t,\infty)>0$ and then,
defining $A\_n=v\_n^{-1}(t,\infty)$, it easy to check that $(\*)$ is satisfied (use the continuity of $B\to P$).


From now on we assume $\nu$ is a point mass, that is $\nu=\delta\_t$ for some $t\in \mathbb{R}$.
By the fact that $\int v\_n=0$ and $\int|v\_n|=1$ it is easy to conclude that $|t|\leq 1/2$ and it follows that $1/2\leq \|v\_n-t\|<3/2$.
It is also easy to see that the sequence $|v\_n-t|$ is almost invariant in $L^1(X)$ and that $|v\_n-t|\_\*\mu \to \delta\_0$.
We normalize this sequence, setting $u\_n=|v\_n-t|/\|v\_n-t\|$. 


To summarize: we found a new almost invariant sequence of positive unit vectors $u\_n\in L^1(X)$ such that $(u\_n)\_\*\mu\to \delta\_0$.
We assume as we may that $\sum\_{s\in S}\|su\_n-u\_n\|< \|u\_n\|/n$.
The construction of the sequence $A\_n$ will follow by the "layer cake decomposition" method: for every positive function $f\in L^1(X)$, 
$\int\_X f=\int\_0^\infty f\_\*\mu(t,\infty)dt$.
Applying this decomposition to the functions
$|su\_n-u\_n|$ and $u\_n$ we obtain
$$ \sum\_{s\in S}\int\_0^\infty |su\_n-u\_n|\_\*\mu(t,\infty)dt=\sum\_{s\in S}\int\_X |su\_n-u\_n|=\sum\_{s\in S}\|su\_n-u\_n\| $$
$$ < \|u\_n\|/n = 1/n \int\_X u\_n =1/n \int\_0^\infty (u\_n)\_\*\mu(t,\infty)dt $$
and deduce the existence of $t>0$ for which
$$ \sum\_{s\in S} |su\_n-u\_n|\_\*\mu(t,\infty) < 1/n (u\_n)\_\*\mu(t,\infty). $$
We set $A\_n=u\_n^{-1}(t,\infty)$ and conclude 
$\sum\_{s\in S} \mu(A\_n \Delta sA\_n) < 1/n \mu(A\_n)$.
By the strict inequality we get $A\_n\neq \emptyset$.
Since $(u\_n)\_\*\mu\to \delta\_0$ we have $1-\mu(A\_n)\to 1$, thus we may assume $A\_n\neq X$, and indeed we get
$$ \frac{\mu(A\_n \Delta sA\_n)}{\mu(A\_n)(1-\mu(A\_n))} \to 0. $$


