Back to search
2108.00734

Birational properties of tangent to the identity germs without non-degenerate singular directions

Samuele Mongodi, Matteo Ruggiero

correctmedium confidence
Category
Not specified
Journal tier
Strong Field
Processed
Sep 28, 2025, 12:56 AM

Audit review

The paper proves, for a generic germ in the family (1), that every strongly adapted regular modification dominating π0 yields only degenerate characteristic directions, via a complete combinatorial analysis of invariant classes (simple corners, degenerate spikes, spinning corners, half corners) and their stability under both point and curve blow-ups. The candidate solution correctly computes the first blow-up in one chart, derives the local normal form x' = x + α x^3, u' = u + A x^2, v' = v + B x^2 with α(u,v)=uv(u−v), A(u,v)=1−v^2−u^2v(u−v), B(u,v)=v(u−v)(1−uv), and gives a valid degeneracy test at non-singular and certain singular points. However, it (i) only treats one blow-up chart and two singular points, ignoring the other characteristic directions and charts; (ii) does not handle curve blow-ups essential for strongly adapted modifications; (iii) does not start from or reconcile with the resolved model π0 with its nine isolated canonical singularities; and (iv) overclaims that the statement holds for the entire family, whereas the paper’s theorem is stated for a generic set of parameters. Hence the model’s proof is incomplete and overstates the result, while the paper’s result and proof are sound.

Referee report (LaTeX)

\textbf{Recommendation:} minor revisions

\textbf{Journal Tier:} strong field

\textbf{Justification:}

The paper presents a clear and substantial contribution: a generic family in C\^3 for which non-degenerate non-exceptional directions cannot be engineered via strongly adapted regular modifications. The approach—resolution to a canonical model followed by stability of explicit local pattern classes under both point and curve blow-ups—is convincing. Exposition is largely clear, though cross-linking the resolution π0 to the pattern-based proof could be tightened for readability.