Algebraic K-theory of the two-periodic first Morava K-theory

Haldun Özgür Bayındır

DOI: https://doi.org/10.1090/tran/9178

IF: 1.3529

2024-06-25

Transactions of the American Mathematical Society

Abstract:Haldun Özgür Bayındır Trans. Amer. Math. Soc. 377 (), 5219-5246. , references and article information

mathematics

What problem does this paper attempt to address?

3 1 M ar 2 00 4 K-theory associated to vertex operator algebras

C. Dong,Kefeng Liu,M. Xiaonan,Jian Zhou

2004-01-01

Abstract:We introduce two K-theories, one for vector bundles whose fibers are modules of vertex operator algebras, another for vector bundles whose fibers are modules of associative algebras. We verify the cohomological properties of these K-theories, and construct a natural homomorphism from the VOA K-theory to the associative algebra K-theory.
2 0 A pr 2 00 4 K-theory associated to vertex operator algebras

Chongying DONG,Kefeng LIU,MA Xiaonan,Jian ZHOU

2004-01-01

Abstract:We introduce two K-theories, one for vector bundles whose fibers are modules of vertex operator algebras, another for vector bundles whose fibers are modules of associative algebras. We verify the cohomological properties of these K-theories, and construct a natural homomorphism from the VOA K-theory to the associative algebra K-theory.
Algebraic K-theory of elliptic cohomology

Gabriel Angelini-Knoll,Christian Ausoni,Dominic Leon Culver,Eva Höning,John Rognes

2023-10-24

Abstract:We calculate the mod (p, v_1, v_2) homotopy V(2)_* TC(BP<2>) of the topological cyclic homology of the truncated Brown--Peterson spectrum BP<2>, at all primes p\ge7, and show that it is a finitely generated and free F_p[v_3]-module on 12p+4 generators in explicit degrees within the range -1 \le * \le 2p^3+2p^2+2p-3. At these primes BP<2> is a form of elliptic cohomology, and our result also determines the mod (p, v_1, v_2) homotopy of its algebraic K-theory. Our computation is the first that exhibits chromatic redshift from pure v_2-periodicity to pure v_3-periodicity in a precise quantitative manner.

Algebraic Topology,K-Theory and Homology
Algebraic K-theory of completed Kac-Moody groups

Arthur Bartels,Wolfgang Lueck,Stefan Witzel

2024-12-06

Abstract:We extend results for the K-theory of Hecke algebras of reductive $p$-adic groups to completed Kac-Moody groups.

K-Theory and Homology,Group Theory
Algebraic cobordism and a Conner–Floyd isomorphism for algebraic K-theory

Toni Annala,Marc Hoyois,Ryomei Iwasa

DOI: https://doi.org/10.1090/jams/1045

2024-10-17

Journal of the American Mathematical Society

Abstract:Toni Annala, Marc Hoyois and Ryomei Iwasa J. Amer. Math. Soc. 38 (), 243-289. , references and article information

mathematics
Algebraic K-theory with coefficients of cyclic quotient singularities

Goncalo Tabuada

DOI: https://doi.org/10.48550/arXiv.1512.01205

2015-12-04

Abstract:In this short note, by combining the work of Amiot-Iyama-Reiten and Thanhoffer de Volcsey-Van den Bergh on Cohen-Macaulay modules with the previous work of the author on orbit categories, we compute the (nonconnective) algebraic K-theory with coefficients of cyclic quotient singularities.

K-Theory and Homology,Algebraic Geometry,Algebraic Topology,Rings and Algebras,Representation Theory
Algebraic Kasparov K-theory. II

Grigory Garkusha

DOI: https://doi.org/10.2140/akt.2016.1.275

2015-08-27

