Timeline for G-sheaves on spaces with a free G-action
Current License: CC BY-SA 4.0
6 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| May 18, 2022 at 21:48 | comment | added | Misha Verbitsky | well, in my case it is a non-ramified covering of smooth manifolds | |
| May 16, 2022 at 20:27 | comment | added | Simon Henry | You do need the action to be free and proper in general for this to be true. | |
| May 16, 2022 at 19:54 | comment | added | Benjamin Steinberg | See example 32 of personal.psu.edu/pxx2/book.pdf for instance. | |
| May 16, 2022 at 19:50 | comment | added | Benjamin Steinberg | My belief, but I am no expert, is that $G$-sheaves on $X$ are basically sheaves for the transformation groupoid $G\ltimes X$. The free action makes this transformation groupoid principal and I think under reasonable hypotheses, like properly discontinuous action, the orbit space of this principal groupoid is Morita equivalent to the groupoid and hence has an equivalent category of sheaves. But I don't know the technical hypotheses to make this work 100% off the top of my head. So maybe the groupoid literature might come up with an answer. | |
| May 16, 2022 at 19:20 | history | edited | Misha Verbitsky | CC BY-SA 4.0 |
edited body
|
| May 16, 2022 at 16:18 | history | asked | Misha Verbitsky | CC BY-SA 4.0 |