It's a conjecture that surface groups are characterized by being the only 1-relator groups such that every finite-index subgroup is also 1-relator and every infinite index subgroup is free. 

**Addendum:** This conjecture has been proved for [2-generator groups.][1] 


  [1]: https://arxiv.org/abs/2202.11093