Pith. sign in

REVIEW 2 major objections 2 minor 64 references

On the geometry of spaces of filtrations on local rings

T0 review · 2 major / 2 minor · reviewed 2026-05-23 · grok-4.3

Challenge this review Download PDF Read on arXiv ↗ Review JSON

Pith's one-line read The space of saturated filtrations on a Noetherian local domain carries a geodesic metric d1 and a lattice structure that generalizes the lattice of ideals.

desk verdict The paper defines a Darvas-style metric d1 on saturated filtrations, claims it is geodesic, adds a lattice structure, and reduces the toric case to an L1_loc subspace via Newton-Okounkov bodies, but the general construction needs explicit verification. read the letter →

arxiv 2409.01705 v2 submitted 2024-09-03 math.AG math.ACmath.RA

Lu Qi This is my paper · ORCID
classification math.AGmath.ACmath.RA
keywords saturatedfiltrationsgeodesicmetriclatticestructureNoetherianlocaldomainNewton-Okounkovbodieslogcanonicalthresholdtoric
verification ladder T0 review T1 audit T2 compute T3 formal

The pith

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

The reading

The paper constructs a metric d1 on saturated filtrations of a Noetherian local domain, modeled on an existing construction from complex geometry, and proves that this metric turns the space into a geodesic metric space. It equips the same space with lattice operations that extend the classical fact that ideals form a lattice under sum and intersection. In the toric setting the space is realized as a subspace of locally integrable functions through Newton-Okounkov bodies. The work further examines additional topologies on the space and the semi-continuity of the log canonical threshold. A reader would care because these structures supply metric and order-theoretic tools for studying filtrations that appear throughout algebraic geometry and singularity theory.

What carries the argument

The metric d1, defined so that it satisfies the geodesic property between any pair of saturated filtrations.

What would settle it

An explicit pair of saturated filtrations on a Noetherian local domain for which no continuous path realizes the infimum length under d1.

Watch

Extended reading notes

Core claim

The space of saturated filtrations on a Noetherian local domain, when equipped with the metric d1, is a geodesic metric space; the same space admits a natural lattice structure that generalizes the lattice formed by the ideals of the ring.

Load-bearing premise

The Darvas-style definition of d1 is well-defined and produces geodesics for saturated filtrations on an arbitrary Noetherian local domain.

Editorial extensions

If this is right

  • Any two saturated filtrations can be joined by a shortest path whose length equals d1.
  • The lattice operations on filtrations satisfy the same algebraic identities that hold for ideals.
  • In the toric case the space embeds into L1_loc as a subspace whose geometry is controlled by Newton-Okounkov bodies.
  • The log canonical threshold function is semi-continuous with respect to the topologies considered on the space.

Reading between the lines

Editorial extensions of the paper, not claims the author makes directly.

  • The lattice operations may allow one to define infima and suprema of families of filtrations, opening the door to variational problems.
  • Geodesics in this metric could be used to interpolate between filtrations in a controlled way, potentially yielding new deformation arguments.
  • The identification in the toric case suggests that similar convex-body descriptions might exist in non-toric settings after suitable compactification.
Share X Bluesky LinkedIn Reddit HN

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, simulated authors' rebuttal, and a circularity audit.

Referee Report

2 major / 2 minor

Summary. The manuscript studies spaces of filtrations on Noetherian local domains. It introduces a metric d1 on the space of saturated filtrations, modeled on the Darvas metric, and asserts that (X, d1) is a geodesic metric space. In the toric case it identifies the space of saturated monomial filtrations with a subspace of L^1_loc via Newton-Okounkov bodies. The paper also examines other topologies on these spaces, proves semi-continuity of the log canonical threshold in the spirit of Kollár-Demailly, and equips the space of saturated filtrations with a natural lattice structure that generalizes the lattice of ideals.

Significance. If the metric d1 is shown to be well-defined, finite, and geodesic on the space of saturated filtrations for arbitrary Noetherian local domains (without hidden regularity or toric hypotheses), the work would supply a new geometric framework linking complex-geometric ideas to algebraic filtrations, with direct applications to the study of singularities via the semi-continuity results for the log canonical threshold. The lattice structure is a clean algebraic generalization.

major comments (2)
  1. [Abstract and §2 (definition of d1)] The central claim that d1 is a geodesic metric on the space of saturated filtrations of an arbitrary Noetherian local domain rests on an explicit construction and verification that the distance is finite, satisfies the triangle inequality, and admits length-minimizing constant-speed curves. The abstract only sketches the construction as 'Darvas-inspired'; the manuscript must supply the formula (presumably via associated graded pieces or valuation data) and the proof that these properties hold without extra hypotheses such as regularity or the existence of a resolution. The toric reduction to an L^1_loc subspace does not automatically extend to the general case.
  2. [§3 (geodesic property)] The geodesic property is load-bearing for the geometric claims. If the proof of existence of geodesics relies on toric or regular assumptions that are not removed in the general setting, the statement that (X, d1) is a geodesic metric space for arbitrary Noetherian local domains fails. The manuscript should isolate the precise hypotheses under which the geodesic property is proved and state whether they are satisfied by every Noetherian local domain.
minor comments (2)
  1. [Abstract] The abstract contains a typographical error: 'fitrations' should be 'filtrations'.
  2. [Abstract] Notation for the space of saturated filtrations and for the metric d1 should be introduced once and used consistently; currently the abstract refers to 'the space' without a symbol.

Simulated Author's Rebuttal

2 responses · 0 unresolved

We thank the referee for the careful reading and constructive feedback on our manuscript. We address the major comments point by point below and will make the suggested clarifications in a revised version.

read point-by-point responses

  1. Referee: [Abstract and §2 (definition of d1)] The central claim that d1 is a geodesic metric on the space of saturated filtrations of an arbitrary Noetherian local domain rests on an explicit construction and verification that the distance is finite, satisfies the triangle inequality, and admits length-minimizing constant-speed curves. The abstract only sketches the construction as 'Darvas-inspired'; the manuscript must supply the formula (presumably via associated graded pieces or valuation data) and the proof that these properties hold without extra hypotheses such as regularity or the existence of a resolution. The toric reduction to an L^1_loc subspace does not automatically extend to the general case.

    Authors: We agree the abstract is too brief. The metric d1 is defined in §2 via the L^1 distance between the associated graded pieces (or equivalently via the valuation data on the Rees algebra) and this definition applies directly to arbitrary Noetherian local domains. Finiteness and the triangle inequality follow from the corresponding properties of the L^1 norm on the graded pieces and do not require toric or regularity hypotheses. We will add the explicit formula to the abstract and expand the verification in §2. The L^1_loc identification via Newton-Okounkov bodies is stated only for the toric/monomial case and is not used for the general metric axioms. revision: yes

  2. Referee: [§3 (geodesic property)] The geodesic property is load-bearing for the geometric claims. If the proof of existence of geodesics relies on toric or regular assumptions that are not removed in the general setting, the statement that (X, d1) is a geodesic metric space for arbitrary Noetherian local domains fails. The manuscript should isolate the precise hypotheses under which the geodesic property is proved and state whether they are satisfied by every Noetherian local domain.

    Authors: The existence of constant-speed geodesics is proved in §3 using only the lattice operations on saturated filtrations together with the completeness of the space under d1; both are available for any Noetherian local domain. We will revise §3 to state the hypotheses explicitly (Noetherian local domain) at the beginning of the section, to separate the general argument from the toric specialization, and to confirm that no resolution or toric assumption is invoked in the general case. revision: yes

Circularity Check

0 steps flagged · score 0.0 of 10

No circularity: constructions and reductions are independent of inputs

full rationale

The abstract introduces d1 as a Darvas-inspired metric on saturated filtrations of arbitrary Noetherian local domains and asserts it forms a geodesic space; the toric case maps saturated monomial filtrations to an L1_loc subspace via Newton-Okounkov bodies (an external identification, not a self-definition); the lattice structure is explicitly a generalization of the classical ideal lattice. No equations, fitted parameters, predictions by construction, or load-bearing self-citations appear. All steps remain self-contained against external benchmarks and do not reduce to their own inputs.

Assumptions & free parameters 0 free parameters · 1 assumptions · 1 invented entities

The central claims rest on the existence of a well-defined saturated filtration space and the applicability of the Darvas metric construction; no free parameters or invented entities beyond the new metric itself are visible in the abstract.

assumptions (1)
  • domain assumption Noetherian local domain admits a well-defined notion of saturated filtration
    Invoked in the first sentence of the abstract as the object of study.
invented entities (1)
  • metric d1
    purpose: To turn the space of saturated filtrations into a geodesic metric space
    Introduced in the abstract as the main new object; independent evidence would require explicit definition and verification.

how reviews work

0 comments
Cite this review

Pith. "Pith review of On the geometry of spaces of filtrations on local rings." pith.science (2026). https://pith.science/paper/2409.01705

@misc{pith2026240901705,
  author       = {Pith},
  title        = {Pith review of: On the geometry of spaces of filtrations on local rings},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/2409.01705}},
  note         = {Machine review of arXiv:2409.01705}
}
abstract

We study the geometry of spaces of fitrations on a Noetherian local domain. We introduce a metric $d_1$ on the space of saturated filtrations, inspired by the Darvas metric in complex geometry, such that it is a geodesic metric space. In the toric case, using Newton-Okounkov bodies, we identify the space of saturated monomial filtrations with a subspace of $L^1_\mathrm{loc}$. We also consider several other topologies on such spaces and study the semi-continuity of the log canonical threshold function in the spirit of Koll\'ar-Demailly. Moreover, there is a natural lattice structure on the space of saturated filtrations, which is a generalization of the classical result that the ideals of a ring form a lattice.

Discussion (0). Continue with ORCID to comment.

Reference graph

Works this paper leans on

64 extracted references · 64 canonical work pages

  1. [1]

    ahler-Einstein metrics and the K\

    R. Berman, S. Boucksom, P. Eyssidieux, V. Guedj and A. Zeriahi. K\"ahler-Einstein metrics and the K\"ahler-Ricci flow on log Fano varieties. J. Reine Angew. Math. 751 (2019), 27–89

    work page 2019

  2. [2]

    Berman, S

    R. Berman, S. Boucksom and M. Jonsson. A variational approach to the Yau–Tian–Donaldson conjecture

    work page

  3. [3]

    Boucksom, T

    S. Boucksom, T. de Fernex, and C. Favre. The volume of an isolated singularity. Duke Math. J. 161 (2012), no. 8, 1455--1520

    work page 2012

  4. [4]

    Boucksom, T

    S. Boucksom, T. de Fernex, C. Favre, and S. Urbinati. Valuation spaces and multiplier ideals on singular varieties. Recent advances in algebraic geometry, 29--51, London Math. Soc. Lecture Note Ser., 417, Cambridge Univ. Press, Cambridge, 2015

    work page 2015

  5. [5]

    Boucksom and D

    S. Boucksom and D. Eriksson. Spaces of norms, determinant of cohomology and Fekete points in non-Archimedean geometry. Adv. Math. 378 (2021), 107501

    work page 2021

  6. [6]

    Boucksom, C

    S. Boucksom, C. Favre and M. Jonsson. Valuations and plurisubharmonic singularities. Publ. Res. Inst. Math. Sci. 44 (2008), no. 2, 449–494

    work page 2008

  7. [7]

    Boucksom, C

    S. Boucksom, C. Favre and M. Jonsson, A refinement of Izumi's theorem. in Valuation theory in interaction, 55--81, EMS Ser. Congr. Rep., Eur. Math. Soc., Z\"urich, 2014

    work page 2014

  8. [8]

    Boucksom, C

    S. Boucksom, C. Favre, and M. Jonsson. Singular semipositive metrics in non-Archimedean geometry

    work page

Show all 64 references
  1. [9]

    Bosch, U

    S. Bosch, U. Güntzer and R. Remmert. Non-archimedean analysis. Grundlehren der mathematischen Wissenschaften, 261, Springer, Berlin, 1984

    1984

  2. [10]

    Boucksom, T

    S. Boucksom, T. Hisamoto, and M. Jonsson. Uniform K-stability, Duistermaat-Heckman measures and singularities of pairs. Ann. Inst. Fourier (Grenoble) 67 (2017), no. 2, 743--841

    2017

  3. [11]

    Boucksom and M

    S. Boucksom and M. Jonsson. A non-Archimedean approach to K-stability, I: Metric geometry of spaces of test configurations and valuations. To appear in Ann. Inst. Fourier. arXiv:2107.11221

  4. [12]

    Boucksomand M

    S. Boucksomand M. Jonsson. Global pluripotential theory over a trivially valued field

  5. [13]

    H. Blum, Y. Liu and L. Qi. Convexity of multiplicities of filtrations on local rings. Compos. Math. 160 (2024) no. 4, 878--914

    2024

  6. [14]

    H. Blum. Existence of valuations with smallest normalized volume. Compos. Math. 154 (2018), no. 4, 820--849

    2018

  7. [15]

    H. Blum, Y. Liu, C. Xu, and Z. Zhuang. The existence of the K \"a hler-Ricci soliton degeneration . arXiv:2103.15278

  8. [16]

    Birkar and D

    C. Birkar and D. Zhang. Effectivity of Iitaka fibrations and pluricanonical systems of polarized pairs

  9. [17]

    Chambert-Loir

    A. Chambert-Loir. Mesures et \'equidistribution sur les espaces de Berkovich

  10. [18]

    Chambert-Loir and A

    A. Chambert-Loir and A. Ducros. Formes différentielles réelles et courants sur les espaces de Berkovich

  11. [19]

    Corti (Ed.) Flips for 3-folds and 4-folds

    A. Corti (Ed.) Flips for 3-folds and 4-folds

  12. [20]

    Cutkosky and S

    S. Cutkosky and S. Praharaj. The asymptotic Samuel function of a filtration. Acta Math. Vietnam. 49 (2024), no. 1, 61--81

    2024

  13. [21]

    Cutkosky and P

    S. Cutkosky and P. Sarkar. Multiplicities and mixed multiplicities of arbitrary filtrations. Res. Math. Sci. 9 (2022), no. 1, 14

    2022

  14. [22]

    Cutkosky

    S. Cutkosky. Multiplicities associated to graded families of ideals. Algebra Number Theory 7 (2013), no. 9, 2059--2083

    2013

  15. [23]

    Cutkosky

    S. Cutkosky. Asymptotic multiplicities of graded families of ideals and linear series. Adv. Math. 265 (2014), 55--113

    2014

  16. [24]

    T. Darvas. The Mabuchi geometry of finite energy classes. Adv. Math. 285 (2015), 182–219

    2015

  17. [25]

    T. Darvas. Geometric pluripotential theory on K\"ahler manifolds. Advances in complex geometry, 1--104, Contemp. Math., 735, Amer. Math. Soc., Providence, RI, 2019

    2019

  18. [26]

    Demailly and J

    J.-P. Demailly and J. Koll\'ar. Semi-continuity of complex singularity exponents and K\"ahler-Einstein metrics on Fano orbifolds. Ann. Sci. \'Ec Norm. Sup, (4), 34 (2001) no. 4, 525-556

    2001

  19. [27]

    Darvas,and C

    T. Darvas,and C. H. Lu. Geodesic stability, the space of rays and uniform convexity in Mabuchi geometry. Geom. Topol. 24 (2020), no.4, 1907–1967

    2020

  20. [28]

    Darvas and Y

    T. Darvas and Y. Rubinstein. Tian's properness conjectures and Finsler geometry of the space of Kähler metrics. J. Amer. Math. Soc. 30 (2017), no.2, 347–387

    2017

  21. [29]

    L. Ein, R. Lazarsfeld, and K. Smith. Uniform approximation of A bhyankar valuation ideals in smooth function fields . Amer. J. Math. 125 (2003), no.2, 409--440

    2003

  22. [30]

    S. Finski. Geometry at the infinity of the space of positive metrics: test configurations, geodesic rays and chordal distances. arXiv:2305.15300

  23. [31]

    Favre and M

    C. Favre and M. Jonsson. The valuative tree. Lecture Notes in Math., 1853, Springer-Verlag, Berlin, 2004

    2004

  24. [32]

    W. Fulton. Introduction to toric varieties. Annals of Mathematics Studies, 131. Princeton University Press, Princeton, NJ, 1993

    1993

  25. [33]

    Guedj and A

    V. Guedj and A. Trusiani, K\"ahler-Einstein metrics with positive curvature near an isolated log terminal singularity, with an appendix by S. Boucksom. arXiv:2306.07900

  26. [34]

    W. Gubler. Local heights of subvarieties over non-Archimedean fields

  27. [35]

    Guan and X Zhou

    Q. Guan and X Zhou. A proof of Demailly's strong openness conjecture

  28. [36]

    J. A. Howald. Multiplier ideals of monomial ideals

  29. [37]

    Huneke and I

    C. Huneke and I. Swanson. Integral closure of ideals, rings, and modules. London Mathematical Society Lecture Note Series, 336. Cambridge University Press, Cambridge, 2006

    2006

  30. [38]

    V. A. Iskovskikh. b-divisors and Shokurov functional algebras(Russian)

  31. [39]

    Jonsson and M

    M. Jonsson and M. Musta t a . Valuations and asymptotic invariants for sequences of ideals. Ann. Inst. Fourier (Grenoble) 62 (2012), no.6, 2145--2209

    2012

  32. [40]

    M. Jonsson. Lecture Notes on Berkovich Spaces. https://dept.math.lsa.umich.edu/ mattiasj/715/, 2020

    2020

  33. [41]

    Kaveh and A

    K. Kaveh and A. Khovanskii. Convex bodies and multiplicities of ideals. Proc. Steklov Inst. Math. 286 (2014), 268–284

    2014

  34. [42]

    Koll\'ar and S

    J. Koll\'ar and S. Mori. Birational geometry of algebraic varieties. Cambridge Tracts in Mathematics, 134. Cambridge University Press, Cambridge, 1998

    1998

  35. [43]

    Lazarsfeld

    R. Lazarsfeld. Positivity in algebraic geometry. I, II

  36. [44]

    C. Li. K-semistability is equivariant volume minimization

  37. [45]

    C. Li. Minimizing normalized volumes of valuations. Math. Z. 289 (2018), no. 1-2, 491--513

    2018

  38. [46]

    Y. Liu. The volume of singular K\"ahler-Einstein Fano varieties. Compos. Math. 154 (2018), no. 6, 1131--1158

    2018

  39. [47]

    C. Li, Y. Liu, and C. Xu. A guided tour to normalized volume. Geometric analysis, 167--219, Progr. Math., 333, Birkh\" a user/Springer, Cham, 2020

    2020

  40. [48]

    Lazarsfeld and M

    R. Lazarsfeld and M. Mustață. Convex bodies associated to linear series. Ann. Sci. \' E c. Norm. Sup\' e r. (4) 42 (2009) no. 5, 783--835

    2009

  41. [49]

    Li and C

    C. Li and C. Xu. Stability of valuations: higher rational rank

  42. [50]

    Li and C

    C. Li and C. Xu. Stability of valuations and Koll\'ar components. J. Eur. Math. Soc. (JEMS) 22 (2020), no. 8, 2573--2627

    2020

  43. [51]

    Y. Liu, C. Xu, and Z. Zhuang. Finite generation for valuations computing stability thresholds and applications to K-stability. Ann. of Math. (2), 196 (2022), 507-566

    2022

  44. [52]

    T. Mabuchi. Some symplectic geometry on compact Kähler manifolds I. Osaka J. Math. 24 (1987), no. 2, 227–252

    1987

  45. [53]

    Musta t a

    M. Musta t a . On multiplicities of graded sequences of ideals. J. Algebra 256 (2002), no. 1, 229--249

    2002

  46. [54]

    Reboulet

    R. Reboulet. The space of finite-energy metrics over a degeneration of complex manifolds. J. Éc. polytech. Math. 10 (2023), 659–701

    2023

  47. [55]

    Reboulet

    R. Reboulet. Plurisubharmonic geodesics in spaces of non-Archimedean metrics of finite energy. J. Reine Angew. Math. 793 (2022), 59--103

    2022

  48. [56]

    L. R. Wilcox and M. F. Smiley. Metric lattices

  49. [57]

    Y. Wu. Volume and Monge-Amp\`ere energy on polarized affine varieties. Math. Z. 301 (2022), no. 1, 781--809

    2022

  50. [58]

    M. Xia. Mabuchi geometry of big cohomology classes with prescribed singularities. To appear in Crelle's journal. (2023)

    2023

  51. [59]

    C. Xu. A minimizing valuation is quasi-monomial. Ann. of Math. (2) 191 (2020), no. 3, 1003--1030

    2020

  52. [60]

    Xu and Z

    C. Xu and Z. Zhuang. Uniqueness of the minimizer of the normalized volume function. Camb. J. Math. 9 (2021), no. 1, 149–176

    2021

  53. [61]

    Xu and Z

    C. Xu and Z. Zhuang. Stable degeneration of singularities

  54. [62]

    S. Zhang. Positive line bundles on arithmetic varieties

  55. [63]

    Z. Zhuang. Stability of klt singularities. arXiv:2307.1052

  56. [64]

    Z. Zhuang. On boundedness of singularities and minimal log discrepancies of Kollár components. J. Algebraic Geom. 33 (2024), no. 3, 521--565

    2024

Pith tools

Reviewed May 23, 2026 · model on record in the stance chip above.