pith. sign in

arxiv: 2409.01705 · v2 · submitted 2024-09-03 · 🧮 math.AG · math.AC· math.RA

On the geometry of spaces of filtrations on local rings

Lu Qi This is my paper

Pith reviewed 2026-05-23 21:26 UTC · model grok-4.3

classification 🧮 math.AG math.ACmath.RA
keywords saturated filtrationsgeodesic metriclattice structureNoetherian local domainNewton-Okounkov bodieslog canonical thresholdtoric filtrations
0
0 comments X

The pith

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.

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

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.

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.

What carries the argument

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

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.

Where Pith is reading between the lines

These are 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.

Load-bearing premise

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

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.

read the original 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.

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.

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

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.

Axiom & Free-Parameter Ledger

0 free parameters · 1 axioms · 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.

axioms (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 no independent evidence
    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.

pith-pipeline@v0.9.0 · 5656 in / 1220 out tokens · 20631 ms · 2026-05-23T21:26:24.125186+00:00 · methodology

discussion (0)

Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.

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

  9. [9]

    Bosch, U

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

    work page 1984

  10. [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

    work page 2017

  11. [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

    work page arXiv

  12. [12]

    Boucksomand M

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

    work page

  13. [13]

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

    work page 2024

  14. [14]

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

    work page 2018

  15. [15]

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

    work page arXiv

  16. [16]

    Birkar and D

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

    work page

  17. [17]

    Chambert-Loir

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

    work page

  18. [18]

    Chambert-Loir and A

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

    work page

  19. [19]

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

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

    work page

  20. [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

    work page 2024

  21. [21]

    Cutkosky and P

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

    work page 2022

  22. [22]

    Cutkosky

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

    work page 2013

  23. [23]

    Cutkosky

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

    work page 2014

  24. [24]

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

    work page 2015

  25. [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

    work page 2019

  26. [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

    work page 2001

  27. [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

    work page 2020

  28. [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

    work page 2017

  29. [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

    work page 2003

  30. [30]

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

    work page arXiv

  31. [31]

    Favre and M

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

    work page 2004

  32. [32]

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

    work page 1993

  33. [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

    work page arXiv

  34. [34]

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

    work page

  35. [35]

    Guan and X Zhou

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

    work page

  36. [36]

    J. A. Howald. Multiplier ideals of monomial ideals

    work page

  37. [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

    work page 2006

  38. [38]

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

    work page

  39. [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

    work page 2012

  40. [40]

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

    work page 2020

  41. [41]

    Kaveh and A

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

    work page 2014

  42. [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

    work page 1998

  43. [43]

    Lazarsfeld

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

    work page

  44. [44]

    C. Li. K-semistability is equivariant volume minimization

    work page

  45. [45]

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

    work page 2018

  46. [46]

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

    work page 2018

  47. [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

    work page 2020

  48. [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

    work page 2009

  49. [49]

    Li and C

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

    work page

  50. [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

    work page 2020

  51. [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

    work page 2022

  52. [52]

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

    work page 1987

  53. [53]

    Musta t a

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

    work page 2002

  54. [54]

    Reboulet

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

    work page 2023

  55. [55]

    Reboulet

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

    work page 2022

  56. [56]

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

    work page

  57. [57]

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

    work page 2022

  58. [58]

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

    work page 2023

  59. [59]

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

    work page 2020

  60. [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

    work page 2021

  61. [61]

    Xu and Z

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

    work page

  62. [62]

    S. Zhang. Positive line bundles on arithmetic varieties

    work page

  63. [63]

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

    work page arXiv

  64. [64]

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

    work page 2024