arxiv: 2604.25517 · v1 · submitted 2026-04-28 · 🧮 math.GT · math.AG

Recognition: unknown

Essential tori associated with links of mixed singularities

Benjamin Bode, Eder L. Sanchez Quiceno, Raimundo N. Ara\'ujo dos Santos, Thiago de Paiva

Pith reviewed 2026-05-07 14:15 UTC · model grok-4.3

classification 🧮 math.GT math.AG

keywords mixed singularitieslink complementsessential toriweakly isolated singularitiesnon-hyperbolic linksmixed polynomialsgeometric topologyNewton diagram

0 comments

The pith

The existence of essential tori in complements of links from weakly isolated mixed singularities is detectable directly from analytic properties of the defining mixed polynomial when it is convenient, non-degenerate, and Γ-nice.

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

This paper establishes a direct connection between the algebraic data of mixed polynomials and the topology of their associated links. It proves that, under the stated conditions on the polynomial, one can determine whether the link complement contains essential tori without first identifying the link type itself. The criteria are explicit and computable from the polynomial alone, and they immediately imply effective conditions under which the link exterior is non-hyperbolic. A sympathetic reader sees this as a practical shortcut that turns analytic information into geometric conclusions about link exteriors arising from singularities.

Core claim

We prove that the existence of essential tori in the complements of links arising from weakly isolated mixed singularities can be detected directly from properties of the defining mixed polynomial, provided that it is convenient, non-degenerate and Γ-nice. Our results provide explicit and computable criteria, expressed purely in terms of the polynomial data, that determine the presence of essential tori in the link exterior. In particular, these criteria yield effective conditions ensuring that such links are non-hyperbolic. This approach provides a new method to extract topological information about link complements without requiring an explicit determination of the link type, thereby a new

What carries the argument

The Γ-nice condition on the convenient, non-degenerate mixed polynomial, which directly signals the presence or absence of essential tori in the link exterior from the Newton data of the polynomial.

If this is right

Such links are non-hyperbolic precisely when the polynomial criteria detect essential tori.
Topological features of the link exterior become readable directly from the polynomial without first solving the link classification problem.
The analytic structure of the mixed polynomial supplies computable obstructions to hyperbolicity in these link exteriors.

Where Pith is reading between the lines

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

The same polynomial conditions could be tested on families of examples to produce large tables of non-hyperbolic mixed links.
Similar criteria might be sought for other topological invariants such as essential spheres or incompressible surfaces in the same link complements.
The method offers a route to algorithmic checks of hyperbolicity for singularity links once the Γ-nice property can be decided automatically from the polynomial.

Load-bearing premise

The mixed polynomial must be convenient, non-degenerate, and Γ-nice, and the singularities must be weakly isolated.

What would settle it

An explicit weakly isolated mixed singularity whose convenient, non-degenerate, Γ-nice defining polynomial produces a link complement with no essential tori (or conversely, one that has essential tori despite failing the polynomial criteria) would disprove the detection claim.

Figures

Figures reproduced from arXiv: 2604.25517 by Benjamin Bode, Eder L. Sanchez Quiceno, Raimundo N. Ara\'ujo dos Santos, Thiago de Paiva.

