Pith. sign in

REVIEW 4 major objections 4 minor 31 references

From Adler-Gelfand-Dickey Brackets to Logarithmic Dubrovin-Frobenius manifolds

T0 review · 4 major / 4 minor · reviewed 2026-08-07 · deepseek-v4-flash

Pith's one-line read The paper proves that the second unconstrained Adler-Gelfand-Dickey bracket admits a compatible local Poisson bracket whose dispersionless limit defines a logarithmic Dubrovin-Frobenius manifold, and that the same manifold arises on the…

desk verdict Low-rank constructions are solid and new; the general-rank proof rests on a sketched key theorem that needs full computation before the main claim is accepted. read the letter →

arxiv 2506.11569 v1 pith:5L4QNTAH submitted 2025-06-13 math.DG math-phmath.MP

classification math.DGmath-phmath.MP MSC 37K2537K3053D4517B8053D1713A5017B6817B08
keywords Adler-Gelfand-DickeybracketDubrovin-FrobeniusmanifoldlogarithmicFrobeniusbihamiltonianstructureflatpencilofmetricsDrinfeld-SokolovreductionpermutationgrouporbitspaceWDVVequations
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

This paper studies the second unconstrained Adler-Gelfand-Dickey bracket, a Poisson bracket on the space of $r$-th order scalar differential operators $L=D^r+v_1D^{r-1}+\cdots+v_r$. On a Slodowy slice $Q$ of the regular nilpotent element of $\mathfrak{gl}_r$, it constructs a new local Poisson bracket $B^Q_1=\mathrm{Lie}_{\partial s_{r-1}(x)}B^Q_2$ that is compatible with $B^Q_2$, so the pair forms a bihamiltonian structure. The key step is a coordinate change chosen so that $B^Q_2$ depends at most linearly on $s_{r-1}(x)$; then the Lie derivative automatically gives a compatible bracket. The pair admits a dispersionless limit whose leading term is a flat pencil of metrics, and away from the zeros of $\det\Omega^{ij}_2$ and $t_1=0$ this pencil defines a logarithmic Dubrovin-Frobenius manifold, meaning a manifold whose tangent spaces carry a compatible Frobenius algebra structure encoded by a potential satisfying the WDVV equations. The potential has the explicit form $F=\frac{1}{(r-1)(2+4\delta_{r,3})}(t_{r-1})^2t_2+\frac{1}{2(r-1)}\sum_{i\neq 2,r-1}t_it_{r+1-i}+\frac{1}{2(r-1)}(t_r)^2\log t_r+G$ with $G$ a quasihomogeneous polynomial of degree $2r$, and the same structure is realized on the orbit space of the standard representation of the permutation group $S_r$.

What carries the argument

The central mechanism is Drinfeld-Sokolov reduction of the Lie-Poisson bracket on $L(\mathfrak{gl}_r)$ to the Slodowy slice $Q=L_2+L(\mathfrak{gl}_r^f)$, followed by two coordinate changes: the invariant coordinates $z_i=\frac{1}{i}\mathrm{Tr}(g^i)$ and the modified coordinates $s_i$ of Theorem 8.1. The quadratic equation for $\alpha$ is chosen to cancel the $(s_{r-1})^2$ term in the entry $\Omega^{rr}_2$, making $B^Q_2$ at most linear in $s_{r-1}(x)$; the criterion $\mathrm{Lie}^2_X\{\cdot,\cdot\}=0$ then turns the Lie derivative into a compatible bracket. The flat-coordinate and WDVV-verification machinery of the cited construction is adapted to the present setting, with the entry $\Omega^{11}_2=r-1$ instead of $r(r-1)$, yielding the logarithmic potential.

What would settle it

Compute for $r=5$ the coefficient of $(s_{r-1}(x))^2$ in the entry $\{s_r(x),s_r(y)\}$ after the coordinate change (8.1), using the explicit formulas (5.7), (6.2), and Lemma 6.3; if this coefficient is nonzero, Theorem 8.1 fails and the constructed Frobenius manifold does not exist. A cheaper partial check is to compute the central invariants of $(B^Q_2,B^Q_1)$ for $r=5$ and compare them with the topological-type values found for $r=2,3,4$.

Watch

Extended reading notes

Core claim

On the Slodowy slice $Q=L_2+L(\mathfrak{gl}_r^f)$ associated with the regular nilpotent element $L_2$ of $\mathfrak{gl}_r$, the paper establishes that after the quasihomogeneous coordinate change $s_i=z_i$ for $i\neq r$ and $s_r=\frac{r-1}{(r-1)+\alpha r}(z_r+\alpha z_1z_{r-1})$, with $\alpha$ solving $r\alpha^2+2(r-1)\alpha+(r-1)=0$, the second Adler-Gelfand-Dickey bracket $B^Q_2$ becomes at most linear in $s_{r-1}(x)$. Consequently $B^Q_1=\mathrm{Lie}_{\partial s_{r-1}(x)}B^Q_2$ is a nontrivial local Poisson bracket compatible with $B^Q_2$. The bihamiltonian structure $(B^Q_2,B^Q_1)$ admits a dispersionless limit whose leading term is a flat pencil of metrics, and on the open dense set where $\det\Omega^{ij}_2\neq 0$ and $t_1\neq 0$ it defines a logarithmic Dubrovin-Frobenius manifold with the explicit potential displayed in Theorem 9.2. The same manifold is shown to arise naturally on the orbit space of the standard representation of the permutation group $S_r$, through the Hessian metric of the degree-two invariant and the same coordinate change.

Load-bearing premise

The whole construction rests on the assertion, sketched rather than fully proved in Theorem 8.1, that after the coordinate change (8.1) the second Adler-Gelfand-Dickey bracket is at most linear in $s_{r-1}(x)$, and on the assumption that the flat-coordinate and WDVV machinery of the cited construction remains valid when $\Omega^{11}_2=r-1$ instead of $r(r-1)$; if either premise fails, the compatible bracket, the flat pencil, and the Frobenius manifold need not exist.

Editorial extensions

If this is right

  • The second unconstrained Adler-Gelfand-Dickey bracket admits a previously unknown compatible local Poisson bracket, so the pair forms a bihamiltonian structure on the space of $r$-th order scalar differential operators.
  • The bihamiltonian structure has a dispersionless limit whose leading term is a flat pencil of metrics, and on an open dense subset it defines a logarithmic Dubrovin-Frobenius manifold with an explicit potential.
  • The same logarithmic Dubrovin-Frobenius manifold can be constructed on the orbit space of the standard representation of the permutation group by a Dubrovin-Saito invariant-theoretic procedure.
  • For $r=2,3,4$ the bihamiltonian structures are of topological type, with central invariants $-\frac{1}{24}$ for $r=2$ and $-\frac{1}{8}$ for $r=3,4$, and for $r=3,4$ they are equivalent to the constrained-KP bihamiltonian structures.
  • The paper conjectures that the equivalence with constrained-KP structures and the topological-type property extend to all $r>2$.

Reading between the lines

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

  • Extending beyond the paper: the natural next test is to compute, for $r=5$, both the claimed linearity and the central invariants of $(B^Q_2,B^Q_1)$; the paper only verifies $r=2,3,4$.
  • Extending beyond the paper: the logarithmic term $(t_r)^2\log t_r$ suggests that the flat pencil degenerates or becomes non-semisimple at the divisor $t_r=0$, a locus the paper does not analyze.
  • Extending beyond the paper: the realization on the permutation-group orbit space suggests a general recipe for other finite reflection groups: start with the Hessian metric of the degree-two invariant, apply the same $\alpha$-coordinate change, and look for logarithmic Frobenius manifolds; the paper does not pursue this beyond $S_r$.
Share X Bluesky LinkedIn Reddit HN

Editorial analysis

A structured set of objections, weighed in public.

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

Referee Report

4 major / 4 minor

Summary. The paper constructs, for each rank r, a local Poisson bracket B^Q_1 compatible with the second unconstrained Adler-Gelfand-Dickey bracket B^Q_2 on the Slodowy slice Q of gl_r. The construction uses Drinfeld-Sokolov reduction, introduces coordinates s_i depending on a parameter α solving equation (8.2), and asserts that in these coordinates B^Q_2 is at most linear in s_{r-1}(x). The bracket B^Q_1 is then defined as the Lie derivative Lie_{∂s_{r-1}}B^Q_2, and the leading terms of the bihamiltonian structure are claimed to form a flat pencil of metrics, hence a logarithmic Dubrovin-Frobenius manifold with explicit potential (9.6). The paper further relates the resulting structure to the orbit space of the standard representation of the permutation group S_r via invariant theory. Explicit verifications are given for r=2,3,4.