Abstract:A kind of motivic stable homotopy theory of algebras is developed. Explicit fibrant replacements for the $S^1$-spectrum and $(S^1,\mathbb G)$-bispectrum of an algebra are constructed. As an application, unstable, Morita stable and stable universal bivariant theories are recovered. These are shown to be embedded by means of contravariant equivalences as full triangulated subcategories of compact generators of some compactly generated triangulated categories. Another application is the introduction and study of the symmetric monoidal compactly generated triangulated category of $K$-motives. It is established that the triangulated category $kk$ of Cortiñas--Thom can be identified with the $K$-motives of algebras. It is proved that the triangulated category of $K$-motives is a localization of the triangulated category of $(S^1,\mathbb G)$-bispectra. Also, explicit fibrant $(S^1,\mathbb G)$-bispectra representing stable algebraic Kasparov $K$-theory and algebraic homotopy $K$-theory are constructed.

K-Theory and Homology,Algebraic Topology,Operator Algebras
On the algebraic K-theory of Spec Z^N

Stella Anevski

DOI: https://doi.org/10.48550/arXiv.1207.3890

2012-07-17

Abstract:In his thesis, N. Durov develops a theory of algebraic geometry in which schemes are locally determined by commutative algebraic monads. In this setting, one is able to construct the Arakelov geometric compactification of the spectrum of the ring of integers in a purely algebraic fashion. This object arises as the limit of a certain projective system of generalized schemes. We study the constituents of this projective system, and compute their algebraic K-theory.

Algebraic Geometry,K-Theory and Homology
Morava K-theory of orthogonal groups and motives of projective quadrics

Nikita Geldhauser,Andrei Lavrenov,Victor Petrov,Pavel Sechin

2024-04-05

Abstract:We compute the algebraic Morava K-theory ring of split special orthogonal and spin groups. In particular, we establish certain stabilization results for the Morava K-theory of special orthogonal and spin groups. Besides, we apply these results to study Morava motivic decompositions of orthogonal Grassmannians. For instance, we determine all indecomposable summands of the Morava motives of a generic quadric.

Mathematics
Skew Knörrer's periodicity Theorem

Yang Liu,Yuan Shen,Xin Wang

2024-06-05

Abstract:In this paper, we introduce a class of twisted matrix algebras of $M_2(E)$ and twisted direct products of $E\times E$ for an algebra $E$. Let $A$ be a noetherian Koszul Artin-Schelter regular algebra, $z\in A_2$ be a regular central element of $A$ and $B=A_P[y_1,y_2;\sigma]$ be a graded double Ore extension of $A$. We use the Clifford deformation $C_{A^!}(z)$ of Koszul dual $A^!$ to study the noncommutative quadric hypersurface $B/(z+y_1^2+y_2^2)$. We prove that the stable category of graded maximal Cohen-Macaulay modules over $B/(z+y_1^2+y_2^2)$ is equivalent to certain bounded derived categories, which involve a twisted matrix algebra of $M_2(C_{A^!}(z))$ or a twisted direct product of $C_{A^!}(z)\times C_{A^!}(z)$ depending on the values of $P$. These results are presented as skew versions of Knörrer's periodicity theorem. Moreover, we show $B/(z+y_1^2+y_2^2)$ may not be a noncommutative graded isolated singularity even if $A/(z)$ is.

Rings and Algebras
Morava $J$-invariant

Nikita Geldhauser,Andrei Lavrenov,Victor Petrov,Pavel Sechin

2024-09-21

Abstract:We compute the co-multiplication of the algebraic Morava K-theory for split orthogonal groups. This allows us to compute the decomposition of the Morava motives of generic maximal orthogonal Grassmannians and to compute a Morava K-theory analogue of the $J$-invariant in terms of the ordinary (Chow) $J$-invariant.

K-Theory and Homology
Algebraic Cobordism and Étale Cohomology

Elden Elmanto,Marc Levine,Markus Spitzweck,Paul Arne Østvær

DOI: https://doi.org/10.2140/gt.2022.26.477

2022-05-16

