Pith. sign in

REVIEW 4 major objections 4 minor 31 references

Bicomplex polar weighted homogeneous polynomials

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

Challenge this review Re-run · record.json Download PDF Read on arXiv ↗

Pith's one-line read The paper establishes global and spherical Milnor fibrations for bicomplex mixed polynomials satisfying a newly defined polar weighted homogeneity, and proves a join theorem for their fibers.

desk verdict A promising bicomplex extension of polar weighted homogeneity, but the central homogeneity identity is internally inconsistent as written, and a key vector-field lemma has a dimension mismatch. read the letter →

arxiv 2506.00255 v1 pith:YZL2KQ4F submitted 2025-05-30 math.AG

Yesenia Bravo , Inácio Rabelo , Agustín Romano-Velázquez This is my paper
classification math.AG MSC 32S5530G3532C1814B05
keywords bicomplexmixedpolynomialspolarweightedhomogeneityMilnorfibrationsphericaljointheoremholomorphicfunctionszerodivisorsPham-Brieskorn
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 claims that a large part of Milnor's fibration picture survives in the four-dimensional bicomplex algebra: real polynomial maps $\mathbb{R}^{4n}\to\mathbb{R}^4$ written in bicomplex variables and their conjugates, called bicomplex mixed polynomials, fiber their sphere complements once they satisfy a newly defined polar weighted homogeneity condition. The authors define that condition through a $BC^*$-action with radial, polar, and complex polar weights, and use it to prove global fibrations over the nonzero-divisor set $BC^*$ and spherical fibrations over the complex unit circle $S^1_{\mathbb{C}}$ and over $S^3_0$, the unit sphere minus the zero divisors. They also prove a bicomplex analogue of Milnor's fibration theorem for bicomplex holomorphic germs and a join theorem giving the homotopy type of the fiber of a sum of two polar weighted homogeneous polynomials on separable variables. A reader should care because these results move a central tool of singularity theory from complex polynomials to real maps with a commutative, zero-divisor-rich algebraic structure, and because the join theorem turns into explicit homotopy-type computations for bicomplex Pham-Brieskorn and cyclic polynomials.

What carries the argument

