A transversality theorem for multiple-point crossings under generic linear perturbations with Hausdorff measure estimates

Shunsuke Ichiki

arxiv: 2510.00576 · v3 · pith:KEXK5JVPnew · submitted 2025-10-01 · 🧮 math.GT · math.CA

A transversality theorem for multiple-point crossings under generic linear perturbations with Hausdorff measure estimates

Shunsuke Ichiki This is my paper

Pith reviewed 2026-05-18 11:12 UTC · model grok-4.3

classification 🧮 math.GT math.CA

keywords transversalitymultiple-point crossingsHausdorff measurelinear perturbationsembeddingsMather stability theoremgeometric topology

0 comments

The pith

Generic linear perturbations make multiple-point crossings transversal except on a parameter set with explicit Hausdorff dimension bounds.

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

The paper proves that under generic linear perturbations the set of parameters where multiple-point crossings fail to be transversal has explicit Hausdorff measure bounds, which in turn give upper bounds on its Hausdorff dimension. This strengthens an earlier result that only showed the exceptional set has Lebesgue measure zero. The same estimates support applications to normal crossings, injectivity, and embeddings. A reader cares because the quantitative control lets one refine statements about when maps become embeddings or stable under projection.

Core claim

Under generic linear perturbations the exceptional parameter set for which multiple-point crossings are not transversal admits explicit Hausdorff measure estimates and therefore explicit upper bounds on Hausdorff dimension. The same estimates yield results on normal crossings, injectivity and embeddings, including a refinement of Mather's stability theorem for generic projections whenever the target dimension exceeds twice the source dimension.

What carries the argument

Hausdorff measure estimates on the exceptional set of linear perturbation parameters in the transversality theorem for multiple-point crossings.

If this is right

Normal crossings hold for generic linear perturbations except on a set of controlled Hausdorff dimension.
Injectivity holds under the same generic perturbations except on a set whose dimension is explicitly bounded.
Embeddings are obtained under generic linear perturbations with an explicit Hausdorff-dimension bound on the exceptional parameters.
Mather's stability theorem for generic projections is refined by an explicit Hausdorff-dimension bound when the target dimension is more than twice the source dimension.

Where Pith is reading between the lines

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

The dimension bounds may be usable to check stability numerically for concrete low-dimensional maps.
The same Hausdorff-measure technique could be tested on perturbations that are not strictly linear.
The estimates suggest a possible link between transversality failures and fractal structure in infinite-dimensional parameter spaces.

Load-bearing premise

The linear perturbations are generic inside a suitable function space and the maps are smooth enough for classical transversality theory to apply.

What would settle it

A concrete map together with a linear perturbation family whose bad-parameter set has Hausdorff dimension strictly larger than the stated upper bound would refute the claim.

read the original abstract

We establish a transversality theorem for multiple-point crossings under generic linear perturbations with explicit Hausdorff measure estimates for the exceptional parameter set, and hence explicit upper bounds on its Hausdorff dimension. This strengthens our earlier result, which showed only that the exceptional parameter set has Lebesgue measure zero. As applications, we obtain results on normal crossings, injectivity, and embeddings under generic linear perturbations. The embedding result yields a refinement of Mather's stability theorem for generic projections when the target dimension is more than twice the source dimension, with an explicit upper bound on the Hausdorff dimension of the exceptional set.

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 upgrades a prior Lebesgue measure zero result to explicit Hausdorff measure and dimension bounds on the exceptional set for multiple-point transversality under linear perturbations.

read the letter

This paper's main advance is replacing a measure-zero statement with concrete Hausdorff measure estimates and upper bounds on dimension for the bad parameters. The author applies this to multiple-point crossings, normal crossings, injectivity, and embeddings, then uses the bound to refine Mather's stability theorem for generic projections when the target dimension exceeds twice the source dimension. That quantitative control is the concrete addition over the earlier work cited in the abstract. The approach follows standard jet transversality plus geometric measure theory tools, which fits the setting and avoids obvious circularity or free parameters. The applications read as direct consequences rather than forced extensions. One soft spot is that the bounds themselves may not be optimal and could depend on high smoothness or specific choices in the perturbation space; the abstract does not indicate how tight they are or whether they improve in low dimensions. Without the full derivation it is also unclear if any post-hoc adjustments were needed to close the estimates. Overall the central claim looks internally consistent and the logic chain from transversality to dimension bound holds up on the given outline. This is aimed at geometric topologists and differential geometers who already work with generic projections and stability results. A reader who needs explicit dimension control for further applications or who wants to cite a quantitative version of Mather-type theorems would get direct value. It is coherent enough and adds enough measurable content to deserve a serious referee, even if the estimates require careful verification in review.

