Related papers: The Gysin triangle via localization and A1-homotop…

We study the construction and properties of the Gysin triangle in an axiomatic framework which covers triangulated mixed motives and MGl-modules over an arbitrary base S. This allows to define the Gysin morphism associated to a projective…

We define and study Gysin morphisms on mixed motives over a perfect field. Our construction extends the case of closed immersions, already known from results of Voevodsky, to arbitrary projective morphisms. We prove several classical…

We prove the Riemann-Roch theorem for homotopy invariant $K$-theory and projective local complete intersection morphisms between finite dimensional noetherian schemes, without smoothness assumptions. We also prove a new Riemann-Roch theorem…

Given a finite group G, we develop a theory of G-equivariant noncommutative motives. This theory provides a well-adapted framework for the study of G-schemes, Picard groups of schemes, G-algebras, 2-cocycles, equivariant algebraic K-theory,…

Under Poincar\'e duality, a smooth map of compact oriented manifolds induces a pushforward map in cohomology, called the "Gysin map." It plays an important role in enumerative geometry. Using the equivariant localization formula, the author…

A key triviality result for support extension maps for motivic $\mathbb{A}^1$-homotopies of cellular motivic spaces $S$ over a DVR spectrum $B$ is proven. Combining with earlier known results on Gersten complex and the K-theory motivic…

For a regular immersion of schemes $Z\to X$ and a cohomology theory of fs log schemes, we formulate the logarithmic Gysin sequence using the "logarithmic compactification" $(\mathrm{Bl}_Z X,E)$ instead of the open complement $X-Z$, where…

We prove a version of Quillen's stratification theorem in equivariant homotopy theory for a finite group $G$, generalizing the classical theorem in two directions. Firstly, we work with arbitrary commutative equivariant ring spectra as…

Let A be a dg category, F:A->A a dg functor inducing an equivalence of categories in degree-zero cohomology, and A/F the associated dg orbit category. For every A1-homotopy invariant (e.g. homotopy K-theory, K-theory with coefficients,…

Let $\mathcal{G}$ be a fusion category acting on a triangulated category $\mathcal{D}$, in the sense that $\mathcal{D}$ is a $\mathcal{G}$-module category. Our motivation example is fusion-weighted species, which is essentially Heng's…

In this paper, we study a Gysin triangle in the category of motives with modulus. We can understand this Gysin triangle as a motivic lift of the Gysin triangle of log-crystalline cohomology due to Nakkajima and Shiho. After that we compare…

This survey covers some of the recent developments on noncommutative motives and their applications. Among other topics, we compute the additive invariants of relative cellular spaces and orbifolds; prove Kontsevich's semi-simplicity…

We investigate Cousin (bi-)complexes in the setting of motives. Over essentially smooth local schemes, the columns of the Cousin bicomplex with coefficients in any stable motivic homotopy type are shown to be acyclic. On the other hand, we…

To any pullback square of ring spectra we associate a new ring spectrum and use it to describe the failure of excision in algebraic $K$-theory. The construction of this new ring spectrum is categorical and hence allows to determine the…

We define a theory of etale motives over a noetherian scheme. This provides a system of categories of complexes of motivic sheaves with integral coefficients which is closed under the six operations of Grothendieck. The rational part of…

It is proved that for any cohomology theory A in the sense of [PS] and any essentially k-smooth semi-local X the Cousin complex is exact. As a consequence we prove that for any integer n the Nisnevich sheaf A^n_Nis, associated with the…

For any stratified pseudomanifold $X$ and any suitable action of the unit circle $S^1$ on $X$ preserving the strata and the local topological structure, the orbit space $B=X/S^1$ is again a stratified pseudomanifold and the orbit map…

We establish a purely geometric form of the concentration theorem (also called localization theorem) for actions of a linearly reductive group $G$ on an affine scheme $X$ over an affine base scheme $S$. It asserts the existence of a…

We construct homotopy coherent Gysin pullbacks for weak Borel-Moore theories on smooth schemes, addressing the higher coherence problem for Gysin morphisms associated with closed immersions and lci-type factorizations. The construction uses…

We construct geometric models for classifying spaces of linear algebraic groups in G-equivariant motivic homotopy theory, where G is a tame group scheme. As a consequence, we show that the equivariant motivic spectrum representing the…