The localization sequence for the algebraic <Emphasis Type="Italic">K</Emphasis>-theory of topological <Emphasis Type="Italic">K</Emphasis>-theory

We verify a conjecture of Rognes by establishing a localization cofiber sequence of spectra \(K(\mathbb{Z})\to K(ku)\to K(KU) \to\Sigma K(\mathbb{Z})\) for the algebraic K-theory of topological K-theory. We deduce the existence of this sequence as a consequence of a dévissage theorem identifying the K-theory of the Waldhausen category of finitely generated finite stage Postnikov towers of modules over a connective \(A_\infty\) ring spectrum R with the Quillen K-theory of the abelian category of finitely generated \(\pi_{0}R\)-modules.     

Algebraic <Emphasis Type="Italic">K</Emphasis>-theory of Gorenstein projective modules

We introduce the Gorenstein algebraic K-theory space and the Gorenstein algebraic K-group of a ring, and show the relation with the classical algebraic K-theory space, and also show the ‘resolution theorem’ in this context due to Quillen. We characterize the Gorenstein algebraic K-groups by two different algebraic K-groups and by the idempotent completeness of the Gorenstein singularity category of the ring. We compute the Gorenstein algebraic K-groups along a recollement of the bounded Gorenstein derived categories of CM-nite Gorenstein algebras.     

The Homotopy Fixed Point Theorem and the Quillen–Lichtenbaum conjecture in Hermitian K-theory

We settle two conjectures for computing higher Grothendieck–Witt groups (also known as Hermitian K-groups) of noetherian schemes X, under some mild conditions. It is shown that the comparison map from the Hermitian K-theory of X to the homotopy fixed points of K  -theory under the natural Z/2$\mathbb{Z}/2$-action is a 2-adic equivalence. We also prove that the mod 2^ν$2^{\nu }$ comparison map between the Hermitian K-theory of X and its étale version is an isomorphism on homotopy groups in the same range as for the Quillen–Lichtenbaum conjecture in K-theory. Applications compute higher Grothendieck–Witt groups of complex algebraic varieties and rings of 2-integers in number fields, and hence values of Dedekind zeta-functions.     

On the <Emphasis Type="Italic">K</Emphasis>-Theoretic Classification of Topological Phases of Matter

We present a rigorous and fully consistent K-theoretic framework for studying gapped phases of free fermions. It utilizes and profits from powerful techniques in operator K-theory, which from the point of view of symmetries such as time reversal, charge conjugation, and magnetic translations, is more general and natural than the topological version. In our model-independent approach, the dynamics are only constrained by the physical symmetries, which can be completely encoded using a suitable C ^*-superalgebra. Contrary to existing literature, we do not use K-theory groups to classify phases in an absolute sense, but to classify topological obstructions between phases. The Periodic Table of Kitaev is exhibited as a special case within our framework, and we prove that the phenomena of periodicity and dimension shifts are robust against disorder and magnetic fields.     

On the 2-primary part of tame kernels of real quadratic fields

Let \(F = Q\left( {\sqrt p } \right)\), where p = 8t+1 is a prime. In this paper, we prove that a special case of Qin’s conjecture on the possible structure of the 2-primary part of K ₂ O _F up to 8-rank is a consequence of a conjecture of Cohen and Lagarias on the existence of governing fields. We also characterize the 16-rank of K ₂ O _F , which is either 0 or 1, in terms of a certain equation between 2-adic Hilbert symbols being satisfied or not.     

Higher Algebraic <Emphasis Type="Italic">K</Emphasis>-theory of Ring Epimorphisms

Given a homological ring epimorphism from a ring R to another ring S, we show that if the left R-module S has a finite-type resolution, then the algebraic K-group K _n (R) of R splits as the direct sum of the algebraic K-group K _n (S) of S and the algebraic K-group K _n (R) of a Waldhausen category R determined by the ring epimorphism. This result is then applied to endomorphism rings, matrix subrings, rings with idempotent ideals, and universal localizations which appear often in representation theory and algebraic topology.     

