Math-13264 · mathematics · Topology

Math-13264

Problem 5A — Is it true that any hypersurface from the space $P(d;N)$ can be connected with a trivial one by a gene…

Status Partially solved · unsolvedmath.comLLM status Open unverified

Top Open Problems Not reported cataloguedPartially solvedOpen

Statement

Definitions and mathematical statement

Problem (Victor Vassiliev, Problem 5A). Is every hypersurface in $P(d;N)$ connected to a trivial hypersurface by a generic path in $P(d;N)$ along which all changes are Morse surgeries decreasing the source's complexity measure?

Here $P(d;N)$ denotes the hypersurface parameter space used in the article; the supplied excerpt does not define it. Let $C$ denote the source's complexity measure and let $\mathcal T(d;N)$ denote its class of trivial hypersurfaces. These are names for missing source definitions, not newly chosen substitutes. The proposed assertion has the following quantifier structure, for each pair $(d,N)$ in the source's range: \[ \forall H\in P(d;N)\quad \exists\gamma:[0,1]\longrightarrow P(d;N),\qquad \gamma(0)=H,\quad\gamma(1)\in\mathcal T(d;N), \] where $\gamma$ is generic and, at every surgery time $t_i$, the only permitted singular transition is a Morse surgery and \[ C\left(\gamma(t_i+\varepsilon)\right)<C\left(\gamma(t_i-\varepsilon)\right) \] for sufficiently small positive $\varepsilon$ on the two regular sides of that transition. A Morse surgery here has the usual meaning of a topology change across an isolated nondegenerate critical event; the particular allowed indices and local conventions must follow the source's hypersurface setting. The demand is for a wholly decreasing path, rather than merely a path with lower endpoint complexity.

A definitive assertion requires the omitted definitions of $P(d;N)$, $C$, "trivial," and generic paths, including the treatment of singular initial hypersurfaces if they are part of $P(d;N)$. The summary places the question in real hypersurface theory and discusses $N=2$, $d\le4$, and partly $d=6$, but does not decide the ambient affine/projective convention or give the complexity formula. No Betti-number formula or other replacement for $C$ is imposed here.

Short English statement

Can every hypersurface in the specified degree and dimension be simplified to a trivial one using only generic Morse surgeries that strictly lower the prescribed complexity at every step? The parameter space, complexity, and trivial targets are not defined in the extracted excerpt.

Sources

  • Local UnsolvedMath registry, permanent ID 10800011, source code catalogue entry; proposer Victor Vassiliev, no proposal year supplied.
  • Victor Vassiliev, A Few Problems on Monodromy and Discriminants, Problem 5A; https://amj.math.stonybrook.edu/html-articles/Files-2015-2024/15-11/. The registry records HTML-structure extraction and access on 2026-07-29; the article has eighteen labeled theorem-style problems.
  • The supplied research summary attributes relevant low-degree component classifications to Vassiliev's degree-four Morse-polynomial isotopy classification and "the 64 sextics," without furnishing bibliographic references in this record.

Catalogue entry

Statement licence: CC-BY-4.0 · Source file

Contributions 0

No attempts yet. Significant partial results and substantial reductions are welcome. Contribute an attempt.