# Group Theory (math.GR)

• In this paper, we give a complete characterization on which finitely generated subgroups of finitely generated $3$-manifold groups are separable. Our characterization generalizes Liu's spirality character on $\pi_1$-injective immersed surface subgroups of closed $3$-manifold groups. A consequence of our characterization is that, for any compact, orientable, irreducible and $\partial$-irreducible $3$-manifold $M$ with nontrivial torus decomposition, $\pi_1(M)$ is LERF if and only if for any two adjacent pieces in the torus decomposition of $M$, at least one of them has a boundary component with genus at least $2$.
• We construct a cross ratio on the Roller boundary of any (possibly infinite dimensional) CAT(0) cube complex. For complete cube complexes with no free faces, we show that every cross ratio preserving bijection of boundaries admits a unique extension to an isomorphism of cube complexes. As a first application, given any Gromov hyperbolic group $G$, we identify classes of cubulations of $G$ with integer-valued cross ratios on the Gromov boundary $\partial_{\infty}G$.
• Let E be a number field and X be a smooth geometrically connected variety defined over a finite field of characteristic p. Given an n-dimensional pure E-compatible system \rho_\lambda of semisimple \lambda-adic representations of the étale fundamental group \pi_1(X) with connected algebraic monodromy groups G_\lambda, Chin [Ch04] has proven that the tautological representations i_\lambda: G_\lambda -> GL_n,E_\lambda are independent of \lambda, in the sense that after extensions they admit a common split F-form, for some finite extension F of E. We generalize Chin's result in the absolutely irreducible case by constructing a common E-form i:G -> GL_m,D of all i_\lambda together with a G-valued adelic representation \rho_A^G:\pi_1(X) -> G(A_E^(p)) such that i composed with \rho_\A^G is isomorphic to the direct product of \rho_\lambda for all \lambda. Moreover, if X is a curve and the outer automorphism group of the derived group of G(C) is trivial, the \lambda-components \rho_\lambda^G of \rho_A^G form an E-compatible system of G-representations. In general, we only construct a common E-form G of the groups G_\lambda for all \lambda. Let K be a number field. Analogous rationality results (predicted by the Mumford-Tate conjecture) for Q-compatible system of semisimple l-adic representations \rho_l of K are obtained under some conditions. These conditions are known, for example if \rho_l is the l-adic representation for an abelian variety with endomorphism ring Z after extension to C and for some prime l', each simple factor of G_l'(C) is of type A_r for some r>1.
• We show every locally solvable subgroup of PLo(I) is countable. A corollary is that an uncountable wreath product of copies of $\mathbb{Z}$ with itself does not embed into PLo(I).

Jalex Stark Apr 06 2017 22:46 UTC

However, one should note that I_3322 may be able to do something that this paper doesn't. William's work leaves open the question of whether there are games with infinite-dimensional tensor product strategies but no finite-dimensional ones. Some of us might expect that I_3322 has this property.

Laura Mančinska Mar 28 2017 13:09 UTC

Great result!

For those familiar with I_3322, William here gives an example of a nonlocal game exhibiting a behaviour that many of us suspected (but couldn't prove) to be possessed by I_3322.

Robert Raussendorf Jan 24 2017 22:29 UTC

Regarding Mark's above comment on the role of the stabilizer states: Yes, all previous works on the subject have used the stabilizer states and Clifford gates as the classical backbone. This is due to the Gottesman-Knill theorem and related results. But is it a given that the free sector in quantum

...(continued)
Planat Jan 24 2017 13:09 UTC

Are you sure? Since we do not propose a conjecture, there is nothing wrong. A class of strange states underlie the pentagons in question. The motivation is to put the magic of computation in the permutation frame, one needs more work to check its relevance.

Mark Howard Jan 24 2017 09:59 UTC

It seems interesting at first sight, but after reading it the motivation is very muddled. It boils down to finding pentagons (which enable KCBS-style proofs of contextuality) within sets of projectors, some of which are stabilizer states and some of which are non-stabilizer states (called magic stat

...(continued)