The load-bearing mechanism is the polar $BC^*$-action of Definition 4.3: with radial weights $t_i$, polar weights $p_i$, and complex polar weights $u_i$, it sends each coordinate $Z_i$ to $s^{t_i}e^{ip_i\theta}e^{ju_i\Theta}Z_i$ and acts on the three conjugates $\hat Z_i,\tilde Z_i,\bar Z_i$ with matching sign changes. The homogeneity identity (4.2) is the engine: differentiating it with respect to $s,\theta,\Theta$ (and to the second angle in the paper's notation) yields four Euler-type equations that force the orbit tangent vectors $V_r,V_\theta,V_\Theta$ to map to four linearly independent directions in the target, which is what makes every nonzero divisor a regular value and gives transversality to spheres. The idempotent representation $Z=z_1e+z_2e^\dagger$ is the other essential device: it reduces bicomplex holomorphic maps to pairs of complex holomorphic maps and transfers the classical Milnor arguments to the bicomplex setting.

What would settle it

Take a mixed Pham-Brieskorn example satisfying the paper's condition (4.3) with $b_i\neq d_i$, so that Example 4.8 declares it polar weighted homogeneous with both $d$ and $d'$ nonzero. Substitute the single-angle action of Definition 4.3 into identity (4.2) and compute the derivatives in the two angle variables appearing in (4.2): the left side has no independent second-angle dependence, while the right side carries $e^{jd\Theta}e^{jd'\Theta}$, so the identity can hold only under a constraint such as $d+d'=0$ or a vanishing Euler sum. Checking whether any nonzero polynomial with $d\neq d'$ satisfies this constraint, and recomputing the rank of $DF_Z$ along the orbit, would settle whether the fibration theorems apply to the full class claimed.

Watch

Extended reading notes

Core claim

On the paper's own terms, the central discovery is that polar weighted homogeneity is the right bicomplex generalization of weighted homogeneity. If a bicomplex mixed polynomial $F$ satisfies identity (4.2) for a $BC^*$-action that combines radial scaling $s$, a first complex angle $e^{i\theta}$, and a complex-angle rotation $e^{j\Theta}$, then the complement of $V_F=F^{-1}(S)$ fibers over $BC^*$, and for every $\epsilon>0$ the sphere complement $S^{4n-1}_\epsilon\setminus K_\epsilon$ fibers both over $S^1_{\mathbb{C}}$, via $\varphi(Z)=F(Z)/\|F(Z)\|_i$, and over $S^3_0$, via $F(Z)/\|F(Z)\|$. The same spherical fibration over $S^1_{\mathbb{C}}$ is proved for bicomplex holomorphic germs, with the link $K_\epsilon$ identified with the link of the holomorphic product $f_1f_2$ and hence $(2n-2)$-connected. Finally, the fiber of $G(Z)+H(W)$ is shown to have the homotopy type of the join $G^{-1}(1)*H^{-1}(1)$, which yields explicit bouquets of spheres for bicomplex mixed Pham-Brieskorn polynomials.

Load-bearing premise

The construction rests on Definition 4.3 being a well-defined action, but that action is parameterized by a single complex angle while the homogeneity identity (4.2) uses two independent complex angle variables with separate weights $d$ and $d'$, and the paper never reconciles the mismatch.

Editorial extensions

If this is right

  • For every bicomplex polar weighted homogeneous polynomial $F$, the complement $\mathbb{BC}^n\setminus V_F$ fibers over $BC^*$, and for arbitrary $\epsilon>0$ the sphere complement $S^{4n-1}_\epsilon\setminus K_\epsilon$ fibers over both $S^1_{\mathbb{C}}$ and $S^3_0$.
  • Bicomplex holomorphic germs satisfy a Milnor-type fibration theorem: the map $F/\|F\|_i$ fibers $S^{4n-1}_{BC,\epsilon}\setminus K_\epsilon$ over $S^1_{\mathbb{C}}$ for small $\epsilon$, and the link $K_\epsilon$ is the link of $f_1f_2$, hence $(2n-2)$-connected.
  • For separable sums $F=G+H$, the fiber $F^{-1}(1)$ is homotopy equivalent to the join $G^{-1}(1)*H^{-1}(1)$; in the bicomplex mixed Pham-Brieskorn case this gives a bouquet of $n-1$ spheres whose number is explicitly computed from the monomial exponents.
  • The spherical fibrations are compatible: $S^{4n-1}_\epsilon\setminus K_\epsilon$ maps to $S^3_0$ and then to $S^1_{\mathbb{C}}$, and the composition is the $S^1_{\mathbb{C}}$-valued fibration.
  • In contrast with the complex setting, the tube fibration and the spherical fibration for bicomplex maps are not equivalent, because their total spaces have different dimensions.

Reading between the lines

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

  • Editorial inference: if the two-angle ambiguity is resolved by forcing $d=d'$ for examples that genuinely use both angles, then Theorems 5.5 and 5.6 survive only for a restricted subclass; the examples in Section 4.3 would need a re-check of which monomials satisfy the corrected condition.
  • Editorial inference: the join theorem suggests a computable invariant: for any bicomplex polar weighted homogeneous $F$ that splits as a sum on separable variables, the reduced homology of $F^{-1}(1)$ should be computed by the join formula, the shifted tensor product of the reduced homologies of the two fiber factors; testing this on the mixed cyclic example's $*_{i=1}^m T^2$ decomposition would b
  • Editorial inference: because the discriminant of a polar weighted homogeneous bicomplex polynomial is a union of lines through the origin, the spherical fibration of Theorem 5.6 may persist for real analytic maps with the same linear-discriminant property and a compatible $BC^*$-action; perturbing a polynomial by higher-degree terms and checking whether the transversality and fibration property re
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 introduces bicomplex mixed polynomials—real polynomial maps R^{4n}→R^4 written in bicomplex variables and their three conjugations—and proposes a notion of polar weighted homogeneity for them. The authors claim that this notion yields global and spherical Milnor fibrations (Theorems 5.5 and 5.6), a bicomplex holomorphic analogue of Milnor's fibration theorem (Theorem 3.1), and a Join-type theorem for separable-variable polynomials (Theorem 6.1). The paper also contains expository material on bicomplex vector calculus and several worked examples, such as bicomplex Pham–Brieskorn and cyclic polynomials. The central results are meant to generalize the complex mixed-polynomial theory of Cisneros-Molina [4] to the four-dimensional commutative algebra BC.

Significance. If the main results were correct, the paper would provide a natural extension of mixed-polynomial singularity theory to a wider algebraic setting and would introduce new examples of real polynomial maps with Milnor fibrations. The bicomplex viewpoint is potentially fertile, and the idempotent representation used throughout suggests a concrete connection to classical complex mixed polynomials. The paper also offers a self-contained presentation of bicomplex vector calculus, which may be useful to other researchers. However, the central definition of polar weighted homogeneity is internally inconsistent, and the proof of the bicomplex holomorphic fibration contains a dimension gap. As written, the main theorems are not established, so the promise of the framework is not realized in this manuscript.

major comments (4)
  1. [§4.2, Definition 4.4, Eq. (4.2)] The homogeneity identity (4.2) quantifies over two independent complex angles Θ and Θ′ on the right-hand side, while the polar BC∗-action in Definition 4.3 depends on only one complex angle Θ. If d′ ≠ 0, the left-hand side of (4.2) is independent of Θ′ but the right-hand side varies with e^{j d′ Θ′}; hence no nonconstant polynomial can satisfy the identity for all Θ′. The Euler equations displayed immediately after (4.2) confirm that the authors intend to differentiate with respect to both Θ and Θ′, which contradicts the one-parameter action. This makes the definition of polar weighted homogeneity ill-posed and invalidates the examples in §4.3 (for instance, Example 4.8) and the fibrations in §5 that use both weights d and d′.
  2. [§3, Lemma 3.4 and Lemma 3.3] The proposed vector field W(z1,z2) = W1(z1)e + W2(z2)e† is defined only on the product of the two spheres S^{2n-1}_{ε/√2} × S^{2n-1}_{ε/√2}, which is a proper subset of the full sphere S^{4n-1}_{BC,ε}. The transversality statements in Lemma 3.3 concern the two component spheres separately, not the full sphere, so they do not imply that φ is a submersion on S^{4n-1}_{BC,ε}. Consequently, Lemma 3.4 does not produce a complete vector field on the required sphere, and Theorem 3.1 is not proven as written.
  3. [§5, Proposition 5.2] The proof claims that the three orbit vectors V_r, V_θ, V_Θ generate a real space of dimension 4, but the complex angle Θ contributes two real directions (corresponding to real and imaginary parts of Θ), and the proof does not correctly handle this, nor does it reconcile the appearance of both d and d′ with the one-parameter action. The conclusion that every U ∈ BC∗ is a regular value is therefore not established, and this is a load-bearing step for the fibration theorems in §5.
  4. [§5, Theorems 5.5 and 5.6] The proofs of the spherical fibrations rely on the local trivializations involving e^{j Θ/d} e^{j Θ/d′} and on the verification of transversality in Lemma 5.4. These arguments inherit the ambiguity of Definition 4.4: the action has only one complex angle, so the two-angle exponentials in the trivializations are not defined. Moreover, the proof of Theorem 5.6 invokes [5, Theorems 2.13 and 2.16] but the hypotheses of those theorems (d-regularity and linear discriminant) are not substantiated, given the flaws in Proposition 4.6 and Lemma 5.4. Thus the main fibrations are not established.
minor comments (4)
  1. [§1.1] The set S^1_C is called the complex unit circle, but it is isomorphic to C∗ as a complex Lie group; this terminology may mislead readers into thinking it is a compact circle.
  2. [§4.3, Example 4.8] The displayed transformation formula for a monomial uses a single complex angle Θ on the right, whereas Definition 4.4 requires two angles; this further illustrates the inconsistency in the definition.
  3. [§5, Proposition 5.3] The local trivialization uses factors e^{j Θ/d} and e^{j Θ/d′}; if d = 0 or d′ = 0, the notation 'read as constant equal to 1' is not sufficient to make the map well-defined, because the exponents become undefined.
  4. [§3, Corollary 3.7] The condition that h1 and h2 have isolated singularity at the origin is stronger than the preceding discussion of isolated critical values, and the proof does not explain how the stated bouquet structure follows from the cited references without additional assumptions.

Circularity Check

0 steps flagged · score 2.0 of 10

No significant circularity; the bicomplex fibration theorems are derived via explicit trivializations or external results, with only a minor non-load-bearing self-citation.

full rationale

The central derivation chain is self-contained rather than circular. Definition 4.3 introduces a polar BC*-action; Definition 4.4 defines polar weighted homogeneity via Eq. (4.2); Proposition 5.2 derives regular values from the resulting Euler identities; Lemma 5.4 establishes transversality; Theorem 5.5 constructs explicit local trivializations over S^1_C; and Theorem 5.6 invokes [5, Theorems 2.13 and 2.16] by Cisneros-Molina, Menegon, Seade, and Snoussi, which is external to the present authors and does not depend on the bicomplex construction. Thus the fibrations are not equivalent to their inputs by construction, and no fitted parameter is relabeled as a prediction. The only self-citation involving a present author is [6] (Cisneros-Molina and Romano-Velazquez), used in Proposition 4.6 and Example 4.9; neither use is load-bearing for the main fibration theorems. A separate well-posedness concern exists: Eq. (4.2) quantifies over two complex angle variables while the action in Definition 4.3 has one, and the subsequent Euler equations differentiate in both; this is a possible inconsistency in the definition, not a circularity reduction, so it does not raise the circularity score.

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

The paper introduces no fitted parameters. It relies on standard theorems in singularity theory and complex analysis, plus a domain assumption about the polar action that is not fully specified. The polar BC*-action is a new mathematical object whose consistency is not established, so it is listed as an invented entity without independent evidence.

assumptions (5)
  • standard math Milnor fibration theorem for complex holomorphic maps
    Used to guarantee fibrations for the component functions f1 and f2 in Section 3 and as the base case in Section 5.
  • standard math Ehresmann fibration theorem
    Invoked in Theorem 3.8 and Section 5 to conclude local triviality from submersions.
  • standard math Bertini-Sard theorem
    Used in Section 3 to ensure f1 and f2 have isolated critical values at zero.
  • standard math Hartogs' theorem for several complex variables
    Used in Corollary 2.6 to conclude bicomplex holomorphy from separate holomorphy.
  • domain assumption The polar representation BC* is a valid global coordinate system with parameters (s, theta, Theta)
    The polar action in Definition 4.3 depends on this representation; the paper does not prove that the action is well-defined when multiple angle variables are introduced.
invented entities (1)
  • Polar BC*-action with radial, polar, and complex polar weights
    purpose: Defines polar weighted homogeneity and provides the scaling used to construct trivializations of fibrations
    The action is introduced in Definition 4.3, but its well-definedness as an action of the four-dimensional group BC* is ambiguous because the homogeneity identity (4.2) uses two complex angle variables while the polar form of BC* has only one.

how reviews work

0 comments
Cite this review

Pith. "Pith review of Bicomplex polar weighted homogeneous polynomials." pith.science (2026). https://pith.science/paper/YZL2KQ4F

@misc{pith2026250600255,
  author       = {Pith},
  title        = {Pith review of: Bicomplex polar weighted homogeneous polynomials},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/YZL2KQ4F}},
  note         = {Machine review of arXiv:2506.00255}
}
abstract

We study the topology of real polynomial maps $\mathbb{R}^{4n} \longrightarrow \mathbb{R}^{4}$ expressed in terms of bicomplex variables and their conjugates, which we refer to as bicomplex mixed polynomials. We introduce the notion of polar weighted homogeneity, a property that generalizes the concept of weighted homogeneity in the complex setting. This leads to the existence of global and spherical Milnor fibrations. Moreover, we include a discussion on bicomplex vector calculus, a bicomplex holomorphic analogue of the Milnor fibration theorem, and a theorem of Join type that describes the homotopy type of the fibers of certain polynomials on separable variables. This extends previous works on mixed polynomials in complex variables and their conjugates.

Discussion (0). Sign in to comment.

Reference graph

Works this paper leans on

31 extracted references · 30 canonical work pages

  1. [4]

    J. L. Cisneros-Molina, Join theorem for polar weighted homogeneous singularities , in Singularities II, vol. 475 of Contemp. Math., Amer. Math. Soc., Providence, RI, 2008, pp. 43–59

    work page 2008

  2. [1]

    Is the composition of two bundle projections necessarily a bundle projection? , MathOverflow: http:mathoverflow.net/q/ 74722

    work page

  3. [2]

    Aguilar-Cabrera and J

    H. Aguilar-Cabrera and J. L. Cisneros-Molina , Geometric viewpoint of Milnor’s fibration theorem , in Introduction to Lipschitz geometry of singularities, vol. 2280 of Lecture Notes in Math., Springer, Cham, [2020] ©2020, pp. 1–43

    work page 2020

  4. [3]

    Bravo Ortega, L

    Y. Bravo Ortega, L. F. Res ´endis Ocampo, and L. M. Tovar S ´anchez, Cousin ’s problems I and II: the bicomplex case , Bol. Soc. Mat. Mex. (3), 29 (2023), pp. Paper No. 99, 17

    work page 2023

  5. [5]

    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

  6. [6]

    J. L. Cisneros-Molina and A. Romano-Vel ´azquez, Classification of isolated polar weighted homogeneous singularities , in Singularities in geometry, topology, foliations and dynamics, Trends Math., Birkh¨ auser/Springer, Cham, 2017, pp. 77–104

    work page 2017

  7. [7]

    J. L. Cisneros-Molina, J. Seade, and J. Snoussi , Refinements of Milnor’s fibration theorem for complex singularities , Adv. Math., 222 (2009), pp. 937–970

    work page 2009

  8. [8]

    Colombo, I

    F. Colombo, I. Sabadini, and D. C. Struppa, Bicomplex holomorphic functional calculus, Math. Nachr., 287 (2014), pp. 1093– 1105

    work page 2014

