Related papers: Stability and invariants of Hilsum-Skandalis maps
We establish the deformation theory of Lie groupoid morphisms, describe the corresponding deformation cohomology of morphisms, and show the properties of the cohomology. We prove its invariance under isomorphisms of morphisms. Additionally,…
Based on Morse theory for the energy functional on path spaces we develop a deformation theory for mapping spaces of spheres into orthogonal groups. This is used to show that these mapping spaces are weakly homotopy equivalent, in a stable…
We define a notion of connection in a fibre bundle that is compatible with a singular foliation of the base. Fibre bundles equipped with such connections are in plentiful supply, arising naturally for any Lie groupoid-equivariant bundle,…
Taking advantage of the quantale-theoretic description of \'etale groupoids we study principal bundles, Hilsum-Skandalis maps, and Morita equivalence in terms of modules on inverse quantal frames. The Hilbert module description of quantale…
Using a suitable notion of principal G-bundle, defined relative to an arbitrary cartesian category, it is shown that principal bundles can be characterised as adjunctions that stably satisfy Frobenius reciprocity. The result extends from G,…
The theory of principal bundles makes sense in any infinity-topos, such as that of topological, of smooth, or of otherwise geometric infinity-groupoids/infinity-stacks, and more generally in slices of these. It provides a natural geometric…
We study vector bundles over Lie groupoids, known as VB-groupoids, and their induced geometric objects over differentiable stacks. We establish a fundamental theorem that characterizes VB-Morita maps in terms of fiber and basic data, and…
Let $X$ be a complex toric variety equipped with the action of an algebraic torus $T$, and let $G$ be a complex linear algebraic group. We classify all $T$-equivariant principal $G$-bundles $\mathcal{E}$ over $X$ and the morphisms between…
We prove that group homology of the diffeomorphism group of $\#^g S^n \times S^n$ as a discrete group is independent of $g$ in a range, provided that $n>2$. This answers the high dimensional version of a question posed by Morita about…
Hilsum-Skandalis maps, from differential geometry, are studied in the context of a cartesian category. It is shown that Hilsum-Skandalis maps can be represented as stably Frobenius adjunctions. This leads to a new and more general proof…
In this paper we generalize the theory of multiplicative $G$-Higgs bundles over a curve to pairs $(G,\theta)$, where $G$ is a reductive algebraic group and $\theta$ is an involution of $G$. This generalization involves the notion of a…
Let $G$ be a Lie group and $G\to\Aut(G)$ be the canonical group homomorphism induced by the adjoint action of a group on itself. We give an explicit description of a 1-1 correspondence between Morita equivalence classes of, on the one hand,…
Usually bundle gerbes are considered as objects of a 2-groupoid, whose 1-morphisms, called stable isomorphisms, are all invertible. I introduce new 1-morphisms which include stable isomorphisms, trivializations and bundle gerbe modules.…
We prove a "Generic Equivalence Theorem which says that two affine morphisms $p: S \to Y$ and $q: T \to Y$ of varieties with isomorphic (closed) fibers become isomorphic under a dominant etale base change $\phi: U \to Y$. A special case is…
We prove two isomorphism-invariance theorems for groupoids associated with ultragraphs. These theorems characterize ultragraphs for which the topological full group of an associated groupoid is an isomorphism invariant. These results extend…
We present a novel generalisation of principal bundles -- principaloid bundles: These are fibre bundles $\pi:P\to B$ where the typical fibre is the arrow manifold $G$ of a Lie groupoid $G\rightrightarrows M$ and the structure group is…
Using the work of Dwyer, Weiss, and Williams we associate an invariant to any topologically trivial family of smooth h-cobordisms. This invariant is called the smooth structure class, and is closely related to the higher Franz--Reidemeister…
We introduce the concept of morphism of pseudogroups generalizing the \'etal\'e morphisms of Haefliger. With our definition, any continuous foliated map induces a morphism between the corresponding holonomy pseudogroups. The main theorem…
When two smooth manifold bundles over the same base are fiberwise tangentially homeomorphic, the difference is measured by a homology class in the total space of the bundle. We call this the relative smooth structure class. Rationally and…
Let $G$ be a simple algebraic group of adjoint type over $\mathbb C$, and let $M$ be the wonderful compactification of a symmetric space $G/H$. Take a $\widetilde G$--equivariant principal $R$--bundle $E$ on $M$, where $R$ is a complex…