Problem about the notation $\text{Spin}^c(V)\cong \text{Spin}(V)\times _{\{\pm1\}} S^1$
Solution 1:
Generally I’ve seen $$A\times_CB := (A\times B)/C$$ where the relation is $$(ac,b) \sim (a,cb)$$
Problem about the notation $\text{Spin}^c(V)\cong \text{Spin}(V)\times _{\{\pm1\}} S^1$
Solution 1:
Generally I’ve seen $$A\times_CB := (A\times B)/C$$ where the relation is $$(ac,b) \sim (a,cb)$$