Related papers: Atiyah duality for motivic spectra

Let S be an essentially smooth scheme over a field of characteristic exponent c. Let MGL and HZ denote the algebraic cobordism spectrum and the motivic cohomology spectrum over S, respectively. We show that the canonical map MGL/(a1, a2,…

Let $M^n$ be a closed, connected $n$-manifold. Let $\mtm$ denote the Thom spectrum of its stable normal bundle. A well known theorem of Atiyah states that $\mtm$ is homotopy equivalent to the Spanier-Whitehead dual of $M$ with a disjoint…

Let $\mathrm{Emb}(S^1,M)$ be the space of smooth embeddings from the circle to a closed manifold $M$ of dimension $\geq 4$. We study a cosimplicial model of $\mathrm{Emb}(S^1,M)$ in stable categories, using a spectral version of…

We show that a triangulated motivic category admits categorical Thom isomorphisms for vector bundles with an additional structure if and only if the generalized motivic cohomology theory represented by the tensor unit object admits Thom…

We construct a theory of motivic cohomology for quasi-compact, quasi-separated schemes of equal characteristic, which is related to non-connective algebraic $K$-theory via an Atiyah--Hirzebruch spectral sequence, and to \'etale cohomology…

We generalize several basic facts about the motivic sphere spectrum in $\mathbb A^1$-homotopy theory to the category $\mathrm{MS}$ of non-$\mathbb A^1$-invariant motivic spectra over a derived scheme. On the one hand, we show that all the…

By adapting arguments of Annala-Hoyois-Iwasa in the log setting, we prove Poincar\'e duality for smooth projective morphisms in logarithmic motivic homotopy theory. As an application, we show that the crystalline cohomology of a log…

We show that there is a stable homotopy theory of profinite spaces and use it for two main applications. On the one hand we construct an \'etale topological realization of the stable motivic homotopy theory of smooth schemes over a base…

Voevodsky outlined a conjectural programme that his slice filtration in motivic homotopy theory should give rise to a good theory of $\mathbb{A}^1$-invariant motivic cohomology. This paper achieves his vision in the generality of arbitrary…

We exhibit how the Hodge-Deligne moduli space of $\lambda$-connections over a smooth projective curve, for stable bundles with fixed determinant, can be understood as the dual of the Atiyah algebroid of the determinant of cohomology line…

Let T be a torus, X a smooth quasi-compact separated scheme equipped with a T-action, and [X/T] the associated quotient stack. Given any localizing A1-homotopy invariant of dg categories E, we prove that the derived completion of E([X/T])…

We extend the duality theory for topological groups from the classical theory for compact Lie groups, via the topological study by J. R. Klein [Kl01] and the p-complete study for p-compact groups by T. Bauer [Ba04], to a general duality…

We discuss the relations between the Atiyah-Hirzebruch spectral sequence and the Gysin map for a multiplicative cohomology theory, on spaces having the homotopy type of a finite CW-complex. In particular, let us fix such a multiplicative…

The aim of this paper is to connect two important and apparently unrelated theories: motivic homotopy theory and ramification theory. We construct motivic homotopy categories over a qcqs base scheme $S$, in which cohomology theories with…

The goal of this paper is to study non-$\mathbb{A}^1$-invariant motivic cohomology, recently defined by Elmanto, Morrow, and the first-named author, for smooth schemes over possibly non-discrete valuation rings. We establish that the cycle…

In this note, we give a motivic characterization of the integral cohomology of dual boundary complexes of smooth quasi-projective complex algebraic varieties. As a corollary, the dual boundary complex of any stably affine space (of positive…

Let k be an infinite perfect field. We provide a general criterion for a spectrum in the stable homotopy category over k to be effective, i.e. to be in the localizing subcategory generated by the suspension spectra of smooth schemes. As a…

We construct a comparison functor between ($\mathbf{A}^1$-local) tame motives and ($\overline{\square}$-local) log-\'etale motives over a field $k$ of positive characteristic. This generalizes Binda--Park--{\O}stv{\ae}r's comparison for the…

We prove that the $\infty$-category of $\mathrm{MGL}$-modules over any scheme is equivalent to the $\infty$-category of motivic spectra with finite syntomic transfers. Using the recognition principle for infinite $\mathbb{P}^1$-loop spaces,…

We construct a motivic Eilenberg-MacLane spectrum with a highly structured multiplication over smooth schemes over Dedekind domains which represents Levine's motivic cohomology. The latter is defined via Bloch's cycle complexes. Our method…