Generic Linear Projections and Dimensionality Type
Status Open · unsolvedmath.comLLM status Open unverified
Top Open Problems Not reported cataloguedOpenOpenStatement
Definitions and mathematical statement
Write $\tau(V,0)$ for the Zariski dimensionality type of a singularity germ $(V,0)$. This notation names the invariant referred to in the record; its definition and the class of germs on which it is defined are not supplied.The damaged source excerpt indicates projections of the schematic form \[ \pi\colon (k^{r+1},0)\longrightarrow (k^r,0). \] For an admissible projection, write $\Delta_\pi$ for the discriminant locus of its restriction to the germ. Here "admissible" and "discriminant" refer to the intended Zariski projection construction; the record does not specify their hypotheses or conventions.
Question (with unresolved source qualifications). For every singularity germ $(V,0)$ in the intended class satisfying \[ \tau(V,0)\geq 3, \] is a generic linear projection generic in the sense required by Zariski's construction, so that its discriminant $\Delta_\pi$ can be used to compute $\tau(V,0)$?
The scope is all dimensionality types at least three. The record does not supply the definition of dimensionality type, its discriminant computation rule, the ground-field hypotheses, the precise category of singularities, or the parameter space and exceptional set defining a generic linear projection. Consequently, this is a qualified statement of the intended question, not a fully specified quantified conjecture. In particular, no numerical recurrence relating the dimensionality types of $V$ and $\Delta_\pi$ is asserted here.
Short English statement
The question asks whether generic linear projections suffice for the discriminant construction of Zariski dimensionality type for every singularity of type at least three. The supplied record labels this question open, but essential definitions and hypotheses are missing, so the formulation requires source consultation and human mathematical review.Sources
- Local UnsolvedMath registry, permanent ID $30006443$, title Generic Linear Projections and Dimensionality Type, source problem code
catalogue entry; supplied complete source record. No individual proposer is identified. - Supplied report citation: Singularities (2026), Oberwolfach Reports, DOI
10.4171/owr/2025/45, pp. 2413--2490. https://doi.org/10.4171/owr/2025/45. The same report is listed among the supplied literature sources as Oberwolfach Report 45/2025. - Supplied literature source: Zariski dimensionality type. https://math.univ-cotedazur.fr/~parus/publis/JAG1439R1.pdf. Authors and further bibliographic details are not supplied.
- Literature assessment dated exactly
2026-08-22: the supplied curation labels the problem open and reports that the generic-polynomial projection theorem and the dimensionality-type-two case are known, while sufficiency of generic linear projection in type three or higher remains open. This is supplied dated curation, not an independently verified literature assessment; the record requests independent verification of time-sensitive status and cited claims. - The registry labels the statement
corrected_verifiedand describes its changes as repairs to formula delimiters, notation, grammar, and typography that preserve mathematical content and scope. These are supplied editorial labels, not independent mathematical verification.
Statement licence: CC-BY-SA-4.0 · Source file
Contributions 0
No attempts yet. Significant partial results and substantial reductions are welcome. Contribute an attempt.