**Figure 1.** Figure 1: The Newton polygon Γ+(f). The face functions are: f∆1 1 (u, u, v, ¯ v¯) = ¯uv6 + v 9 , f∆1 2 (u, u, v, ¯ v¯) = (u 3 − iuu¯ 2 + u 2u¯)v 2 + ¯uv6 , f∆1 3 (u, u, v, ¯ v¯) = u 5 + u 2u¯ 2 v + (u 3 − iuu¯ 2 + u 2u¯)v 2 . The vertices of the Newton boundary are ∆0 = (0, 9), ∆1 = (1, 6), ∆2 = (3, 2), and ∆3 = (5, 0), with associated face functions: f∆0 (u, u, v, ¯ v¯) = v 9 , f∆1 (u, u, v, ¯ v¯) = ¯uv6 , f∆2 (u, … view at source ↗

**Figure 2.** Figure 2: Links associated with ∆1 1 , ∆1 2 , and ∆1 3 . We take 0 < ε1 < ε2 < · · · < εN−1 small and define X1 := {(u, v) ∈ S 3 : 0 < |u| ≤ ε1}, Xi := {(u, v) ∈ S 3 : εi−1 < |u| ≤ εi}, i = 2, 3, . . . , N − 1, XN := {(u, v) ∈ S 3 : εN−1 < |u| < 1}. Define α := {(u, v) ∈ S 3 : u = 0} and β := {(u, v) ∈ S 3 : v = 0}. Note that for every i = 1, 2, . . . , N there exists a diffeomorphism from the interior Xi to C ∗ × S… view at source ↗

**Figure 3.** Figure 3: Nested solid tori V1 ⊂ V2 ⊂ V3 sharing a common core α. The components Li (i = 1, . . . , 4) represent the decomposition of the link Lf = ∪ 4 i=1Li according to the Newton boundary view at source ↗

**Figure 4.** Figure 4: A Whitehead link in a solid torus. The wrapping number is not additive in general. The winding number on the other hand is always additive. Remark 3.8. Let V1 ⊂ V2 ⊂ . . . ⊂ Vn−1 be a set of unknotted nested solid tori and let Wi = S 3\int(Vi). Then V ′ 1 := Wn−1 ⊂ V ′ 2 := Wn−2 ⊂ . . . ⊂ V ′ n−1 := W1 also form a set of unknotted nested solid tori. If the links satisfy Li ⊂ Vi for all i < n and Li ⊂ S 3\V… view at source ↗

**Figure 5.** Figure 5: (A) The behaviour of arg(gi) in a tubular neighbourhood of Li . Each level set is a surface, all of which have the common boundary Li . (B) A positive intersection between Li and a plane t = t∗. The shown colours are the values of arg(gi)(·, t∗). The intersection occurs where the different colours meet, since gi(Li) = 0 does not have a well-defined argument. (C) A negative intersection between Li and a p… view at source ↗

read the original abstract

We establish a direct connection between the analytic data of weakly isolated mixed singularities and the topology of their associated links. More precisely, we prove that the existence of essential tori, topological information, in the complements of links arising from weakly isolated mixed singularities can be detected directly from properties of the defining mixed polynomial, provided that it is convenient, non-degenerate and $\Gamma$-nice. Our results provide explicit and computable criteria, expressed purely in terms of the polynomial data, that determine the presence of essential tori in the link exterior. In particular, these criteria yield effective conditions ensuring that such links are non-hyperbolic. This approach provides a new method to extract topological information about link complements without requiring an explicit determination of the link type, thereby establishing a concrete bridge between the analytic structure of mixed polynomials and the geometric topology of their associated links.

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.

Desk Editor's Note private letter to a colleague

The paper gives explicit criteria from mixed polynomial data to detect essential tori in the link complement for weakly isolated singularities that meet three technical conditions.

read the letter

The main takeaway is that for weakly isolated mixed singularities defined by convenient, non-degenerate, and Γ-nice polynomials, you can check for essential tori in the link exterior straight from the polynomial without first identifying the link type. The criteria also give conditions for non-hyperbolicity in those cases. That direct link from analytic data to topology is the concrete advance here. It sidesteps the usual step of determining the link explicitly, which can be messy for these singularities. The approach is framed as computable and expressed only in polynomial terms, which fits the needs of people who already work with mixed polynomials and want quick topological checks on examples that satisfy the hypotheses. The assumptions are stated up front, so the result is scoped clearly rather than overclaimed. The soft spots are the restrictive hypotheses themselves. Convenience, non-degeneracy, and Γ-niceness plus weak isolation narrow the set of singularities this applies to, and the paper does not appear to discuss how common these cases are or how to handle the rest. Without the full derivations it is also hard to judge whether the criteria are sharp or miss some boundary examples. This is a specialized note for researchers already working on links of singularities in geometric topology and algebraic geometry. Someone outside that niche would not get much from it. I would send it to referees because the claim is precise, the method is new in this setting, and the evidence in the abstract is internally consistent even if the audience is small.

Referee Report

0 major / 3 minor

Summary. The paper proves that the existence of essential tori in the complements of links arising from weakly isolated mixed singularities can be detected directly from properties of the defining mixed polynomial, provided the polynomial is convenient, non-degenerate, and Γ-nice. This yields explicit, computable criteria (expressed purely in polynomial data) that determine the presence of such tori and hence ensure the links are non-hyperbolic, without requiring an explicit determination of the link type.

Significance. If the result holds, the work establishes a concrete bridge between the analytic structure of mixed polynomials and the geometric topology of their links. The provision of explicit, polynomial-data criteria for essential tori is a notable strength, as it supplies a new, computable method for extracting topological information in this setting and advances the study of non-hyperbolic links from singularities.

minor comments (3)

Abstract: the parenthetical phrase '(topological information)' is redundant and disrupts the sentence flow; it can be removed without loss of meaning.
The manuscript would benefit from an explicit statement (perhaps in the introduction or §2) of how the Γ-nice condition is verified in practice for a given polynomial, as this is central to the applicability of the criteria.
Notation for the link exterior and its tori should be introduced consistently in the first section where they appear, to avoid any ambiguity for readers outside the immediate subfield.

Simulated Author's Rebuttal

0 responses · 0 unresolved

We thank the referee for their positive summary and significance assessment of our manuscript, as well as for recommending minor revision. No specific major comments were provided in the report, so there are no individual points requiring detailed response or revision at this stage. We remain available to incorporate any minor changes or clarifications if the editor or referee supplies further details.

Circularity Check

0 steps flagged

No significant circularity in the derivation chain

full rationale

The paper's central result establishes explicit, computable criteria in terms of the mixed polynomial's analytic properties (convenience, non-degeneracy, and Γ-niceness) that detect essential tori in the link complement for weakly isolated mixed singularities. These criteria are stated directly as conditions on the polynomial data itself, without any reduction to fitted parameters, self-referential definitions of the output in terms of the input, or load-bearing self-citations whose content is unverified. The derivation chain is therefore self-contained against external benchmarks and does not collapse any claimed prediction or theorem to its own inputs by construction.

Axiom & Free-Parameter Ledger

0 free parameters · 1 axioms · 0 invented entities

The result rests on standard definitions and theorems from singularity theory and geometric topology; no free parameters, invented entities, or ad-hoc axioms are indicated in the abstract.

axioms (1)

standard math Standard properties of mixed polynomials, links, and essential tori in 3-manifold topology
The proof invokes established concepts in algebraic geometry and knot theory for weakly isolated singularities.

pith-pipeline@v0.9.0 · 5456 in / 1134 out tokens · 51975 ms · 2026-05-07T14:15:17.293583+00:00 · methodology

discussion (0)

Reference graph

Works this paper leans on

14 extracted references

[1]

Akbulut and H

S. Akbulut and H. King. All knots are algebraic.Comment. Math. Helv., 56(3):339–351,
[2]

R. N. Ara´ ujo dos Santos, B. Bode and E. L. Sanchez Quiceno, Links of singularities of inner non-degenerate mixed functions,Bull. Braz. Math. Soc. (N.S.)55(2024), no. 3, Paper No. 34, 49 pp. 8, 11

2024
[3]

Bode, Links of Inner Non-degenerate Mixed Functions, Part II,Bull

B. Bode, Links of Inner Non-degenerate Mixed Functions, Part II,Bull. Braz. Math. Soc. (N.S.)56(2025), no. 4, Paper No. 55. 8, 11

2025
[4]

Elkadi and A

M. Elkadi and A. Galligo, On mixed polynomials of bidegree ( n, 1),Theoret. Comput. Sci.681(2017), 41–53. 27

2017
[5]

Espinel Leal and E

J. Espinel Leal and E. L. Sanchez Quiceno,Topological triviality and link constancy in deformations of Inner Khovanskii non-degenerate map-germs.preprint arXiv 2025. 8

2025
[6]

Milnor,Singular points of complex hypersurfaces

J. Milnor,Singular points of complex hypersurfaces. Princeton University Press, 2016.(Original work published 1968) 3

2016
[7]

G. D. Mostow,Strong rigidity of locally symmetric spaces, Annals of Mathematics Studies, Princeton Univ. Press, 1973. 1

1973
[8]

Oka,Non-degenerate mixed functions.Kodai Math

M. Oka,Non-degenerate mixed functions.Kodai Math. J.l 33.1 (2010): 1-62. 7, 8

2010
[9]

J.35(2012), no

, Intersection theory on mixed curves,Kodai Math. J.35(2012), no. 2, 248–267. 23, 24, 26

2012
[10]

Perron,Le noeud “huit” est algebrique r´ eel.Invent Math 65, 441–451 (1982)

B. Perron,Le noeud “huit” est algebrique r´ eel.Invent Math 65, 441–451 (1982). 2

1982
[11]

Prasad,Strong rigidity of Q-rank 1 lattices, Invent

G. Prasad,Strong rigidity of Q-rank 1 lattices, Invent. Math.21(1973), 255–286. 1

1973
[12]

J. S. Purcell,Hyperbolic knot theory, Vol. 209, American Mathematical Society, 2020. 2, 6

2020
[13]

W. P. Thurston, Three-dimensional manifolds, Kleinian groups and hyperbolic geome- try,Bull. Amer. Math. Soc. (N.S.)6(1982), no. 3, 357–381. 6

1982
[14]

W. P. Thurston,The Geometry and Topology of Three-Manifolds, Princeton lecture notes. 1 R. N. Ara´ujo dos Santos Institute of Mathematics and Computer Science (ICMC) University of S˜ao Paulo (USP), Avenida Trabalhador S˜ao-Carlense, 400 - Centro CEP: 13566-590 - S ˜ao Carlos - SP, Brazil. E-mail:rnonato@icmc.usp.br B. Bode Departamento de Matem´atica Apli...