Related papers: Monochromatic homotopy theory is asymptotically al…

Given a maximal finite subgroup G of the nth Morava stabilizer group at a prime p, we address the question: is the associated higher real K-theory EO_n a summand of the K(n)-localization of a TAF-spectrum associated to a unitary similitude…

We show that the canonical map from the associative operad to the unital associative operad is a homotopy epimorphism for a wide class of symmetric monoidal model categories. As a consequence, the space of unital associative algebra…

For graded $C^*$-algebras $A$ and $B$, we construct a semigroup ${\cal AP}(A,B)$ out of asymptotic pairs. This semigroup is similar to the semigroup $\Psi(A,B)$ of unbounded KK-modules defined by Baaj and Julg and there is a map $\Psi(A,B)…

In this paper, we introduce a cofibrant simplicial category that we call the free homotopy coherent adjunction and characterize its n-arrows using a graphical calculus that we develop here. The hom-spaces are appropriately fibrant, indeed…

Let $F$ and $k$ be perfect fields. The main goal of this paper is to investigate algebraic models for the Morel-Voevodsky unstable motivic homotopy category $\mathrm{Ho}(F)$ after $\mathbf{H}^{\mathbb{A}^1}k$ localization. More…

We show that the homotopy groups of a connective $E_k$-ring spectrum with an $E_k$-cell attached along a class $\alpha$ in degree $n$ are isomorphic to the homotopy groups of the cofiber of the self-map associated to $\alpha$ through degree…

We define for each $n \geq 1$ a symmetric monoidal $(\infty, n+1)$-category $n\mathrm{Pr}^L$ whose objects we call presentable $(\infty,n)$-categories, generalizing the usual theory of presentable $(\infty,1)$-categories. We show that each…

Given a symmetric monoidal stable $\infty$-category $\mathcal{C}$ which is rigidly-compactly generated and a set of compact objects $\mathcal{K}$ of $\mathcal{C}$, one can form the subcategories of $\mathcal{K}$-complete and…

The Morava $E$-theories, $E_{n}$, are complex-oriented $2$-periodic ring spectra, with homotopy groups $\mathbb{W}_{\mathbb{F}_{p^{n}}}[[u_{1}, u_{2}, ... , u_{n-1}]][u,u^{-1}]$. Here $\mathbb{W}$ denotes the Witt vector ring. $E_{n}$ is a…

We compute the continuous cohomology of the Morava stabilizer group with coefficients in Morava $E$-theory, $H^*(\mathbb{G}_2, E_t)$, at $p=2$, for $0\leq t < 12$, using the Algebraic Duality Spectral Sequence. Furthermore, in that same…

Given a closed $n$-manifold, we consider the set of simple homotopy types of $n$-manifolds within its homotopy type, called its simple homotopy manifold set. We characterise it in terms of algebraic K-theory, the surgery obstruction map,…

Using the pro\'etale site, we construct models for the continuous actions of the Morava stabiliser group on Morava E-theory, its $\infty$-category of $K(n)$-local modules, and its Picard spectrum. For the two sheaves of spectra, we evaluate…

We compute the completed E(n) cohomology of the classifying spaces of the symmetric groups, and relate the answer to the theory of finite subgroups of formal groups.

We prove the existence of Morita model structures on the categories of small simplicial categories, simplicial sets, simplicial operads and dendroidal sets, modelling the Morita homotopy theory of $(\infty,1)$-categories and…

We develop the foundations of $G$-global homotopy theory as a synthesis of classical equivariant homotopy theory on the one hand and global homotopy theory in the sense of Schwede on the other hand. Using this framework, we then introduce…

Hopf algebras, most generally in a semisimple abelian symmetric monoidal category, are here supposed to be commutative but not to be of finite-type, and their (equivariant) smoothness are discussed. Given a Hopf algebra $H$ in a category…

We show that braided, sylleptic and symmetric monoidal bicategories are precisely the $\mathsf{E}_k$-monoids in the cartesian monoidal $(\infty,1)$-category of bicategories for respective integers $k$. To manage the underlying computations,…

Let A be an A_\infty ring spectrum. We use the description from [2] of the cyclic bar and cobar construction to give a direct definition of topological Hochschild homology and cohomology of A using the Stasheff associahedra and another…

Let $\Dh$ and $A$ be unital and separable $C^{*}$-algebras; let $\Dh$ be strongly self-absorbing. It is known that any two unital $^*$-homomorphisms from $\Dh$ to $A \otimes \Dh$ are approximately unitarily equivalent. We show that, if…

We consider the asymptotic behavior as $n\to\infty$ of the spectra of random matrices of the form \[\frac{1}{\sqrt{n-1}}\sum_{k=1}^{n-1}Z_{nk}\rho_n ((k,k+1)),\] where for each $n$ the random variables $Z_{nk}$ are i.i.d. standard Gaussian…