pith. sign in

arxiv: 2501.08264 · v3 · submitted 2025-01-14 · 🧮 math.AG

Lipschitz Geometry of Mixed Pham-Brieskorn Singularities

In\'acio Rabelo This is my paper

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

classification 🧮 math.AG
keywords mixed singularitiesPham-Brieskorn singularitiesbi-Lipschitz equivalencetopological equivalenceouter geometrysubanalytic setsLipschitz geometry
0
0 comments X

The pith

Conditions on the exponents of mixed Pham-Brieskorn singularities determine when they are topologically equivalent but not bi-Lipschitz equivalent.

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

The paper supplies explicit conditions, expressed in terms of the defining exponents, under which two mixed singularities of Pham-Brieskorn type are topologically equivalent or bi-Lipschitz equivalent. Using these conditions it produces infinite families that are topologically identical yet fall into distinct bi-Lipschitz classes. In the two-variable case it isolates an invariant of the subanalytic outer geometry of the associated mixed surfaces that depends only on those same exponents. A reader would care because the construction separates topological classification from finer metric geometry and shows that topology alone cannot decide bi-Lipschitz type inside this family.

Core claim

We give conditions for topological and bi-Lipschitz equivalences within a class of mixed singularities of Pham-Brieskorn type. As a consequence, we construct infinite families that are topologically trivial but have distinct bi-Lipschitz types. We also investigate this problem in the context of mixed surfaces defined by these singularities in the case of two complex variables, deriving conditions for inner, outer, and ambient bi-Lipschitz equivalences. In particular, we obtain an invariant of the subanalytic outer geometry of the associated mixed surfaces, which is determined by the exponents.

What carries the argument

The tuple of defining exponents of a mixed Pham-Brieskorn polynomial, which simultaneously governs the topological equivalence relation, the bi-Lipschitz equivalence relation, and the outer-geometry invariant.

If this is right

  • Infinite families of topologically equivalent mixed singularities exist that are pairwise inequivalent in the bi-Lipschitz sense.
  • The subanalytic outer geometry of the associated mixed surfaces in two variables admits an invariant determined solely by the exponents.
  • Explicit conditions exist that decide inner, outer, and ambient bi-Lipschitz equivalence for these mixed surfaces.
  • Topological triviality does not imply bi-Lipschitz triviality inside the mixed Pham-Brieskorn class.

Where Pith is reading between the lines

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

  • The exponent conditions may supply a practical test for deciding whether two given mixed singularities belong to the same bi-Lipschitz class without computing their full links.
  • The separation between topological and bi-Lipschitz types could be used to construct further examples in which outer geometry distinguishes singularities that inner geometry cannot.
  • If the invariant extends beyond two variables it would give a computable obstruction to ambient bi-Lipschitz equivalence for higher-dimensional mixed surfaces.

Load-bearing premise

The equivalence conditions and the outer-geometry invariant can be read off directly from the exponents and the mixed Pham-Brieskorn form without additional restrictions on the ambient space or the equations.

What would settle it

Two mixed Pham-Brieskorn singularities whose exponents satisfy the stated equivalence conditions but whose links fail to be bi-Lipschitz equivalent under any ambient homeomorphism.

Figures

Figures reproduced from arXiv: 2501.08264 by In\'acio Rabelo.

Figure 1
Figure 1. Figure 1: Mixed surfaces and the respective tangent cones for a1 = 0 Remark 6.4. It holds that Xa,b is a regular manifold at the origin if and only if a1 = 1 and b1 = 0 or a2 = 1 and b2 = 0. Henceforth, we exclude these cases from the statements. Proposition 6.5. A mixed Pham-Brieskorn surface is not Lipschitz normally embedded if and only if it is of type (1) or (3). Proof. Mixed surfaces of types (2) or (5) are of… view at source ↗
Figure 2
Figure 2. Figure 2: Projection of λ(s) on C ∗ □ See also [13, Corollary 4.3] for the non-normal embedding property of complex Pham-Brieskorn poly￾nomials in higher dimensions. Proposition 6.6. The mixed Pham-Brieskorn surfaces of types (1) and (3) are preserved under outer bi-Lipschitz equivalence. Proof. From Proposition 6.5, surfaces of types (1) or (3) are not normally embedded and their tangent cones have distinct dimensi… view at source ↗
read the original abstract

We give conditions for topological and bi-Lipschitz equivalences within a class of mixed singularities of Pham-Brieskorn type. As a consequence, we construct infinite families that are topologically trivial but have distinct bi-Lipschitz types. We also investigate this problem in the context of mixed surfaces defined by these singularities in the case of two complex variables, deriving conditions for inner, outer, and ambient bi-Lipschitz equivalences. In particular, we obtain an invariant of the subanalytic outer geometry of the associated mixed surfaces, which is determined by the exponents.

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

1 major / 0 minor

Summary. The manuscript claims to give conditions for topological and bi-Lipschitz equivalences within a class of mixed singularities of Pham-Brieskorn type. As a consequence, it constructs infinite families that are topologically trivial but have distinct bi-Lipschitz types. For mixed surfaces in two complex variables, it derives conditions for inner, outer, and ambient bi-Lipschitz equivalences and obtains an invariant of the subanalytic outer geometry determined by the exponents.

Significance. If substantiated with explicit derivations, the work would advance the classification of singularities up to bi-Lipschitz equivalence by separating topological and metric types in the mixed Pham-Brieskorn setting and supplying an exponent-determined invariant for outer geometry.

major comments (1)
  1. No explicit conditions, derivations, or supporting mathematics for the claimed equivalences or the outer-geometry invariant appear in the available text. The central claims therefore cannot be checked against any concrete reduction, example, or proof, leaving the load-bearing steps unverified.

Simulated Author's Rebuttal

1 responses · 0 unresolved

We thank the referee for the report and the opportunity to respond. We address the single major comment below.

read point-by-point responses

  1. Referee: No explicit conditions, derivations, or supporting mathematics for the claimed equivalences or the outer-geometry invariant appear in the available text. The central claims therefore cannot be checked against any concrete reduction, example, or proof, leaving the load-bearing steps unverified.

    Authors: The referee correctly observes that the text made available for review contains no explicit conditions, derivations, proofs, reductions, or examples supporting the claimed equivalences or the outer-geometry invariant. The provided material consists only of the abstract summarizing the intended results. We will therefore revise the manuscript to include the full statements of the conditions for topological and bi-Lipschitz equivalences, the constructions of the topologically trivial but bi-Lipschitz distinct families, the conditions for inner/outer/ambient equivalences of the mixed surfaces, the exponent-determined invariant, and all supporting derivations and examples. revision: yes

Circularity Check

0 steps flagged

No significant circularity identified

full rationale

The abstract and reader's summary present results as conditions and invariants derived from defining exponents in the mixed Pham-Brieskorn form, with no visible self-definitional reductions, fitted inputs renamed as predictions, or load-bearing self-citations. No equations or derivation steps are supplied in the query for inspection, and the skeptic note confirms the full manuscript is unavailable; thus no circular steps can be quoted or exhibited. The derivation chain appears self-contained against external benchmarks based on the given information.

Axiom & Free-Parameter Ledger

0 free parameters · 0 axioms · 0 invented entities

No free parameters, axioms, or invented entities are identifiable from the abstract alone.

pith-pipeline@v0.9.0 · 5610 in / 1153 out tokens · 72970 ms · 2026-05-23T05:05:02.714517+00:00 · methodology

discussion (0)

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

Lean theorems connected to this paper

Citations machine-checked in the Pith Canon. Every link opens the source theorem in the public Lean library.

What do these tags mean?
matches
The paper's claim is directly supported by a theorem in the formal canon.
supports
The theorem supports part of the paper's argument, but the paper may add assumptions or extra steps.
extends
The paper goes beyond the formal theorem; the theorem is a base layer rather than the whole result.
uses
The paper appears to rely on the theorem as machinery.
contradicts
The paper's claim conflicts with a theorem or certificate in the canon.
unclear
Pith found a possible connection, but the passage is too broad, indirect, or ambiguous to say the theorem truly supports the claim.

Reference graph

Works this paper leans on

