107 research outputs found

    The Galois group of a stable homotopy theory

    Full text link
    To a "stable homotopy theory" (a presentable, symmetric monoidal stable \infty-category), we naturally associate a category of finite \'etale algebra objects and, using Grothendieck's categorical machine, a profinite group that we call the Galois group. We then calculate the Galois groups in several examples. For instance, we show that the Galois group of the periodic E\mathbf{E}_\infty-algebra of topological modular forms is trivial and that the Galois group of K(n)K(n)-local stable homotopy theory is an extended version of the Morava stabilizer group. We also describe the Galois group of the stable module category of a finite group. A fundamental idea throughout is the purely categorical notion of a "descendable" algebra object and an associated analog of faithfully flat descent in this context.Comment: 93 pages. To appear in Advances in Mathematic

    Hyperdescent and \'etale K-theory

    Full text link
    We study the \'etale sheafification of algebraic K-theory, called \'etale K-theory. Our main results show that \'etale K-theory is very close to a noncommutative invariant called Selmer K-theory, which is defined at the level of categories. Consequently, we show that \'etale K-theory has surprisingly well-behaved properties, integrally and without finiteness assumptions. A key theoretical ingredient is the distinction, which we investigate in detail, between sheaves and hypersheaves of spectra on \'etale sites.Comment: 89 pages, v3: various corrections and edit