Related papers: Smooth classifying spaces for differential $K$-the…

In this paper we introduce a new formalism for $K$-theory, called squares $K$-theory. This formalism allows us to simultaneously generalize the usual three-term relation $[B] = [A] + [C]$ for an exact sequence $A \hookrightarrow B…

Generalizing Karoubi's multiplicative K-theory and multiplicative cohomology groups for smooth manifolds we define secondary theories and characteristic classes for smooth etale groupoids. As special cases we obtain versions of the groups…

Using tools and results from geometric measure theory, we give a simple new proof of the main result (Theorem 1.3) in K. Kondo and M. Tanaka, Approximation of Lipschitz Maps via Immersions and Differentiable Exotic Sphere Theorems,…

Given a compact hyperkaehler manifold $M$ and a holomorphic bundle B over $M$, we consider a Hermitian connection $\nabla$ on B which is compatible with all complex structures on $M$ induced by the hyperkaehler structure. Such a connection…

We classify, up to diffeomorphism, all closed smooth manifolds homeomorphic to the complex projective $n$-space $\mathbb{C}\textbf{P}^n$, where $n=3$ and $4$. Let $M^{2n}$ be a closed smooth $2n$-manifold homotopy equivalent to…

Using symmetrized Grassmannians we give an algebraic geometric presentation, in the level of classifying spaces, of the Chern character and its relation to Chern classes. This allows one to define, for any projective variety $X$, a Chern…

This paper proposes a new notion of smoothness of algebras, termed differential smoothness, that combines the existence of a top form in a differential calculus over an algebra together with a strong version of the Poincar\'e duality…

We construct a K-theory version of Bhatt-Morrow-Scholze's Breuil-Kisin cohomology theory for $\sO_K$-linear idempotent-complete, small smooth proper stable infinity-categories, where $K$ is a discretely valued extension of $\Q_p$ with…

We consider mapping class groups \Gamma(M) = pi_0 Diff(M fix \partial M) of smooth compact simply connected oriented 4-manifolds M bounded by a collection of 3-spheres. We show that if M contains CP^2 (with either orientation) as a…

We reveal a correspondence between the homological torsion of the Bianchi groups and new geometric invariants, which are effectively computable thanks to their action on hyperbolic space. We use it to explicitly compute their integral group…

Given an ample groupoid, we construct a spectral sequence with groupoid homology with integer coefficients on the second sheet, converging to the K-groups of the (reduced) groupoid C*-algebra, provided the groupoid has torsion-free…

Consider a compact group $G$ acting on a real or complex Banach Lie group $U$, by automorphisms in the relevant category, and leaving a central subgroup $K\le U$ invariant. We define the spaces ${}_KZ^n(G,U)$ of $K$-relative continuous…

Let $X$ be a smooth manifold and $\mathbf{k}$ be a commutative (or at least $\mathbb{E}_2$) ring spectrum. Given a smooth exact Lagrangian $L\hookrightarrow T^*X$, the microlocal sheaf theory (following Kashiwara--Schapira) naturally…

In this paper, we prove homological stability of symplectomorphisms and extended hamiltonians of surfaces made discrete. We construct an isomorphism from the stable homology group of symplectomorphisms and extended Hamiltonians of surfaces…

We apply a theorem of J. Lurie to produce cohomology theories associated to certain Shimura varieties of type U(1,n-1). These cohomology theories of topological automorphic forms (TAF) are related to Shimura varieties in the same way that…

In this paper, we use homotopical algebra (or abstract homotopical methods) to study smooth homotopical problems of infinite-dimensional $C^\infty$-manifolds in convenient calculus. More precisely, we discuss the smoothing of maps,…

In this article, we define two equivalent new model structures on $\mathbf{sCat}$ the category of simplicial objects in $\mathbf{Cat}$. Then we construct the corresponding stable model category of spectra $Sp(\mathbf{sCat})$ and make some…

We give an infinite dimensional description of the differential K-theory of a manifold $M$. The generators are triples $[H, A, \omega]$ where $H$ is a ${\bf Z}_2$-graded Hilbert bundle on $M$, $A$ is a superconnection on $H$ and $\omega$ is…

We introduce the notion of Q-filtrable varieties: projective varieties with a torus action and a finite number of fixed points, such that the cells of the associated Bialynicki-Birula decomposition are all rationally smooth. Our main…

For a compact $(2n+1)$-dimensional smooth manifold, let $\mu_M : B Diff_\partial (D^{2n+1}) \to B Diff (M)$ be the map that is defined by extending diffeomorphisms on an embedded disc by the identity. By a classical result of Farrell and…