Generalized K-theoretic invariants and wall-crossing via non-abelian localization

2025-12-26T19:38:06Z

Given an abelian category and a stability condition satisfying appropriate conditions, we define generalized $K$-theoretic invariants and prove that they satisfy wall-crossing formulas. For this, we introduce a new associative algebra structure on the $K$-homology of the stack of objects of an abelian category, which we call the $K$-Hall algebra. We first define $δ$-invariants directly coming from the stack of semistable objects and use the $K$-Hall algebra to take a formal logarithm and construct $\varepsilon$-invariants. We prove that these satisfy appropriate wall-crossing formulas using the non-abelian localization theorem. Based on work of Joyce in the cohomological setting, Liu had previously defined similar invariants assuming the existence of a framing functor; we show that when their definition of invariants makes sense it agrees with ours. Our results extend Joyce--Liu wall-crossing to non-standard hearts of $D^b(X)$, for which framing functors are not known to exist.

Motivic cohomology of cyclic coverings

2025-12-26T15:48:20Z

Cyclic coverings produce many examples of topologically contractible smooth affine complex varieties. In this paper, we study the motivic cohomology groups of cyclic coverings over algebraically closed fields of characteristic $0$. In particular, we prove that in many situations Chow groups of cyclic coverings become trivial after tensoring with $\mathbb{Q}$. Furthermore, we can prove that the Chow groups of certain bicyclic coverings are trivial even without tensoring with $\mathbb{Q}$.

Fundamental comparison, base-change, and descent theorems in the $K$-theory of non-commutative n-ary Gamma-semirings

2025-12-23T22:14:33Z

We develop a comparison, base-change, and descent framework for the algebraic $K$-theory of non-commutative $n$-ary $Γ$-semirings. Working in the Quillen-exact (and Waldhausen) setting of bi-finite, slot-sensitive $Γ$-modules and perfect complexes, we construct functorial maps on $K$-theory induced by extension and restriction of scalars under explicit $Γ$-flatness hypotheses in the relevant positional slots. We prove derived Morita invariance (via tilting bimodule complexes), establish Beck-Chevalley type base-change for cartesian squares, and deduce a projection formula compatible with the multiplicative structure coming from positional tensor products. Passing to the non-commutative $Γ$-spectrum $\Spec^{\mathrm{nc}}_Γ(T)$, we show locality for perfect objects and derive Zariski hyperdescent for $\mathbb{K}(\Perf)$, together with excision and localization sequences for closed immersions and fpqc descent for $Γ$-flat covers. Finally, we interpret $K_Γ(X)$ geometrically as the $K$-theory of the stable $\infty$-category of $Γ$-perfect complexes, describe its universal property in $Γ$-linear non-commutative motives, and record compatibility with cyclotomic and Chern-type trace maps.

Classical harmonic analysis viewed through the prism of noncommutative geometry

2025-12-23T14:48:46Z

The aim of this paper is to bridge noncommutative geometry with classical harmonic analysis on Banach spaces, focusing primarily on both classical and noncommutative $\mathrm{L}^p$ spaces. Introducing a notion of Banach Fredholm module, we define new abelian groups, $\mathrm{K}^{0}(\mathcal{A},\mathscr{B})$ and $\mathrm{K}^{1}(\mathcal{A},\mathscr{B})$, of $\mathrm{K}$-homology associated with an algebra $\mathcal{A}$ and a suitable class $\mathscr{B}$ of Banach spaces, such as the class of $\mathrm{L}^p$-spaces. We establish index pairings of these groups with the $\mathrm{K}$-theory groups of the algebra $\mathcal{A}$. Subsequently, by considering (noncommutative) Hardy spaces, we uncover the natural emergence of Hilbert transforms, leading to Banach Fredholm modules and culminating in new index theorems. Moreover, by associating each reasonable sub-Markovian semigroup of operators with a <>, we explain how this leads to (possibly kernel-degenerate) Banach Fredholm modules, thereby revealing the role of vectorial Riesz transforms in this context. Overall, our approach significantly integrates the analysis of operators on $\mathrm{L}^p$-spaces into the expansive framework of noncommutative geometry, offering new perspectives.

Motivic Steenrod problem away from the characteristic

2025-12-23T13:49:41Z

In topology, the Steenrod problem asks whether every singular homology class is the pushforward of the fundamental class of a closed oriented manifold. Here, we introduce an analogous question in algebraic geometry: is every element on the Chow line of the motivic cohomology of $X$ the pushforward of a fundamental class along a projective derived-lci morphism? If $X$ is a smooth variety over a field of characteristic $p \geq 0$, then a positive answer to this question follows up to $p$-torsion from resolution of singularities by alterations. However, if $X$ is singular, then this is no longer necessarily so: we give examples of motivic cohomology classes of a singular scheme $X$ that are not $p$-torsion and are not expressible as such pushforwards. A consequence of our result is that the Chow ring of a singular variety cannot be expressed as a quotient of its algebraic cobordism ring, as suggested by the first-named-author in his thesis.

Transfers on $\mathbb A^1$-connected components of quasi-split groups and the norm principle

2025-12-23T09:23:02Z

