@highergeometer@mathstodon.xyz
2026-02-27 04:56 UTC
@francisbrb Well, not sure. That's the intended case it's being possibly applied in. Also, this means that in the special case that your Lie groupoid is a manifold, then tbe manifold is compact, and this is a nicer setup to be (for me) for K-theory.
Replies (1)
-
@francisbrb@mathstodon.xyz 2026-02-27 05:04
@highergeometer I see. I was wondering how that would matter if you were doing a sheafy thing. I guess proper is much more important since you can apply a linearization theorem in order to assume that locally your groupoid is the action groupoid of a compact group over an open set in a representation.