Is each locally compact group topology on the permutation group discrete? Question. Is each locally compact group topology on the permutation group $S_\omega$ discrete?
Here $S_\omega$ is the group of all bijections of the countable ordinal $\omega$. A group topology on a group $G$ is a topology turning $G$ into a Hausdorff topological group. 
This question was motivated by this question of Ali Taghavi.
To my surprise I could neigher find a quick answer nor find a suitable reference. The intuition says that the answer should be affirmative, that is, all locally compact group topologies on $S_\omega$ are discrete.
It is known that $S_\omega$ admits no compact group topology.
 A: Better: any homomorphism $f$ from the infinite symmetric group $S(X)$ ($X$ arbitrary set) to a locally compact group $H$ has a discrete image. 
Proof: we can suppose that $f$ has a dense image.
(a) Case when $H$ is totally disconnected. Let $L$ be a compact open subgroup of $H$. Notation: $L^h=h^{-1}Lh$, $h\in H$. Consider $K=f^{-1}(L)$. 
Recall that $L$ is commensurated in $H$, in the sense that the function $u_{H,L}(h)=\log([L:L\cap L^h])$ on $H$ takes finite values. Hence $K$ is commensurated in $S(X)$. By a result of Bergman (which easily follows from an earlier 1995 result of Galvin), every subadditive function on $S(X)$ is bounded. By a classical result of Schlichting 1980 (rediscovered by Bergman-Lenstra 1989), this implies that $K$ is groupwise transfixed, in the sense that there exists a normal subgroup $N$ of $S(X)$ that is commensurate to $K$. By Baer's classification of normal subgroups of $S(X)$, normal subgroups of $S(X)$ have no proper subgroup of finite index, with the only exception of the finitary subgroup and its subgroup of index 2. Hence replacing $N$ by a subgroup of index 2 if necessary, we can suppose that $N$ has no proper subgroup of finite index; so $K$ contains $N$ as a subgroup of finite index. Since $N$ has no proper subgroup of finite index, it has no nontrivial homomorphism into any profinite group. So $N$ is contained in the kernel of $f$, and hence $L$ is finite, and hence $H$ is discrete. 
(b) General case. By (a), $H/H^\circ$ is discrete, so $H^\circ$ is open. Define $N=f^{-1}(H^\circ)$, then $f(N)$ is dense in $H^\circ$. We conclude by (c) below that $H^\circ=1$, so (a) applies.
(c) Let $N$ be any subquotient of $S(X)$ and $P\neq 1$ a connected locally compact group. Then $N$ has no nontrivial homomorphism $v$ into $P$ with dense image (no continuity assumption).
Proof 1: suppose by contradiction that there's one; modding out the kernel, we can suppose $v$ injective, and modding out $P$, we can suppose that $P$ is Lie, and then that $P$ is either the circle group or a connected simple Lie group with trivial center. The group $P$ being linear, it has all its finitely generated subgroups residually finite (Malcev). So $N$ inherits this property. From Baer's classification of normal subgroups of $S(X)$ (and the simple observation that these are the only subnormal subgroups, see Scott's 1964 book Group Theory), all subnormal subquotients of $S(X)$ contain all countable groups as subgroups, except the finitary subgroup, modulo 1 or modulo the alternating subgroup. We can discard the latter by connectedness. So $N$ is the finitary symmetric group; it is locally finite and not virtually abelian, which is impossible in a linear group in characteristic zero such as $P$. Contradiction.
Proof 2 (without using solution to Hilbert's fifth problem?). The proof by Galvin implying that all subadditive functions on $S(X)$ are bounded adapt without change to all its normal subgroups except those contained in the finitary subgroup. Given this, when $N$ is not contained in the finitary subgroup, and using some word length on $P$ with respect to a compact generating subset, we deduce that $P$ is compact. Then by Peter-Weyl, we can assume that $P$ is Lie compact (and connected). At this point we can conclude as in the first proof by Malcev. An alternative is to use that any infinitely generated field is union of a properly increasing sequence of subfields to deduce that every infinitely generated subgroup of a compact connected Lie group is union of an increasing sequence of proper subgroups ("cofinality $\omega$"), which clearly implies the existence of an unbounded subadditive function. Applying this to the image of $N$ in $P$, we deduce that this image is finitely generated, but again using a word length argument, we deduce that the image is finite, and finitely connectedness forces $P=1$.
It remains the case when $N$ is the finitary subgroup or its alternating subgroup of index 2. In this case I can conclude as in Proof 1 but this makes use of Hilbert V. I have to think if we can conclude by another argument (to discard the possibility of a dense embedding of an infinite alternating group into a connected locally compact group).
References:
G. Bergman and H. Lenstra. Subgroups close to normal subgroups. J. Algebra 127,
80–97 (1989).
YC and Pierre de la Harpe. Metric geometry of locally compact groups. 
 EMS Tracts in Mathematics, 25. European Mathematical Society (EMS), Zürich, 2016. arxiv link (See Example 4E15 for link between Galvin and boundedness of subadditive maps)
Fred Galvin, Generating countable sets of permutations, J. London Math. Soc. 51 (1995), 230–242
G. Schlichting. Operationen mit periodischen Stabilisatoren. Arch. Math. 34, 97–99
(1980).
A: Maybe I posed this question too quickly, but here is the answer, which also answers this OP.

Theorem. Each locally compact group topology $\tau$ on the permutation group $S_\omega$ is discrete.

Proof. It is well-known that the topology $\tau_p$ of pointwise convergence turns $S_\omega$ into a Polish group. A neighborhood base of the topology $\tau_p$ at the unit $e$ of $S_\omega$ consists of the sets $$W_m=\bigcap_{k\le m}\{f\in S_\omega:f(k)=k\}.$$
By an old result of Gaughan, the identity homomorphism $(S_\omega,\tau)\to(S_\omega,\tau_p)$ is continuous. This implies that any compact neighborhood $U\in\tau$ of the unit in $S_\omega$ is metrizable and hence the locally compact topological group $(S_\omega,\tau)$ is first-countable. So, we can fix a decreasing sequence $\{U_n\}_{n\in\omega}$ of compact neighborhoods of $e$ in the topological group $(S_\omega,\tau)$ such that each neighborhood $U\in\tau$ of $e$ contains some neighborhood $U_n$. Replacing each $U_n$ by $U_n\cap W_n$, we can assume that $U_n\subset W_n$ for all $n\in\omega$.
The $\tau_p$-closedness of the compact set $U_0$ and the continuity of the conjugation in the topology $\tau_p$ imply that for every $n\in\omega$ the set $F_n:=\{x\in S_\omega:xU_nx^{-1}\subset U_0\}$ is $\tau_p$-closed. Since $S_\omega=\bigcup_{n\in\omega}F_n$, we can apply Baire Theorem and find $n\in\omega$ such that the set $F_n$ has non-empty interior in $(S_\omega,\tau_p)$ and hence contains a shift $sW_m$ of some basic set $W_m\in\tau_p$. Then $$wU_mw^{-1}\subset wU_nw^{-1}\subset s^{-1}U_0s$$ for every $w\in W_m$. Assuming that the locally compact topology $\tau$ is not discrete, we can find a non-identity permutation $u\in U_m$. Since $u\ne e$, there exists $x\in\omega$ such that $u(x)\ne x$. Taking into account that $U_m\subset W_m$, we conclude that $u(x)>m$. Since the set $s^{-1}U_0s$ is $\tau_p$-compact, the set $E=\{f(x):f\in s^{-1}U_0s\}$ is finite. Choose any permutation $w\in W_m$ such that $w(x)=x$ and $w(u(x))\notin E$. Then $w\circ u\circ w^{-1}(x)=w(u(x))\notin E$ and hence $wuw^{-1}\notin s^{-1}U_0s$, which contradicts the inclusion $wU_mw^{-1}\subset s^{-1}U_0s$.

This theorem has an interesting 

Corollary. The permutation group $S_\omega$ is not isomorphic to a dense subgroup of a non-discrete locally compact topological group.

Proof. To derive a contradiction, assume that $S_\omega$ is a dense subgroup of some non-discrete locally compact topological group $G$. Since the topology $\tau_p$ of pointwise convergence is the weakest Hausdorff group topology on $S_\omega$,  the identity homomorphism $S_\omega\to (S_\omega,\tau_p)$ is continuous and   extends to a continuous homomorphism $h:G\to (S_\omega,\tau_p)$ (by the Raikov completeness of the Polish group $(S_\omega,\tau_p)$). It follows that the kernel $K=h^{-1}(e)$ of the homomorphism $h$ is a closed normal subgroup of $G$ and $K$ is disjoint with $S_\omega$.
The density of $S_\omega$ in $G$ implies the nowhere density of $K$ in $G$. Let $G/K$ be the quotient topological group and $q:G\to G/K$ be the quotient homomorphism.
The nowhere density of $K$ in $G$ implies that the quotient topological group $G/K$ is not discrete.
It follows that $h=i\circ q$ for a unique injective continuous homomorphism $i:G/K\to (S_\omega,\tau_p)$. The surjectivity of the homomorphism $h$ implies the bijectivity of the injective homomorphism $i$. Now we see that $i^{-1}:S_\omega\to G/K$ is an isomorphism of the permutation group $S_\omega$ onto the non-discrete locally compact group $G/K$, which contradicts the Theorem.