We show that the sheaf of $\mathbb A^1$-connected components of a quasi-split group over a perfect field is a strictly $\mathbb A^1$-invariant sheaf with (Voevodsky) transfers. As a consequence, we show that the norm principle holds for any quasi-split group over a perfect field.

On higher Du Bois singularities and $K$-regularity

2025-12-22T19:32:27Z

We study the relationship between higher Du Bois singularities and $K$-regularity, a notion that measures the $\mathbb{A}^1$-invariance of the algebraic $K$-groups. Building on this relationship, we establish a strengthened form of Vorst's conjecture for local complete intersections in characteristic zero. Our work also provides tools to construct new examples that illustrate various phenomena in the study of $K$-regularity. The main inputs for our results are vanishing theorems for the Du Bois complexes.

Classical double Grothendieck transitions

2025-12-22T05:27:43Z

Kirillov and Naruse have constructed double Grothendieck polynomials to represent the equivariant K-theory classes of Schubert varieties in the complete flag manifolds of types B, C, and D. We derive a recursive formula for these polynomials, extending certain K-theoretic transition equations known in type A to all classical types. As an application, we obtain an identity that expands the K-Stanley symmetric functions in types B, C, and D into positive linear combinations of K-theoretic Schur P- and Q-functions. We also resolve several positivity conjectures related to the skew generalizations of the latter functions.

On the generalized Bass--Quillen conjecture in dimension 2

2025-12-21T20:04:36Z

Let $A$ be a regular ring of dimension $\le 2$. Let $G$ be a reductive group over $A$ such that its derived group is a split, i.e. a Chevalley--Demazure, semisimple group. We prove that every Zariski-locally trivial principal $G$-bundle over $A[x_1,\ldots,x_n]$ is extended from $A$, for any $n\ge 1$. This result generalizes to split reductive groups the dimension $2$ case of the Bass--Quillen conjecture on finitely generated projective modules, settled in positive by M. P. Murthy.

Intrinsic homological algebra for triangulated categories

2025-12-20T16:45:37Z

We propose a new framework for the study of homological properties for (compactly generated) triangulated categories such as regularity, finiteness of global or finitistic dimension, gorensteinness or injective generation and the relation between them. Our approach focuses on distinguished, intrinsically defined, subcategories and our main tool is the new notion of far-away orthogonality. We observe that these homological properties generalise previously studied properties on derived categories of modules over rings, and we use the generality of our theory to also examine those same attributes for the homotopy category of injectives and the big singularity category (in the sense of Krause) of an Artin algebra, as well as the derived category of a non-positive differential graded algebra. Finally, using our theory we recover and generalise various results in the theory of recollements of triangulated categories.

Unordered resolutions and homological stability for linear groups

2025-12-19T22:34:50Z

In this paper, we develop a modified proof strategy for homological stability of linear groups, with the general linear groups serving as a primary example. Our arguments are more direct than those in the classical works of Quillen and Suslin--Nesterenko, although they apply only with localized coefficients. The localization at (n-1)! that arises in our approach appears to be closely related to several conjectures of Mirzaii as well as to Suslin's injectivity conjecture.

Around Segal conjecture in p-adic geometry

2025-12-19T15:10:27Z

This article records multiple results coming from interplay between de-completed topological periodic cyclic homology, Segal conjecture, and F-smoothness. We establish completeness of motivic filtration on de-completed topological periodic cyclic homology of commutative rings with weakly finitely generated absolute cotangent complex. When the ring in question is in addition F-smooth, we show that Segal conjecture holds for its topological Hochschild homology. We also identify our de-completed topological periodic cyclic homology with Manam's Frobenius untwisted topological periodic cyclic homology for quasiregular semiperfectoid rings. We find a crystalline degeneration of Segal conjecture which corresponds to such a statement for F-smoothness. On the other hand, inspired by constructions for topological Hochschild homology, the theory of cyclotomic synthetic spectra allows us to produce a relative conjugate filtration on Hodge--Tate cohomology and its variants, and in the same time, a relative conjugate filtration on topological Hochschild homology and its variants. As a consequence, we deduce transitivity of weak and strong F-smoothness.

Bloch-Suslin Complex and Strong $\mathbb{A}^{1}-$invariance

2025-12-18T23:10:49Z

We prove that there is no extension of the abelian groups appearing in the Bloch-Suslin complex to strongly $\mathbb{A}^{1}-$invariant sheaves on $Sm_{k}$ (char($k$)=0) that also extend the canonical symbol maps from the respective $\mathbb{G}_{m}^{\wedge n}$ (i.e., from $\mathbb{G}_{m}$ and $\mathbb{G}_{m}^{\wedge2}$).

Algebraic $K$-theory for squares categories

2025-12-18T16:49:09Z

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 a squares category 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.

Non-negative scalar curvature on spin surgeries and Novikov conjecture

2025-12-18T13:45:45Z

Let $M$ be a closed aspherical manifold. Assume that the rational strong Novikov conjecture holds for $π_1(M)$. We show that on any spin surgery of $M$ along a region whose induced homomorphism on the fundamental group is trivial, every complete metric with non-negative scalar curvature is Ricci-flat. In particular, on the connected sum of $M$ with a spin manifold, any complete metric with non-negative scalar curvature is Ricci-flat.