Show all 31 references
  1. [9]

    Colombo, I

    F. Colombo, I. Sabadini, D. C. Struppa, A. V ajiac, and M. B. V ajiac, Singularities of functions of one and several bicomplex variables, Ark. Mat., 49 (2011), pp. 277–294

    2011

  2. [10]

    Gluck, F

    H. Gluck, F. W arner, and W. Ziller , Fibrations of spheres by parallel great spheres and Berger’s rigidity theorem , Ann. Global Anal. Geom., 5 (1987), pp. 53–82

    1987

  3. [11]

    R. C. Gunning and H. Rossi, Analytic functions of several complex variables , AMS Chelsea Publishing, Providence, RI, 2009. Reprint of the 1965 original

    2009

  4. [12]

    E. J. N. Looijenga, Isolated singular points on complete intersections , vol. 77 of London Mathematical Society Lecture Note Series, Cambridge University Press, Cambridge, 1984

    1984

  5. [13]

    M. E. Luna-Elizarrar ´as, M. Shapiro, D. C. Struppa, and A. V ajiac, Bicomplex holomorphic functions , Frontiers in Mathe- matics, Birkh¨ auser/Springer, Cham, 2015. The algebra, geometry and analysis of bicomplex numbers

    2015

  6. [14]

    D. B. Massey, Real analytic Milnor fibrations and a strong lojasiewicz inequality, in Real and complex singularities, vol. 380 of London Math. Soc. Lecture Note Ser., Cambridge Univ. Press, Cambridge, 2010, pp. 268–292

    2010

  7. [15]

    McKay, Morphisms of Cartan connections , arXiv preprint arXiv:0802.1473, (2010)

    B. McKay, Morphisms of Cartan connections , arXiv preprint arXiv:0802.1473, (2010)

    2010 arXiv

  8. [16]

    Milnor , Singular points of complex hypersurfaces , vol

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

    1968

  9. [17]

    Oka , On the homotopy types of hypersurfaces defined by weighted homogeneous polynomials , Topology, 12 (1973), pp

    M. Oka , On the homotopy types of hypersurfaces defined by weighted homogeneous polynomials , Topology, 12 (1973), pp. 19–32

    1973

  10. [18]

    J., 31 (2008), pp

    , Topology of polar weighted homogeneous hypersurfaces, Kodai Math. J., 31 (2008), pp. 163–182

    2008

  11. [19]

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

    2021

  12. [20]

    Pham , Formules de Picard-Lefschetz g´ en´ eralis´ ees et ramification des int´ egrales, Bull

    F. Pham , Formules de Picard-Lefschetz g´ en´ eralis´ ees et ramification des int´ egrales, Bull. Soc. Math. France, 93 (1965), pp. 333–367

    1965

  13. [21]

    G. B. Price , An introduction to multicomplex spaces and functions , vol. 140 of Monographs and Textbooks in Pure and Applied Mathematics, Marcel Dekker, Inc., New York, 1991. With a foreword by Olga Taussky Todd

    1991

  14. [22]

    L. F. Res´endis O., G. Y. T´ellez S., and L. M. Tovar S., Directional derivatives and Stolz condition for bicomplex holomorphic functions, in Current trends in analysis, its applications and computation, Trends Math. Res. Perspect., Birkh¨ auser/Springer, Cham, 2022, pp. 201–207

    2022

  15. [23]

    L. F. Res ´endis O, L. M. Tovar S, and Y. Bravo O , Conjugate complex harmonic functions , Arab. J. Math. (Springer), 12 (2023), pp. 667–684

    2023

  16. [24]

    J. D. Riley , Contributions to the theory of functions of a bicomplex variable , Tohoku Math. J. (2), 5 (1953), pp. 132–165

    1953

  17. [25]

    Rochon and S

    D. Rochon and S. Tremblay , Bicomplex quantum mechanics. I. The generalized Schr¨ odinger equation, Adv. Appl. Clifford Algebr., 14 (2004), pp. 231–248

    2004

  18. [26]

    , Bicomplex quantum mechanics. II. The Hilbert space , Adv. Appl. Clifford Algebr., 16 (2006), pp. 135–157

    2006

  19. [27]

    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

    2002

  20. [28]

    Ryan, Complexified Clifford analysis , Complex Variables Theory Appl., 1 (1982/83), pp

    J. Ryan, Complexified Clifford analysis , Complex Variables Theory Appl., 1 (1982/83), pp. 119–149

    1982

  21. [29]

    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

    1997

  22. [30]

    Segre, Le rappresentazioni reali delle forme complesse e gli enti iperalgebrici , Math

    C. Segre, Le rappresentazioni reali delle forme complesse e gli enti iperalgebrici , Math. Ann., 40 (1892), pp. 413–467

  23. [31]

    Spivak, Calculus on manifolds

    M. Spivak, Calculus on manifolds. A modern approach to classical theorems of advanced calculus , W. A. Benjamin, Inc., New York-Amsterdam, 1965. 19 Instituto de Matem´aticas, Unidad Cuernavaca, Universidad Nacional Aut´onoma de M´exico, A venida Universidad s/n, Colo- nia Loma...

    1965

Pith tools

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