Related papers: Atiyah duality for motivic spectra

We investigate Atiyah algebroids, i.e. the infinitesimal objects of principal bundles, from the viewpoint of Lie algebraic approach to space. First we show that if the Lie algebras of smooth sections of two Atiyah algebroids are isomorphic,…

We present a geometric construction of push-forward maps along projective morphisms for cohomology theories representable in the stable motivic homotopy category assuming that the element corresponding to the stable Hopf map is inverted in…

We introduce the notion of being cohomologically complete for objects of the derived category of sheaves of $Z[\hbar]$-modules on a topological space. Then we consider a $Z[\hbar]$-algebra satisfying some suitable conditions and prove…

An abelian category of relative pure motives is constructed along the lines of Andr\'e (over a field of characteristic 0). An algebraic stack is shown to possess a motive in this sense. This motive is studied for the moduli stack of…

Let $S$ be a finite dimensional noetherian scheme. For any proper morphism between smooth $S$-schemes, we prove a Riemann-Roch formula relating higher algebraic $K$-theory and motivic cohomology, thus with no projective hypothesis neither…

Let $\mathscr{G}$ be a special parahoric group scheme of twisted type over the ring of formal power series over $\mathbb{C}$, excluding the absolutely special case of $A_{2\ell}^{(2)}$. Using the methods and results of Zhu, we prove a…

We prove equality of the various $p$-adic period morphisms for smooth, not necessarily proper, schemes. We start with showing that the $K$-theoretical uniqueness criterium we had found for proper smooth schemes extends to proper finite…

We develop a $\mathbf{P}^1$-unstable non-$\mathbf{A}^1$-invariant theory of motivic spaces and spectra, and construct the Gysin map therein for regular immersions. This in particular gives the Gysin map in the Annala--Hoyois--Iwasa…

We define Albanese and Picard 1-motives of smooth (simplicial) schemes over a perfect field. For smooth proper schemes, these are the classical Albanese and Picard varieties. For a curve, these are t he homological 1-motive of Lichtenbaum…

We introduce a general theory of parametrized objects in the setting of infinity categories. Although spaces and spectra parametrized over spaces are the most familiar examples, we establish our theory in the generality of objects of a…

We introduce a theory of motivic cohomology for quasi-compact quasi-separated schemes, which generalises the construction of Elmanto--Morrow in the case of schemes over a field. Our construction is non-$\mathbb{A}^1$-invariant in general,…

We reformulate the construction of Kontsevich's completion and use Lawson homology to define many new motivic invariants. We show that the dimensions of subspaces generated by algebraic cycles of the cohomology groups of two $K$-equivalent…

Fix a noetherian scheme S. For any flat map f: X->Y of separated essentially-finite-type perfect S-schemes we define a canonical derived-category map c(f):\H(X)->f^!\H(Y), the fundamental class of f, where \H(Z) is the (pre-)Hochschild…

We study the behavior of Hodge-theoretic genera under morphisms of complex algebraic varieties. We prove that the additive $\chi_y$-genus which arises in the motivic context satisfies the so-called ``stratified multiplicative property",…

We develop a theory of motives with compact support for logarithmic schemes over a field. Starting from the notion of finite logarithmic correspondences with compact support, we define the logarithmic motive with compact support analogous…

We generalize Illusie's definition of the Atiyah class to complexes with quasi-coherent cohomology on arbitrary algebraic stacks. We show that this gives a global obstruction theory for moduli stacks of complexes in algebraic geometry…

It is shown that when the underlying sigma model of bosonic string theory is written in terms of single-valued fields, which live in the covering space of the target space, Abelian T-duality survives lattice regularization of the…

We reprove Kuznetsov's "fundamental theorem of homological projective duality" using LG models and variation of GIT stability. This extends the validity of the theorem from smooth varieties to nice subcategories of smooth quotient stacks,…

This paper is motivated by Deninger's programme. First we prove, using Alvarez Lopez-Kordyukov results, an Atiyah-Bott-Lefschetz trace formula for the cohomology groups associated to a ramified leafwise flat line bundle on a riemannian…

We prove a duality statement on modules over KH-theory in the stable motivic homotopy category whose dualizing object is given by G-theory, over any quasi-excellent scheme of characteristic zero.