arxiv: 2512.22360 · v2 · submitted 2025-12-26 · 🧮 math.AG · math.KT

Recognition: no theorem link

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

Ivan Karpov , Miguel Moreira

Authors on Pith no claims yet

Pith reviewed 2026-05-16 18:57 UTC · model grok-4.3

classification 🧮 math.AG math.KT

keywords K-theoretic invariantswall-crossing formulasK-Hall algebranon-abelian localizationstability conditionssemistable objectsabelian categoriesderived categories

0 comments

The pith

Generalized K-theoretic invariants satisfy wall-crossing formulas via a K-Hall algebra.

A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.

The paper defines generalized K-theoretic invariants for an abelian category with a stability condition by starting from the K-homology of stacks of semistable objects. It introduces the K-Hall algebra as an associative multiplication on the K-homology of all objects to take a formal logarithm and obtain refined invariants. These invariants are shown to obey wall-crossing formulas through the non-abelian localization theorem. The construction works for non-standard hearts in derived categories where framing functors may not exist. This matters because it provides a consistent way to associate invariants to objects that change across stability walls in geometric settings.

Core claim

In an abelian category equipped with a stability condition that meets the necessary requirements, delta-invariants are defined directly from the K-homology of the stack of semistable objects. The K-Hall algebra structure on the K-homology of the full stack of objects then allows the construction of epsilon-invariants via formal logarithm. These epsilon-invariants satisfy wall-crossing formulas by virtue of the non-abelian localization theorem. The resulting invariants coincide with prior constructions whenever those are defined, and the method applies to cases without known framing functors.

What carries the argument

The K-Hall algebra, a new associative algebra structure on the K-homology of the stack of objects of the abelian category, used to define epsilon-invariants as the logarithm of delta-invariants and to prove their wall-crossing properties.

Load-bearing premise

The given stability condition must permit both the definition of the K-Hall algebra on the relevant K-homology and the application of the non-abelian localization theorem.

What would settle it

A concrete counterexample in a specific abelian category, such as coherent sheaves on a curve, where the predicted wall-crossing relation between invariants at two adjacent stability parameters fails to hold.

read the original abstract

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 $\delta$-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.

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, simulated authors' rebuttal, and a circularity audit. Tearing a paper down is the easy half of reading it; the pith above is the substance, this is the friction.

Desk Editor's Note private letter to a colleague

Karpov and Moreira remove the framing-functor barrier from K-theoretic wall-crossing by defining a K-Hall algebra on object-stack K-homology and extracting crossing formulas via non-abelian localization.

read the letter

This paper defines generalized K-theoretic invariants for an abelian category with a stability condition and proves they obey wall-crossing formulas. The central construction is a new associative algebra structure, called the K-Hall algebra, on the K-homology of the stack of objects. They define delta-invariants straight from the semistable locus, take a formal logarithm inside this algebra to produce epsilon-invariants, and then apply the non-abelian localization theorem to obtain the crossing relations between chambers. When a framing functor exists, their invariants recover the earlier Joyce-Liu ones, which is a useful consistency check. The real gain is that the construction does not require framing functors at all, so it applies to non-standard hearts of D^b(X) where such functors are unavailable. That removes a known technical restriction in the literature. The proof outline follows Joyce's cohomological template but works directly in K-theory, and the abstract indicates the necessary associativity and localization hypotheses are verified under stated conditions on the stability datum. The main soft spot is exactly those conditions: associativity of the K-Hall product and the precise fixed-locus data needed for localization must hold without framing, and the paper must supply an explicit check rather than an appeal to “appropriate conditions.” If that check is complete and gap-free, the argument stands; if it relies on unstated carry-over from the framed case, the extension would need extra justification. No circularity or invented parameters appear in the strategy. This work is for people already working on wall-crossing formulas for enumerative invariants in algebraic geometry and K-theory, especially those who run into moduli problems without natural framings. It is a direct, technical advance that removes an obstacle rather than a wholesale reinvention. I would send it to referees; the claims are stated clearly enough and the methods are standard enough that a careful review can settle the remaining verification questions.

Referee Report

2 major / 2 minor

Summary. The paper defines generalized K-theoretic invariants for an abelian category with a stability condition satisfying appropriate conditions. It introduces an associative K-Hall algebra structure on the K-homology of the stack of objects, defines δ-invariants directly from the semistable object stack, constructs ε-invariants via formal logarithm in this algebra, and proves wall-crossing formulas using the non-abelian localization theorem. The invariants are shown to agree with the Joyce-Liu definition when the latter applies, extending the wall-crossing results to non-standard hearts of D^b(X) where framing functors are unavailable.

Significance. If the claimed conditions hold, the work offers a meaningful extension of K-theoretic wall-crossing formulas to broader settings in algebraic geometry, particularly for moduli problems on non-standard hearts without framing. The new K-Hall algebra construction provides a tool that could apply to other invariants, building on standard K-theory and localization techniques without introducing free parameters or ad-hoc fits.

major comments (2)

