The slice spectral sequence for the C4$C_{4}$ analog of real K-theory

2017 ◽  
Vol 29 (2) ◽  
pp. 383-447 ◽  
Author(s):  
Michael A. Hill ◽  
Michael J. Hopkins ◽  
Douglas C. Ravenel

AbstractWe describe the slice spectral sequence of a 32-periodic $C_{4}$-spectrum $K_{[2]}$ related to the $C_{4}$ norm ${\mathrm{MU}^{((C_{4}))}=N_{C_{2}}^{C_{4}}\mathrm{MU}_{\mathbb{R}}}$ of the real cobordism spectrum $\mathrm{MU}_{\mathbb{R}}$. We will give it as a spectral sequence of Mackey functors converging to the graded Mackey functor $\underline{\pi}_{*}K_{[2]}$, complete with differentials and exotic extensions in the Mackey functor structure. The slice spectral sequence for the 8-periodic real K-theory spectrum $K_{\mathbb{R}}$ was first analyzed by Dugger. The $C_{8}$ analog of $K_{[2]}$ is 256-periodic and detects the Kervaire invariant classes $\theta_{j}$. A partial analysis of its slice spectral sequence led to the solution to the Kervaire invariant problem, namely the theorem that $\theta_{j}$ does not exist for ${j\geq 7}$.

2012 ◽  
Vol 64 (2) ◽  
pp. 368-408 ◽  
Author(s):  
Ralf Meyer ◽  
Ryszard Nest

AbstractWe define the filtrated K-theory of a C*-algebra over a finite topological spaceXand explain how to construct a spectral sequence that computes the bivariant Kasparov theory overXin terms of filtrated K-theory.For finite spaces with a totally ordered lattice of open subsets, this spectral sequence becomes an exact sequence as in the Universal Coefficient Theorem, with the same consequences for classification. We also exhibit an example where filtrated K-theory is not yet a complete invariant. We describe two C*-algebras over a spaceXwith four points that have isomorphic filtrated K-theory without being KK(X)-equivalent. For this spaceX, we enrich filtrated K-theory by another K-theory functor to a complete invariant up to KK(X)-equivalence that satisfies a Universal Coefficient Theorem.


2020 ◽  
Vol DMTCS Proceedings, 28th... ◽  
Author(s):  
Maria Monks Gillespie ◽  
Jake Levinson

International audience We establish a combinatorial connection between the real geometry and the K-theory of complex Schubert curves Spλ‚q, which are one-dimensional Schubert problems defined with respect to flags osculating the rational normal curve. In a previous paper, the second author showed that the real geometry of these curves is described by the orbits of a map ω on skew tableaux, defined as the commutator of jeu de taquin rectification and promotion. In particular, the real locus of the Schubert curve is naturally a covering space of RP1, with ω as the monodromy operator.We provide a fast, local algorithm for computing ω without rectifying the skew tableau, and show that certain steps in our algorithm are in bijective correspondence with Pechenik and Yong's genomic tableaux, which enumerate the K-theoretic Littlewood-Richardson coefficient associated to the Schubert curve. Using this bijection, we give purely combinatorial proofs of several numerical results involving the K-theory and real geometry of Spλ‚q.


2020 ◽  
Vol 2 (1) ◽  
pp. 97-146 ◽  
Author(s):  
Clark Barwick ◽  
Saul Glasman ◽  
Jay Shah
Keyword(s):  

2020 ◽  
Vol 378 (3-4) ◽  
pp. 1021-1059
Author(s):  
Fabian Hebestreit ◽  
Steffen Sagave

Abstract Using the framework for multiplicative parametrized homotopy theory introduced in joint work with C. Schlichtkrull, we produce a multiplicative comparison between the homotopical and operator algebraic constructions of twisted K-theory, both in the real and complex case. We also improve several comparison results about twisted K-theory of $$C^*$$ C ∗ -algebras to include multiplicative structures. Our results can also be interpreted in the $$\infty $$ ∞ -categorical setup for parametrized spectra.


2006 ◽  
Vol 49 (3) ◽  
pp. 683-699
Author(s):  
José La Luz
Keyword(s):  

AbstractWe construct a spectral sequence converging to the $E_{2}$-term of the Bousfield–Kan spectral sequence (BKSS) for a wide variety of homology theories. Using this, the $E_{2}$-term of the BKSS based on $K(1)$-theory for the odd spheres is computed and the unstable $K(1)$-completion is computed.


Sign in / Sign up

Export Citation Format

Share Document