Related papers: Rost nilpotence and free theories

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…

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…

We establish a kind of "degree zero Freudenthal Gm-suspension theorem" in motivic homotopy theory. From this we deduce results about the conservativity of the P^1-stabilization functor. In order to establish these results, we show how to…

We prove that in the graded commutative ring $K_{*}(\mathbb{S})$, all positive degree elements are multiplicatively nilpotent. The analogous statements also hold for $TC_{*}(\mathbb{S};\mathbb{Z}^{\wedge}_p)$ and $K_{*}(\mathbb{Z})$.

Relying on results of Hopkins-Morel, we show that, for $X$ a quasi-projective variety over a field of characteristic zero, the canonical map $\Omega_n(X)\to MGL_{2n,n}'(X)$ is an isomorphism. Here $\Omega_*(X)$ is the theory of algebraic…

After surveying higher K-theory of toric varieties, we present Totaro's old (c. 1997) unpublished result on expressing the corresponding homotopy theory via singular cohomology. It is a higher analog of the rational Chern character…

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 show that variants of the classical reflection functors from quiver representation theory exist in any abstract stable homotopy theory, making them available for example over arbitrary ground rings, for quasi-coherent modules on schemes,…

We prove the Riemann-Roch theorem for homotopy invariant $K$-theory and projective local complete intersection morphisms between finite dimensional noetherian schemes, without smoothness assumptions. We also prove a new Riemann-Roch theorem…

Suppose that $G$ is a finite group and $k$ is a field of characteristic $p>0$. We consider the complete cohomology ring $\mathcal{E}_M^* = \sum_{n \in \mathbb{Z}} \widehat{Ext}^n_{kG}(M,M)$. We show that the ring has two distinguished…

Let $p$ be a prime number, let $d$ be an integer and let $G$ be a $d$-generated finite $p$-group of nilpotency class smaller than $p$. Then the number of possible isomorphism types for the mod $p$ cohomology algebra $H^*(G;{\mathbb F}_p)$…

We obtain a rigidity phenomena of rational cohomology automorphisms of certain homogeneous spaces, in the presence of external cohomology classes arising from spaces with trivial cup product in rational cohomology algebra. We classify…

We prove a conservativity result for extensional type theories over propositional ones, i.e. dependent type theories with propositional computation rules, or computation axioms, using insights from homotopy type theory. The argument…

We construct and study a theory of bivariant cobordism of derived schemes. Our theory provides a vast generalization of the algebraic bordism theory of characteristic 0 algebraic schemes, constructed earlier by Levine and Morel, and a…

We consider correspondences on smooth quasiprojective varieties $U$. An algebraic cycle inducing the K\"unneth projector onto $H^1(U)$ is constructed. Assuming normal crossings at infinity, the existence of relative motivic cohomology is…

In this paper it is shown that the RO(Z/2)-graded cohomology of a certain class of Rep(Z/2)-complexes, which includes projective spaces and Grassmann manifolds, is always free as a module over the cohomology of a point when the coefficient…

We study the problem of existence and uniqueness of homotopy colimits in stable representation theory, where one typically does not have model category structures to guarantee that these homotopy colimits exist or have good properties. We…

We determine the A(1)-homotopy of the topological cyclic homology of the connective real K-theory spectrum ko. The answer has an associated graded that is a free F_2[v_2^4]-module of rank 52, on explicit generators in stems -1 \le * \le 30.…

This work is dedicated to the construction of a new motivic homotopy theory for (log) schemes, generalizing Morel-Voevodsky's (un)stable $\mathbb{A}^1$-homotopy category. Our framework can be used to represent log topological Hochschild and…

We give a survey of the ideas of descent and nilpotence. We focus on examples arising from chromatic homotopy theory and from group actions, as well as a few examples in algebra.