Related papers: Brown representability in $\A^1$-homotopy theory
It is known that the existence of localization with respect to an arbitrary (possibly proper) class of maps in the category of simplicial sets is implied by a large-cardinal axiom called Vopenka's principle.In this article we extend the…
We prove that the dual rational homotopy groups of the configuration spaces of a 1-connected manifold of dimension at least 3 are uniformly representation stable in the sense of Church, and that their derived dual integral homotopy groups…
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…
Under a certain normalization assumption we prove that the $\Pro^1$-spectrum $\mathrm{BGL}$ of Voevodsky which represents algebraic $K$-theory is unique over $\Spec(\mathbb{Z})$. Following an idea of Voevodsky, we equip the…
We combine a combinatorial idea of Benjamin Weiss and some localization theory of Grothendieck categories to give a short and completely self-contained proof of the following recent result of Hanfeng Li and Bingbing Liang: Given a left…
Let C_n(M) be the configuration space of n distinct ordered points in M. We prove that if M is any connected orientable manifold (closed or open), the homology groups H_i(C_n(M); Q) are representation stable in the sense of [Church-Farb].…
This paper begins with an exposition of the author's research on the category of BP_*BP-comodules, much of which is joint with Neil Strickland. The main result of that work is that the category of E(n)_*E(n)-comodules is equivalent to a…
We prove a coherence theorem for invertible objects in a symmetric monoidal category. This is used to deduce associativity, skew-commutativity, and related results for multi-graded morphism rings, generalizing the well-known versions for…
Given a henselian pair $(R, I)$ of commutative rings, we show that the relative $K$-theory and relative topological cyclic homology with finite coefficients are identified via the cyclotomic trace $K \to \mathrm{TC}$. This yields a…
Let $(R,\mathfrak{m})$ be a commutative local noetherian ring. For an artinian $R$-module $M$, we show the equality $$\mathrm{cosupp}_RM=\mathrm{Cosupp}_RM$$ using the semi-discrete linearly compactness of $R$-module…
It was conjectured at the end of the book "Representation theory of Artin algebras" by M. Auslander, I. Reiten and S. Smalo that an Artin algebra with the property that its finitely generated indecomposable modules are up to isomorphism…
We study homological multiplicities of spherical varieties of reductive group $G$ over a $p$-adic field $F$. Based on Bernstein's decomposition of the category of smooth representations of a $p$-adic group, we introduce a sheaf that…
We prove an analogue of the Morel-Voevodsky localization theorem over spectral algebraic spaces. As a corollary we deduce a "derived nilpotent invariance" result which, informally speaking, says that A^1-homotopy invariance kills all higher…
This paper proves that the equational theory of the class $RA_{\alpha}^{csp}$ of representable polyadic algebras is finitely axiomatizable over its substitution-free reduct $RA_{\alpha}^{cp}$, for finite $\alpha$. That is, substitutions of…
We analyze the question of which motivic homotopy types admit smooth schemes as representatives. We show that given a pointed smooth affine scheme $X$ and an embedding into affine space, the affine deformation space of the embedding gives a…
We show that if G is a finite constant group acting on a scheme X such that the order of G is invertible in the residue fields of X, then the G-equivariant motivic stable homotopy category of X is equivalent to the stabilization of the…
Let $R$ be a Dedekind domain, $G$ an affine flat $R$-group scheme, and $B$ a flat $R$-algebra on which $G$ acts. Let $A \to B^G$ be an $R$-algebra map. Assume that $A$ is Noetherian. We show that if the induced map $K\otimes A\to (K\otimes…
We study the structure of the rational motivic stable homotopy category over general base schemes. Our first class of results concerns the six operations: we prove absolute purity, stability of constructible objects, and…
We make some computations in stable motivic homotopy theory over Spec \mathbb{C}, completed at 2. Using homotopy fixed points and the algebraic K-theory spectrum, we construct a motivic analogue of the real K-theory spectrum KO. We also…
Let X be a locally compact space, and let A and B be Co(X)-algebras. We define the notion of an asymptotic Co(X)-morphism from A to B and construct representable E-theory groups RE(X;A,B). These are the universal groups on the category of…