🔢 mathematics

Inner and Partial non-degeneracy of mixed functions

This paper generalizes the concept of partial non-degeneracy to mixed polynomials, establishing that strong partial non-degeneracy implies isolated singularities and the strong Milnor condition, while demonstrating that, unlike in the holomorphic setting, various non-degeneracy properties are distinct for mixed functions.

Original authors: Benjamin Bode, Eder L. Sanchez Quiceno

Published 2026-04-30

📖 4 min read🧠 Deep dive

CC0 1.0

Original authors: Benjamin Bode, Eder L. Sanchez Quiceno

Original paper dedicated to the public domain under CC0 1.0 (http://creativecommons.org/publicdomain/zero/1.0/). ✨ This is an AI-generated explanation of the paper below. It is not written or endorsed by the authors. For technical accuracy, refer to the original paper. Read full disclaimer

Imagine you are an architect designing a complex, multi-dimensional sculpture. In the world of mathematics, this sculpture is a "mixed polynomial"—a shape defined by equations that use both regular numbers and their "mirror images" (complex conjugates).

The main concern of this paper is singularities. In our analogy, a singularity is a "knot," a "crunch," or a point where the sculpture folds in on itself so tightly that it loses its smooth shape. The mathematicians want to know: Is this knot a single, isolated point, or does it spread out into a messy line or surface?

Here is a breakdown of the paper's journey, using simple metaphors:

1. The Problem: Too Many Ways to Check for Smoothness

For a long time, mathematicians had a set of rules (called "non-degeneracy conditions") to check if a knot was isolated. Think of these rules as different types of quality control tests for a factory product.

Old Test A (Inner Non-degeneracy): Checks if the core of the shape is smooth.
Old Test B (Newton Non-degeneracy): Checks the outer edges of the shape.
The Complex World: In the world of pure complex numbers (holomorphic functions), all these tests were equivalent. If a shape passed Test A, it automatically passed Test B. They were like different names for the same thing.

The Twist: The authors discovered that in the "mixed" world (where we use mirror images), these tests are not the same. A shape can pass one test but fail another. This means the old rules aren't enough to guarantee a clean, isolated knot.

2. The New Solution: "Partial Non-Degeneracy"

To fix this, the authors invented two new, stricter quality control tests:

Partially Non-Degenerate (PND): A test that checks if the shape is smooth when you look at it from specific angles (specifically, when you ignore one of the variables).
Strongly Partially Non-Degenerate (SPND): An even stricter version that checks the shape from all angles.

The Big Discovery:
The authors proved a powerful chain of logic:

If a shape passes the Strongly Partial test, it guarantees that the knot is a single, isolated point.
If it passes the Partial test, it guarantees the knot is "weakly isolated" (meaning it's isolated unless you are standing exactly on the surface of the shape itself).

3. The Surprising Reversal

In the old "pure complex" world, passing the test meant you had an isolated knot, and having an isolated knot meant you passed the test. It was a perfect two-way street.

In this new "mixed" world, the authors found that the street is one-way.

You can have a shape with a perfectly isolated knot that fails the new tests.
They provided examples (like a specific mathematical recipe) where the knot is isolated, but the shape is "degenerate" (flawed) in a way that the new tests catch.

This is a major shift. It means that just because a knot looks isolated, you can't automatically assume the shape follows the nice, predictable rules of the past.

4. When Do the Rules Match Again?

The authors didn't stop at finding the problem; they asked, "When can we trust the rules again?"
They found that if the shape has a specific type of symmetry (called "radially weighted homogeneous"—think of a shape that looks the same no matter how much you zoom in or out, like a fractal), then the rules do line up again. In these special, symmetrical cases, having an isolated knot is exactly the same as passing the "Strongly Partial" test.

5. The "Milnor Fibration" (The Final Polish)

Finally, the paper touches on a concept called the Milnor Fibration. Imagine the knot is the center of a whirlpool. The "Milnor condition" asks if the water swirling around the knot flows in a perfect, predictable pattern (a fibration) without getting tangled.

The authors proved that if a shape passes the Strongly Inner Non-Degenerate test, it guarantees this perfect, predictable flow. This is a big deal because it allows mathematicians to map out the topological "skeleton" of these complex shapes with certainty.

Summary

The Goal: Determine when a mathematical knot is a single point.
The Innovation: Created new "Partial" tests to check for this.
The Finding: In the mixed world, these new tests are stronger than the old ones. Passing them guarantees an isolated knot, but having an isolated knot doesn't always mean you passed the tests.
The Exception: If the shape is perfectly symmetrical (radially weighted), the old and new rules align again.
The Result: We now have a better map for navigating the complex, "mixed" world of polynomial shapes, knowing exactly when we can trust our quality control tests and when we need to be extra careful.

1. Problem Statement

The paper addresses the study of singularities of mixed polynomials $f: \mathbb{C}^2 \to \mathbb{C}$ , which are polynomial maps involving complex variables $u, v$ and their conjugates $\bar{u}, \bar{v}$ . These maps are equivalent to real polynomial maps $\mathbb{R}^4 \to \mathbb{R}^2$ .

While the theory of singularities for holomorphic polynomials is well-established (involving concepts like Newton non-degeneracy, isolated singularities, and Milnor fibrations), the theory for mixed functions is more complex. A key distinction in the mixed setting is the difference between:

Weakly isolated singularities: The origin is a singularity, and there is a neighborhood where the singular set $\Sigma_f$ intersects the zero set $V_f$ only at the origin ( $U \cap \Sigma_f \cap V_f = \{0\}$ ).
Isolated singularities: The origin is a singularity, and there is a neighborhood where the singular set contains only the origin ( $U \cap \Sigma_f = \{0\}$ ).

In the holomorphic case, these two notions are equivalent. In the mixed case, they are not. The authors aim to generalize the concept of partial non-degeneracy (introduced by Mondal for holomorphic polynomials) to mixed functions to better understand the conditions under which these singularities are isolated and when they satisfy the Strong Milnor Condition (SMC).

2. Methodology

The authors employ algebraic and topological methods rooted in the theory of Newton boundaries and face functions.

Newton Boundary and Face Functions: They utilize the Newton polygon/boundary $\Gamma_f$ of the mixed polynomial. For a weight vector $P$ , they define the face function $f_P$ , which consists of the terms of $f$ with minimal radial degree relative to $P$ .
Singular Set Definition: The singular set $\Sigma_f$ is defined as the solution set to a system of three equations involving partial derivatives ( $s_{1,f}, s_{2,f}, s_{3,f}$ ).
Generalization of Non-Degeneracy: The authors introduce new definitions of non-degeneracy specifically for mixed functions:
- Partially Newton Non-Degenerate (PND): Requires that specific systems of equations involving the face functions of the singular set components have no common solutions in $(\mathbb{C}^*)^2$ .
- Strongly Partially Newton Non-Degenerate (SPND): A stricter version requiring no common solutions for the singular set components alone (excluding the function $f$ itself).
Comparison and Counter-Examples: The paper systematically compares these new definitions with existing ones (Oka's Newton non-degeneracy and the authors' previous "Inner Non-Degeneracy"). They construct explicit counter-examples to demonstrate that, unlike in the holomorphic setting, these properties are not equivalent for mixed polynomials.
Curve Selection Lemma: To prove the existence of isolated singularities, they use the curve selection lemma to analyze real analytic curves of critical points approaching the origin.
Milnor Fibration Analysis: They investigate the Strong Milnor Condition by analyzing the Milnor set $M_{\arg f}$ and proving that under certain non-degeneracy conditions, this set is empty near the origin.

3. Key Contributions and Definitions

New Definitions

The paper introduces Partial Newton Non-Degeneracy (PND) and Strongly Partial Newton Non-Degeneracy (SPND) for mixed functions.

PND: Ensures that the face functions of the singular set equations and the function $f$ itself do not share common zeros in the torus $(\mathbb{C}^*)^2$ or on the axes (when one variable is zero).
SPND: Similar to PND but excludes the condition on $f$ itself, focusing purely on the singular set equations.

Theoretical Framework

The authors establish a hierarchy of non-degeneracy conditions:

Inner Non-Degeneracy (IND/SIND): Defined in their previous work, depending on the critical points of face functions of $f$ .
Partial Non-Degeneracy (PND/SPND): The new definitions.

Theorem 1.1: (Strong) Inner Non-Degeneracy implies (Strong) Partial Non-Degeneracy.
Theorem 1.2:

PND implies the existence of a weakly isolated singularity.
SPND implies the existence of an isolated singularity.

Theorem 1.3: The converse implications are false in general for mixed polynomials. Specifically, PND does not imply IND, and SPND does not imply SIND. This contrasts sharply with the holomorphic case where these notions are equivalent.

4. Key Results

1. Equivalence under Specific Conditions

While SPND generally implies an isolated singularity, the reverse is not always true. The authors identify specific conditions under which the equivalence holds:

Semiholomorphic Case (Proposition 4.2): For polynomials holomorphic in one variable, SPND is equivalent to the existence of an isolated singularity if the polynomial satisfies conditions (S-i) and (S-ii), which essentially rule out "tangential" intersections of the argument derivative with zero (degenerate critical points of the argument).
General Mixed Case (Proposition 4.3): Similar equivalence conditions (M-i, M-ii, M-iii) are established for general mixed polynomials.
Corollary 4.4: Provides a criterion to detect non-isolated singularities based on the Newton polygon data.

2. The Strong Milnor Condition (SMC)

The Strong Milnor Condition states that the map $f/|f|$ defines a locally trivial fibration on small spheres.

Theorem 1.4: If a mixed polynomial is Strongly Inner Non-Degenerate (SIND), it satisfies the Strong Milnor Condition.
This result generalizes previous findings for convenient, strongly non-degenerate polynomials and radially weighted homogeneous polynomials.

3. Radially Weighted Homogeneous Polynomials

For this specific class of polynomials, the authors prove a strong equivalence (Proposition 1.5 and Proposition 5.9):

$f$ has an isolated singularity $\iff$ $f$ is SPND $\iff$ $f$ is SIND $\iff$ $f$ satisfies the Strong Milnor Condition.
Furthermore, for these polynomials, the Milnor set $M_{\arg f}$ coincides with the singular set $\Sigma_f \setminus \{0\}$ .

5. Significance

Bridging Complex and Real Singularity Theory: The paper clarifies the structural differences between holomorphic and mixed singularities. It demonstrates that properties which are equivalent in the complex setting (like various non-degeneracy conditions) diverge in the mixed setting, necessitating distinct definitions.
Topological Invariants: By establishing conditions for isolated singularities and the Strong Milnor condition, the paper provides tools to determine the topological type of the singularity (the link) and the existence of Milnor fibrations for a broader class of real polynomial maps.
Explicit Criteria: The introduction of PND and SPND offers computable criteria based on the Newton boundary to verify the isolation of singularities, which is crucial for applications in knot theory and the study of real algebraic varieties.
Counter-Examples: The construction of specific examples (e.g., Example 3.3, 3.5, 4.1) is vital for understanding the limitations of extending holomorphic intuition to mixed functions, preventing erroneous assumptions in future research.

In summary, this work refines the classification of mixed function singularities, introduces robust non-degeneracy conditions (PND/SPND), and establishes precise links between algebraic non-degeneracy, geometric isolation of singularities, and topological fibrations.