[§3 (K-Hall algebra definition)] The definition of the K-Hall algebra (likely §3 or §4) claims associativity under 'appropriate conditions' on the stability condition and abelian category, but provides no explicit verification or check that these survive for non-standard hearts of D^b(X) where framing functors are absent; this associativity is load-bearing for constructing the ε-invariants via formal logarithm and for the subsequent wall-crossing.
[§5 (wall-crossing via localization)] The application of the non-abelian localization theorem (likely §5 or §6) to derive wall-crossing from the δ-invariants assumes specific fixed-locus data and hypotheses on the K-homology that are stated to hold under appropriate conditions, yet no independent confirmation is given that these hypotheses remain valid without framing functors; this step is central to the extension beyond Joyce-Liu.

minor comments (2)

[Abstract and Introduction] The repeated use of 'appropriate conditions' without a concise summary or reference to the precise list of axioms in the introduction or abstract reduces clarity for readers.
[§3] Notation for the K-homology groups and the product in the K-Hall algebra could be clarified with a dedicated table or diagram comparing to the cohomological Hall algebra.

Simulated Author's Rebuttal

2 responses · 0 unresolved

We thank the referee for their careful reading and constructive comments. We address the two major points below, explaining the general nature of our constructions and indicating the revisions we will make to improve clarity.

read point-by-point responses

Referee: [§3 (K-Hall algebra definition)] The definition of the K-Hall algebra (likely §3 or §4) claims associativity under 'appropriate conditions' on the stability condition and abelian category, but provides no explicit verification or check that these survive for non-standard hearts of D^b(X) where framing functors are absent; this associativity is load-bearing for constructing the ε-invariants via formal logarithm and for the subsequent wall-crossing.

Authors: The K-Hall algebra is constructed in Section 3 directly from the stack of objects in an abelian category equipped with a stability condition satisfying the hypotheses listed in Section 2 (exactness of the category, finite-dimensional Hom and Ext groups, and the usual support and boundedness conditions on the stability). The associativity proof (Theorem 3.5) relies only on these abstract properties and the standard Hall algebra multiplication via exact sequences; it makes no reference to framing functors. Non-standard hearts of D^b(X) are abelian categories satisfying precisely these hypotheses, so the same proof applies verbatim. We will add a short remark immediately after Theorem 3.5 explicitly stating that the conditions hold for non-standard hearts and therefore the K-Hall algebra is associative in the settings of interest. revision: yes
Referee: [§5 (wall-crossing via localization)] The application of the non-abelian localization theorem (likely §5 or §6) to derive wall-crossing from the δ-invariants assumes specific fixed-locus data and hypotheses on the K-homology that are stated to hold under appropriate conditions, yet no independent confirmation is given that these hypotheses remain valid without framing functors; this step is central to the extension beyond Joyce-Liu.

Authors: The non-abelian localization argument in Section 5 is applied to the K-homology of the moduli stacks of objects in the abelian category. The required fixed-locus data and K-homology hypotheses (properness of the fixed loci under the relevant group actions and the existence of the relevant K-theoretic classes) follow from the general properties of the stacks established in Sections 2 and 4, which again do not invoke framing functors. The same data therefore remain valid for non-standard hearts. To make the independence from framing explicit, we will insert a brief paragraph in Section 5 confirming that the hypotheses of the localization theorem are satisfied under our standing assumptions on the abelian category. revision: yes

Circularity Check

0 steps flagged

No significant circularity; derivation self-contained via external theorem

full rationale

The paper defines a new associative K-Hall algebra on K-homology of the object stack, constructs δ-invariants directly from the semistable stack, and obtains ε-invariants by formal logarithm before invoking the non-abelian localization theorem for wall-crossing. Agreement with prior Joyce-Liu invariants is shown by explicit comparison under the framing-functor hypothesis, without any reduction of the new definitions or proofs to fitted parameters, self-referential equations, or load-bearing self-citations. All load-bearing steps rest on the external localization theorem and standard K-theory properties, rendering the chain independent of its own outputs.

Axiom & Free-Parameter Ledger

0 free parameters · 2 axioms · 1 invented entities

The paper introduces the K-Hall algebra as a new structure but rests on standard axioms of abelian categories, K-theory, and the non-abelian localization theorem; no free parameters or invented physical entities appear.

axioms (2)

domain assumption Stability condition satisfies appropriate conditions allowing semistable objects and the K-Hall algebra construction
Invoked in the opening sentence of the abstract to define the invariants.
standard math Non-abelian localization theorem applies in this stack-theoretic setting
Used to prove the wall-crossing formulas.

invented entities (1)

K-Hall algebra no independent evidence
purpose: Associative algebra structure on K-homology of the stack of objects used to define epsilon-invariants via formal logarithm
Newly introduced in the paper to construct the invariants.

pith-pipeline@v0.9.0 · 5466 in / 1333 out tokens · 23968 ms · 2026-05-16T18:57:11.879980+00:00 · methodology

discussion (0)

Forward citations

Cited by 2 Pith papers

Reviewed papers in the Pith corpus that reference this work. Sorted by Pith novelty score.

Rationality and symmetry of stable pairs generating series of Fano 3-folds
math.AG 2026-04 unverdicted novelty 7.0

Generating series of stable pairs descendent invariants on Fano 3-folds are rational and q ↔ q^{-1} symmetric.
The Pandharipande-Thomas rationality conjecture for superpositive curve classes on projective complex 3-manifolds
math.AG 2026-04 unverdicted novelty 6.0

Proves that generating functions of Pandharipande-Thomas invariants with descendent insertions are rational with controlled poles for superpositive curve classes on projective complex 3-manifolds.