Proves a correspondence between definable G vector bundles over a G set and their counterparts after a free action.
We prove that the set of isomorphism classes of definable G vector bundles over a definable G set X is in one-to-one correspondence to that of definable vector bundles over a definable set X/G when the action on X is free.
No takes yet. Share an insight, caveat, or question.
Tomohiro KAWAKAMI (2017) studied this question.
Synapse has enriched 5 closely related papers on similar clinical questions. Consider them for comparative context: