[論文レビュー] Equisingular Deformations of Curves and Surfaces in Threefolds

Mounir Nisse|arXiv (Cornell University)|Mar 2, 2026

Polynomial and algebraic computation被引用数 0

ひとこと要約

tldr: This work develops equisingular deformation theory for curves and surfaces in threefolds, showing maximal cuspidal and nodal behavior is governed by global equisingular directions and remains valid under degenerations via logarithmic semiregularity.

ABSTRACT

We study equisingular deformation problems for curves and surfaces in algebraic families, with particular emphasis on situations where nodal behavior is no longer generic. Extending classical Severi theory, we develop deformation--theoretic criteria ensuring the existence of deformations with isolated singularities of minimal type, including cusps on curves and ordinary double points on curves and surfaces in threefolds. Under unobstructedness and surjectivity assumptions for natural global--to--local maps of normal bundles, we prove maximality results showing that the number of such singularities is governed by the global realizability of equisingular deformation directions rather than by numerical invariants alone. Logarithmic semiregularity allows these results to persist in degenerations with normal crossings special fibers. We further explain how these singularities arise as boundary phenomena of equigeneric Severi strata and outline applications to refined Severi counts via logarithmic and tropical methods.

研究の動機と目的

• Extend Severi-type deformation theory to non-generic singularities (cusps on curves and ordinary double points on curves and surfaces) in higher dimensions.
• Establish criteria ensuring deformations with isolated, minimal-type singularities exist under unobstructedness and global–to–local map surjectivity.
• Show maximality of such singularities is controlled by global realizability of equisingular directions, not solely numerical invariants.
• Incorporate logarithmic geometry to handle degenerations with normal crossings and relate singularities to refined Severi counts.

提案手法

• Develop deformation–theoretic criteria for equisingular deformations on curves and surfaces inside threefolds.
• Utilize normal bundles and logarithmic normal bundles to describe infinitesimal deformations and obstructions.
• Impose unobstructed embedded deformation theory and surjectivity of the global–to–local map from H0(C,N) to local equisingular spaces.
• Apply logarithmic semiregularity to ensure obstructions vanish in degenerations.
• Interpret cuspidal/nodal loci as boundary strata of equigeneric deformation spaces and connect to refined Severi counts via logarithmic/tropical methods.

実験結果

リサーチクエスチョン

• RQ1 Under what conditions do equisingular deformations produce maximal numbers of cusps on curves in threefolds?
• RQ2 When can deformations of curves and surfaces in degenerations realize only ordinary cusps or ordinary double points?
• RQ3 How do logarithmic structures and semiregularity affect the existence and maximality of equisingular deformations in normal-crossings degenerations?
• RQ4 How do cuspidal and nodal phenomena appear as boundary strata within equigeneric Severi spaces across dimensions?

主な発見

• A nodal deformation theorem for curves in threefolds shows maximal number of nodes is achievable under unobstructed embedded deformation theory and surjectivity of the normal bundle restriction map.
• A nodal deformation theorem for surfaces in threefolds asserts deformations in the special fiber can yield general members with the maximal number of ordinary double points, under similar unobstructedness and surjectivity hypotheses.
• Cuspidal deformations in linear systems yield existence and maximality results when the global–to–local map to equisingular cusp directions is surjective and embedded deformations are unobstructed.
• Cuspidal loci arise as boundary components of equigeneric Severi strata, interpreted as collisions of nodes in the equigeneric deformation space.
• Logarithmic semiregularity extends these results to degenerations with simple normal crossings, ensuring maximality persists in families.