Elektrine lite

← Feed

@highergeometer@mathstodon.xyz

2026-02-27 01:36 UTC

Here's a random result which I suspect is true: take a proper, cocompact Lie groupoid. So all the automorphism groups of objects are compact Lie groups, and the (topological) space of isomorphism classes is compact. Then there should be a presheaf on the groupoid (that is, on the manifold of objects, and equivariant for the groupoid action) that assigns the appropriate equivariant/groupoid vector bundle K-theory to an open (there's details about compactness here: perhaps one needs to be tricky with the site, and use local compactness etc, or perhaps used compact regular closed subsets or something). And I think this should be related to a constructible sheaf either on the groupoid like this, or on the quotient space, using the nice stratification that comes from work of Weinstein, Crainic–Struchiner, Pflaum–Posthuma–Tang on local linearisation. The stalk at an object (or iso class) should be representation rings of the automorphism group. If the automorphism group is connected, I could imagine that the conjugation action inducing isomorphisms on the representation rings is such that you have something on the quotient space, without that I'm not so sure. It might be ok. I had vague ideas that I wanted to use this for looking at a groupoid analogue of the result about the Brauer group compared to torsion classes in cohomology, but it's been a while, and I can't fully reconstruct the link. I have other ideas that are separate from this, and which feel more promising, but for my sins, I have to write up the proof for compact manifolds first.

Replies (3)

  • Maybe this putative constructible sheaf is known already in other settings, for example in algebraic stacks and using say K-theory calculated using coherent sheaves. I'd love to know if it seems familiar.

    Open ##1501381

  • OK, so here's a concrete question: Given a compact Lie group G, a closed subgroup H, and the restriction map R(G) -> R(H), if I have an element g in the normaliser of H, what effect on the restriction map does conjugation with g have?

    Open ##1501382

  • @francisbrb@mathstodon.xyz 2026-02-27 03:38

    @highergeometer why do you need the orbit space to be compact?

    Open ##1501384