REVIEW 3 major objections 3 minor 4 references
Blowups, Gale duality, and moduli spaces
T0 review · 3 major / 3 minor · reviewed 2026-08-02 · deepseek-v4-flash
Pith's one-line read The paper proves that for X = Bl_{n+4}P^n at Cremona-general points, the K-negative pseudoeffective cone is generated by the Weyl orbit of one exceptional divisor, and the K-negative movable cone is a union of nef cones of small modificatio
desk verdict Strong paper on the K-negative birational geometry of Bl_{n+4}P^n, but the proof as written has two gaps: Gale duality preserving Cremona-generality is assumed without proof, and the determinant map is only constructed for n>3 while the theorem claims n≥2. read the letter →
The pith
A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.
The reading
What carries the argument
Gale duality for $n+4$ points in $\mathbb{P}^n$ and $\mathbb{P}^2$, together with the Weyl group $W_{n,n+4}$ acting by reflections through a $(-2)$-root lattice in the Picard group (the Coble pairing: $(H,H)=n-1$, $(H,E_i)=0$, $(E_i,E_j)=-\delta_{ij}$). The paper's engine is the moduli-space realization $X \cong M_{C_0}$, where $M_{C_0}$ is the Gieseker moduli space of $L$-semistable rank-2 torsion-free sheaves on $S$ with $c_1 = -K_S$ and $c_2 = 2$, for a polarization $L$ in a specific chamber. Variation of polarization across $K$-negative walls gives explicit blowups and flips of moduli spaces, described by non-split extensions $0 \to \mathcal{O}(D) \to E \to \mathcal{O}(-K-D) \to 0$; the determinant map $\rho$ transfers this wall-and-chamber structure to the birational geometry of $X$.
What would settle it
Perform the finite classification of divisor classes $D$ on $\mathrm{Bl}_{10}\mathbb{P}^6$ with $K\cdot D < 0$ using the bounds given in Proposition 4.7. The theorem predicts that every such class is a nonnegative combination of the Weyl orbit $W\cdot E_1$; finding a single $D$ with $D^2 > 0$ outside that cone would disprove Theorem 1.7(1).
Extended reading notes
Core claim
The paper's central claim is Theorem 1.7: for $X = \mathrm{Bl}_{n+4}\mathbb{P}^n$ with Cremona-general points, $\mathrm{Eff}(X)_{K\le 0}$ is the cone spanned by the Weyl group orbit of one exceptional divisor, and $\mathrm{Mov}(X)_{K\le 0}$ is the union of nef cones of countably many smooth small modifications $g_i: X \dashrightarrow Y_i$, with each $Y_i$ having polyhedral nef cone away from the $K=0$ boundary. This is established by realizing $X$ as a Gieseker moduli space $M_{C_0}$ of rank-2 torsion-free sheaves ($c_1 = -K_S, c_2 = 2$) on the Gale-dual blowup $S$ of $\mathbb{P}^2$, and then using the stability wall-and-chamber decomposition of the ample cone of $S$ to describe the cones. The determinant map $\rho: N^1(S) \to N^1(X)$ converts every stability wall into a supporting hyp
Load-bearing premise
The paper assumes, without proof, that Gale duality sends a Cremona-general configuration of $n+4$ points in $\mathbb{P}^n$ to a Cremona-general configuration in $\mathbb{P}^2$; all the cone statements in Sections 4 and 6 depend on the dual surface being a blowup of $\mathbb{P}^2$ at Cremona-general points.
Editorial extensions
If this is right
- Every extremal ray of Eff(Bl_{n+4}P^n) in the K≤0 half-space is accounted for by the Weyl orbit of one exceptional divisor, so all K-negative contractions fit a single combinatorial pattern.
- The movable cone on the K≤0 side is a countable union of nef cones, each corresponding to a small modification X ⇢ Y_i, giving a partial Mori chamber decomposition for these non-Mori-dream-space blowups.
- For n=5, k=9, the formula becomes Eff(X) = R_{\ge0}(−K_X) + ∑_{E∈W·E_1} R_{\ge0}E, a closed description of the full effective cone (Corollary 6.2).
- The moduli realization gives a constructive way to produce every K-negative rational contraction: it is induced by a wall-crossing of Gieseker stability on the Gale-dual surface.
- This answers Questions 1.6 affirmatively for k = n+4, providing the first full description of K-negative birational geometry for the minimal number of points with infinitely many contractions.
Reading between the lines
- If Gale duality preserves Cremona-generality — the paper's unproved input — the same moduli-space strategy should extend to other values of s, realizing Bl_{n+s+2}P^n as a moduli space of sheaves on Bl_{n+s+2}P^s; the paper leaves this as an expectation (Remark 2.6), but the mechanism here makes it a testable program.
- The determinant-map dictionary suggests a general principle: for blowups with a dual configuration, birational contractions should be indexed by destabilizing sub-line-bundles on the dual surface; this could yield practical algorithms for computing Mori chambers for other point counts, such as k = n+5.
- A finite computational check for n=6 (k=10) — enumerating all numerical divisor classes with K·D<0 using the bounds of Proposition 4.7 and testing membership in the Weyl orbit cone — would verify Theorem 1.7(1) in the smallest untreated case.
Signed reviews
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
Summary. The paper studies the birational geometry of X = Bl_{n+4} P^n, the blowup of P^n at n+4 Cremona-general points. Following Mukai, it uses Gale duality to identify X with a Gieseker moduli space of rank-2 torsion-free sheaves on S = Bl_{n+4} P^2, the blowup of P^2 at the Gale-dual points. The paper then analyzes the variation of these moduli spaces as the polarization on S varies, introduces a determinant map rho: N^1(S) -> N^1(X), and claims that rho transfers the stability chamber decomposition of Nef(S)_{K<=0} to the Mori chamber decomposition of Eff(X)_{K<=0}. The main theorem (Theorem 1.7) asserts that Eff(X)_{K<=0} is the cone generated by the Weyl-group orbit of E_1, and that Mov(X)_{K<=0} is the union of pullbacks of nef cones of countably many small modifications of X.
Significance. If the main theorem is correct, it gives a complete description of the K-negative part of the pseudoeffective and movable cones for a substantial family of non-Mori-dream-space blowups, and it answers Questions 1.6 in the case k=n+4. The paper contains substantial technical work: a detailed wall-crossing analysis for moduli spaces on blowups of P^2, an explicit determinant map, and a careful use of the Coble pairing and Weyl-group action. The claimed link between moduli wall-crossing and the birational geometry of X is an attractive and potentially influential idea. However, several load-bearing points are not adequately proved, and one boundary case appears to contradict the stated main theorem.
major comments (3)
- [Notation 2.7; Sections 4 and 6] The paper assumes, without proof, that if P is a Cremona-general configuration in P^n, then its Gale dual Q in P^2 is also Cremona-general. This assumption is used immediately: Section 4 (Proposition 4.3, Lemma 4.13) and hence Theorem 6.1 require S = Bl_Q P^2 to be blown up at Cremona-general points. But Theorem 1.7 only assumes P is Cremona-general. The proof never proves or cites preservation of Cremona-generality under Gale duality. This is not a mere technicality: the wall classification of K-negative walls and the identification of E with the cone over W.(h-e_1) can fail if Q possesses three collinear points after a Cremona sequence. A density argument for 'very general' points would need an explicit statement that the Gale dual of a very general configuration is very general; the paper's hypothesis is 'Cremona-general', not merely 'very general', and the needed implication is absen
- [Theorem 5.7 vs. Theorem 1.7] Theorem 5.7 constructs the explicit determinant map rho only under the assumption n > 3. Yet Theorem 1.7 is stated for all n >= 2. The later proof of Theorem 1.7 through Theorem 6.1 relies on this explicit rho. No separate treatment is given for n = 2 and n = 3. For n = 3 (k=7) and n = 2 (k=6) the varieties are Mori dream spaces and the cone statements may be recoverable by finite polyhedral arguments, but that is not written. As it stands, the main theorem is not proved for the full range claimed.
- [Lemma 4.13, Remark 4.14, Corollary 6.2] There is an apparent contradiction in the k=9 case, which corresponds to n=5. Lemma 4.13(1) asserts E = E', where E' is the cone generated by W.(h-e_1). But for k=9, equation (14) gives -K_S in E: -K_S is nef, K_S.(-K_S)=0, e.(-K_S)=1 for e in W.e_1, and (2B+K_S).(-K_S)=6 for B in W.h. On the other hand, -K_S is not in E', because every generator C in W.(h-e_1) has C.(-K_S)=2, while (-K_S)^2=0, so any nonnegative combination of such C has nonnegative intersection with -K_S, and equality forces all coefficients to be zero; hence -K_S cannot be a positive combination. Thus E != E'. Remark 4.14 effectively acknowledges this by adding an R_{>=0}(-K) ray, and Corollary 6.2 adds a corresponding R_{>=0}(-K_X) ray. But Theorem 6.1(3), used in Theorem 1.7, still states the equality without that ray. For X = Bl_9 P^5, -K_X = 6H - 4 sum E_i is not effective by a dimension count (a degree-6 hypersur
minor comments (3)
- [Proof of Theorem 5.7] In the proof of Theorem 5.7, the text says 'l, f_1, ..., f_n form a Z-basis for N_1(X)'. Since X = Bl_{n+4}P^n has Picard rank n+5, the basis should be l, f_1, ..., f_{n+4}.
- [Section 4.3] The displayed line defining E' reads 'E' := ... subset E' subset Nef(S)_{K<=0}', which is self-referential. It should presumably be 'E' := ... subset E subset Nef(S)_{K<=0}'.
- [Throughout] The paper uses 'Cremona-general' in the main theorem but 'very general position' in the abstract and in the opening sentence. These are different notions in general, and the distinction matters for the Gale-duality hypothesis; the wording should be aligned.
Circularity Check
No significant circularity: the cone identifications are derived from moduli wall-crossing and the determinant map, not assumed.
full rationale
The main claim, Theorem 1.7, is not obtained by assuming the pseudoeffective cone of X. The proof constructs X as a Gieseker moduli space M_C0 on the Gale-dual surface S (Theorem 4.11), then studies the stability wall-and-chamber decomposition of Amp(S)_{K≤0} via the classical theory of moduli spaces of sheaves. The determinant map ρ is constructed from moduli data, and Theorem 6.1 proves ρ(E) = Eff(X)_{K≤0} by showing that ρ sends the explicit generators and supporting hyperplanes of the moduli-theoretic cone E to the corresponding generators and supporting hyperplanes of Eff(X)_{K≤0}. No fitted constants or target-cone data are used to define E or ρ, so the equality is not circular. Self-citations such as [CT06] and [AM16] appear, but they are not load-bearing for the central cone identification: the preservation of Eff under the Weyl group is proved directly in Remark 2.1, and the walls of Nef(Bl_{n+4}P^n) cited from [AM16] are only used in a remark, not in the proof of Theorem 6.1. The paper does contain a notable unproved assumption: Notation 2.7 assumes that if P⊂P^n is Cremona-general then its Gale dual Q⊂P^2 is also Cremona-general, and this is needed for the wall classification in Section 4 and hence for the proof as written. However, this is a missing hypothesis or omitted proof about the input configuration, not a reduction of the conclusion to its own statement. It affects completeness of the proof, not circularity of the derivation.
Assumptions & free parameters
assumptions (5)
- domain assumption Existence and properties of moduli spaces M_L of Gieseker-semistable torsion-free sheaves with fixed Chern classes (HL10 Thm 4.3.4)
- domain assumption Wall-crossing description of M_L under change of polarization (EG95 Prop 2.7, Thm 5.3; HL10 Thm 4.C.3)
- domain assumption Cone theorems for blowups of P^2: Nef(S)_{K≤0} and NE(S) structure (dF10 Lem 4.1; classical del Pezzo facts)
- domain assumption Mori dream space classification for Bl_kP^n via finiteness of W_{n,k} (Muk01, CT06)
- ad hoc to paper Gale dual of a Cremona-general configuration is Cremona-general
Cite this review
Pith. "Pith review of Blowups, Gale duality, and moduli spaces." pith.science (2026). https://pith.science/paper/QUUUOJCC
@misc{pith2026260527152,
author = {Pith},
title = {Pith review of: Blowups, Gale duality, and moduli spaces},
year = {2026},
howpublished = {\url{https://pith.science/paper/QUUUOJCC}},
note = {Machine review of arXiv:2605.27152}
}
abstract
The goal of this paper is to describe the birational geometry of the blowup of $\mathbb{P}^n$ at $n+4$ points in very general position. To achieve this, we follow an idea of Mukai and explore a special instance of Gale duality, namely, a correspondence between configurations of $n+4$ points in the projective spaces $\mathbb{P}^n$ and $\mathbb{P}^2$. We first prove that the blowup $X$ of $\mathbb{P}^n$ at $n+4$ general points is isomorphic to a certain Gieseker moduli space of rank $2$ vector bundles on the surface $S$ obtained by blowing up $\mathbb{P}^2$ at the $n+4$ Gale dual points. We then study the variation of these moduli spaces as we vary the polarization $L$ on $S$, and translate this variation into a partial Mori chamber decomposition of $\overline{Eff}(X)$, describing to some extent the birational geometry of $X$.
Reference graph
Works this paper leans on
-
[1]
[AM16] C. Araujo and A. Massarenti,Explicit log Fano structures on blow-ups of projective spaces, Proc. Lond. Math. Soc. (3)113(2016), no. 4, 445–473. [AC17] C. Araujo and C. Casagrande,On the Fano variety of linear spaces contained in two odd-dimensional quadrics, Geom. Topol.21(2017), no. 5, 3009–3045. [AFKM21] C. Araujo, T. Fassarella, I. Kaur, and A. ...
arXiv 2016
-
[210]
D’Urso,On the Nef cones of blowups of the projective plane, arXiv preprint arXiv:2412.15460 (2024)
[D’U24] L. D’Urso,On the Nef cones of blowups of the projective plane, arXiv preprint arXiv:2412.15460 (2024). [EG95] G. Ellingsrud and L. G¨ ottsche,Variation of moduli spaces and Donaldson invariants under change of polar- ization, J. Reine Angew. Math.467(1995), 1–49. [EP00] D. Eisenbud and S. Popescu,The projective geometry of the Gale transform, J. A...
arXiv 2024
-
[1998]
[LO16] J. Lesieutre and J. C. Ottem,Curves disjoint from a nef divisor, Michigan Math. J.65(2016), no. 2, 321–332. [Muk01] S. Mukai,Counterexample to Hilbert’s fourteenth problem for the 3-dimensional additive group, RIMS preprint no. 1343 (2001). [Muk06] ,Finite generation of the Nagata invariant rings in the A-D-E cases, RIMS preprint (2006). [MW97] K. ...
arXiv 2016
-
[2001]
[Dol83] I. V. Dolgachev,Weyl groups and Cremona transformations, Singularities, Part 1 (Arcata, Calif., 1981), 1983, pp. 283–294. [DO88] I. V. Dolgachev and D. Ortland,Point sets in projective spaces and theta functions, Ast´ erisque165(1988),
1981
Reviewed August 2, 2026 · model on record in the stance chip above.
Discussion (0). Continue with ORCID to comment.