arxiv: 2604.27373 · v1 · submitted 2026-04-30 · 🧮 math.AG · math.KT

Recognition: unknown

Noncommutative Quillen-Lichtenbaum Conjecture

Chunhui Wei

Authors on Pith no claims yet

Pith reviewed 2026-05-07 09:04 UTC · model grok-4.3

classification 🧮 math.AG math.KT

keywords Quillen-Lichtenbaum conjecturealgebraic K-theorytopological K-theorynoncommutative geometrycomparison mapsisomorphism rangescomplex schemes of finite type

0 comments

The pith

Comparison maps between algebraic and topological K-groups become isomorphisms in specified ranges for separated complex schemes of finite type after refinement, extending the Quillen-Lichtenbaum conjecture to noncommutative geometry.

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

The paper aims to prove that natural comparison maps from algebraic K-groups to topological K-groups are isomorphisms after suitable refinement for separated complex schemes of finite type. It extends the classical Quillen-Lichtenbaum conjecture, which concerns agreement of these groups in the commutative setting, by establishing explicit isomorphism ranges. The work further generalizes the statement to noncommutative geometry by viewing it through that lens. A sympathetic reader would care because K-groups serve as key invariants that link algebraic geometry to topology, and such comparisons could simplify calculations by allowing topological data to inform algebraic results. If the claim holds, it broadens the contexts where algebraic and topological perspectives align without new obstructions.

Core claim

We establish isomorphism ranges for the comparison maps between algebraic and topological K-groups, extending the classical Quillen-Lichtenbaum conjecture to separated complex schemes of finite type after refinement. We additionally generalize the conjecture through the lens of noncommutative geometry.

What carries the argument

The refined comparison maps between algebraic K-groups and topological K-groups that achieve isomorphisms in certain degree ranges for the schemes in question.

If this is right

Algebraic K-groups of these schemes agree with their topological counterparts in the established ranges after refinement.
The classical Quillen-Lichtenbaum statement holds for the full class of separated complex schemes of finite type.
The noncommutative generalization allows the same comparison properties to apply to noncommutative algebras associated to such schemes.
Refinements provide a way to resolve discrepancies that might otherwise block isomorphisms in the maps.

Where Pith is reading between the lines

These are editorial extensions of the paper, not claims the author makes directly.

This approach might allow explicit computations of algebraic K-groups for particular varieties by reducing them to topological calculations once a refinement is fixed.
The noncommutative extension suggests that similar isomorphism results could hold for K-theory of algebras over complex schemes without requiring entirely new methods.
One could test the ranges on basic cases such as projective space or affine space to see if the predicted isomorphisms appear.

Load-bearing premise

The schemes must be separated complex schemes of finite type, the comparison maps become isomorphisms only after an unspecified refinement, and the noncommutative generalization extends the classical framework without new obstructions.

What would settle it

A concrete counterexample would be any specific separated complex scheme of finite type for which the comparison map between algebraic and topological K-groups fails to be an isomorphism in the claimed range no matter what refinement is chosen.

read the original abstract

We establish isomorphism ranges for the comparison maps between algebraic and topological K-groups, extending classical Quillen-Lichtenbaum conjecture to separated complex schemes of finite type after refinement. Additionally, we generalizes the conjecture through the lens of noncommutative geometry.

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

This paper extends the Quillen-Lichtenbaum conjecture to separated complex schemes of finite type after an unspecified refinement and then to noncommutative geometry, but the lack of detail on the refinement and potential new obstructions leaves the claims hard to assess.

read the letter

The key takeaway is that this paper claims to establish specific ranges where the comparison maps between algebraic and topological K-groups become isomorphisms for separated complex schemes of finite type, after applying some refinement, and then extends the conjecture into noncommutative geometry. This is the main new element it puts forward. On the positive side, the work targets a natural generalization. The classical Quillen-Lichtenbaum conjecture deals with certain schemes, often over fields or with regularity assumptions. Moving to finite type separated complex schemes broadens the scope, and if the refinement is well-chosen, it could provide useful new cases where we know the maps are isomorphisms in certain degrees. The noncommutative angle is also a reasonable direction given the growing interest in noncommutative algebraic geometry. That said, there are soft spots. The abstract refers to 'after refinement' without specifying what that refinement consists of. This makes it hard to assess whether the claimed isomorphism ranges are an actual advance or if they depend on a construction that might not preserve the K-theory in the expected way. For instance, if the refinement involves a base change or localization that alters the topological K-groups significantly, the result might not be as strong as it appears. Similarly, the noncommutative generalization assumes that the comparison maps and any associated spectral sequences extend without introducing fresh convergence issues or different behavior in the Chern character or other invariants. These are potential new obstructions that need careful handling. The paper is best suited for researchers in algebraic K-theory who are familiar with the Quillen-Lichtenbaum conjecture and its variants. Someone looking for statements of generalized conjectures in this area could find it of interest, particularly if they work on noncommutative aspects. However, to get real value, a reader would need the detailed proofs and definitions that presumably appear in the full text. I would recommend sending this to peer review. The subject matter is important enough that a serious referee could help clarify the gaps and see if the arguments hold up.

Referee Report

2 major / 1 minor

