Varieties of topological groups and left adjoint functors