Related papers: The universal six-functor formalism

Making use of topological periodic cyclic homology, we extend Grothendieck's standard conjectures of type C and D (with respect to crystalline cohomology theory) from smooth projective schemes to smooth proper dg categories in the sense of…

We propose a notion of 1-homotopy for generalized maps. This notion generalizes those of natural transformation and ordinary homotopy for functors. The 1-homotopy type of a Lie groupoid is shown to be invariant under Morita equivalence. As…

We construct smooth presentations of algebraic stacks that are local epimorphisms in the Morel-Voevodsky $\mathbb{A}^1$-homotopy category. As a consequence we show that the motive of a smooth stack (in Voevodsky's triangulated category of…

The Grothendieck ring of varieties has well-known realization maps to, say, mixed Hodge structures or compactly supported $\ell$-adic cohomology. Zakharevich and\ Campbell have developed {a spectral refinement} of the Grothendieck ring of…

Let $A_1$ be any spectrum in a class of finite spectra whose mod $2$ cohomology is isomorphic to a free module of rank one over the subalgebra $\mathcal{A}(1)$ of the Steenrod algebra. Let $E_{C}$ be the second Morava-$E$ theory associated…

In this article we formulate and prove sufficient conditions for the existence of trajectories of nonstationary periodic solutions of autonomous Hamiltonian systems in a neighbourhood of equilibria. It is worth pointing out that assumptions…

We generalize Quillen's Theorem A to diagrams of lax 2-functors which commute up to transformation. It follows from a special case of this result that 2-categories are models for homotopy types.

We propose (and prove under some restrictions) that the square class of the central value of the $L$-function of an everywhere unramified symplectic Galois representation is given by a universal cohomological formula. This phenomenon is…

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,…

This paper studies the foundations of the geometric fixed point functor in multiplicative equivariant stable homotopy theory. We introduce a new class of equivariant orthogonal spectra called generalized orbit desuspension spectra and…

We prove a homological stability theorem for families of discrete groups (e.g. mapping class groups, automorphism groups of free groups, braid groups) with coefficients in a sequence of irreducible algebraic representations of arithmetic…

We extend M. Kontsevich's formality morphism to a homotopy braces morphism and to a homotopy Gerstenhaber morphism. We show that this morphism is homotopic to D. Tamarkin's formality morphism, obtained using formality of the little disks…

We show that for quasi-compact quasi-separated schemes of finite dimension, the constructibility condition in real \'etale cohomology agrees with a notion of constructibility arising naturally from topology. As application we prove that the…

Normal form theory is developed deeply for planar smooth systems but has few results for piecewise-smooth systems because difficulties arise from continuity of the near-identity transformation, which is constructed piecewise. In this paper,…

We modify the definition of l^1-homology and argue why our definition is more adequate than the classical one. While we cannot reconstruct the classical l^1-homology from the new definition for various reasons, we can reconstruct its…

In this article, we prove a normality criterion for a family of meromorphic functions having zeros with some multiplicity which involves sharing of a holomorphic function by the members of the family. Our result generalizes Montel's…

We give a sheaf-theoretic version of the universal coefficient theorem.

Grothendieck and Harder proved that every principal bundle over the projective line with split reductive structure group (and trivial over the generic point) can be reduced to a maximal torus. Furthermore, this reduction is unique modulo…

We develop a theory of motivic spectra in a broad generality; in particular $\mathbb{A}^1$-homotopy invariance is not assumed. As an application, we prove that $K$-theory of schemes is a universal Zariski sheaf of spectra which is equipped…

We construct a category $\mathrm{HomCob}$ whose objects are {\it homotopically 1-finitely generated} topological spaces, and whose morphisms are {\it cofibrant cospans}. Given a manifold submanifold pair $(M,A)$, we prove that there exists…