Related papers: Nonabelian basechange theorems & \'etale homotopy …

We show that every sheaf on the site of smooth manifolds with values in a stable (infinity,1)-category (like spectra or chain complexes) gives rise to a differential cohomology diagram and a homotopy formula, which are common features of…

We recall and partially improve four versions of smooth, non-abelian gerbes: Cech cocycles, classifying maps, bundle gerbes, and principal 2-bundles. We prove that all these four versions are equivalent, and so establish new relations…

The cohomology of coherent sheaves and sheaves of Abelian groups on Noetherian schemes are interpreted in second order arithmetic by means of a finiteness theorem. This finiteness theorem provably fails for the etale topology even on…

We investigate the positivity and extension of invertible sheaves on group homogeneous spaces over coherent bases. Bypassing the failure of standard limit arguments and the classical Weil--Cartier correspondence, we develop a valuative…

The rigidity theorem for homotopy invariant presheaves with Witt-transfers on the category of smooth affine varieties over a field $k$ with characteristic not equal to 2 is proved. Namely for such a presheaf $\mathcal F$ the isomorphism…

We give a homotopy theoretic characterization of sheaves on a stack and, more generally, a presheaf of groupoids on an arbitary small site C. We use this to prove homotopy invariance and generalized descent statements for categories of…

We construct the crystalline comparison isomorphisms for proper smooth formal schemes over an absolutely unramified base. Such isomorphisms hold for \'etale cohomology with nontrivial coefficients, as well as in the relative setting, i.e.…

The theory of abelian categories proved very useful, providing an axiomatic framework for homology and cohomology of modules over a ring and, in particular, of abelian groups. For many years, a similar categorical framework has been lacking…

We construct a semi-orthogonal decomposition on the category of perfect complexes on the blow-up of a derived Artin stack in a quasi-smooth centre. This gives a generalization of Thomason's blow-up formula in algebraic K-theory to derived…

We prove that the factorization homologies of a scheme with coefficients in truncated polynomial algebras compute the cohomologies of its generalized configuration spaces. Using Koszul duality between commutative algebras and Lie algebras,…

We prove that the category of commutative Hopf algebras over a field $k$ is co-semi-abelian. Consequently, the category of affine group $k$-schemes is semi-abelian. We establish coregularity by identifying the orthogonal factorization…

Let X be a Noetherian scheme of finite dimension and denote by rho the (additive inverse of the) morphism in SH(X) from S to Gm corresponding to the unit -1. Here SH(X) denotes the motivic stable homotopy category. We show that the category…

A spatial refinement of Bar-Natan homology is given, that is, for any link diagram $D$ we construct a CW-spectrum $\mathcal{X}_{\mathit{BN}}(D)$ whose reduced cellular cochain complex gives the Bar-Natan complex of $D$. The stable homotopy…

In this paper, we use the tools of nonabelian duality to formulate and prove a far-reaching generalization of the Stone-von Neumann Theorem to modular representations of actions and coactions of locally compact groups on elementary $…

We give a new proof the arithmetic Hilbert-Samuel theorem by using classical reductions in the theory of coherent sheaves, a direct proof in the case of the projective space and the conservation of some numerical invariants, called…

We prove that cohomology and base change holds for algebraic stacks, generalizing work of Brochard in the tame case. We also show that Hom-spaces on algebraic stacks are represented by abelian cones, generalizing results of Grothendieck,…

Many important theorems in differential topology relate properties of manifolds to properties of their underlying homotopy types -- defined e.g. using the total singular complex or the \v{C}ech nerve of a good open cover. Upon embedding the…

We develop a theory of tame vanishing cycles for schemes over $[\mathbb{A}^1_{S}/\mathbb{G}_{m,S}]$ in the context of \'etale sheaves. We show some desired properties of this formalism, among which: a compatibility with tame vanishing…

We establish a unified group-theoretic framework bridging the arithmetic homotopy exact sequence of a variety and the Birman exact sequence of a surface. Within this framework, we reinterpret classical arithmetic notions - such as the…

We look more closely at the higher nonabelian de Rham cohomology of a smooth projective variety or family of varieties that had been defined in some previous papers. We formalize using $n$-stacks the notion of shape underlying this…