Non-degenerate mixed maps and contact structures
Pith reviewed 2026-05-18 10:08 UTC · model grok-4.3
The pith
Non-degenerate mixed maps from C^n to C^k are mixed ICIS that admit local Milnor fibrations under suitable conditions and induce contact structures on links.
A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.
Core claim
Partially non-degenerate mixed maps are mixed ICIS and, under suitable conditions, admit a local Milnor fibration; building on this, natural contact structures and adapted open books arise on a class of mixed links, while mixed links diffeomorphic to holomorphic ones allow direct comparison of their induced contact structures.
What carries the argument
Partial non-degeneracy condition on mixed maps, which forces the maps to be mixed ICIS and to support a local Milnor fibration.
If this is right
- Certain mixed links carry natural contact structures together with adapted open books.
- Contact structures on mixed links that are diffeomorphic to holomorphic links become directly comparable.
- Non-degenerate mixed maps supply a new supply of singularities equipped with Milnor fibrations.
- The two natural families of mixed ICIS stand as concrete objects for further geometric study.
Where Pith is reading between the lines
- The construction may supply new examples of contact manifolds whose topology differs from the holomorphic case.
- Explicit polynomial examples could be checked to test how often the suitable conditions hold.
- The method might extend to produce Milnor-type fibrations for other classes of real analytic singularities.
Load-bearing premise
The suitable conditions on non-degenerate mixed maps that are required for the existence of a local Milnor fibration.
What would settle it
An explicit non-degenerate mixed map for which no local Milnor fibration exists would disprove the main claim.
read the original abstract
We study the geometry and topology of real analytic maps $\mathbb{C}^n \to \mathbb{C}^k$, where $n > k$, regarded as mixed maps, defined below. Firstly, we give two natural families of mixed isolated complete intersection singularities, called mixed ICIS, which are interesting on their own. We consider the notion of (partial) non-degeneracy for mixed maps; we prove that these define mixed ICIS and that, under suitable conditions, admit a local Milnor fibration. Then, building on previous constructions due to Oka, we obtain natural contact structures and adapted open books on a particular class of mixed links. Finally, we look at mixed links that are diffeomorphic to holomorphic ones, and we address the problem of comparing different contact structures.
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
Summary. The paper introduces mixed maps as real-analytic functions from C^n to C^k (n>k) that combine holomorphic and anti-holomorphic components. It defines two families of mixed isolated complete intersection singularities (mixed ICIS), introduces (partial) non-degeneracy via adapted Newton-polyhedron or Jacobian conditions, and proves that non-degenerate mixed maps yield mixed ICIS. Under additional hypotheses the authors claim these maps admit a local Milnor fibration. Building on Oka’s constructions, the paper produces contact structures and adapted open books on the associated mixed links and compares these structures with those arising from holomorphic links that are diffeomorphic to the mixed ones.
Significance. If the non-degeneracy criterion and the Milnor-fibration statement can be made fully explicit and verified, the work supplies new examples of contact structures on links of singularities that lie outside the holomorphic category. The comparison between mixed and holomorphic contact structures on diffeomorphic links addresses a natural question in contact geometry and could be useful for distinguishing contact structures up to isotopy.
major comments (2)
- [§4] §4 (or the theorem stating the Milnor-fibration result): the phrase “under suitable conditions” is never replaced by an explicit, checkable list of hypotheses. The non-degeneracy definition alone does not automatically guarantee the transversality or properness needed for the fibration; without a concrete criterion (e.g., a non-vanishing condition on the mixed Jacobian or a properness assumption on the map), the claim that non-degenerate maps admit a local Milnor fibration remains conditional and unverifiable from the given data.
- [§3] Definition of partial non-degeneracy (presumably §3): the adaptation of the Newton-polyhedron condition to the mixed holomorphic/antiholomorphic setting is stated without a precise comparison to the classical holomorphic case. It is unclear whether the mixed polyhedron is required to be convenient or whether the support condition must hold separately for the holomorphic and anti-holomorphic parts; this ambiguity affects the proof that non-degenerate maps are mixed ICIS.
minor comments (2)
- [Introduction] The two families of mixed ICIS are introduced in the abstract and introduction but lack a numbered definition or explicit equations; a formal definition with coordinate expressions would improve readability.
- Notation for the mixed map (f,ḡ) or similar is used inconsistently; a single, clearly declared symbol throughout the text would reduce confusion.
Simulated Author's Rebuttal
We thank the referee for their thorough review and valuable suggestions. We have carefully considered the major comments and will revise the manuscript to address the concerns regarding explicit hypotheses and clarification of definitions. Below we provide point-by-point responses.
read point-by-point responses
-
Referee: [§4] §4 (or the theorem stating the Milnor-fibration result): the phrase “under suitable conditions” is never replaced by an explicit, checkable list of hypotheses. The non-degeneracy definition alone does not automatically guarantee the transversality or properness needed for the fibration; without a concrete criterion (e.g., a non-vanishing condition on the mixed Jacobian or a properness assumption on the map), the claim that non-degenerate maps admit a local Milnor fibration remains conditional and unverifiable from the given data.
Authors: We agree that the Milnor fibration theorem requires a fully explicit statement of the hypotheses to be verifiable. In the revised version of the manuscript, we will specify the suitable conditions explicitly, including a non-vanishing condition on the mixed Jacobian and an assumption ensuring properness of the map. This will replace the vague phrase and make the result precise. revision: yes
-
Referee: [§3] Definition of partial non-degeneracy (presumably §3): the adaptation of the Newton-polyhedron condition to the mixed holomorphic/antiholomorphic setting is stated without a precise comparison to the classical holomorphic case. It is unclear whether the mixed polyhedron is required to be convenient or whether the support condition must hold separately for the holomorphic and anti-holomorphic parts; this ambiguity affects the proof that non-degenerate maps are mixed ICIS.
Authors: The referee correctly identifies an ambiguity in the presentation. The partial non-degeneracy adapts the Newton polyhedron by requiring convenience for the combined support, with separate conditions for the holomorphic and anti-holomorphic terms to ensure the mixed map is an ICIS. We will revise §3 to include a direct comparison with the holomorphic case and clarify that the support conditions apply independently to each component, thereby strengthening the proof. revision: yes
Circularity Check
No significant circularity; claims rest on explicit definitions and external prior results.
full rationale
The paper first introduces two families of mixed ICIS by construction, then defines (partial) non-degeneracy for mixed maps via adapted Newton-polyhedron or Jacobian conditions in the mixed holomorphic/antiholomorphic setting. It proves that non-degenerate maps yield mixed ICIS (a verification step, not a tautology) and states that they admit a local Milnor fibration only under additional suitable conditions that are not claimed to follow automatically from non-degeneracy. The contact-structure and open-book constructions are explicitly attributed to prior work of Oka (an external reference). No equation reduces to its own input by construction, no parameter is fitted on a subset and then relabeled as a prediction, and no load-bearing uniqueness theorem or ansatz is imported via self-citation. The derivation chain therefore remains independent of the target results and is self-contained against standard singularity-theory benchmarks.
Axiom & Free-Parameter Ledger
axioms (1)
- domain assumption Real analytic maps C^n to C^k with n>k can be regarded as mixed maps
invented entities (2)
-
mixed ICIS
no independent evidence
-
non-degenerate mixed maps
no independent evidence
Lean theorems connected to this paper
-
IndisputableMonolith/Foundation/AbsoluteFloorClosure.leanreality_from_one_distinction unclear?
unclearRelation between the paper passage and the cited Recognition theorem.
We consider the notion of (partial) non-degeneracy for mixed maps; we prove that these define mixed ICIS and that, under suitable conditions, admit a local Milnor fibration.
-
IndisputableMonolith/Cost/FunctionalEquation.leanwashburn_uniqueness_aczel unclear?
unclearRelation between the paper passage and the cited Recognition theorem.
Definition 2.4. ... non-degenerate with respect to the Newton boundaries ... differentials Df1_P ... do not satisfy a relation as in (1.2)
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.
discussion (0)
Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.