Abstract:Thomason's étale descent theorem for Bott periodic algebraic $K$-theory \cite{aktec} is generalized to any $MGL$ module over a regular Noetherian scheme of finite dimension. Over arbitrary Noetherian schemes of finite dimension, this generalizes the analog of Thomason's theorem for Weibel's homotopy $K$-theory. This is achieved by amplifying the effects from the case of motivic cohomology, using the slice spectral sequence in the case of the universal example of algebraic cobordism. We also obtain integral versions of these statements: Bousfield localization at étale motivic cohomology is the universal way to impose étale descent for these theories. As applications, we describe the étale local objects in modules over these spectra and show that they satisfy the full six functor formalism, construct an étale descent spectral sequence converging to Bott-inverted motivic Landweber exact theories, and prove cellularity and effectivity of the étale versions of these motivic spectra.

Algebraic Geometry
Syntomic cohomology of Morava K-theory

Gabriel Angelini-Knoll,Jeremy Hahn,Dylan Wilson

2024-10-10

Abstract: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 conjecture, and redshift conjecture for the algebraic K-theories of all $\mathbb{E}_{1}$-$\mathbb{S}$-algebra forms of $(2p^n-2)$-periodic Morava K-theory. Notably, the motivic spectral sequence computing $\pi_*TC(k(n))_p$ is concentrated on at most three lines, independently of $n$.

K-Theory and Homology,Algebraic Topology
Topological K-Theory of Complex Projective Spaces

Virgil Chan

DOI: https://doi.org/10.48550/arXiv.1303.3959

2013-03-16

Abstract:We compute the K-theory of complex projective spaces. There are three major ingredients: the exact sequence of K-groups, the theory of Chern character and the Bott Periodicity Theorem.

K-Theory and Homology
On the Periods of Twisted Moments of the Kloosterman Connection

Ping-Hsun Chuang,Jeng-Daw Yu

DOI: https://doi.org/10.1007/s11139-024-00936-0

2024-09-24

Abstract:This paper aims to study the Betti homology and de Rham cohomology of twisted symmetric powers of the Kloosterman connection of rank two on the torus. We compute the period pairing and, with respect to certain bases, interpret these associated period numbers in terms of the Bessel moments. Via the rational structures on Betti homology and de Rham cohomology, we prove the $\mathbb{Q}$-linear and quadratic relations among these Bessel moments.

Algebraic Geometry
Differential function spectra, the differential Becker-Gottlieb transfer, and applications to differential algebraic K-theory

Ulrich Bunke,David Gepner

DOI: https://doi.org/10.48550/arXiv.1306.0247

2016-02-08

Abstract:We develop differential algebraic K-theory for rings of integers in number fields and we construct a cycle map from geometrized bundles of modules over such a ring to the differential algebraic K-theory. We also treat some of the foundational aspects of differential cohomology, including differential function spectra and the differential Becker-Gottlieb transfer. We then state a transfer index conjecture about the equality of the Becker-Gottlieb transfer and the analytic transfer defined by Lott. In support of this conjecture, we derive some non-trivial consequences which are provable by independent means.

K-Theory and Homology,Algebraic Topology,Differential Geometry
Algebraic cobordism and a Conner-Floyd isomorphism for algebraic K-theory

Toni Annala,Marc Hoyois,Ryomei Iwasa

2024-02-14

Abstract:We formulate and prove a Conner-Floyd isomorphism for the algebraic K-theory of arbitrary qcqs derived schemes. To that end, we study a stable $\infty$-category of non-$\mathbb A^1$-invariant motivic spectra, which turns out to be equivalent to the $\infty$-category of fundamental motivic spectra satisfying elementary blowup excision, previously introduced by the first and third authors. We prove that this $\infty$-category satisfies $\mathbb P^1$-homotopy invariance and weighted $\mathbb A^1$-homotopy invariance, which we use in place of $\mathbb A^1$-homotopy invariance to obtain analogues of several key results from $\mathbb A^1$-homotopy theory. These allow us in particular to define a universal oriented motivic $\mathbb E_\infty$-ring spectrum $\mathrm{MGL}$. We then prove that the algebraic K-theory of a qcqs derived scheme $X$ can be recovered from its $\mathrm{MGL}$-cohomology via a Conner-Floyd isomorphism \[\mathrm{MGL}^{**}(X)\otimes_{\mathrm L}\mathbb Z[\beta^{\pm 1}]\simeq \mathrm K^{**}(X),\] where $\mathrm L$ is the Lazard ring and $\mathrm K^{p,q}(X)=\mathrm K_{2q-p}(X)$. Finally, we prove a Snaith theorem for the periodized version of $\mathrm{MGL}$.

