On the discriminant locus of a generic projection
Pith reviewed 2026-05-15 01:15 UTC · model grok-4.3
The pith
The discriminant locus of a generic projection equals the projective dual of a general linear section of the dual variety.
A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.
Core claim
For a smooth projective variety Xsubseteq P^N over an algebraically closed field of characteristic zero, the discriminant locus of a generic projection of X is projectively dual to a general linear section of the dual variety, from which a purity statement for the discriminant follows. Over C, the fundamental group of the complement of the branch divisor arising from generic projection of a normal hypersurface surjects onto a braid group via braid monodromy.
What carries the argument
Projective duality identifying the discriminant of a generic projection with a general linear section of the dual variety.
If this is right
- The discriminant locus is equidimensional and pure.
- The discriminant can be recovered from the geometry of the dual variety via linear sections.
- Purity of the discriminant holds as a direct consequence.
- For normal hypersurfaces over C the braid monodromy gives a surjection from the fundamental group of the complement onto the braid group.
Where Pith is reading between the lines
- The duality may simplify explicit computation of discriminants for low-dimensional varieties such as surfaces or threefolds.
- The same identification could relate the singular loci of projections to classical dual varieties in new families.
- The braid-group surjection suggests that the complement of the branch divisor shares homotopy features with configuration spaces.
- Relaxing smoothness or characteristic-zero assumptions might extend the duality to more singular or positive-characteristic settings.
Load-bearing premise
The projection must be generic and the variety must be smooth and projective over an algebraically closed field of characteristic zero.
What would settle it
An explicit smooth projective variety X together with a generic projection whose discriminant locus fails to be projectively dual to any linear section of the dual variety X star.
read the original abstract
For a smooth projective variety $X\subseteq \mathbb P^N$ over an algebraically closed field of char $0$, we show that the discriminant locus of a generic projection of $X$ is projectively dual to a general linear section of the dual variety, and deduce a purity statement for the discriminant. Over $\mathbb C$, we also show that the fundamental group of the complement of the branch divisor arising from generic projection of a normal hypersurface surjects onto a braid group via braid monodromy.
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
Summary. The manuscript proves that for a smooth projective variety X ⊆ ℙ^N over an algebraically closed field of characteristic zero, the discriminant locus of a generic linear projection of X is projectively dual to a general linear section of the dual variety X*. It deduces a purity statement for this discriminant locus. Over ℂ, for a normal hypersurface, the fundamental group of the complement of the resulting branch divisor surjects onto a braid group via a braid-monodromy construction.
Significance. If the central duality holds, the result gives a clean geometric identification of projection discriminants with linear sections of dual varieties, which is useful for controlling singularities and expected dimensions in algebraic geometry. The purity deduction follows directly from the duality and reflexivity in characteristic zero. The braid-monodromy surjection supplies a concrete topological consequence for complements of branch divisors. The argument rests on standard incidence geometry of tangent hyperplanes and genericity, which are strengths when fully verified.
major comments (2)
- [§2] The duality statement in the abstract (and presumably §2) is load-bearing; the manuscript must explicitly verify that a general linear section of X* remains transverse to the singular locus of X* after projectivization in the target space, including a dimension count for the incidence variety.
- [§3] For the purity statement deduced from the duality, the codimension calculation for the discriminant must be shown to be independent of the choice of generic center; this is only sketched via Bertini and requires an explicit reference to the expected dimension formula.
minor comments (3)
- [Introduction] The introduction recalls reflexivity (X** = X) but does not cite the precise theorem used (e.g., the characteristic-zero case of the biduality theorem); adding the reference would clarify the setup.
- Notation for the linear space L of the projection center and the corresponding linear space of hyperplanes is introduced without a consistent symbol; a short table of notation would improve readability.
- [§4] In the braid-monodromy section, the precise braid group (Artin braid group on how many strands?) should be stated explicitly rather than left as 'a braid group'.
Simulated Author's Rebuttal
We thank the referee for the careful reading and the constructive suggestions. We agree that the two points raised require explicit clarification in the text and will incorporate the requested verifications and references in the revised manuscript.
read point-by-point responses
-
Referee: [§2] The duality statement in the abstract (and presumably §2) is load-bearing; the manuscript must explicitly verify that a general linear section of X* remains transverse to the singular locus of X* after projectivization in the target space, including a dimension count for the incidence variety.
Authors: We agree that an explicit verification strengthens the argument. In the revised version we will add a dedicated paragraph in §2 that computes the dimension of the incidence variety parametrizing pairs (point in linear section, tangent hyperplane) and shows that a general linear section of X* meets the singular locus of X* in the expected dimension (which is empty under our genericity hypotheses). The calculation uses the standard dimension formula for the conormal variety together with the fact that the projection center is chosen generically outside the dual variety. revision: yes
-
Referee: [§3] For the purity statement deduced from the duality, the codimension calculation for the discriminant must be shown to be independent of the choice of generic center; this is only sketched via Bertini and requires an explicit reference to the expected dimension formula.
Authors: We will make the codimension calculation fully explicit. The revised §3 will cite the expected-dimension formula for the discriminant of a generic projection (as in the classical references of Kleiman and Teissier) and verify that the codimension is constant for any sufficiently general center by applying Bertini’s theorem to the incidence correspondence over the Grassmannian of centers. This shows independence of the particular generic choice. revision: yes
Circularity Check
No significant circularity; derivation uses standard projective duality
full rationale
The paper's central statement equates the discriminant of a generic projection to the projectivized dual of a general linear section of X*. This follows directly from the incidence variety of tangent hyperplanes containing the projection center, which is external classical geometry (reflexivity X**=X for smooth X in char 0, plus genericity for purity and transversality). No equation in the provided abstract or description defines the discriminant via the dual section or vice versa; no fitted parameters are renamed as predictions; no self-citation chain is invoked as a uniqueness theorem or ansatz. The result is therefore independent of the paper's own inputs.
Axiom & Free-Parameter Ledger
axioms (1)
- domain assumption X is a smooth projective variety over an algebraically closed field of characteristic zero
Lean theorems connected to this paper
-
IndisputableMonolith/Foundation/RealityFromDistinction.leanreality_from_one_distinction unclear?
unclearRelation between the paper passage and the cited Recognition theorem.
Theorem 4.1: discriminant locus Delta(pi) coincides with dual variety X^K_V of the linear section X_V = X cap PV
-
IndisputableMonolith/Foundation/AbsoluteFloorClosure.leanabsolute_floor_iff_bare_distinguishability unclear?
unclearRelation between the paper passage and the cited Recognition theorem.
Purity via Zariski-Nagata (Theorem 5.3) and clean discriminant for normal X (Lemma 3.6)
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.
discussion (0)
Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.