Equivariant K-theory, groupoids and proper actions

切片群胚的等变上同调

Equivariant cohomology of slice groupoids

本文通过构造Weil或Cartan模型之间的自然链映射，证明了切片邻域的等变上同调与切片上的等变上同调同构，并引入切片群胚概念，推广等变理论至此类群胚，证明等变上同调在Morita等价下不变。

Stolz Positive Scalar Curvature Structure Groups, Proper Actions and Equivariant 2-Types

In this note, we study equivariant versions of Stolz' $R$-groups, the positive scalar curvature structure groups $R^{\rm spin}_n(X)^G$, for proper actions of discrete groups $G$. We define the concept of a fundamental groupoid functor for a $G$-space, encapsulating all the fundamental group information of all the fixed point sets and their relations. We construct classifying spaces for fundamental groupoid functors. As a geometric result, we show that Stolz' equivariant $R$-group $R^{\rm spin}_n(X)^G$ depends only on the fundamental groupoid functor of the reference space $X$. The proof covers…

A classification of equivariant gerbe connections

Let G be a compact Lie group acting on a smooth manifold M. In this paper, we consider Meinrenken's G-equivariant bundle gerbe connections on M as objects in a 2-groupoid. We prove this 2-category is equivalent to the 2-groupoid of gerbe connections on the differential quotient stack associated to M, and isomorphism classes of G-equivariant gerbe connections are classified by degree three differential equivariant cohomology. Finally, we consider the existence and uniqueness of conjugation-equivariant gerbe connections on compact semisimple Lie groups.

Equivariant Bundles and Isotropy Representations

We introduce a new construction, the isotropy groupoid, to organize the orbit data for split $Γ$-spaces. We show that equivariant principal $G$-bundles over split $Γ$-CW complexes $X$ can be effectively classified by means of representations of their isotropy groupoids. For instance, if the quotient complex $A=Γ\backslash X$ is a graph, with all edge stabilizers toral subgroups of $Γ$, we obtain a purely combinatorial classification of bundles with structural group $G$ a compact connected Lie group. If $G$ is abelian, our approach gives combinatorial and geometric descriptions of some results …

A Serre-Swan theorem for gerbe modules on étale Lie groupoids

Given a bundle gerbe on a compact smooth manifold or, more generally, on a compact étale Lie groupoid $M$, we show that the corresponding category of gerbe modules, if it is non-trivial, is equivalent to the category of finitely generated projective modules over an Azumaya algebra on $M$. This result can be seen as an equivariant Serre-Swan theorem for twisted vector bundles.

The $C_2$-equivariant cohomology of complex projective spaces

We compute the equivariant cohomology of complex projective spaces associated to finite-dimensional representations of $C_2$, using ordinary cohomology graded on representations of the fundamental groupoid, with coefficients in the Burnside ring Mackey functor. This extension of the $RO(C_2)$-graded theory allows for the definition of Euler classes, which are used as generators of the cohomology of the projective spaces. As an application, we give an equivariant version of Bezout's theorem.

Orbifolds and stable homotopy groups

Lie groupoids generalize transformation groups, and so provide a natural language for studying orbifolds and other noncommutative geometries. In this paper, we investigate a connection between orbifolds and equivariant stable homotopy theory using such groupoids. A different sort of twisted sector, along with a classical theorem of tom Dieck, allows for a natural definition of stable orbifold homotopy groups, and motivates defining extended unstable orbifold homotopy groups generalizing previous definitions.

Loop groups and twisted K-theory I

This is the first in a series of papers investigating the relationship between the twisted equivariant K-theory of a compact Lie group G and the "Verlinde ring" of its loop group. In this paper we set up the foundations of twisted equivariant K-groups, and more generally twisted K-theory of groupoids. We establish enough basic properties to make effective computations. Using the Mayer-Vietoris spectral sequence we compute the twisted equivariant K-groups of a compact connected Lie group G with torsion free fundamental group. We relate this computation to the representation theory of the loop g…

Equivariance In Higher Geometry

We study (pre-)sheaves in bicategories on geometric categories: smooth manifolds, manifolds with a Lie group action and Lie groupoids. We present three main results: we describe equivariant descent, we generalize the plus construction to our setting and show that the plus construction yields a 2-stackification for 2-prestacks. Finally we show that, for a 2-stack, the pullback functor along a Morita-equivalence of Lie groupoids is an equivalence of bicategories. Our results have direct applications to gerbes and 2-vector bundles. For instance, they allow to construct equivariant gerbes from loc…

2-等变2-向量丛与2K-理论

2-Equivariant 2-Vector bundles and 2K-theories

构造了李群胚上的2-向量丛理论，定义了2K-理论，并证明了分类定理，推广到2-等变情形，计算了BA和G的2-等变2K-理论。

Homotopy sequence of a topological groupoid with a basegroup and an obstruction to presentability of proper regular Lie groupoids

A topological groupoid G is K-pointed, if it is equipped with a homomorphism from a topological group K to G. We describe the homotopy groups of such K-pointed topological groupoids and relate these groups to the ordinary homotopy groups in terms of a long exact sequence. As an application, we give an obstruction to presentability of proper regular Lie groupoids.

Categories of orbit types for proper Lie groupoids

It is widely understood that the quotient space of a topological group action can have a complicated combinatorial structure, indexed somehow by the sotropy groups of the action, but how best to record this structure seems unclear. This sketch defines a database category of orbit types for a proper Lie groupoid (based on recent work with roots in the theory of geometric quantization) as an attempt to capture some of this information.

Orbit projections of proper Lie groupoids as fibrations

Let $\mathcal{G} \rightrightarrows M$ be a source locally trivial proper Lie groupoid such that each orbit is of finite type. The orbit projection $M \to M/\mathcal{G}$ is a fibration if and only if $\mathcal{G} \rightrightarrows M$ is regular.

Orbifold Euler characteristics of non-orbifold groupoids

For a finitely presented discrete group $Γ$, we introduce two generalizations of the orbifold Euler characteristic and $Γ$-orbifold Euler characteristic to a class of proper topological groupoids large enough to include all cocompact proper Lie groupoids. The $Γ$-Euler characteristic is defined as an integral with respect to the Euler characteristic over the orbit space of the groupoid, and the $Γ$-inertia Euler characteristic is the usual Euler characteristic of the $Γ$-inertia space associated to the groupoid. A key ingredient is the application of o-minimal structures to study orbit spaces …