Related papers: A Tannaka Theorem for Proper Lie Groupoids

Let $p$ be a prime. In this article, we prove the Smoothness Theorem, which asserts that a $(1,1)$-cyclotomic pair is $(n,1)$-cyclotomic, for all $n \geq 1$. In the particular case of Galois cohomology, the Smoothness Theorem provides a new…

We propose a new notion of `n-category with duals', which we call a Whitney n-category. There are two motivations. The first is that Baez and Dolan's Tangle Hypothesis is (almost) tautological when interpreted as a statement about Whitney…

We present some features of the smooth structure, and of the canonical stratification on the orbit space of a proper Lie groupoid. One of the main features is that of Morita invariance of these structures - it allows us to talk about the…

First, we extend the notion of second order differential equations (SODE) on a smooth manifold to anchored Banach vector bundles. Then we define the Banach Lie algebroids as Lie algebroids structures modeled on anchored Banach vector…

We prove the generalized Obata theorem on foliations. Let M be a complete Riemannian manifold with a foliation F of codimension $q>1$ and a bundle-like metric. Then $(M, F)$ is transversally isometric to the q-sphere of radius 1/c in…

Positiveness of scalar curvature and Ricci curvature requires vanishing the obstruction $\theta(M)$ which is computed in some KK-theory of C*-algebras index as a pairing of spin Dirac operator and Mishchenko bundle associated to the…

We give a complete classification of equivariant vector bundles of rank two over smooth complete toric surfaces and construct moduli spaces of such bundles. This note is a direct continuation of an earlier note where we developed a general…

This is a survey of recent results on classification of compact quantum groups of Lie type, by which we mean quantum groups with the same fusion rules and dimensions of representations as for a compact connected Lie group $G$. The…

If A is a smooth algebra of dimension d (greater or equal to 2) over a perfect field k of characteristic different from 2, then we show that the universal Mennicke symbol of length d+1 is isomorphic to some K-cohomology group. When k is…

First we survey and explain the strategy of some recent results that construct holomorphic $\text{sl}(2, \mathbb C)$-differential systems over some Riemann surfaces $\Sigma_g$ of genus $g\geq 2$, satisfying the condition that the image of…

We prove an analogue in higher dimensions of the classical Narasimhan-Seshadri theorem for strongly stable vector bundles of degree 0 on a smooth projective variety $X$ with a fixed ample line bundle $\Theta$. As applications, over fields…

We develop a ready-to-use comprehensive theory for (super) 2-vector bundles over smooth manifolds. It is based on the bicategory of (super) algebras, bimodules, and intertwiners as a model for 2-vector spaces. We discuss symmetric monoidal…

This is the first in a series of papers that deals with duality statements such as Mukai-duality (T-duality, from algebraic geometry) and the Baum-Connes conjecture (from operator $K$-theory). These dualities are expressed in terms of…

In this paper we prove that a morphism between schemes or stacks naturally corresponds to a symmetric monoidal functor between stable infinity-categories of quasi-coherent complexes. It can be viewed as a derived analogue of Tannaka…

Given a field of Hilbert spaces there are two ways to endow it with a smooth structure: the standard and geometrical notion of Hilbert (or Hermitian) bundle and the analytical notion of smooth field of Hilbert spaces. We study the…

In this paper we aim for a generalisation of the Steenrod Approximation Theorem from, concerning a smoothing procedure for sections in smooth locally trivial bundles. The generalisation is that we consider locally trivial smooth bundles…

We generalise the construction of the Lie algebroid of a Lie groupoid so that it can be carried out in any tangent category. First we reconstruct the bijection between left invariant vector fields and source constant tangent vectors based…

A particularly easy, even if for long overlooked way is presented for defining globally arbitrary Lie group actions on smooth functions on Euclidean domains. This way is based on the appropriate use of the usual parametric representation of…

We introduce the basic notions and present examples and results on Lie categories -- categories internal to the category of smooth manifolds. Demonstrating how the units of a Lie category $\mathcal C$ dictate the behavior of its invertible…

We extend Makkai duality between coherent toposes and ultracategories to a duality between toposes with enough points and ultraconvergence spaces. Our proof generalizes and simplifies Makkai's original proof. Our main result can also be…