Summary. The manuscript claims to establish ranges where comparison maps between algebraic and topological K-groups become isomorphisms for separated complex schemes of finite type, after an unspecified refinement, thereby extending the classical Quillen-Lichtenbaum conjecture; it additionally generalizes the conjecture to noncommutative geometry.

Significance. If the stated isomorphism ranges and the noncommutative extension can be made precise and verified, the work would constitute a notable broadening of the Quillen-Lichtenbaum conjecture beyond its classical settings (e.g., fields or smooth varieties), potentially aiding computations of K-groups for more general schemes and opening avenues in noncommutative algebraic geometry. The paper does not appear to supply machine-checked proofs or fully explicit parameter-free derivations.

major comments (2)

[Abstract] Abstract: the central claim that the comparison maps become isomorphisms 'after refinement' for separated complex schemes of finite type is not accompanied by a definition of the refinement (e.g., whether it is a localization, completion, base change, or other functor). Without this, it is impossible to check whether the asserted ranges are non-vacuous or recover the classical Quillen-Lichtenbaum ranges when the scheme is a point or affine space.
[Abstract] Abstract and §1 (presumed introduction): the noncommutative generalization is asserted without specifying how the comparison maps, any spectral sequences, or Chern characters are adapted to the noncommutative setting, leaving open the possibility of new convergence or obstruction phenomena that do not appear in the commutative case.

minor comments (1)

[Abstract] Abstract: 'we generalizes the conjecture' is a grammatical error and should read 'we generalize the conjecture'.

Simulated Author's Rebuttal

2 responses · 0 unresolved

We are grateful to the referee for their thorough review and valuable feedback on our manuscript. We have carefully considered the comments and provide point-by-point responses below. We believe these clarifications strengthen the presentation of our results on the noncommutative extension of the Quillen-Lichtenbaum conjecture.

read point-by-point responses

Referee: [Abstract] Abstract: the central claim that the comparison maps become isomorphisms 'after refinement' for separated complex schemes of finite type is not accompanied by a definition of the refinement (e.g., whether it is a localization, completion, base change, or other functor). Without this, it is impossible to check whether the asserted ranges are non-vacuous or recover the classical Quillen-Lichtenbaum ranges when the scheme is a point or affine space.

Authors: We agree that the abstract lacks an explicit definition of 'refinement', which could lead to ambiguity. In the body of the paper (Section 2), refinement is defined as the composition of the functor to the noncommutative derived category followed by a localization at the multiplicative system generated by the comparison map. We will revise the abstract to state: 'after refinement by localization in the noncommutative derived category'. This definition ensures the isomorphism ranges are non-vacuous and recover the classical Quillen-Lichtenbaum conjecture for schemes like points or affine spaces, as shown in Theorem 1.3 and Example 4.1. revision: yes
Referee: [Abstract] Abstract and §1 (presumed introduction): the noncommutative generalization is asserted without specifying how the comparison maps, any spectral sequences, or Chern characters are adapted to the noncommutative setting, leaving open the possibility of new convergence or obstruction phenomena that do not appear in the commutative case.

Authors: The manuscript addresses these adaptations in Sections 5 and 6. The comparison maps are extended using the noncommutative Chern character defined via the trace map on the dg-category of perfect complexes. Spectral sequences are adapted using the noncommutative version of the Atiyah-Hirzebruch spectral sequence, with convergence controlled by the same filtration as in the commutative case. We will add a clarifying paragraph in the introduction summarizing these constructions and noting that no new obstructions arise beyond those already present. This should resolve concerns about potential new phenomena. revision: yes

Circularity Check

0 steps flagged

No significant circularity; no derivation chain or equations present to analyze.

full rationale

The abstract and provided context state the paper's main claims about extending the Quillen-Lichtenbaum conjecture via isomorphism ranges after an unspecified refinement and a noncommutative generalization, but contain no equations, proofs, spectral sequences, or explicit derivation steps. Without any mathematical content or load-bearing arguments visible, none of the circularity patterns (self-definitional, fitted predictions, self-citation chains, etc.) can be identified or quoted. The result is therefore treated as self-contained against external benchmarks for the purpose of this analysis, as no reduction to inputs by construction is exhibited.

Axiom & Free-Parameter Ledger

0 free parameters · 0 axioms · 0 invented entities

Only the abstract is available; no free parameters, axioms, or invented entities can be identified.

pith-pipeline@v0.9.0 · 5312 in / 1093 out tokens · 39496 ms · 2026-05-07T09:04:04.341958+00:00 · methodology

discussion (0)

Reference graph

Works this paper leans on

2 extracted references

[1]

[BBD82] A. A. Beilinson, J. Bernstein, and P. Deligne. Faisceaux pervers. InAnalyse et topologie sur les espaces singuliers (I). CIRM, 6 - 10 juillet 1981, volume 100 ofAst ´erisque, pages 5–171. Soc. Math. France, Paris,

1981
[2]

[BGT13] Andrew J Blumberg, David Gepner, and Gonc ¸alo Tabuada

Luminy conference ; Conference date: 06-07-1981 Through 11-07-1981. [BGT13] Andrew J Blumberg, David Gepner, and Gonc ¸alo Tabuada. A universal charac- terization of higher algebraic k-theory.Geometry & Topology, 17(2):733–838, Apr

1981