Let \(\Gamma\) be a discrete group. A subgroup \(N\) is called confined if there is a finite set \(F\) in \(\Gamma\) which intersects every conjugate of \(N\) outside the trivial element. For example, a nontrivial normal subgroup is confined. 

A discrete subgroup of a semisimple Lie group is confined if the corresponding locally symmetric orbifold has bounded injectivity radius. We proved a generalization of the celebrated NST:  Let \(\Gamma\) be an irreducible lattice in a higher rank semisimple Lie group G. Let \(N<\Gamma\) be a confined subgroup. Then \(N\) is of finite index. 
                        
The case where \(G\) has Kazhdan's property (T) was established in my joint work with Mikolaj Frakzyc. As in the original NST, without property (T) the problem is considerably harder. The main part is to prove a spectral gap for \(L_2(G/N)\). 
                        
This is a joint work with Uri Bader and Arie Levit.