🔢 mathematics

Non-degenerate mixed maps and contact structures

This paper investigates the geometry and topology of real analytic mixed maps $\mathbb{C}^n \to \mathbb{C}^k$ by introducing non-degenerate mixed isolated complete intersection singularities, establishing conditions for local Milnor fibrations, and constructing natural contact structures and adapted open books on associated mixed links.

Original authors: Inácio Rabelo, José Seade

Published 2026-05-08

📖 5 min read🧠 Deep dive

CC BY 4.0

Original authors: Inácio Rabelo, José Seade

Original paper licensed under CC BY 4.0 (http://creativecommons.org/licenses/by/4.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 standing in a vast, multi-dimensional garden. In this garden, there are invisible paths and walls defined by mathematical equations. Usually, mathematicians study gardens made of "pure" equations (called holomorphic maps), which are very orderly and predictable. But this paper explores a different kind of garden: one built with "mixed" equations. These mixed equations are like recipes that use both the ingredients themselves and their "mirror images" (complex conjugates).

The authors, Inácio Rabelo and José Seade, are mapping out the shape and structure of these mixed gardens, specifically looking at places where the paths get tangled or pinch together (singularities). Here is a breakdown of their journey using simple analogies:

1. The "Siegel" Garden and the "Covering" Trick

The paper starts by introducing two new ways to build these mixed gardens.

The Siegel Garden: Imagine a spinning top (a linear action) in a high-dimensional room. As it spins, it traces out paths. The authors look at the specific points where these spinning paths just barely touch the surface of a giant sphere surrounding the center. These touching points form a special, smooth shape called a "Siegel complete intersection." It's like finding the perfect balance point where a spinning dancer's hand just grazes a balloon without popping it. This shape has a very special, orderly structure that mathematicians call an "LVM-manifold," which is important in physics and topology.
The Covering Trick: The authors also use a "stencil" method. They take a perfectly smooth, pure equation (a holomorphic map) and run it through a special "mixed covering" filter. This filter twists the equation, turning it into a mixed one. It's like taking a clear glass sculpture and viewing it through a kaleidoscope; the underlying shape is there, but the view is now a mix of the original and its reflection.

2. The "Non-Degenerate" Test (The Stability Check)

In this mathematical garden, some shapes are stable, and some are wobbly. The authors introduce a test called "non-degeneracy."

Think of a house of cards. If you blow on it and it stays standing, it's "non-degenerate." If it collapses, it's "degenerate."

The authors prove that if you build your mixed garden using specific rules (related to something called "Newton polyhedra," which are like blueprints for the equation's complexity), the resulting shape will be stable.
They show that these stable shapes are "Mixed ICIS" (Mixed Isolated Complete Intersection Singularities). In plain English, this means the "tangled" part of the garden only happens at one single point (the origin), and everywhere else, the paths are smooth and well-behaved. This is a big deal because it guarantees the garden has a predictable structure.

3. The "Milnor Fibration" (The Unfolding Map)

Once they know the garden is stable, they ask: "Can we unfold this tangled shape into a smooth, open book?"

In mathematics, a Milnor fibration is like a magical unfolding. Imagine the tangled knot at the center of the garden. If you pull on the strings gently, the knot unravels into a series of smooth, flat pages (fibers) that all share a common spine.
The authors prove that for their stable mixed gardens, this unfolding is always possible. You can always turn the complex, knotted shape into a neat, organized book. This allows them to study the "pages" to understand the "knot."

4. The "Contact Structure" (The Invisible Force Field)

Now, imagine the surface of the garden is covered in an invisible, slippery force field. In math, this is called a contact structure.

For pure, holomorphic gardens, we know exactly how this force field behaves. It's like a well-oiled machine.
The authors investigate whether these mixed gardens also have this special, slippery force field. They define a condition called "holomorphic-like." If a mixed garden behaves enough like a pure one (even though it's mixed), it inherits this special force field.
They prove that if you build your mixed garden using their specific "Siegel" or "Covering" methods, it does have this natural force field. This means the mixed garden, despite being a mix of ingredients, still has the same "feel" and geometric properties as the pure ones.

5. The "Open Book" (The Binding)

Finally, they look at how to organize this force field.

An open book decomposition is a way to describe a 3D shape (or higher) by saying it looks like a book with a spine and pages. The "spine" is a special curve (the link), and the "pages" are the fibers we talked about earlier.
The authors show that for these mixed gardens, you can always find a "spine" and "pages" that fit perfectly with the natural force field. It's like finding the perfect binding for a book so that the pages turn smoothly without tearing the cover.

The Big Conclusion

The paper's main takeaway is that even though these "mixed" maps are more complicated than the pure ones we are used to, they aren't chaotic.

They are stable: If you build them right, they only have one bad spot (the singularity).
They are predictable: They can be unfolded into smooth books (Milnor fibrations).
They feel familiar: They carry the same special "slippery" force fields (contact structures) as the pure, holomorphic gardens.

In short, the authors have shown that by using specific construction methods (like the Siegel domain or mixed coverings), we can create complex, mixed mathematical worlds that are just as orderly, beautiful, and understandable as the pure ones we have studied for decades. They have bridged the gap between the "pure" and the "mixed," showing that the mixed world has its own elegant rules.

Technical Summary: Non-Degenerate Mixed Maps and Contact Structures

1. Problem Statement and Context

The paper investigates the geometry and topology of mixed maps, defined as real analytic maps $F: \mathbb{C}^n \to \mathbb{C}^k$ (with $n > k$ ) that depend on both complex variables $z$ and their conjugates $\bar{z}$ . While the theory of isolated complete intersection singularities (ICIS) is well-established for holomorphic maps, the mixed setting presents distinct challenges and properties.

The primary objectives are:

To construct and characterize two natural families of mixed isolated complete intersection singularities (mixed ICIS).
To extend the notion of Newton non-degeneracy to mixed maps and establish its relationship with the ICIS property, Milnor sets, and the existence of Milnor fibrations.
To investigate contact structures and open book decompositions on links associated with these mixed singularities, specifically comparing "natural" contact structures (induced by the ambient complex structure) with "Milnor fillable" structures (induced via diffeomorphisms from holomorphic links).

2. Methodology

The authors employ a combination of complex geometry, singularity theory, and contact topology. Key methodological components include:

Construction of Mixed ICIS:
- Siegel Maps: Utilizing the space of Siegel leaves of a generic linear action of $\mathbb{C}^k$ on $\mathbb{C}^n$ within the Siegel domain. The zero sets of the associated mixed functions (Hermitian products of vector fields and position vectors) define mixed ICIS.
- Mixed Coverings: Adapting Oka's method of constructing mixed maps via pullbacks of holomorphic maps by homogeneous mixed coverings ( $\phi_{a,b}$ ).
- Mixed Hamm Complete Intersections: Generalizing Hamm's complex ICIS construction to the mixed setting using Pham-Brieskorn type polynomials.
Non-Degeneracy Analysis:
- Extending Khovanskii's and Oka's definitions of Newton non-degeneracy and convenience to mixed maps.
- Utilizing the Curve Selection Lemma to analyze the behavior of real analytic curves near the origin, linking non-degeneracy to the absence of critical points on the zero set away from the origin.
- Defining Milnor convenience to ensure the existence of Milnor fibrations on tubes and spheres.
Contact Topology:
- Analyzing the natural contact structure on links of mixed ICIS by examining the condition $\alpha \wedge (d\alpha)^{n-(k+1)} \neq 0$ , where $\alpha$ is the standard contact form on the sphere.
- Introducing the concept of holomorphic-like and anti-holomorphic-like mixed maps based on the sign of a specific determinant function $D_F(z, \bar{z})$ .
- Constructing open books adapted to these contact structures by modifying the contact form and utilizing argument functions of mixed functions.

3. Key Contributions and Results

A. Constructions of Mixed ICIS

The paper establishes two primary classes of mixed ICIS:

Siegel Complete Intersection Maps: Derived from admissible frames of commuting linear vector fields in the Siegel domain. The regular part of these varieties admits a canonical complex structure and a $\mathbb{C}^*$ -action with a compact quotient, relating them to LVM-manifolds (Levi-flat manifolds).
Mixed Hamm ICIS: Constructed via mixed coverings of complex Pham-Brieskorn polynomials. The authors prove that these define mixed ICIS and are topologically equivalent to their complex counterparts.

B. Non-Degeneracy and Fibrations

Theorem 2.13: A non-degenerate and convenient mixed map germ $F$ with a positive-dimensional zero set is a mixed ICIS.
Theorem 2.28 & 2.29: The authors relate Newton non-degeneracy to Milnor sets ( $M(F)$ ). They prove that if a mixed map is non-degenerate and convenient, the Milnor set intersects the zero set only at the origin ( $M(F) \cap V_F = \{0\}$ ).
Corollary 2.30: Mixed Hamm map germs admit Milnor fibrations on both the tube and the sphere, and these fibrations are smoothly equivalent.

C. Contact Structures and Open Books

Holomorphic-like Maps: The authors define mixed ICIS as strictly holomorphic-like if a specific function $D_F(z, \bar{z})$ is positive near the origin.
Theorem 3.9: If a mixed ICIS is strictly holomorphic-like, its link is a positive contact submanifold of the sphere with the natural contact structure.
Theorem 3.14: Mixed maps that are higher-order deformations of non-degenerate, strongly convenient holomorphic ICIS are contact non-degenerate and admit natural contact structures.
Theorem 3.15: Under specific conditions (involving mixed coverings and pullbacks), the argument function of a mixed component defines an open book decomposition adapted to the natural contact structure on the link.

D. Comparison of Structures

Theorem 4.4: For the family of mixed Hamm ICIS (deformations of complex Hamm maps), the induced Milnor fillable contact structure (obtained via diffeomorphism from the holomorphic link) is isotopic to the natural contact structure defined by the mixed singularity itself.
Corollary 4.3: In the specific case where the link dimension is 3 ( $n-k=2$ ), if the mixed map is strictly holomorphic-like, the two contact structures are isotopic.

4. Significance and Claims

The paper claims to advance the theory of mixed singularities by:

Generalizing Holomorphic Results: Extending classical results regarding ICIS, non-degeneracy, and Milnor fibrations from the holomorphic context to the mixed setting.
Unifying Geometric Structures: Demonstrating that specific classes of mixed singularities (Siegel and Hamm types) possess rich geometric structures, including canonical complex structures on their regular parts and natural contact structures on their links.
Bridging Topology and Geometry: Proving that for mixed Hamm ICIS, the topological equivalence with holomorphic links (established in previous works) extends to the level of contact geometry; the natural contact structure arising from the mixed definition is isotopic to the one induced by the holomorphic model.
Providing Explicit Constructions: Offering concrete methods (Siegel maps, mixed coverings) to generate examples of mixed ICIS that are not algebraic ICIS (i.e., not $C^\infty$ -K-finitely determined), highlighting the substantial differences between mixed and holomorphic settings.

The authors emphasize that these results rely on the specific properties of Newton non-degeneracy and the "holomorphic-like" condition, which ensure the existence of the necessary fibrations and contact structures. The work builds upon the foundational contributions of Oka, Milnor, and others in the field of real and complex singularities.