A matrixwise approach to unexpected hypersurfaces

Brian Harbourne; Grzegorz Malara; Halszka Tutaj-Gasinska; Justyna Szpond; Lucja Farnik; Marcin Dumnicki

arxiv: 1907.04832 · v1 · pith:N2GJESOBnew · submitted 2019-07-10 · 🧮 math.AG

A matrixwise approach to unexpected hypersurfaces

Marcin Dumnicki , Lucja Farnik , Brian Harbourne , Grzegorz Malara , Justyna Szpond , Halszka Tutaj-Gasinska This is my paper

Pith reviewed 2026-05-24 23:24 UTC · model grok-4.3

classification 🧮 math.AG

keywords unexpected hypersurfacesBMSS dualitydeterminantshomogeneous formsprojective spacevanishing conditionsalgebraic geometryP^n x P^n

0 comments

The pith

When an unexpected hypersurface has actual dimension one, BMSS duality holds because it arises as a matrix determinant.

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

The paper establishes a matrix-based method for studying unexpected hypersurfaces in projective space over fields of characteristic zero. It focuses on the case where the actual dimension of the space of forms with given vanishing conditions is exactly one, meaning there is a unique such hypersurface. By realizing these hypersurfaces as determinants of matrices whose entries are homogeneous forms on P^n times P^n, the authors show that a version of BMSS duality follows directly from basic properties of determinants. A sympathetic reader would care because this supplies a uniform algebraic reason for the duality in all such one-dimensional cases, extending earlier verifications that were limited to plane curves and certain cones.

Core claim

Working over a field of characteristic zero, the authors study hypersurfaces in P^n x P^n defined by determinants. They apply their results to unexpected hypersurfaces in the case that the actual dimension is 1 (i.e., there is a unique unexpected hypersurface). In this case, they show that a version of BMSS duality always holds, as a consequence of fundamental properties of determinants.

What carries the argument

Determinants of matrices of homogeneous forms on P^n x P^n, which realize the hypersurfaces and transmit determinant identities to the vanishing conditions.

If this is right

When the actual dimension is one, the unique unexpected hypersurface satisfies the BMSS duality relation.
The duality follows immediately from the alternating property and other algebraic identities of the determinant.
The same argument applies uniformly in any dimension n, covering both the previously known cases of plane curves and cones and all additional matrix-realizable examples.
The approach reduces questions about independence of vanishing conditions to rank computations on the defining matrix.
Previous partial results on BMSS duality are recovered as special cases of the determinant construction.

Where Pith is reading between the lines

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

The matrix method might extend to actual dimension greater than one if the space of forms can still be parametrized by a single determinant or a small number of them.
It could suggest a computational test for unexpectedness by checking whether the relevant ideal or linear system admits a determinantal representation.
Similar determinantal techniques might clarify other duality statements in the literature on fat points or higher-multiplicity schemes.
The construction on P^n x P^n hints at a possible correspondence between unexpected hypersurfaces and certain degeneracy loci of vector bundles.

Load-bearing premise

The hypersurfaces under study can be realized as determinants of matrices of homogeneous forms on P^n x P^n.

What would settle it

An explicit example of a unique unexpected hypersurface in some P^n whose vanishing conditions cannot be realized by any matrix of homogeneous forms, or for which the predicted BMSS duality relation fails to hold.

read the original abstract

The aim of this note is to give a generalization of some results concerning unexpected hypersurfaces. Unexpected hypersurfaces occur when the actual dimension of the space of forms satisfying certain vanishing data is positive and the imposed vanishing conditions are not independent. The first instance studied were unexpected curves in the paper by Cook II, Harbourne, Migliore, Nagel. Unexpected hypersurfaces were then investigated by Bauer, Malara, Szpond and Szemberg, followed by Harbourne, Migliore, Nagel and Teitler who introduced the notion of BMSS duality and showed it holds in some cases (such as certain plane curves and, in higher dimensions, for certain cones). They ask to what extent such a duality holds in general. In this paper, working over a field of characteristic zero, we study hypersurfaces in $\mathbb{P}^n\times\mathbb{P}^n$ defined by determinants. We apply our results to unexpected hypersurfacesin the case that the actual dimension is 1 (i.e., there is a unique unexpected hypersurface). In this case, we show that a version of BMSS duality always holds, as a consequence of fundamental properties of determinants.

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 note shows BMSS duality for unique unexpected hypersurfaces by realizing them as determinants and invoking basic det identities, but leaves open whether every such hypersurface admits that realization.

read the letter

The main thing to know is that when the actual dimension is exactly 1, the paper derives a version of BMSS duality directly from writing the hypersurface as the determinant of a matrix of homogeneous forms on P^n x P^n and then applying standard determinant properties. No new fitting or extra assumptions are needed for that step. The work extends the earlier results on plane curves and cones by setting up the matrix construction in arbitrary dimension and showing the duality comes for free once the form is a determinant. That matrixwise representation for the dim-1 case and the direct use of det identities to get duality are the concrete additions relative to the cited papers. The argument stays within the existing program on unexpected hypersurfaces rather than branching out. The soft spot is coverage. The abstract studies hypersurfaces defined by determinants and then applies the results to the unique case, but it does not indicate a separate existence theorem showing every unique unexpected hypersurface can be written in determinant form. If the full text supplies that step, the “always” claim holds without qualification; otherwise the duality is established only inside the representable subclass. The rest of the reasoning looks non-circular because it rests on ordinary linear algebra facts rather than self-referential definitions. This is a short, targeted note for people already following the unexpected hypersurfaces literature and the open question about the extent of BMSS duality. Readers who want an elementary way to obtain the duality in the dim-1 setting will get something usable. It is worth sending to peer review because the central claim is narrow enough to check directly from the matrix construction and the determinant identities, and it responds to a question left open in the prior work.

