Related papers: On Modules Over Motivic Ring Spectra
We show that an iteration of the procedure used to define the Gorenstein projective modules over a commutative ring $R$ yields exactly the Gorenstein projective modules. Specifically, given an exact sequence of Gorenstein projective…
Simple-minded systems in stable module categories are defined by orthogonality and generating properties so that the images of the simple modules under a stable equivalence form such a system. Simple-minded systems are shown to be invariant…
In this paper, we study the K-theory on higher modules in spectral algebraic geometry. We relate the K-theory of an $\infty$-category of finitely generated projective modules on certain $\mathbb{E}_{\infty}$-rings with the K-theory of an…
We define Grothendieck-Witt spectra in the setting of Poincar\'e $\infty$-categories and show that they fit into an extension with a K- and an L-theoretic part. As consequences we deduce localisation sequences for Verdier quotients, and…
Consider the Tate twist $\tau \in H^{0,1}(S^{0,0})$ in the mod 2 cohomology of the motivic sphere. After 2-completion, the motivic Adams spectral sequence realizes this element as a map $\tau \colon S^{0,-1} \to S^{0,0}$, with cofiber…
In this paper, we initiate a study of motivic homotopy theory at infinity. We use the six functor formalism to give an intrinsic definition of the stable motivic homotopy type at infinity of an algebraic variety. Our main computational…
We improve some foundational connectivity results and the relative Hurewicz theorem in motivic homotopy theory, study functorial central series in motivic local group theory, establish the existence of functorial Moore--Postnikov…
In this article we introduce the local versions of the Voevodsky category of motives with Z/p-coefficients over a field k, parameterized by finitely-generated extensions of k. We introduce the, so-called, flexible fields, passage to which…
For a finite group $G$ and an arbitrary commutative ring $R$, Brou\'e has placed a Frobenius exact structure on the category of finitely generated $RG$-modules by taking the exact sequences to be those that split upon restriction to the…
We classify localising subcategories of the stable module category of a finite group that are closed under tensor product with simple (or, equivalently all) modules. One application is a proof of the telescope conjecture in this context.…
We exhibit a bridge between the theory of cellular categories, used in algebraic topology and homological algebra, and the model-theoretic notion of stable independence. Roughly speaking, we show that the combinatorial cellular categories…
A kind of motivic stable homotopy theory of algebras is developed. Explicit fibrant replacements for the $S^1$-spectrum and $(S^1,\mathbb G)$-bispectrum of an algebra are constructed. As an application, unstable, Morita stable and stable…
We give an alternate formulation of pseudo-coherence over an arbitrary derived stack X. The full subcategory of pseudo-coherent objects forms a stable sub-infinity-category of the derived category associated to X. Using relative…
A well-known theorem of Buchweitz provides equivalences between three categories: the stable category of Gorenstein projective modules over a Gorenstein algebra, the homotopy category of acyclic complexes of projectives, and the singularity…
We define the Chow $t$-structure on the $\infty$-category of motivic spectra $SH(k)$ over an arbitrary base field $k$. We identify the heart of this $t$-structure $SH(k)^{c\heartsuit}$ when the exponential characteristic of $k$ is inverted.…
We construct an algebraic commutative ring T- spectrum BO which is stably fibrant and (8,4)- periodic and such that on SmOp/S the cohomology theory (X,U) -> BO^{p,q}(X_{+}/U_{+}) and Schlichting's hermitian K-theory functor (X,U) ->…
In this article we develop the cotangent complex and (co)homology theories for spectral categories. Along the way, we reproduce standard model structures on spectral categories. As applications, we show that the invariants to descend to…
We formulate and prove a Conner-Floyd isomorphism for the algebraic K-theory of arbitrary qcqs derived schemes. To that end, we study a stable $\infty$-category of non-$\mathbb A^1$-invariant motivic spectra, which turns out to be…
We relate the recognition principle for infinite $\mathbf P^1$-loop spaces to the theory of motivic fundamental classes of D\'eglise, Jin, and Khan. We first compare two kinds of transfers that are naturally defined on cohomology theories…
A new and natural description of the category of unstable modules over the Steenrod algebra as a category of comodules over a bialgebra is given; the theory extends and unifies the work of Carlsson, Kuhn, Lannes, Miller, Schwartz, Zarati…