In this survey talk, I will review the known constructions of mathematical theories of gauged sigma model and its relations with Gromov--Witten theory and FJRW theory. I will emphasize the analytic side, but will also mention related algebraic geometric constructions.