Referee Report

2 major / 1 minor

Summary. The paper develops a matrixwise approach to unexpected hypersurfaces by studying hypersurfaces in P^n × P^n defined by determinants of matrices whose entries are homogeneous forms. It applies the resulting identities to the special case of unexpected hypersurfaces whose actual dimension is 1 (i.e., there is a unique such hypersurface) and concludes that a version of BMSS duality always holds in this case, as a direct consequence of standard determinant properties.

Significance. If the determinant representation applies to every unexpected hypersurface of actual dimension 1, the argument would supply a uniform, parameter-free algebraic proof of BMSS duality in the dimension-1 setting, thereby answering the question left open by Harbourne-Migliore-Nagel-Teitler. The reliance on fundamental determinant identities rather than case-by-case constructions is a genuine strength of the approach.

major comments (2)

[Abstract] Abstract, paragraph 3: the claim that 'a version of BMSS duality always holds' for every unexpected hypersurface of actual dimension 1 is predicated on the assertion that every such hypersurface arises as the determinant of a matrix of homogeneous forms on P^n × P^n. No general existence theorem for this matrix realization is indicated in the abstract; if the construction is shown only for a subclass, the universal quantification does not follow from the determinant identities alone.
[Abstract] The central derivation therefore requires an explicit statement (with proof) that every unexpected hypersurface of dimension 1 admits such a matrix presentation, or else a separate argument establishing BMSS duality without the representation. Absent this, the 'always' quantification rests on an unverified coverage assumption.

minor comments (1)

[Abstract] Abstract: 'unexpected hypersurfacesin the case' is missing a space.

Simulated Author's Rebuttal

2 responses · 0 unresolved

We thank the referee for the careful reading and for identifying the need to clarify the scope of our results in the abstract. We will revise the manuscript to address the concerns raised.

read point-by-point responses

Referee: [Abstract] Abstract, paragraph 3: the claim that 'a version of BMSS duality always holds' for every unexpected hypersurface of actual dimension 1 is predicated on the assertion that every such hypersurface arises as the determinant of a matrix of homogeneous forms on P^n × P^n. No general existence theorem for this matrix realization is indicated in the abstract; if the construction is shown only for a subclass, the universal quantification does not follow from the determinant identities alone.

Authors: The manuscript develops the matrixwise approach for hypersurfaces in P^n × P^n defined by determinants and applies the resulting identities specifically to unexpected hypersurfaces of actual dimension 1. The BMSS duality is shown to hold in this setting as a direct consequence of determinant properties. We agree that the abstract's phrasing of 'always holds' for every such hypersurface implies a coverage that is not supported by a general existence theorem for the matrix representation. We will revise the abstract to state that the duality holds for those unexpected hypersurfaces of actual dimension 1 that admit a determinant representation of the type studied in the paper. revision: yes
Referee: [Abstract] The central derivation therefore requires an explicit statement (with proof) that every unexpected hypersurface of dimension 1 admits such a matrix presentation, or else a separate argument establishing BMSS duality without the representation. Absent this, the 'always' quantification rests on an unverified coverage assumption.

Authors: The paper's contribution is the uniform algebraic argument via determinant identities for the cases where the representation applies; it does not contain a general existence theorem or an independent proof of BMSS duality. To resolve the issue, we will revise the abstract (and any corresponding statements in the introduction) to qualify the result to the class of unexpected hypersurfaces of dimension 1 that are realized as such determinants, removing the unqualified 'always' claim. revision: yes

Circularity Check

0 steps flagged

No circularity: duality derived from external determinant identities

full rationale

The paper's central claim—that BMSS duality holds for actual dimension 1—is derived from fundamental properties of determinants applied to hypersurfaces realized as matrix determinants in P^n × P^n. No step in the provided abstract or description reduces the result to a self-definition, a fitted input renamed as prediction, or a load-bearing self-citation chain; the determinant identities are treated as independent external facts. Self-citations to prior work on unexpected hypersurfaces (e.g., Bauer-Malara-Szpond-Szemberg, Harbourne-Migliore-Nagel-Teitler) are present but not invoked to justify the duality itself. The derivation chain remains self-contained against external benchmarks.

Axiom & Free-Parameter Ledger

0 free parameters · 1 axioms · 0 invented entities

The central claim rests on the standard algebraic properties of determinants and the prior definitions of unexpected hypersurfaces and BMSS duality; no new free parameters or invented entities are introduced in the abstract.

axioms (1)

domain assumption Working over a field of characteristic zero
Explicitly stated in the abstract as the setting for the results.

pith-pipeline@v0.9.0 · 5748 in / 1058 out tokens · 16013 ms · 2026-05-24T23:24:43.228091+00:00 · methodology

A matrixwise approach to unexpected hypersurfaces

Core claim

What carries the argument

If this is right

Where Pith is reading between the lines

Load-bearing premise

What would settle it

discussion (0)