Referee Report

1 major / 2 minor

Summary. The paper establishes a transversality theorem for multiple-point crossings under generic linear perturbations, supplying explicit Hausdorff measure estimates (and hence dimension upper bounds) for the exceptional parameter set. This strengthens an earlier result that only proved the exceptional set has Lebesgue measure zero. Applications include statements on normal crossings, injectivity and embeddings under generic linear perturbations, together with a refinement of Mather’s stability theorem for generic projections when the target dimension exceeds twice the source dimension.

Significance. If the estimates are correct, the work supplies a quantitative strengthening of classical jet-transversality results that is potentially useful in geometric topology whenever one needs dimension control on the set of bad projections or embeddings. The explicit Hausdorff bounds and the refinement of Mather’s theorem constitute the main added value over the prior Lebesgue-measure-zero statement.

major comments (1)

The central Hausdorff-measure estimate for the exceptional set is the load-bearing claim; the manuscript must make explicit the precise function space in which the linear perturbations are taken to be generic and the precise smoothness class required on the maps so that the standard transversality machinery applies without additional hypotheses.

minor comments (2)

Notation for the multiple-point crossing condition and the parameter space should be introduced once and used consistently; several passages reuse symbols without redefinition.
The statement of the refinement of Mather’s stability theorem would benefit from an explicit comparison (in a table or remark) with the dimension bounds already present in the literature.

Simulated Author's Rebuttal

1 responses · 0 unresolved

We thank the referee for the positive evaluation of the work and for the constructive major comment. We address the point below and will revise the manuscript to incorporate the requested clarification.

read point-by-point responses

Referee: The central Hausdorff-measure estimate for the exceptional set is the load-bearing claim; the manuscript must make explicit the precise function space in which the linear perturbations are taken to be generic and the precise smoothness class required on the maps so that the standard transversality machinery applies without additional hypotheses.

Authors: We agree that an explicit statement of the function space and smoothness class strengthens the presentation and removes any ambiguity about the applicability of jet transversality. The manuscript works throughout with C^∞ maps of manifolds and takes linear perturbations in the finite-dimensional space of linear maps Hom(R^k, R^n). In the revised version we will add a short paragraph at the start of the preliminaries section stating: all maps are of class C^∞; the linear perturbations are elements of the vector space L(R^m, R^n) equipped with its standard Euclidean structure; and genericity is understood with respect to Lebesgue (hence Hausdorff) measure on this space. This makes the invocation of the standard transversality theorem direct and without extra hypotheses. revision: yes

Circularity Check

0 steps flagged

No significant circularity; derivation is self-contained

full rationale

The paper establishes a new transversality theorem providing explicit Hausdorff measure bounds on exceptional sets for multiple-point crossings under generic linear perturbations. This strengthens the author's prior Lebesgue measure zero result but does not reduce the central claim to that citation or to any fitted input. The proof chain relies on standard jet transversality theory and geometric measure theory estimates, which are externally verifiable and independent of the present paper's specific bounds. No self-definitional loops, ansatz smuggling, or renaming of known results appear in the derivation. The self-citation is incidental and not load-bearing for the new estimates or applications to embeddings and Mather stability.

Axiom & Free-Parameter Ledger

0 free parameters · 2 axioms · 0 invented entities

The work relies on standard background from differential topology and geometric measure theory with no free parameters or invented entities introduced.

axioms (2)

standard math Standard axioms and results of smooth manifold theory and transversality in differential topology
Invoked to guarantee generic properties of maps under linear perturbations.
standard math Basic properties of Hausdorff measures and dimension in Euclidean spaces
Used to obtain explicit estimates and dimension bounds on the exceptional parameter set.

pith-pipeline@v0.9.0 · 5622 in / 1226 out tokens · 36186 ms · 2026-05-18T11:12:11.945199+00:00 · methodology

discussion (0)

Lean theorems connected to this paper

Citations machine-checked in the Pith Canon. Every link opens the source theorem in the public Lean library.

IndisputableMonolith/Foundation/AlexanderDuality.lean alexander_duality_circle_linking unclear

?

unclear
Relation between the paper passage and the cited Recognition theorem.

Theorem 2.3: for s ≥ mℓ−1 + dim X^(d) − codim Δ_d + 1/r the set Σ_d has s-dimensional Hausdorff measure zero
IndisputableMonolith/Cost/FunctionalEquation.lean washburn_uniqueness_aczel unclear

?

unclear
Relation between the paper passage and the cited Recognition theorem.

Application to refinement of Mather stability for ℓ > 2 dim X with explicit Hausdorff dimension bound mℓ + 2 dim X − ℓ

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.