Related papers: Algebraicity in monochromatic homotopy theory

We show that Shipley's "detection functor" for symmetric spectra generalizes to motivic symmetric spectra. As an application, we construct motivic strict ring spectra representing morphic cohomology, semi-topological $K$-theory, and…

We introduce a notion of characteristic for connective $p$-local $E_\infty$ ring spectra and study some basic properties. Apart from examples already pointed out by Markus Szymik, we investigate some examples built from Hopf invariant $1$…

Let $K$ be the fraction field of a 2-dimensional, henselian, excellent local domain with finite residue field $k$. When the characteristic of $k$ is not 2, we prove that every quadratic form of rank $\ge 9$ is isotropic over $K$ using…

Given a good homology theory E and a topological space X, the E-homology of X is not just an E_{*}-module but also a comodule over the Hopf algebroid (E_{*}, E_{*}E). We establish a framework for studying the homological algebra of…

We compute the 5-local cohomology of a 5-local analogue of the Weierstrass Hopf algebroid used to compute $tmf$ homology. We compute the Adams-Novikov differentials in the cohomology, giving the homotopy, V(0)-homology, and V(1)-homology of…

Bott periodicity for the unitary, orthogonal and symplectic groups is fundamental to topological K-theory. Analogous to unitary topological K-theory, for algebraic K-groups with finite coefficients similar periodicity results are…

We prove a p-adic, local version of the Monotonicity Theorem for P-minimal structures. The existence of such a theorem was originally conjectured by Haskell and Macpherson. We approach the problem by considering the first order strict…

We give a complete description of the category of smooth complex representations of the multiplicative group of a central simple algebra over a locally compact nonarchimedean local field. More precisely, for each inertial class in the…

Fix a prime number p and a non-negative integer n. We prove that if a p-complete spectrum X satisfying a mild finiteness condition has the same mod p cohomology as BP<n> as a module over the Steenrod algebra, then X is weak homotopy…

Inspired by the work of Cherry, we introduce and study a new notion of Brody hyperbolicity for rigid analytic varieties over a non-archimedean field $K$ of characteristic zero. We use this notion of hyperbolicity to show the following…

This is a survey article with the goal to advertise spectrum valued versions of $K$- and $KK$- theory for $C^{*}$-algebras via a (stable and symmetric monoidal) $\infty$-categorical enhancement of Kasparov's classical $KK$-theory. The main…

We strengthen the compatibility between local and global Langlands correspondences for GL_{n} when n is even and l=p. Let L be a CM field and \Pi\ a cuspidal automorphic representation of GL_{n}(\mathbb{A}_{L}) which is conjugate self-dual…

In this paper, we study the global structure of an algebraic avatar of the derived category of ind-coherent sheaves on the moduli stack of formal groups. In analogy with the stable homotopy category, we prove a version of the nilpotence…

Let k be a field. Denote by Spc(k)_* the unstable, pointed motivic homotopy category and by Omega_Gm: Spc(k)_* \to Spc(k)_* the Gm-loops functor. For a k-group G, denote by Gr_G the affine Grassmannian of G. If G is isotropic reductive, we…

Relying on the computation of the Andre-Quillen homology groups for unstable Hopf algebras, we prove that the mod p cohomology of the n-connected cover of a finite H-space is always finitely generated as algebra over the Steenrod algebra.

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

The purpose of this paper is to prove a local p-adic monodromy theorem for ordinary abelian surfaces and K3 surfaces with bad reduction in characteristic p. As an application, we get a finiteness result for the reduction of their Hecke…

A local analogue of the Grothendieck Conjecture is an equivalence of the category of complete discrete valuation fields $K$ with finite residue fields of characteristic $p\ne 0$ and the category of absolute Galois groups of fields $K$…

We show that the universal measuring coalgebras between Frobenius algebras turn the category of Frobenius algebras into a Hopf category (in the sense of Batista-Caenepeel-Vercruysse), and the universal comeasuring algebras between Frobenius…

We discuss various concepts of $\infty$-homotopies, as well as the relations between them (focussing on the Leibniz type). In particular $\infty$-$n$-homotopies appear as the $n$-simplices of the nerve of a complete Lie ${\infty}$-algebra.…