Spin and Spin$^c$ geometry Global differential geometry mathematics