Related papers: A remark on Hopkins' chromatic splitting conjectur…

In this addendum, we give a differential form interpretation of the proof of the main theorem of arXiv:1812.02448, which gives lower bounds of the dimensions of $\pi_k(B\mathrm{Diff}(D^4,\partial))\otimes\mathbb{Q}$ in terms of the…

Let $\mathcal L_n$ for a positive integer $n$ denote the stable homotopy category of $v_n^{-1}BP$-local spectra at a prime number $p$. Then, M.~Hopkins defines the Picard group of $\mathcal L_n$ as a collection of isomorphism classes of…

In general the processes of taking a homotopy inverse limit of a diagram of spectra and smashing spectra with a fixed space do not commute. In this paper we investigate under what additional assumptions these two processes do commute. In…

We formulate and prove a new variant of the Segal Conjecture describing the group of homotopy classes of stable maps from the p-completed classifying space of a finite group G to the classifying space of a compact Lie group K as the p-adic…

We prove a conjecture of Bahri, Bendersky, Cohen and Gitler: if K is a shifted simplicial complex on n vertices, X_1,..., X_n are spaces and CX_i is the cone on X_i, then the polyhedral product determined by K and the pairs (CX_i,X_i) is…

The original Smale Conjecture asserted that the inclusion of the group O(4) of isometries of the round 3-sphere S into the full diffeomorphism group Diff(S) is a homotopy equivalence. The (Generalized) Smale Conjecture asserts that the…

I prove Ravenel's 1983 "Global Conjecture" on $\Ext^1$ over the classifying Hopf algebroid of formal $A$-modules, equivalently, the first flat cohomology group $H^1_{fl}$ of the moduli stack $\mathcal{M}_{fmA}$ of formal $A$-modules. I then…

We give an alternative to Postnikov's homotopy classification of maps from 3-dimensional CW-complexes to homogeneous spaces G/H of Lie groups. It describes homotopy classes in terms of lifts to the group G and is suitable for extending the…

We show that the homotopy invariant algebraic K-theory of Weibel vanishes below the negative of the Krull dimension of a noetherian scheme. This gives evidence for a conjecture of Weibel about vanishing of negative algebraic K-groups.

In previous work, we used an $\infty$-categorical version of ultraproducts to show that, for a fixed height $n$, the symmetric monoidal $\infty$-categories of $E_{n,p}$-local spectra are asymptotically algebraic in the prime $p$. In this…

For an arbitrary simplicial complex K, Davis and Januszkiewicz have defined a family of homotopy equivalent CW-complexes whose integral cohomology rings are isomorphic to the Stanley-Reisner algebra of K. Subsequently, Buchstaber and Panov…

Mahowald's conjecture arose as part of a program attempting to view chromatic phenomena in stable homotopy theory through the lens of the classical Adams spectral sequence. The conjecture predicts the existence of nonzero classes in the…

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

In $G$-equivariant stable homotopy theory, it is known that the equivariant Eilenberg-Mac Lane spectra representing ordinary equivariant cohomology have nontrivial $RO(G)$-graded homotopy corresponding to the equivariant (co)homology of…

Quillen's localization theorem is well known as a fundamental theorem in the study of algebraic K-theory. In this paper, we present its arithmetic analogue for the equivariant K-theory of arithmetic schemes, which are endowed with an action…

A manifold $M^n$ inherits a labeled $n$-dimensional graph $\widetilde{M}[G^L]$ structure consisting of its charts. This structure enables one to characterize fundamental groups of manifolds, classify those of locally compact manifolds with…

The Lichtenbaum-Quillen conjecture for smooth complex varieties states that algebraic and topological K-theory with finite coefficients become isomorphic in high degrees. We define the "Lichtenbaum-Quillen dimension" of a variety in terms…

We show that if a separable Rosenthal compactum $K$ is an $n$-to-one preimage of a metric compactum, but it is not an $n-1$-to-one preimage, then $K$ contains a closed subset homeomorphic to either the $n-$Split interval $S_n(I)$ or the…

We compute the MU-based syntomic cohomologies, mod $(p,v_1,\cdots,v_{n+1})$, of all $\mathbb{E}_1$-MU-algebra forms of connective Morava K-theory k(n). As qualitative consequences, we deduce the Lichtenbaum--Quillen conjecture, telescope…

We present a method for computing $\mathbb{A}^1$-homotopy invariants of singularity categories of rings admitting suitable gradings. Using this we describe any such invariant, e.g. homotopy K-theory, for the stable categories of…