Abelian Groups With Sufficiently <Emphasis Type="Italic">π</Emphasis>-Regular Endomorphism Ring

The notion of π-regular endomorphism ring of an abelian group, which generalizes the notion of regular endomorphism ring, was introduced in papers of L. Fuchs and K. Rangaswamy. They described periodic abelian groups with π-regular endomorphism ring and found necessary conditions for an abelian group to have π-regular endomorphism ring. In this paper, we study abelian groups with sufficiently π-regular endomorphism ring, which form a subclass of the class of abelian groups with π-regular endomorphism ring, and find necessary and sufficient conditions for an abelian group to have sufficiently π-regular endomorphism ring.     

Types of Root Systems in Number Fields

We classify the types of root systems R in the rings of integers of number fields K such that the Weyl group W(R) lies in the group generated by Aut(K) and multiplications by the elements of K*.     

The regular digraph of ideals of a commutative ring

Let R be a commutative ring and Max?(R) be the set of maximal ideals of R. The regular digraph of ideals of R, denoted by \(\overrightarrow{\Gamma_{\mathrm{reg}}}(R)\), is a digraph whose vertex set is the set of all non-trivial ideals of R and for every two distinct vertices I and J, there is an arc from I to J whenever I contains a J-regular element. The undirected regular (simple) graph of ideals of R, denoted by Γ_reg(R), has an edge joining I and J whenever either I contains a J-regular element or J contains an I-regular element. Here, for every Artinian ring R, we prove that |Max?(R)|?1≦ω(Γ_reg(R))≦|Max?(R)| and \(\chi(\Gamma_{\mathrm{ reg}}(R)) = 2|\mathrm{Max}\, (R)| -k-1\), where k is the number of fields, appeared in the decomposition of R to local rings. Among other results, we prove that \(\overrightarrow{\Gamma_{\mathrm{ reg}}}(R)\) is strongly connected if and only if R is an integral domain. Finally, the diameter and the girth of the regular graph of ideals of Artinian rings are determined.     

Periodic Groups Saturated with the Groups <Emphasis Type="Italic">L</Emphasis><Subscript>2</Subscript>(<Emphasis Type="Italic">p</Emphasis><Superscript><Emphasis Type="Italic">n</Emphasis></Superscript>)

Given an indexing set I and a finite field K_α for each α ∈ I, let ? = {L₂(K_α) | α ∈ I} and \(\mathfrak{N} = \{ SL_2 (K_\alpha )|\alpha \in I\}\). We prove that each periodic group G saturated with groups in \(\Re (\mathfrak{N})\) is isomorphic to L₂(P) (respectively SL₂(P)) for a suitable locally finite field P.     

Some Algebraic Properties of Cerf Diagrams of One-Parameter Function Families

We obtain results concerning Arnold's problem about a generalization of the Pontryagin-Thom construction in cobordism theory to real algebraic functions. The Pontryagin-Thom construction in the Wells form is transferred to the space of real functions. The relation of the problem with algebraic K-theory and the h-principle due to Eliashberg and Mishachev is revealed.     

The local lifting problem for <Emphasis Type="Italic">D</Emphasis><Subscript>4</Subscript>

For a prime p, a cyclic-by-p group G and a G-extension L|K of complete discrete valuation fields of characteristic p with algebraically closed residue field, the local lifting problem asks whether the extension L|K lifts to characteristic zero. In this paper, we characterize D₄-extensions of fields of characteristic two, determine the ramification breaks of (suitable) D₄- extensions of complete discrete valuation fields of characteristic two, and solve the local lifting problem in the affirmative for every D₄-extension of complete discrete valuation fields of characteristic two with algebraically closed residue field; that is, we show that D₄ is a local Oort group for the prime 2.     

Galois theory and Lubin-Tate cochains on classifying spaces

