For Marcus, Spin(4,1)/Spin(3,1) should be dS4, the de-Sitter space of dimension 4
The gauge ambiguity comes certainly that we do not use the most fundamental objects. For instance, the ambiguity A_\mu \to A_\mu + \partial_\mu \phi, can be solved, for a simple topology (See Aharonov-Bohm...