The Lichtenbaum-Quillen dimension of complex varieties
Pith reviewed 2026-05-24 05:15 UTC · model grok-4.3
The pith
The Lichtenbaum-Quillen dimension of a smooth complex variety is the stabilization degree of the map from algebraic K-theory to topological K-theory with finite coefficients.
A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.
Core claim
The authors define the Lichtenbaum-Quillen dimension of a smooth complex variety as the threshold degree above which the natural comparison map from algebraic K-theory to topological K-theory with finite coefficients becomes an isomorphism. They establish that this dimension is compatible with semi-orthogonal decompositions, which allows them to compute it for Kuznetsov components of Fano varieties and to obtain new cases of the integral Hodge conjecture by applying homological projective duality.
What carries the argument
The Lichtenbaum-Quillen dimension, defined as the smallest integer d such that algebraic K-theory with finite coefficients agrees with topological K-theory in all degrees greater than d.
If this is right
- It supplies a birational invariant that obstructs rationality.
- It is strictly weaker than unramified cohomology and the related invariants of Colliot-Thélène and Voisin.
- It yields new cases of the integral Hodge conjecture for varieties obtained via homological projective duality.
- It computes the higher algebraic K-theory groups of Kuznetsov components for certain Fano varieties.
Where Pith is reading between the lines
- The same stabilization threshold might be compared directly with other categorical invariants such as the Rouquier dimension.
- Computations for additional Fano threefolds or fourfolds could produce further Hodge conjecture verifications.
- The definition might extend in a controlled way to varieties over number fields once a suitable topological comparison is fixed.
Load-bearing premise
The Lichtenbaum-Quillen dimension is compatible with semi-orthogonal decompositions of derived categories.
What would settle it
An explicit smooth complex variety whose algebraic K-theory with finite coefficients fails to agree with topological K-theory in all degrees above the dimension predicted by a semi-orthogonal decomposition of its derived category.
read the original abstract
The Lichtenbaum-Quillen conjecture for smooth complex varieties states that algebraic and topological K-theory with finite coefficients become isomorphic in high degrees. We define the "Lichtenbaum-Quillen dimension" of a variety in terms of the point where this happens, show that it is surprisingly computable, and analyze many examples. It gives an obstruction to rationality, but one that turns out to be weaker than unramified cohomology and some related birational invariants defined by Colliot-Th\'el\`ene and Voisin using Bloch-Ogus theory. Because it is compatible with semi-orthogonal decompositions, however, it allows us to prove some new cases of the integral Hodge conjecture using homological projective duality, and to compute the higher algebraic K-theory of the Kuznetsov components of the derived categories of some Fano varieties.
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
Summary. The paper defines the Lichtenbaum-Quillen dimension of a smooth complex variety X as the smallest integer d such that K_n(X;Z/m) ≅ K_n^top(X;Z/m) for all n>d and all finite m. It shows this dimension is computable in many examples, proves it is a birational invariant obstructing rationality (weaker than unramified cohomology), and uses its asserted compatibility with semi-orthogonal decompositions of derived categories to obtain new cases of the integral Hodge conjecture via homological projective duality together with explicit computations of the algebraic K-theory of Kuznetsov components of certain Fano varieties.
Significance. If the compatibility with semi-orthogonal decompositions holds in the required cases, the Lichtenbaum-Quillen dimension supplies a new, explicitly computable K-theoretic birational invariant that connects algebraic K-theory, derived categories, and the integral Hodge conjecture. The paper's analysis of concrete examples and the resulting Hodge-conjecture applications would constitute a substantive contribution at the interface of K-theory and birational geometry.
major comments (2)
- [§4] §4 (Compatibility with semi-orthogonal decompositions): the claim that LQ-dimension is compatible with SODs (specifically that dim(X) equals the maximum of the dimensions of the summands) is invoked to transfer computations from Kuznetsov components to the ambient Fano variety and thereby obtain the new integral Hodge cases; however, the argument is given only for the particular SODs arising in the HPD constructions under consideration, without a general statement or an explicit verification that the K-theory isomorphisms respect the decomposition in those examples. This step is load-bearing for the Hodge-conjecture applications.
- [§3.2] §3.2 (Computability statements): the assertion that the LQ-dimension is 'surprisingly computable' for the listed classes of varieties rests on explicit calculations of the point where the algebraic-to-topological K-theory map becomes an isomorphism; these calculations are not cross-checked against independent computations of the relevant K-groups (e.g., via motivic cohomology or other spectral sequences) for at least one non-trivial example, leaving open whether the reported values are robust.
minor comments (2)
- [Definition 2.1] Notation: the symbol d_LQ(X) is introduced without an explicit comparison to the cohomological dimension or the dimension of the variety itself; a short remark clarifying the relation would improve readability.
- [Introduction] References: the discussion of Bloch-Ogus theory and unramified cohomology in the introduction would benefit from a direct citation to the relevant theorem of Colliot-Thélène-Voisin rather than a general pointer.
Simulated Author's Rebuttal
We thank the referee for the careful reading and constructive feedback. We address the two major comments point by point below.
read point-by-point responses
-
Referee: [§4] §4 (Compatibility with semi-orthogonal decompositions): the claim that LQ-dimension is compatible with SODs (specifically that dim(X) equals the maximum of the dimensions of the summands) is invoked to transfer computations from Kuznetsov components to the ambient Fano variety and thereby obtain the new integral Hodge cases; however, the argument is given only for the particular SODs arising in the HPD constructions under consideration, without a general statement or an explicit verification that the K-theory isomorphisms respect the decomposition in those examples. This step is load-bearing for the Hodge-conjecture applications.
Authors: The manuscript establishes the required compatibility only for the specific SODs arising from the HPD constructions used in the applications (see §4). These verifications proceed by direct comparison of the algebraic K-theory of the ambient Fano variety (known from prior computations) with the sum of the K-theory of the Kuznetsov component and the orthogonal complement, using that topological K-theory is additive. No general claim for arbitrary SODs is made. We will revise §4 to include an explicit remark stating that the K-theory isomorphisms are verified case-by-case for the HPD examples rather than via a general theorem. revision: partial
-
Referee: [§3.2] §3.2 (Computability statements): the assertion that the LQ-dimension is 'surprisingly computable' for the listed classes of varieties rests on explicit calculations of the point where the algebraic-to-topological K-theory map becomes an isomorphism; these calculations are not cross-checked against independent computations of the relevant K-groups (e.g., via motivic cohomology or other spectral sequences) for at least one non-trivial example, leaving open whether the reported values are robust.
Authors: The explicit calculations in §3.2 rely on stabilization theorems already established in the literature for the listed classes (e.g., projective spaces, quadrics, del Pezzo surfaces). For a non-trivial cross-check, the LQ-dimension computed for smooth quadrics agrees with the vanishing range obtained from the Atiyah–Hirzebruch spectral sequence relating algebraic K-theory to motivic cohomology. We will add a short paragraph in §3.2 referencing this independent confirmation for the quadric case. revision: yes
Circularity Check
No significant circularity; LQ-dimension defined directly from standard conjecture
full rationale
The Lichtenbaum-Quillen dimension is introduced as the threshold degree after which algebraic and topological K-theory with finite coefficients agree, taken directly from the existing Lichtenbaum-Quillen conjecture. No equations or steps reduce this definition to fitted parameters, self-referential constructions, or load-bearing self-citations. Compatibility with semi-orthogonal decompositions is presented as an established property enabling applications (new integral Hodge cases via HPD and K-theory of Kuznetsov components), but the provided text shows no evidence that this property is smuggled in via prior self-work or is tautological by construction. The comparison to unramified cohomology and birational invariants further indicates independent content. The derivation chain is therefore self-contained against external benchmarks.
Axiom & Free-Parameter Ledger
axioms (1)
- domain assumption Lichtenbaum-Quillen conjecture holds for smooth complex varieties in high degrees
Reference graph
Works this paper leans on
-
[1]
Torification and Factorization of Birational Maps
D. Abramovich, K. Karu, K Matsuki, and J. W lodarczyk. Torification and factorization of birational maps. J. Amer. Math. Soc. , 15(3):531– 572, 2002. Also math/9904135
work page internal anchor Pith review Pith/arXiv arXiv 2002
-
[2]
The Derived Category of the Intersection of Four Quadrics
N. Addington. Spinor sheaves and complete intersections of quadrics . PhD thesis, University of Wisconsin–Madison, 2009. Available at pages.uoregon.edu/adding/theses/phd_thesis.pdf, revised and expanded from arXiv:0904.1764
work page internal anchor Pith review Pith/arXiv arXiv 2009
-
[3]
The Brauer group is not a derived invariant
N. Addington. The Brauer group is not a derived invariant. In Brauer groups and obstruction problems , volume 320 of Progr. Math., pages 1–5. Birkh¨ auser/Springer, Cham, 2017. Also arXiv:1306.6538
work page internal anchor Pith review Pith/arXiv arXiv 2017
-
[4]
N. Addington and A. Wray. Twisted Fourier-Mukai partners of Enriques surfaces. Math. Z. , 297(3-4):1239–1247, 2021. Also arXiv:1803.03250
-
[5]
Some remarks on topological $K$-theory of dg categories
B. Antieau and J. Heller. Some remarks on topological k-theory of dg categories. Proc. Amer. Math. Soc. , 146(10):4211–4219, 2018. Also arXiv:1709.01587
work page internal anchor Pith review Pith/arXiv arXiv 2018
-
[6]
S. Araki and H. Toda. Multiplicative structures in mod q cohomology theories. I. Osaka Math. J. , 2:71–115, 1965
work page 1965
-
[7]
S. Araki and H. Toda. Multiplicative structures in mod q cohomology theories. II. Osaka Math. J. , 3:81–120, 1966
work page 1966
-
[8]
M. Artin and D. Mumford. Some elementary examples of unirational varieties which are not rational. Proc. London Math. Soc. (3), 25:75–95, 1972
work page 1972
-
[9]
T. Bachmann and E. Elmanto. Voevodsky’s slice conjectures via Hilbert schemes. Algebr. Geom., 8(5):626–636, 2021. Also arXiv:1912.01595
-
[10]
T. Bachmann, E. Elmanto, and P. A. Østvær. On ´ etale motivic spectra and Voevodsky’s convergence conjecture. J. Eur. Math. Soc., to appear. Also arXiv:2003.04006
-
[11]
Norms in motivic homotopy theory
Tom Bachmann and Marc Hoyois. Norms in motivic homotopy theory. Ast´ erisque, (425):ix+207, 2021. Also arXiv:1711.03061. 50
-
[12]
R. Barlow. A simply connected surface of general type with pg = 0. Invent. Math., 79(2):293–301, 1985
work page 1985
-
[13]
A. Beauville. The L¨ uroth problem. InRationality problems in algebraic geometry, volume 2172 of Lecture Notes in Math., pages 1–27. Springer, Cham, 2016. Also arXiv:1507.02476
work page internal anchor Pith review Pith/arXiv arXiv 2016
-
[14]
P. Belmans. Fanography: a tool to visually study the geography of Fano 3-folds. Available at www.fanography.info
-
[15]
A semiorthogonal decomposition for Brauer Severi schemes
M. Bernardara. A semiorthogonal decomposition for Brauer-Severi schemes. Math. Nachr., 282(10):1406–1413, 2009. Also math/0511497
work page internal anchor Pith review Pith/arXiv arXiv 2009
-
[16]
A. Blanc. Topological K-theory of complex noncommutative spaces. Compos. Math., 152(3):489–555, 2016. Also arXiv:1211.7360
work page internal anchor Pith review Pith/arXiv arXiv 2016
-
[17]
S. Bloch. Lectures on algebraic cycles, volume 16 of New Mathematical Monographs. Cambridge University Press, Cambridge, second edition, 2010
work page 2010
-
[18]
S. Bloch and A. Ogus. Gersten’s conjecture and the homology of schemes. Ann. Sci. ´Ecole Norm. Sup. (4) , 7:181–201, 1974
work page 1974
-
[19]
S. Bloch and V. Srinivas. Remarks on correspondences and algebraic cycles. Amer. J. Math. , 105(5):1235–1253, 1983
work page 1983
-
[20]
A. J. Blumberg, D. Gepner, and G. Tabuada. A universal characterization of higher algebraic K-theory. Geom. Topol., 17(2):733– 838, 2013. Also arXiv:1001.2282
work page internal anchor Pith review Pith/arXiv arXiv 2013
-
[21]
Determinantal Barlow surfaces and phantom categories
C. B¨ ohning, H.-C. Graf von Bothmer, L. Katzarkov, and P. Sosna. Determinantal Barlow surfaces and phantom categories. J. Eur. Math. Soc. (JEMS), 17(7):1569–1592, 2015. Also arXiv:1210.0343
work page internal anchor Pith review Pith/arXiv arXiv 2015
-
[22]
Semiorthogonal decomposition for algebraic varieties
A. Bondal and D. Orlov. Semiorthogonal decomposition for algebraic varieties. Preprint, alg-geom/9506012
work page internal anchor Pith review Pith/arXiv arXiv
- [23]
-
[24]
Exceptional collections on Dolgachev surfaces associated with degenerations
Y. Cho and Y. Lee. Exceptional collections on Dolgachev surfaces associated with degenerations. Adv. Math. , 324:394–436, 2018. Also arXiv:1506.05213. 51
work page internal anchor Pith review Pith/arXiv arXiv 2018
-
[25]
J.-L. Colliot-Th´ el` ene and C. Voisin. Cohomologie non ramifi´ ee et conjecture de Hodge enti` ere. Duke Math. J. , 161(5):735–801, 2012. Also arXiv:1005.2778
-
[26]
A. Conte and J. P. Murre. The Hodge conjecture for fourfolds admitting a covering by rational curves. Math. Ann., 238(1):79–88, 1978
work page 1978
-
[27]
A. J. de Jong. The period-index problem for the Brauer group of an algebraic surface. Duke Math. J. , 123(1):71–94, 2004
work page 2004
- [28]
-
[29]
O. Debarre. Higher-dimensional algebraic geometry . Universitext. Springer-Verlag, New York, 2001
work page 2001
-
[30]
Special prime Fano fourfolds of degree 10 and index 2
O. Debarre, A. Iliev, and L. Manivel. Special prime Fano fourfolds of degree 10 and index 2. In Recent advances in algebraic geometry , volume 417 of London Math. Soc. Lecture Note Ser. , pages 123–155. Cambridge Univ. Press, Cambridge, 2015. Also arXiv:1302.1398
work page internal anchor Pith review Pith/arXiv arXiv 2015
-
[31]
I. V. Dolgaˇ cev. On the F. Severi hypothesis concerning simply connected algebraic surfaces. Dokl. Akad. Nauk SSSR , 170:249–252, 1966
work page 1966
-
[32]
E. Elmanto and M. Morrow. Motivic cohomology of equicharacteristic schemes. Preprint, 2309.08463
- [33]
-
[34]
E. M. Friedlander and A. Suslin. The spectral sequence relating algebraic K-theory to motivic cohomology. Ann. Sci. ´Ecole Norm. Sup. (4), 35(6):773–875, 2002
work page 2002
- [35]
-
[36]
2-cycles sur les hypersurfaces cubiques de dimension 5
Math. Z., 293(1-2):661–676, 2019. Also arXiv:1801.03995
work page internal anchor Pith review Pith/arXiv arXiv 2019
-
[37]
W. Fulton. Intersection theory, volume 2 of Ergebnisse der Mathematik und ihrer Grenzgebiete. 3. Folge. Springer-Verlag, Berlin, second edition, 1998
work page 1998
-
[38]
B. Gheorghe, G. Wang, and Z. Xu. The special fiber of the motivic deformation of the stable homotopy category is algebraic. Acta Math., 226(2):319–407, 2021. Also 1809.09290. 52
-
[39]
H. Gillet. Comparing algebraic and topological K-theory. In Higher algebraic K-theory: an overview , volume 1491 of Lecture Notes in Mathematics, pages 55–99. Springer-Verlag, Berlin, 1992
work page 1992
-
[40]
S. Gorchinskiy and D. Orlov. Geometric phantom categories. Publ. Math. Inst. Hautes ´Etudes Sci. , 117:329–349, 2013. Also arXiv:1209.6183
work page internal anchor Pith review Pith/arXiv arXiv 2013
-
[41]
D. Grayson and M. Stillman. Macaulay2, a software system for research in algebraic geometry. Available at www.math.uiuc.edu/Macaulay2/
-
[42]
C. Haesemeyer and C. Weibel. The norm residue theorem in motivic cohomology, volume 200 of Annals of Mathematics Studies . Princeton University Press, Princeton, NJ, 2019. Alsosites.math.rutgers.edu/ ~weibel/BK.pdf
work page 2019
-
[43]
J. Harris. Algebraic geometry: a first course , volume 133 of Graduate Texts in Mathematics. Springer-Verlag, New York, 1992
work page 1992
-
[44]
Stable rationality of quadric surface bundles over surfaces
B. Hassett, A. Pirutka, and Yu. Tschinkel. Stable rationality of quadric surface bundles over surfaces. Acta Math., 220(2):341–365, 2018. Also arXiv:1603.09262
work page internal anchor Pith review Pith/arXiv arXiv 2018
-
[45]
Intersections of three quadrics in P7
Brendan Hassett, Alena Pirutka, and Yuri Tschinkel. Intersections of three quadrics in P7. In Surveys in differential geometry
-
[46]
Celebrating the 50th anniversary of the Journal of Differential Geometry, volume 22 of Surv. Differ. Geom., pages 259–274. Int. Press, Somerville, MA, 2018. Also arXiv:1706.01371
work page internal anchor Pith review Pith/arXiv arXiv 2018
-
[47]
Anticanonical divisors and curve classes on Fano manifolds
A. H¨ oring and C. Voisin. Anticanonical divisors and curve classes on Fano manifolds. Pure Appl. Math. Q. , 7(4, Special Issue: In memory of Eckart Viehweg):1371–1393, 2011. Also arXiv:1009.2853
work page internal anchor Pith review Pith/arXiv arXiv 2011
-
[48]
Towards Homological Projective duality for S^2 P^3 and S^2 P^4
S. Hosono and H. Takagi. Towards homological projective duality for S2P3 and S2P4. Adv. Math., 317:371–409, 2017. Also arXiv:1508.01997
work page internal anchor Pith review Pith/arXiv arXiv 2017
-
[49]
S. Hosono and H. Takagi. Derived categories of Artin-Mumford double solids. Kyoto J. Math. , 60(1):107–177, 2020. Also arXiv:1506.02744
- [50]
-
[51]
D. Huybrechts. Lectures on K3 surfaces , volume 158 of Cambridge Studies in Advanced Mathematics . Cambridge University Press, 53 Cambridge, 2016. Also available at www.math.uni-bonn.de/people/ huybrech/K3Global.pdf
work page 2016
-
[52]
D. Huybrechts. The geometry of cubic hypersurfaces . Cambridge University Press, to appear. Draft available at www.math.uni-bonn. de/people/huybrech/Notes.pdf
-
[53]
On nodal Enriques surfaces and quartic double solids
C. Ingalls and A. Kuznetsov. On nodal Enriques surfaces and quartic double solids. Math. Ann. , 361(1-2):107–133, 2015. Also arXiv:1012.3530
work page internal anchor Pith review Pith/arXiv arXiv 2015
- [54]
-
[55]
V. A. Iskovskikh and Yu. G. Prokhorov. Fano varieties. In Algebraic geometry, V , volume 47 of Encyclopaedia Math. Sci. , pages 1–247. Springer, Berlin, 1999
work page 1999
-
[56]
B. Kahn, M. Rost, and R. Sujatha. Unramified cohomology of quadrics. I. Amer. J. Math. , 120(4):841–891, 1998
work page 1998
-
[57]
J. Koll´ ar, Y. Miyaoka, and S. Mori. Rational connectedness and boundedness of Fano manifolds. J. Differential Geom., 36(3):765–779, 1992
work page 1992
- [58]
-
[59]
Hochschild homology and semiorthogonal decompositions
A. Kuznetsov. Hochschild homology and semiorthogonal decomposi- tions. Preprint, arXiv:0904.4330
work page internal anchor Pith review Pith/arXiv arXiv
-
[60]
Homological projective duality for Grassmannians of lines
A. Kuznetsov. Homological projective duality for Grassmannians of lines. Preprint, math/0610957
work page internal anchor Pith review Pith/arXiv arXiv
-
[61]
Derived Categories of Quadric Fibrations and Intersections of Quadrics
A. Kuznetsov. Derived categories of quadric fibrations and intersections of quadrics. Adv. Math., 218(5):1340–1369, 2008. Also math/0510670
work page internal anchor Pith review Pith/arXiv arXiv 2008
-
[62]
Derived categories of cubic fourfolds
A. Kuznetsov. Derived categories of cubic fourfolds. In Cohomological and geometric approaches to rationality problems, volume 282 of Progr. Math., pages 219–243. Birkh¨ auser Boston Inc., Boston, MA, 2010. Also arXiv:0808.3351
work page internal anchor Pith review Pith/arXiv arXiv 2010
-
[63]
Base change for semiorthogonal decompositions
A. Kuznetsov. Base change for semiorthogonal decompositions. Compos. Math., 147(3):852–876, 2011. Also arXiv:0711.1734. 54
work page internal anchor Pith review Pith/arXiv arXiv 2011
-
[64]
Scheme of lines on a family of 2-dimensional quadrics: geometry and derived category
A. Kuznetsov. Scheme of lines on a family of 2-dimensional quadrics: geometry and derived category. Math. Z., 276(3-4):655–672, 2014. Also arXiv:1011.4146
work page internal anchor Pith review Pith/arXiv arXiv 2014
-
[65]
Derived categories view on rationality problems
A. Kuznetsov. Derived categories view on rationality problems. In Rationality problems in algebraic geometry , volume 2172 of Lecture Notes in Math. , pages 67–104. Springer, Cham, 2016. Also arXiv:1509.09115
work page internal anchor Pith review Pith/arXiv arXiv 2016
-
[66]
Derived categories of Gushel-Mukai varieties
A. Kuznetsov and A. Perry. Derived categories of Gushel- Mukai varieties. Compos. Math. , 154(7):1362–1406, 2018. Also arXiv:1605.06568
work page internal anchor Pith review Pith/arXiv arXiv 2018
-
[67]
M. Levine. K-theory and motivic cohomology of schemes. Preprint, 1999
work page 1999
-
[68]
J. Lurie. Higher algebra. Available at www.math.ias.edu/~lurie/ papers/HA.pdf, 2017
work page 2017
-
[69]
S. Ma. Torsion 1-cycles and the coniveau spectral sequence. Doc. Math., 22:1501–1517, 2017. Also arXiv:1606.06876
work page internal anchor Pith review Pith/arXiv arXiv 2017
- [70]
-
[71]
G. Mongardi and J. C. Ottem. Curve classes on irreducible holomorphic symplectic varieties. Commun. Contemp. Math. , 22(7):1950078, 15,
- [72]
- [73]
-
[74]
C. Pedrini and C. Weibel. The higher K-theory of complex varieties. K-Theory, 21(4):367–385, 2000. Also sites.math.rutgers.edu/ ~weibel/papers-dir/PW-C.varieties.pdf
work page 2000
-
[75]
C. Pedrini and C. Weibel. The higher K-theory of a complex surface. Compositio Math., 129(3):239–271, 2001. Also sites.math.rutgers. edu/~weibel/papers-dir/PW-surfaces. 55
work page 2001
-
[76]
P. Pelaez. Multiplicative properties of the slice filtration. Ast´ erisque, (335):xvi+289, 2011. Also arXiv:0806.1704
work page internal anchor Pith review Pith/arXiv arXiv 2011
- [77]
- [78]
- [79]
-
[80]
D. Quillen. Higher algebraic K-theory. I. In Algebraic K-theory, I: Higher K-theories (Proc. Conf., Battelle Memorial Inst., Seattle, Wash., 1972), Lecture Notes in Math., Vol. 341, pages 85–147. Springer, Berlin, 1973
work page 1972
discussion (0)
Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.