Algebraic Geometry,Algebraic Topology,K-Theory and Homology
The relative Brauer group of $K(1)$-local spectra

Itamar Mor

DOI: https://doi.org/10.1093/imrn/rnae073

2023-11-02

Abstract:Using profinite Galois descent, we compute the Brauer group of the $K(1)$-local category relative to Morava E-theory. At odd primes this group is generated by a cyclic algebra formed using any primitive $(p-1)$st root of unity, but at the prime two is a group of order $32$ with nontrivial extensions; we give explicit descriptions of the generators, and consider their images in the Brauer group of $KO$. Along the way, we compute the relative Brauer group of completed $KO$, using the étale locally trivial Brauer group of Antieau, Meier and Stojanoska.

Algebraic Topology
Algebraic $K$-theory for squares categories

Jonathan Campbell,Josefien Kuijper,Mona Merling,Inna Zakharevich

2023-10-04

Abstract:In this paper we introduce a new formalism for $K$-theory, called squares $K$-theory. This formalism allows us to simultaneously generalize the usual three-term relation $[B] = [A] + [C]$ for an exact sequence $A \hookrightarrow B \twoheadrightarrow C$ or for a subtractive sequence $A\hookrightarrow B \leftarrow C$, by defining $K_0$ of exact and subtractive categories to satisfy a four-term relation $[A]+[D]= [C] + [B]$ for a ``good'' square diagram with these corners. Examples that rely on this formalism are $K$-theory of smooth manifolds of a fixed dimension and $K$-theory of (smooth and) complete varieties. Another application we give of this theory is the construction of a derived motivic measure taking value in the $K$-theory of homotopy sheaves.

K-Theory and Homology,Algebraic Geometry,Algebraic Topology
Power operations for Morava E-theory of height 2 at the prime 2

Charles Rezk

DOI: https://doi.org/10.48550/arXiv.0812.1320

2008-12-06

Algebraic Topology

Abstract:Explicit calculations of the algebraic theory of power operations for a specific Morava E-theory spectrum are given, without detailed proofs.

Algebraic K-theory of the two-periodic first Morava K-theory

3 1 M ar 2 00 4 K-theory associated to vertex operator algebras

2 0 A pr 2 00 4 K-theory associated to vertex operator algebras

Algebraic K-theory of elliptic cohomology

Algebraic K-theory of completed Kac-Moody groups

Algebraic cobordism and a Conner–Floyd isomorphism for algebraic K-theory

Algebraic K-theory with coefficients of cyclic quotient singularities

Algebraic Kasparov K-theory. II

On the algebraic K-theory of Spec Z^N

Morava K-theory of orthogonal groups and motives of projective quadrics

Skew Knörrer's periodicity Theorem

Morava $J$-invariant

Algebraic Cobordism and Étale Cohomology

Syntomic cohomology of Morava K-theory

Topological K-Theory of Complex Projective Spaces

On the Periods of Twisted Moments of the Kloosterman Connection

Differential function spectra, the differential Becker-Gottlieb transfer, and applications to differential algebraic K-theory

Algebraic cobordism and a Conner-Floyd isomorphism for algebraic K-theory

The relative Brauer group of $K(1)$-local spectra

Algebraic $K$-theory for squares categories

Power operations for Morava E-theory of height 2 at the prime 2