A Mathematics Theory of Gauged Linear Sigma Model