We consider brave new cochain extensions F(BG ₊,R) → F(EG ₊,R), where R is either a Lubin-Tate spectrum E _n or the related 2-periodic Morava K-theory K _n , and G is a finite group. When R is an Eilenberg-Mac Lane spectrum, in some good cases such an extension is a G-Galois extension in the sense of John Rognes, but not always faithful. We prove that for E _n and K _n these extensions are always faithful in the K _n local category. However, for a cyclic p-group \(C_{p^r } \), the cochain extension \(F(BC_{p^r + } ,E_n ) \to F(EC_{p^r + } ,E_n )\) is not a Galois extension because it ramifies. As a consequence, it follows that the E _n -theory Eilenberg-Moore spectral sequence for G and BGdoes not always converge to its expected target.     

Totally real discs in non-pseudoconvex boundaries

LetD be a relatively compact domain inC² with smooth connected boundary ?D. A compact setK??D is called removable if any continuous CR function defined on ?D/K admits a holomorphic extension toD. IfD is strictly pseudoconvex, a theorem of B. Jöricke states that any compactK contained in a smooth totally real discS??D is removable. In the present article we show that this theorem is true without any assumption on pseudoconvexity.     

Non-Wieferich primes in number fields and <Emphasis Type="Italic">abc</Emphasis>-conjecture

Let K/Q be an algebraic number field of class number one and let O _K be its ring of integers. We show that there are infinitely many non-Wieferich primes with respect to certain units in O _K under the assumption of the abc-conjecture for number fields.     

The Real Spectrum of a Noncommutative Ring and the Artin-Lang Homomorphism Theorem

Let R be a noncommutative ring. Two epimorphisms

$$\alpha_{i}:R\to (D_{i},\leqslant_{i}),\quad i = 1,2 $$

from R to totally ordered division rings are called equivalent if there exists an order-preserving isomorphism ? : (D ₁, ? ₁) → (D ₂, ? ₂) satisfying ? ° α ₁ = α ₂. In this paper we study the real epi-spectrum of R, defined to be the set of all equivalence classes (with respect to this relation) of epimorphisms from R to ordered division rings. We show that it is a spectral space when endowed with a natural topology and prove a variant of the Artin-Lang homomorphism theorem for finitely generated tensor algebras over real closed division rings.

     

<Emphasis Type="Bold">K</Emphasis><Subscript>0</Subscript> of Semiartinian Von Neumann Regular Rings. Direct Finiteness Versus Unit-Regularity

If R is a regular and semiartinian ring, it is proved that the following conditions are equivalent: (1) R is unit-regular, (2) every factor ring of R is directly finite, (3) the abelian group K _O(R) is free and admits a basis which is in a canonical one to one correspondence with a set of representatives of simple right R-modules. For the class of semiartinian and unit-regular rings the canonical partial order of K _O(R) is investigated. Starting from any partially ordered set I, a special dimension group G(I) is built and a large class of semiartinian and unit-regular rings is shown to have the corresponding K _O(R) order isomorphic to G(P r i m _R ), where P r i m _R is the primitive spectrum of R. Conversely, if I is an artinian partially ordered set having a finite cofinal subset, it is proved that the dimension group G(I) is realizable as K _O(R) for a suitable semiartinian and unit-regular ring R.     

Genomic tableaux

We explain how genomic tableaux [Pechenik–Yong ’15] are a semistandard complement to increasing tableaux [Thomas–Yong ’09]. From this perspective, one inherits genomic versions of jeu de taquin, Knuth equivalence, infusion and Bender–Knuth involutions, as well as Schur functions from (shifted) semistandard Young tableaux theory. These are applied to obtain new Littlewood–Richardson rules for K-theory Schubert calculus of Grassmannians (after [Buch ’02]) and maximal orthogonal Grassmannians (after [Clifford–Thomas–Yong ’14], [Buch–Ravikumar ’12]). For the unsolved case of Lagrangian Grassmannians, sharp upper and lower bounds using genomic tableaux are conjectured.