31 extracted references · 31 canonical work pages

  1. [1]

    A’Campo, Le nombre de Lefschetz d’une monodromie, Indag

    N. A’Campo, Le nombre de Lefschetz d’une monodromie, Indag. Math., 35 (1973), pp. 113–118. Nederl. Akad. Weten- sch. Proc. Ser. A 76

    work page 1973

  2. [2]

    Ara´ujo Dos Santos, Y

    R. Ara´ujo Dos Santos, Y. Chen, and M. Tib ˘ar, Singular open book structures from real mappings , Cent. Eur. J. Math., 11 (2013), pp. 817–828

    work page 2013

  3. [3]

    Ara´ujo Dos Santos, M

    R. Ara´ujo Dos Santos, M. F. Ribeiro, and M. Tib ˘ar, Fibrations of highly singular map germs , Bull. Sci. Math., 155 (2019), pp. 92–111

    work page 2019

  4. [4]

    , Milnor-Hamm sphere fibrations and the equivalence problem , J. Math. Soc. Japan, 72 (2020), pp. 945–957

    work page 2020

  5. [5]

    Ara´ujo Dos Santos, O

    R. Ara´ujo Dos Santos, O. Saeki, and T. O. Souza , Algebraic knots associated with Milnor fibrations , J. Singul., 25 (2022), pp. 30–53

    work page 2022

  6. [6]

    Birbrair , Local bi-Lipschitz classification of 2-dimensional semialgebraic sets , Houston J

    L. Birbrair , Local bi-Lipschitz classification of 2-dimensional semialgebraic sets , Houston J. Math., 25 (1999), pp. 453–472

    work page 1999

  7. [7]

    Birbrair and A

    L. Birbrair and A. Fernandes , Local Lipschitz geometry of real weighted homogeneous surfaces , Geom. Dedicata, 135 (2008), pp. 211–217

    work page 2008

  8. [8]

    Birbrair, A

    L. Birbrair, A. Fernandes, D. T. Lˆe, and J. E. Sampaio, Lipschitz regular complex algebraic sets are smooth, Proc. Amer. Math. Soc., 144 (2016), pp. 983–987

    work page 2016

  9. [9]

    Birbrair and R

    L. Birbrair and R. Mendes , Arc criterion of normal embedding , in Singularities and foliations. geometry, topology and applications, vol. 222 of Springer Proc. Math. Stat., Springer, Cham, 2018, pp. 549–553

    work page 2018

  10. [10]

    P. T. Church and K. Lamotke , Non-trivial polynomial isolated singularities , Indag. Math., 37 (1975), pp. 149–154. Nederl. Akad. Wetensch. Proc. Ser. A 78

    work page 1975

  11. [11]

    J. L. Cisneros-Molina, A. Menegon, J. Seade, and J. Snoussi , Fibration theorems ` a la milnor for analytic maps with non-isolated singularities , S˜ ao Paulo Journal of Mathematical Sciences, (2023), pp. 1–22

    work page 2023

  12. [12]

    J. C. F. Costa, M. J. Saia, and C. H. Soares J ´unior, Bi-Lipschitz G-triviality and Newton polyhedra, G = R, C, K, RV , CV , KV , in Real and complex singularities, vol. 569 of Contemp. Math., Amer. Math. Soc., Providence, RI, 2012, pp. 29–43

    work page 2012

  13. [13]

    Denkowski and M

    M. Denkowski and M. Tib˘ar, Testing Lipschitz non-normally embedded complex spaces, Bull. Math. Soc. Sci. Math. Roumanie (N.S.), 62(110) (2019), pp. 93–100. 14

    work page 2019

  14. [14]

    Dung Trang, Calcul du nombre de cycles ´ evanouissants d’une hypersurface complexe, Ann

    L. Dung Trang, Calcul du nombre de cycles ´ evanouissants d’une hypersurface complexe, Ann. Inst. Fourier, 2 (1973), p. 4

    work page 1973

  15. [15]

    Eyral, Zariski’s multiplicity question—a survey , New Zealand J

    C. Eyral, Zariski’s multiplicity question—a survey , New Zealand J. Math., 36 (2007), pp. 253–276

    work page 2007

  16. [16]

    Fernandes, Z

    A. Fernandes, Z. Jelonek, and J. E. Sampaio, On metric equivalence of the Brieskorn-Pham hypersurfaces, Preprint https://arxiv.org/abs/2404.06922v1, (2024)

    work page arXiv 2024

  17. [17]

    A. C. G. Fernandes and M. A. S. Ruas , Bi-Lipschitz determinacy of quasihomogeneous germs , Glasg. Math. J., 46 (2004), pp. 77–82

    work page 2004

  18. [18]

    N. G. Grulha, Jr. and R. S. Martins , Results on Milnor fibrations for mixed polynomials with non-isolated singu- larities, Bull. Braz. Math. Soc. (N.S.), 52 (2021), pp. 327–351

    work page 2021

  19. [19]

    Kerner, H

    D. Kerner, H. M. l. Pedersen, and M. A. S. Ruas , Lipschitz normal embeddings in the space of matrices , Math. Z., 290 (2018), pp. 485–507

    work page 2018

  20. [20]

    C. T. L ˆe and V. C. o. n. Luhorn ohorn ng , On tangent cones of analytic sets and lojasiewicz exponents , Bull. Iranian Math. Soc., 46 (2020), pp. 355–380

    work page 2020

  21. [21]

    Milnor, Singular points of complex hypersurfaces , vol

    J. Milnor, Singular points of complex hypersurfaces , vol. No. 61 of Annals of Mathematics Studies, Princeton Uni- versity Press, Princeton, NJ; University of Tokyo Press, Tokyo, 1968

    work page 1968

  22. [22]

    Nguyen, M

    N. Nguyen, M. Ruas, and S. Trivedi, Classification of Lipschitz simple function germs , Proc. Lond. Math. Soc. (3), 121 (2020), pp. 51–82

    work page 2020

  23. [23]

    Oka, On mixed Brieskorn variety , in Topology of algebraic varieties and singularities, vol

    M. Oka, On mixed Brieskorn variety , in Topology of algebraic varieties and singularities, vol. 538 of Contemp. Math., Amer. Math. Soc., Providence, RI, 2011, pp. 389–399

    work page 2011

  24. [24]

    , Introduction to mixed hypersurface singularity , in Handbook of geometry and topology of singularities II, Springer, Cham, [2021] ©2021, pp. 403–461

    work page 2021

  25. [25]

    Pichon, An Introduction to Lipschitz Geometry of Complex Singularities , in Introduction to Lipschitz geometry of singularities, vol

    A. Pichon, An Introduction to Lipschitz Geometry of Complex Singularities , in Introduction to Lipschitz geometry of singularities, vol. 2280 of Lecture Notes in Math., Springer, Cham, [2020] ©2020, pp. 167–216

    work page 2020

  26. [26]

    Risler and D

    J.-J. Risler and D. Trotman , Bi-Lipschitz invariance of the multiplicity , Bull. London Math. Soc., 29 (1997), pp. 200–204

    work page 1997

  27. [27]

    M. A. S. Ruas , Basics on Lipschitz geometry , in Introduction to Lipschitz geometry of singularities, vol. 2280 of Lecture Notes in Math., Springer, Cham, [2020] ©2020, pp. 111–155

    work page 2020

  28. [28]

    M. A. S. Ruas, J. Seade, and A. Verjovsky, On real singularities with a Milnor fibration , in Trends in singularities, Trends Math., Birkh¨ auser, Basel, 2002, pp. 191–213

    work page 2002

  29. [29]

    J. E. Sampaio , Bi-Lipschitz homeomorphic subanalytic sets have bi-Lipschitz homeomorphic tangent cones , Selecta Math. (N.S.), 22 (2016), pp. 553–559

    work page 2016

  30. [30]

    Seade, Open book decompositions associated to holomorphic vector fields , Bol

    J. Seade, Open book decompositions associated to holomorphic vector fields , Bol. Soc. Mat. Mexicana (3), 3 (1997), pp. 323–335

    work page 1997

  31. [31]

    Yoshinaga and M

    E. Yoshinaga and M. Suzuki, On the topological types of singularities of Brieskorn-Pham type , Sci. Rep. Yokohama Nat. Univ. Sect. I, (1978), pp. 37–43. Instituto de Ci ˆencias Matematicas e Computac ¸˜ao, Av. Trabalhador S ˜ao-Carlense 400, Centro. Caixa Postal: 668 CEP 13560-970, S ˜ao Carlos SP, Brasil Email address: rabeloinacio@usp.br 15

    work page 1978