Related papers: Milnor excision for motivic spectra

An ideal $I$ of a commutative ring $R$ is said to be of linear type when its Rees algebra and symmetric algebra exhibit isomorphism. In this paper, we investigate the conjecture put forth by Jayanthan, Kumar, and Sarkar (2021) that if $G$…

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…

To an Adams-type homology theory we associate a notion of a synthetic spectrum, this is a product-preserving sheaf on the site of finite spectra with projective $E$-homology. We prove that the $\infty$-category $Syn_{E}$ of synthetic…

Let $S=K[x_1,\ldots,x_n]$ be the polynomial ring over a field and $A$ a standard graded $S$-algebra. In terms of the Gr\"obner basis of the defining ideal $J$ of $A$ we give a condition, called the x-condition, which implies that all graded…

We define a trace map for every cohomological correspondence in the motivic stable homotopy category over a general base scheme, which takes values in the twisted bivariant groups. Local contributions to the trace map give rise to quadratic…

An extension $B\subset A$ of finite dimensional algebras is bounded if the $B$-$B$-bimodule $A/B$ is $B$-tensor nilpotent, its projective dimension is finite and $\mathrm{Tor}_i^B(A/B, (A/B)^{\otimes_B j})=0$ for all $i, j\geq 1$. We show…

We show that the orthogonal spectral sequence introduced by the second author is strongly convergent in Voevodsky's triangulated category of motives DM over a field k. In the context of the Morel-Voevodsky motivic stable homotopy category…

Let $K$ be a perfect field and let $E$ be a homotopy commutative ring spectrum in the Morel-Voevodsky stable motivic homotopy category $\mathcal{SH}(K)$. In this work we investigate the relation between the $E$-homology localization and…

Let $f:A \to B$ be a ring homomorphism of not necessarily unital rings and $I\triangleleft A$ an ideal which is mapped by f isomorphically to an ideal of B. The obstruction to excision in K-theory is the failure of the map between relative…

A tensor extriangulated category is an extriangulated category with a symmetric monoidal structure that is compatible with the extriangulated structure. To this end we define a notion of a biextriangulated functor $\mathcal{A} \times…

We construct elements in the motivic cohomology of certain rank 4 weight 3 Calabi--Yau motives, and write down explicit expressions for the regulators of these elements in the context of conjectures on $L$-values such as those of Beilinson…

In this paper, motivated by a problem posed by Barry Mazur, we show that for smooth projective varieties over the rationals, the odd cohomology groups of degree less than or equal to the dimension can be modeled by the cohomology of an…

This paper sets up the foundations for derived algebraic geometry, Goerss--Hopkins obstruction theory, and the construction of commutative ring spectra in the abstract setting of operadic algebras in symmetric spectra in an (essentially)…

We reconstruct (appropriately completed) categories of cellular motivic spectra over fields of small cohomological dimension in terms of only their absolute Galois groups. As our main application, we determine the motivic stable stems (away…

Let $A$ be a ring, and let $M$ and $N$ be $A$-modules. Then $N$ can be viewed as a group object in the category $A$-Mod/$M$ of $A$-modules over $M$ and Ext$^1(M, N)$ can be interpreted as the set of isomorphism classes of $N$-torsors.…

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

For a perfect field $k$, we construct a triangulated category of mixed motives over $k[t]/{(t^{m+1})}$. The ext groups in this category are given by higher Chow groups, and additive higher Chow groups.

Let $A$ be an algebra over a commutative ring $R$. If $R$ is noetherian and $A^\circ$ is pure in $R^A$, then the categories of rational left $A$-modules and right $A^\circ$-comodules are isomorphic. In the Hopf algebra case, we can also…

In this paper, we construct and study a Serre-type spectral sequence for motivic cohomology associated to a map of bisimplicial schemes with motivically cellular fiber. Then, we show how to apply it in order to approach the computation of…

Let $R$ be a commutative Noetherian ring and $I$ be an ideal of $R$. In this article we answer affirmatively a question raised by the present author in \cite{B2}. Also, as an immediate consequence of this result it is shown that the…