Significance. If the rank-universal statements hold, the paper provides a new family of logarithmic Dubrovin-Frobenius manifolds arising from unconstrained AGD brackets and connects them to the constrained-KP and B_n orbit-space examples of [2], [24], and [25]. The concrete computations for gl_2, gl_3, and gl_4 (Examples 8.3, 9.3, 9.4, 10.2), the Miura-type link to invariant theory in §10, and the central-invariant calculations in §11 are genuine strengths. However, the proofs of the general-r statements are partly delegated to 'similar' computations, and the central potential formula contains an inconsistency, so the general-r claims are not yet fully established.

major comments (4)
  1. [§8, Theorem 8.1] The proof that B^Q_2 is at most linear in s_{r-1}(x) is not supplied for general r. The text says 'Similar to Lemma 7.2' and 'the remainder follows', and the input Lemmas 6.3 and 6.5 are themselves only partially derived: Lemma 6.3 computes the coefficient of (u_{r-1})^2 in Ω^{rr}_2 but does not show the vanishing of quadratic terms in all other entries after the change (8.1), and Lemma 6.5 extracts the constants F^k without displaying the full expansion (6.8). Since the definition of B^Q_1 = Lie_{∂s_{r-1}}B^Q_2 and its compatibility (Theorem 8.2) depend on this linearity, the general-r construction requires a complete, verifiable proof rather than an outline.
  2. [§9, Eq. (9.6)] The displayed potential F does not satisfy the relation ∂_{r-1}F = (1/2)Π_{ij}t^it^j used in the proof (Eq. (9.13)). For r≥4, the sum Σ_{i≠2,r-1} t_i t_{r+1-i} is annihilated by ∂_{r-1}, so ∂_{r-1}∂_i∂_{r+1-i}F = 0 for i≠2,r-1, whereas Π_{i,r+1-i} = 1/(r-1) requires this third derivative to equal 1/(r-1). The sum term appears to be missing a factor t_{r-1}; the explicit potentials (9.18) and (10.5) for r=3,4 are consistent with the corrected form. The term as written also has the wrong quasihomogeneous degree for the claimed Euler identity.
  3. [§9, Theorem 9.2 proof] The proof states 'with the distinction that here we have Ω^{11}_2 = r−1, whereas in [31], Ω^{11}_2 = r(r−1)'. This contradicts the value Ω^{11}_2 = r established in Proposition 5.3, Lemma 7.2, Theorem 8.1, and Proposition 9.1. The constants in equations (9.7)–(9.16) depend on this value, so the discrepancy must be resolved and the subsequent coefficients re-checked.
  4. [§9, after Eq. (9.15)] The associativity of the would-be Frobenius algebra (the WDVV equations, Eq. (9.16)) is asserted with 'Detailed computations confirm' but no computation or general argument is presented. Since the adaptation of [31] is nontrivial and the value of Ω^{11}_2 differs from the reference, the verification of (9.16) for all r is a load-bearing step and should be either included explicitly or replaced by a precise structural argument.
minor comments (4)
  1. [§7, proof of Lemma 7.2] The sentence 'Similar computations by evaluating the one form A with dz1 = du2' appears to contain a typo: since z1 = u1, the correct differential is dz1 = du1, not dz1 = du2.
  2. [§10, proof of Theorem 10.1] The sentence 'Thus, Ω^{ij}_2(z) = Ω^{ij}_2(z) = Σ_k ...' repeats the symbol Ω^{ij}_2; the first occurrence should presumably be a different notation (e.g., the pullback metric) or be deleted.
  3. [§10, proof of Theorem 10.1] The claim that Ω^{ij}_2(z) 'is identical to the metric defined on the orbits space by the inverse of the Hessian of z2' is not demonstrated; a short verification would improve clarity.
  4. [References] Reference [24] contains an extraneous fragment '138, pp. 154-167 (2019)' after the journal citation; this appears to be a duplicate or misplaced bibliographic entry.

Circularity Check

0 steps flagged · score 0.0 of 10

No significant circularity: the construction derives new brackets from the known second AGD bracket; the coordinate parameter is chosen by an algebraic condition, not fitted to a predicted output.

full rationale

The derivation chain is self-contained in the relevant sense. B_1^Q is not an assumed or fitted object: it is defined as the Lie derivative Lie_{\partial s_{r-1}(x)} B_2^Q (Theorem 8.2, Eq. (8.3)), and its Poisson property is derived from Theorem 8.1 together with the standard criterion Lie_X^2{.,.}=0 (Proposition 2.4). The parameter alpha in (8.1) is introduced as a free constant in a quasihomogeneous coordinate change and fixed by the quadratic equation r alpha^2 + 2(r-1) alpha + (r-1)=0, which is exactly the condition that the (s_{r-1})^2 coefficient in Omega^{rr}_2(s) vanish; this is a construction step, not the fitting of a parameter to a target prediction. The final logarithmic Dubrovin-Frobenius manifold in Theorem 9.2 is obtained from the flat pencil (Omega^{ij}_2, Omega^{ij}_1) using standard Dubrovin-Novikov and flat-pencil machinery of [13], [15], [16], and [31]; the potential (9.6) is the output of that machinery for the specific pencil computed from the AGD bracket, not a renaming of a prior result. Self-citations (e.g., [1], [7], [9], [10]) appear mainly as context or as references for known W-algebra and Dubrovin-Saito facts; the load-bearing coordinate and compatibility computations are carried out in the present paper in Sections 6-9. The sketched verification of Theorem 8.1 ('Similar to Lemma 7.2') and the apparent inconsistency between the displayed potential (9.6) and equation (9.13) are correctness/completeness concerns, not circularity: they do not make the conclusion equivalent to an input by construction. No circular step can therefore be exhibited under the hard-rule standard.

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

The central construction rests on standard tools in Poisson geometry and Lie theory. The only explicit ad hoc choice is the parameter α used to eliminate a quadratic term. A more significant assumption is that the flat-coordinate and Frobenius-manifold machinery of [15] and [31] carries over with the present normalization; this is plausible and checked for r=2,3,4, but not proven for all r.

free parameters (1)
  • alpha = solution of rα^2 + 2(r-1)α + (r-1) = 0
    Introduced in Theorem 8.1 to eliminate the quadratic term in s_{r-1} from B^Q_2; the choice does not affect the resulting DF manifold.
assumptions (5)
  • standard math Dubrovin-Novikov theorem: a nondegenerate local Poisson bracket of hydrodynamic type with leading coefficient Ω^{ij} defines a flat contravariant metric with Christoffel symbols Γ^{ij}_k.
    Used in Theorem 2.6 to associate a metric to the leading term of B^Q_2.
  • domain assumption Drinfeld-Sokolov reduction maps the Lie-Poisson bracket on the loop algebra to the second Adler-Gelfand-Dickey bracket on the Slodowy slice.
    Section 5 assumes the standard reduction theorem (ref [12]) to identify B^Q_2 with the reduced bracket.
  • standard math Representation theory of sl2: Dynkin grading and orthogonality relations for admissible bases.
    Used in Section 4 and throughout for computations of Poisson brackets.
  • standard math Chevalley's theorem: invariant polynomials of the adjoint action on gl_r are generated by the power sums.
    Used in Section 7 to define invariant coordinates z_i.
  • domain assumption The flat-coordinate and WDVV machinery of [15] and [31] applies with the current normalization Ω^{11}_2 = r-1.
    Theorem 9.2 relies on the method of [31]; the change of normalization is asserted not to break the argument but not fully verified.

how reviews work

0 comments
Cite this review

Pith. "Pith review of From Adler-Gelfand-Dickey Brackets to Logarithmic Dubrovin-Frobenius manifolds." pith.science (2026). https://pith.science/paper/5L4QNTAH

@misc{pith2026250611569,
  author       = {Pith},
  title        = {Pith review of: From Adler-Gelfand-Dickey Brackets to Logarithmic Dubrovin-Frobenius manifolds},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/5L4QNTAH}},
  note         = {Machine review of arXiv:2506.11569}
}
read the original abstract

We construct a new local Poisson bracket compatible with the second unconstrained Adler-Gelfand-Dickey bracket. The resulting bihamiltonian structure admits a dispersionless limit and the leading term defines a logarithmic Dubrovin-Frobenius manifold. Furthermore, we show that this Dubrovin-Frobenius manifold can be constructed on the orbits space of the standard representation of the permutation group.

Discussion (0). Continue with ORCID to comment.

Reference graph

Works this paper leans on

31 extracted references · 30 canonical work pages

  1. [2]

    Arsie, A., Lorenzoni, P., Mencattini, I., Moroni, G.; A Dubrovin-Frobenius manifold structure of NLS type on the orbit space of Bn, Sel. Math. New Ser. 29, 2 (2023)

  2. [24]

    Liu, S.; Zhang, Y., Zhou, X.; Central invariants of the constrained KP hierarchies. J. Geom. Phys. 97 , 177–189 (2015). 138, pp. 154-167 (2019)

  3. [25]

    Ma, S., Zuo, D.; Dubrovin-Frobenius manifolds associated with Bn and the constrained KP hierarchy. J. Math. Phys. 64 , no. 5 (2023)

  4. [31]

    Wu, Y., Zuo, D.; Dubrovin–Frobenius manifold structures on the orbit space of the symmetric group. J. Math. Phys.65 (1), 011702 (2024). Visiting Associate Professor of Mathematics Division of Science New York University Abu Dhabi yd3157@nyu.edu Associate Professor of Mathematics Department of Mathematics, College of Science Sultan Qaboos University dinar@...

  5. [1]

    Al-Maamari, Z., Dinar, Y.; Frobenius manifolds on orbits spaces, Math. Phys. Anal. Geom. 25 , no. 3, Paper No. 22, 26 (2022)

  6. [3]

    and Miramontes, J.; Generalized Drinfeld-Sokolov hierarchies II: the Hamiltonian structures, Comm

    Burroughs, N., de Groot, M., Hollowood, T. and Miramontes, J.; Generalized Drinfeld-Sokolov hierarchies II: the Hamiltonian structures, Comm. Math. Phys.153, 187 (1993)

  7. [4]

    A.; Lectures on classical W-algebras, Acta Appl

    Dickey, L. A.; Lectures on classical W-algebras, Acta Appl. Math.47, no.3, 243–321 (1997)

  8. [5]

    Journal of Ge- ometry and Physics, Volume 58, Issue 9,1171-1185, September (2008)

    Dinar, Yassir, On classification and construction of algebraic Frobenius manifolds. Journal of Ge- ometry and Physics, Volume 58, Issue 9,1171-1185, September (2008)

