Related papers: Brown representability in $\A^1$-homotopy theory
We show that the dual of the homotopy category of projective modules over an arbitrary ring satisfies Brown representability.
Stable homotopy theory is governed by the principle that after inverting loop spaces, homotopy types become the representing objects for homology theories. We show that this principle extends to higher category theory: inverting…
It is well known that cohomology with compact supports is not a homotopy invariant but only a proper homotopy one. However, as the proper category lacks of general categorical properties, a Brown representability theorem type does not seem…
We give a streamlined proof of ${\mathbb A}^1$-representability for $G$-torsors under "isotropic" reductive groups, extending previous results in this sequence of papers to finite fields. We then analyze a collection of group homomorphisms…
We prove two representability theorems, up to homotopy, for presheaves taking values in a closed symmetric combinatorial model category \cat V. The first theorem resembles the Freyd representability theorem, the second theorem is closer to…
We define an unstable equivariant motivic homotopy category for an algebraic group over a Noetherian base scheme. We show that equivariant algebraic $K$-theory is representable in the resulting homotopy category. Additionally, we establish…
We prove that a right $R$-module $M$ is $\Sigma$-pure injective if and only if $\mathrm{Add}(M)\subseteq \mathrm{Prod}(M)$. Consequently, if $R$ is a unital ring, the homotopy category $\mathbf{K}({\mathrm{Mod}\text{-} R})$ satisfies the…
In this paper, we deal with two types of representability. The first is a variant of the Brown representability theorem in the spirit of Rouquier and Neeman. The second is a variant of the Brown-Adams representability. If $A$ is a…
We call product generator of an additive category a fixed object satisfying the property that every other object is a direct factor of a product of copies of it. In this paper we start with an additive category with products and images,…
This note concerns the still open question of representability of Noetherian PI-algebras. Extending a result of Rowen and Small (with an observation of Bergman) that every finitely generated module over a commutative Noetherian ring…
The question of when the derived category of a ring satisfies Brown--Adams representability is revisited via studying the transfer of pure homological dimension along definable functors: it is shown that, for any ring, the pure global…
Let $R$ be a commutative ring with unit. We consider the homotopy theory of the category of spectral sequences of $R$-modules with the class of weak equivalences given by those morphisms inducing a quasi-isomorphism at a certain fixed page.…
Let X be a Noetherian scheme of finite dimension and denote by rho the (additive inverse of the) morphism in SH(X) from S to Gm corresponding to the unit -1. Here SH(X) denotes the motivic stable homotopy category. We show that the category…
The aim of this paper is to show that Besser syntomic cohomology is representable by a rational ring spectrum in the motivic homotopical sense. In fact, extending previous constructions, we exhibit a simple representability criterion and we…
We prove that any contravariant functor from the homotopy category of finite directed graphs to abelian groups satisfying the additivity axiom and the Mayer-Vietoris axiom is representable.
In this paper, we prove stability results about orthogonal groups over finite commutative rings where 2 is a unit. Inspired by Putman and Sam (2017), we construct a category $\mathbf{OrI}(R)$ and prove a Noetherianity theorem for the…
We prove general adjoint functor theorems for weakly (co)complete $n$-categories. This class of $n$-categories includes the homotopy $n$-categories of (co)complete $\infty$-categories, so these $n$-categories do not admit all small…
By a theorem of Mandell-May-Schwede-Shipley the stable homotopy theory of classical $S^1$-spectra is recovered from orthogonal spectra. In this paper general linear, special linear, symplectic, orthogonal and special orthogonal motivic…
We establish a relative version of the abstract "affine representability" theorem in ${\mathbb A}^1$--homotopy theory from Part I of this paper. We then prove some ${\mathbb A}^1$--invariance statements for generically trivial torsors under…
Let G be a finite group. The unit sphere in a finite-dimensional orthogonal G-representation motivates the definition of homotopy representations, due to tom Dieck. We introduce an algebraic analogue, and establish its basic properties…