Show all 31 references
  1. [6]

    Dijkgraaf, R., Verlinde, H., Verlinde, E.; Topological strings in d1. Nucl. Phys. B352, 59 (1991)

  2. [7]

    Advances in Mathematics, Volume 226, Issue 6, Pages 5018-5040 (2011)

    Dinar, Y.; Frobenius manifolds from regular classical W-algebras. Advances in Mathematics, Volume 226, Issue 6, Pages 5018-5040 (2011)

  3. [8]

    Dinar, Y.; W -algebras and the equivalence of bihamiltonian, Drinfeld-Sokolov and Dirac reductions. J. Geom. Phys. 84, 30–42 (2014)

  4. [9]

    Lett Math Phys 111, 115 (2021)

    Dinar, Yassir; Algebraic classical W-algebras and Frobenius manifolds. Lett Math Phys 111, 115 (2021)

  5. [10]

    Dinar, Y.; Low-dimensional bihamiltonian structures of topological type. J. Math. Phys. 64, no.3, Paper No. 033502, (2023)

  6. [11]

    Derksen, H.; Kemper, G., Computational Invariant Theory, Springer 2015

  7. [12]

    G., Sokolov, V

    Drinfeld, V. G., Sokolov, V. V.; Lie algebras and equations of Korteweg-de Vries type. (Russian) Cur- rent problems in mathematics, Vol. 24, 81-180, Itogi Nauki i Tekhniki, Akad. Nauk SSSR, Vsesoyuz. Inst. Nauchn. i Tekhn. Inform., Moscow, (1984)

  8. [13]

    A., Novikov, S

    Dubrovin, B. A., Novikov, S. P.; Poisson brackets of hydrodynamic type. (Russian) Dokl. Akad. Nauk SSSR 279, no. 2, 294-297 (1984)

  9. [14]

    Integrable systems and quantum groups (Montecatini Terme, 1993), 120-348, Lecture Notes in Math., 1620, Springer, Berlin, (1996)

    Dubrovin, B.; Geometry of 2D topological field theories. Integrable systems and quantum groups (Montecatini Terme, 1993), 120-348, Lecture Notes in Math., 1620, Springer, Berlin, (1996)

  10. [15]

    Surveys in differential geometry IV: integrable systems, 181-211 (1998)

    Dubrovin, B.; Differential geometry of the space of orbits of a Coxeter group. Surveys in differential geometry IV: integrable systems, 181-211 (1998)

  11. [16]

    Integrable systems and algebraic geometry (Kobe/Kyoto, 1997), 47-72, World Sci

    Dubrovin, B.; Flat pencils of metrics and Frobenius manifolds. Integrable systems and algebraic geometry (Kobe/Kyoto, 1997), 47-72, World Sci. Publ. (1998)

  12. [17]

    , Zhang, Y.; Normal forms of hierarchies of integrable PDEs, Frobenius manifolds and Gromov-Witten invariants, www.arxiv.org math/0108160

    Dubrovin, B. , Zhang, Y.; Normal forms of hierarchies of integrable PDEs, Frobenius manifolds and Gromov-Witten invariants, www.arxiv.org math/0108160. 28

  13. [18]

    Dubrovin, B. , Liu, Si-Qi, Zhang, Y.; Frobenius manifolds and central invariants for the Drin- feld–Sokolov bihamiltonian structures, Advances in Mathematics, Volume 219, Issue 3, 780-837 (2008)

  14. [19]

    G., Kac, V

    Elashvili, A. G., Kac, V. G., Vinberg, E. B.; Cyclic elements in semisimple Lie algebras. Transform. Groups 18, no. 1,97–130 (2013)

  15. [20]

    Feher, L., O’Raifeartaigh, L., Ruelle, P., Tsutsui, I., Wipf, A.; On Hamiltonian reductions of the Wess-Zumino-Novikov-Witten theories. Phys. Rep. 222, no. 1 (1992)

  16. [21]

    Feher, L., O’Raifeartaigh, L., Ruelle, P., Tsutsui, I.; On the completeness of the set of classical W -algebras obtained from DS reductions. Comm. Math. Phys. 162 , no. 2, 399-431 (1994)

  17. [22]

    Cambridge Tracts in Mathe- matics, 151

    Hertling, C.; Frobenius manifolds and moduli spaces for singularities. Cambridge Tracts in Mathe- matics, 151. Cambridge University Press, ISBN: 0-521-81296-8 (2002)

  18. [23]

    E.; Introduction to Lie algebras and representation theory

    Humphreys, J. E.; Introduction to Lie algebras and representation theory. Grad. Texts in Math., 9 Springer-Verlag, New York-Berlin, ISBN:0-387-90053-5 (1978)

  19. [26]

    Orlik, P.; Solomon, L., The Hessian Map in The Invariant Theory of Reflection Groups, Nagoya Math. J. 109 (1988) 1–21

  20. [27]

    in Algebra 8(4) (1980)

    Saito, K., Yano, T., Sekeguchi J., On a certain generator system of the ring of invariants of a finite reflection group, Comm. in Algebra 8(4) (1980)

  21. [28]

    Sergyeyev, A.; A Simple Way of Making a Hamiltonian System into a Bi-Hamiltonian One, Acta Applicandae Mathematica, 83(1), 183-197 (2004)

  22. [29]

    Slodowy P.; Four lectures on simple groups and singularities, Communications of the Math. inst. Rijksun. Utrecht, 11 (1980)

  23. [30]

    Geometric representation theory and extended affine Lie algebras, 71–105, Fields Inst

    Wang, W.; Nilpotent orbits and finite W-algebras. Geometric representation theory and extended affine Lie algebras, 71–105, Fields Inst. Commun., 59, Amer. Math. Soc., (2011)

Pith tools

Reviewed August 7, 2026 · model on record in the stance chip above.