Pith. sign in

REVIEW 3 major objections 4 minor 15 references

Ulrich bundles on double coverings of projective space

T0 review · 3 major / 4 minor · reviewed 2026-08-06 · deepseek-v4-flash

Challenge this review Re-run · record.json Download PDF Read on arXiv ↗ Review JSON

Pith's one-line read A matrix-factorisation construction and a Hartshorne-Serre construction prove that the general double cover of P^3 branched along a divisor of degree 4, 6, or 8 admits a stable rank 2 Ulrich bundle, making rank 2 the minimal possible.

desk verdict Serious thesis with genuinely new results on rank-2 Ulrich bundles on double solids, but the central existence theorem rests on a polynomial-factorization genericity step that the excerpt does not certify; referee should verify it. read the letter →

arxiv 2507.09345 v1 pith:BLB4G4WQ submitted 2025-07-12 math.AG math.AC

Roberto Vacca This is my paper · ORCID
classification math.AGmath.AC MSC 14J6014J3014F05
keywords UlrichbundlesdoublecoverssolidsHartshorne-Serrecorrespondencematrixfactorisationsmodulispacesofsheavesrank2weightedprojective
verification ladder T0 review T1 audit T2 compute T3 formal

The pith

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

The reading

Fixed a polarised variety, an Ulrich sheaf is one whose twisted cohomology vanishes for all twists between -n and -1; existence and minimal rank are the questions. This thesis proves that every divisorial covering of P^n—a finite cover factoring through a divisor in the weighted projective space P($1^{{n+1}}$,m)—admits Ulrich sheaves, via matrix factorisations. For smooth double covers, the main theorem states that the general cover X→P^n admits a rank 2 Ulrich sheaf if and only if n=3 and the branch divisor has degree 4, 6, or 8; rank 2 is then minimal because the cyclic Picard group excludes Ulrich line bundles. The proof exhibits each such bundle in an exact sequence 0→O_X→E→I_Y(m)→0, where Y is a curve mapped isomorphically by the cover onto a complete intersection of two degree-m surfaces, and it produces reduced moduli components of dimension 5, 6, and 0 in the three cases. If correct, these double solids become among the few 3-folds for which the minimal Ulrich rank is known and sharp.

What carries the argument

The load-bearing mechanism is the polynomial identity b=$p0^{2}$+p1p2+p3p4 together with the Hartshorne-Serre correspondence, the rank-2 dictionary between vector bundles and codimension-2 subvarieties expressed by extensions 0→O_X→E→I_Y(m)→0. Geometrically, the identity is read as choosing a complete intersection {p1=p3=0} on which the branch locus restricts to a square, so the curve lifts to the double cover and generates the required extension; algebraically, it is the existence of this presentation for the general degree-2m branch polynomial that makes the general double solid admit the curve Y. The cohomological vanishing defining Ulrich sheaves is exactly what forces Y to have the right no-intermediate-cohomology profile, and a matrix-factorisation construction for divisorial coverings supplies the broader existence theorem for Ulrich sheaves on X⊂P($1^{{n+1}}$,m).

What would settle it

Fix m=2,3,4 and compute the dimension of the Zariski closure of the image of the map (p0,p1,p2,p3,p4)↦$p0^{2}$+p1p2+p3p4 on the space of 5-tuples of degree-m homogeneous polynomials in four variables. If for any one of these m the closure has dimension strictly smaller than dim $H^{0}$($P^{3}$,O(2m)), exhibit a smooth degree-2m branch divisor outside the image; such a divisor would give a smooth double solid with no rank 2 Ulrich sheaf, contradicting the theorem.

Watch

Extended reading notes

Core claim

The central claim is an equivalence for a smooth double cover f:X→$P^{3}$ branched along a degree-2m divisor with equation b=0 and Pic(X)=ZH: the branch polynomial admits a presentation b=$p0^{2}$+p1p2+p3p4 with homogeneous p_i of degree m if and only if X carries a rank 2 Ulrich sheaf E, and this happens exactly when a curve Y⊂X exists that is mapped isomorphically by f onto a complete intersection of two degree-m hypersurfaces; the bundle then fits 0→O_X→E→I_Y(m)→0. The paper proves by a genericity argument, deferred to Section 3.2.4, that for m=2,3,4 the general branch polynomial has such a presentation, so the general double solid carries a stable rank 2 Ulrich bundle. In those cases the Hilbert scheme of the curves Y yields generically smooth moduli components of the expected dimension (5, 6, 0), and for m=2,3 the same extension-and-deformation machinery produces stable Ulrich bundles of every admissible rank. For m=4 the rank 2 bundles are spherical, and the same characterization rules out rank 2 Ulrich sheaves on all other double covers of P^n with n≥3.

Load-bearing premise

The existence claims for the general double solids reduce to the statement that a general homogeneous polynomial of degree 2m=4,6,8 in four variables can be written as $p0^{2}$+p1p2+p3p4 with each p_i of degree m; if that genericity statement fails for any of the three degrees, the corresponding rank 2 existence claim for the general double cover fails.

Editorial extensions

If this is right

  • Every divisorial covering of P^n admits an Ulrich sheaf over any field, giving an upper bound on the minimal Ulrich rank attached to the defining equation.
  • On smooth double covers of P^3, the minimal Ulrich rank is 2 precisely for branch degrees 4, 6, and 8; outside this range, and for n≠3, no rank 2 Ulrich sheaf exists.
  • The moduli spaces of rank 2 Ulrich bundles on the general quartic, sextic, and octic double solids contain reduced components of dimension 5, 6, and 0 respectively, and the bundles are slope-stable.
  • Stable Ulrich bundles of every rank r≥2 exist on the general quartic double solid, with generically smooth moduli components of dimension r^2+1; on the general sextic double solid, every even rank 2ρ occurs, with components of dimension 5ρ^2+1.
  • On a general quartic double solid, the restriction map from Ulrich bundles on X to Ulrich bundles on a smooth hyperplane section is generically étale and the target is irreducible, yielding the stated interpolation result for curves through prescribed points.

Reading between the lines

Editorial extensions of the paper, not claims the author makes directly.

  • Beyond the paper: the polynomial-presentation condition b=p0^2+p1p2+p3p4 could be tested for degree-2m branch loci with m≥5, where the parameter count already suggests failure of dominance; a negative answer would make the octic double solid the sharp cutoff case among double solids.
  • Beyond the paper: the curves Y appearing as zero loci give a direct geometric handle on the other extremal contraction of P(E); one could check whether the Abel-Jacobi map to the intermediate Jacobian is generically finite for the sextic case, as the paper recalls it is for the quartic case.
  • Beyond the paper: dominance of the map (p0,p1,p2,p3,p4)↦p0^2+p1p2+p3p4 can be verified computationally over a finite field of large characteristic for m=2,3,4; dominance there would imply the characteristic-zero genericity statement by spreading out, giving an independent check of the existence half.
  • Beyond the paper: the Hartshorne-Serre description suggests a testable extension to cyclic covers of degree d>2, where a rank-2 Ulrich sheaf should correspond to expressing the branch data as a sum of two d-th power forms, a problem with the same parameter-count flavour.
Share X Bluesky LinkedIn Reddit HN

Signed reviews

No signed human review yet.

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, and a circularity audit.

Referee Report

3 major / 4 minor

Summary. This thesis studies Ulrich sheaves on finite covers of projective space, concentrating on double covers. It proves a structural characterization (Propositions 3.54 and 3.56): for a smooth double cover f:X→P^n with Pic(X)=ZH and char k≠2, a rank-2 Ulrich sheaf exists if and only if the branch equation b of degree 2m can be written as b=p_0^2+p_1p_2+p_3p_4 with homogeneous p_i of degree m, and if and only if there is a curve Y⊂X mapped isomorphically to a complete intersection of two degree-m hypersurfaces. The paper then asserts (Theorem 3.45) that the general double cover of P^3 branched along a surface of degree 2m=4,6,8 admits stable rank-2 Ulrich bundles, and that the corresponding moduli components have reduced dimension 5, 6, and 0 respectively. It also constructs higher-rank Ulrich bundles on these double solids via extensions and deformations, studies the action of the covering involution, and analyzes restrictions to hyperplane sections and low-degree hypersurfaces.

Significance. If correct, the paper would determine the minimal Ulrich rank for three families of threefolds — the quartic, sextic, and octic double solids — and the octic case would be a comparatively rare Calabi-Yau example. The if-and-only-if criterion relating rank-2 Ulrich bundles to the polynomial decomposition b=p_0^2+p_1p_2+p_3p_4 is a genuine structural equivalence and is a valuable contribution in itself. The manuscript is also careful in its treatment of the Hartshorne-Serre correspondence in families and deformation theory, and it explicitly records a suspected gap in a cited argument (Remark 4.30). The main caveat is that the key algebraic genericity statement underlying Theorem 3.45 is announced in the introduction with a dimension count, but the supplied text does not contain the differential-rank argument needed to prove dominance; the central existence theorem is therefore conditional on a step that is not verifiable from the presented material.

major comments (3)
  1. [Introduction, 'Our work'; Theorem 3.45] The existence of rank-2 Ulrich bundles on the general double cover of P^3 branched in degree 2m=4,6,8 is reduced, via Proposition 3.56, to proving that the general branch polynomial b of degree 2m lies in the image of Φ(p_0,...,p_4)=p_0^2+p_1p_2+p_3p_4. The introduction says only that 'dimensional estimates on polynomials' show the possible cases; but a dimension inequality is necessary, not sufficient, for dominance. For m=4 the domain has dimension 5·C(7,3)=175 and the target C(11,3)=165, so a count cannot decide the question. The decisive check is whether the differential dΦ is surjective at a general point, i.e. whether the degree-8 part of the ideal (p_0,p_1,p_2,p_3,p_4) generated by five general quartics equals all of S_8. The text currently does not provide this check. Please state the genericity assertion as an explicit lemma in Section 3.2.4 and prove the differential-rank statement, or indicate clearly where in the manuscript it is proved.
  2. [Theorem 3.45 and Section 4.1.1] The claimed reduced moduli components of dimension 5, 6 and 0 depend on smoothness of the relevant Hilbert scheme of curves Y, which the introduction itself reduces to the same algebraic condition: whether the degree-2m part of the ideal generated by the p_i contains all degree-2m polynomials. For m=4, the octic double-solid case, this is exactly the surjectivity of dΦ discussed above. Without a proof of that surjectivity, the smoothness and dimension statements for the moduli space in the Calabi-Yau case are unsupported. The dimension-0 claim is especially delicate, since it requires showing that a general such bundle has no first-order deformations on the relevant component; a dimension count alone does not imply that.
  3. [Section 3.2.4 / Proposition 3.56] The polynomial decomposition b=p_0^2+p_1p_2+p_3p_4 is the single load-bearing assumption of the main existence theorem. The paper states that the general b admits such a presentation for m=2,3,4, but the presented text does not contain a complete proof. If the proof in Section 3.2.4 relies on a generic smoothness or open-orbit argument, it should be written out explicitly, including the computation of the codimension of the image or of the rank of dΦ. As written, a reader cannot distinguish between a true dominance theorem and an unproved assertion.
minor comments (4)
  1. [Introduction] In the paragraph on morphisms to Grassmannians, 'symnolf' should read 'symbol'.
  2. [Introduction, 'Our work'] The displayed theorem 'Lemma 3.63, Proposition 3.64' states a conclusion for n≥3 but then refers to a 'surjective contraction to P3'. For n>3 this should presumably be P^n, or the statement should be restricted to n=3; please clarify.
  3. [Corollary 2.16] The phrase 'The last condition in this statement is equivalent to the last condition in the previous one' is confusing because the two statements use different formulas; please spell out the equivalence.
  4. [Bibliography] Some references are cited with incomplete data, for example '[Bea][p. 18-20]' in the discussion of tentative counterexamples; please supply the full reference.

Circularity Check

0 steps flagged · score 0.0 of 10

No significant circularity: the central equivalence is structural and the polynomial genericity step, while load-bearing, is not equivalent to its own conclusion.

full rationale

The thesis's central claim is a genuine structural equivalence (Propositions 3.54/3.56): for a smooth double cover X -> P^3 with Pic(X) = ZH, existence of a rank-2 Ulrich sheaf is equivalent to the branch polynomial admitting the presentation b = p_0^2 + p_1 p_2 + p_3 p_4 with all p_i of degree m. This is not definitionally true: the direction from factorization to E uses the Hartshorne-Serre correspondence on a suitable curve Y, and the direction from E to factorization uses the geometry of the zero locus and the branch equation. Both directions invoke external, independently established tools. The existence theorem 3.45 then reduces to the polynomial genericity statement that the general degree-2m branch polynomial has such a presentation; this is a separate algebraic fact, not a renaming of Ulrichness. The Introduction's appeal to 'dimensional estimates on polynomials' supplies only a necessary-counting justification, and the skeptic is right that for m = 4 a differential/dominance argument is needed; however, an unproved or insufficiently detailed genericity step is a gap or correctness risk, not circularity. There are no fitted parameters called predictions, no self-citation chain carrying the argument, and no imported 'uniqueness' theorem by the author. External benchmarks (Hartshorne-Serre, matrix factorizations, HUB91) are cited independently. I therefore find no significant circularity.

Assumptions & free parameters 0 free parameters · 4 assumptions · 0 invented entities

No free parameters or invented entities appear: the results are theorems about algebraic varieties and bundles. The axioms are standard background (Hartshorne-Serre, matrix factorization, moduli of sheaves) plus domain assumptions about the double covers being studied. The central generic factorization statement b=p0^2+p1p2+p3p4 is a proved input, not an external axiom, but its verification is the main delicate step.

assumptions (4)
  • standard math Hartshorne-Serre correspondence and its relative version hold for smooth projective varieties over algebraically closed fields.
    Used throughout Chapter 2 to convert codimension-2 subschemes into rank-2 sheaves; stated as Theorem 2.5 and Proposition 2.11.
  • standard math Existence of matrix factorizations for hypersurface rings (Eisenbud, HUB91) gives Ulrich sheaves on divisorial covers.
    Invoked for Theorem 3.30 and Corollary 3.31 as the algebraic engine behind the existence results.
  • domain assumption k is algebraically closed with char(k) not equal to 2, and X is a smooth double cover of P^n with branch locus of degree 2m.
    Stated as the standing hypothesis in Theorem 3.45 and Proposition 3.54 for the rank 2 and moduli results.
  • domain assumption P ic(X) is isomorphic to Z H for the if-and-only-if characterization and for excluding Ulrich line bundles.
    Used in Corollary 3.62 and in stability arguments; for general double solids this often follows from Lefschetz but is an explicit hypothesis in the equivalence theorem.

how reviews work

0 comments
Cite this review

Pith. "Pith review of Ulrich bundles on double coverings of projective space." pith.science (2026). https://pith.science/paper/BLB4G4WQ

@misc{pith2026250709345,
  author       = {Pith},
  title        = {Pith review of: Ulrich bundles on double coverings of projective space},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/BLB4G4WQ}},
  note         = {Machine review of arXiv:2507.09345}
}
abstract

Fixed a polarised variety $X$, we can ask if it admits Ulrich bundles and, in case, what is their minimal possible rank. In this thesis, after recalling general properties of Ulrich sheaves, we show that any finite covering of $\mathbb{P}^n$ that embeds as a divisor in a weighted projective space with weights $(1^{n+1},m)$ admits Ulrich sheaves, by using matrix factorisations. Among these varieties, we focus on double coverings of with $n\ge3$. Through Hartshorne--Serre correspondence, which we review along the way, we prove that the general such $X$ admits a rank $2$ Ulrich sheaf if and only if $n=3$ and $m=2,3,4$, and characterise the zero loci of their sections. Moreover, we construct generically smooth components of the expected dimension of their moduli spaces, analyse the action of the natural involution on them and the restriction of those bundles to low degree hypersurfaces. For $m=2,3$, we verify the existence of slope-stable Ulrich bundles of all the possible ranks.

Discussion (0). Continue with ORCID to comment.

Reference graph

Works this paper leans on

15 extracted references · 8 canonical work pages

  1. [2]

    Éléments de géométrie algébrique : I. Le langage des schémas

    Vol. 222. 1. 2018, pp. 213–240.url: https://doi.org/10.1016/j.jpaa. 2017.03.013 (cit. on p. 50). [Gro05] AlexanderGrothendieck. Cohomologie locale des faisceaux cohérents et théorèmes de Lefschetz locaux et globaux (SGA 2). Ed. by Yves Laszlo. Vol. 4. Docu- ments Mathématiques (Paris) [Mathematical Documents (Paris)]. Société Mathématique de France, Paris...

    arXiv 1960

  2. [6]

    Homological algebra on a complete intersection, with an application to group representations

    url: https://doi.org/10.1155/S1073792800000519 (cit. on pp. 12, 48). [Eis80] David Eisenbud. “Homological algebra on a complete intersection, with an application to group representations”. In: Trans. Amer. Math. Soc.260.1 (1980), pp. 35–64.url: https://doi.org/10.2307/1999875 (cit. on pp. 8, 48, 86, 100, 109). [ES03] David Eisenbud and Frank-Olaf Schreyer...

    doi:10.1155/s1073792800000519 1980

  3. [108]

    Rank 2 Ulrich bundles on general double plane covers

    url: https://doi.org/10.1215/S0012- 7094- 01- 10812- 0 (cit. on p. 129). [ST22] Ronnie Sebastian and Amit Tripathi. “Rank 2 Ulrich bundles on general double plane covers”. In:Journal of Pure and Applied Algebra226.2 (2022), p. 106823. doi: https://doi.org/10.1016/j.jpaa.2021.106823 (cit. on pp. 11, 108). [Sta25] The Stacks project authors. The Stacks proj...

    arXiv 2022

  4. [148]

    Matrix factorizations of homogeneous polynomials

    url: https://doi.org/10.1307/mmj/1301586307 (cit. on pp. 11, 50). [BH93] Winfried Bruns and Jürgen Herzog. Cohen-Macaulay rings. Vol. 39. Cam- bridge Studies in Advanced Mathematics. Cambridge University Press, Cam- bridge, 1993, pp. xii+403 (cit. on pp. 19, 20). [BHS88] Jörgen Backelin, Jürgen Herzog, and Herbert Sanders. “Matrix factorizations of homoge...

    arXiv 1987

  5. [172]

    Higher-rank instantons sheaves on Fano threefolds

    url: https://doi.org/10.1007/s00229-020-01269-0 (cit. on p. 46). [CCG08] Enrico Carlini, Luca Chiantini, and Anthony V. Geramita. “Complete inter- sections on general hypersurfaces”. In: vol. 57. Special volume in honor of Melvin Hochster. 2008, pp. 121–136.url: https://doi.org/10.1307/mmj/ 1220879400 (cit. on p. 108). [CD24] Ciro Ciliberto and Thomas Ded...

    work page Pith review arXiv 2024

  6. [228]

    Éléments de géométrie algébrique : II. Étude glob- ale élémentaire de quelques classes de morphismes

    url: https://www.numdam.org/item/PMIHES_1960__4__5_0/ (cit. on p. 52). [Gro61a] Alexander Grothendieck. “Éléments de géométrie algébrique : II. Étude glob- ale élémentaire de quelques classes de morphismes”. fr. In:Publications Math- ématiques de l’IHÉS 8 (1961), pp. 5–222.url: http://www.numdam.org/ item/PMIHES_1961__8__5_0/ (cit. on pp. 88, 89). [Gro61b...

    1961

  7. [236]

    Elliptic curves, ACM bundles and Ulrich bundles on prime Fano threefolds

    url: https://doi.org/10.1016/j.jalgebra.2023.06.034 (cit. on pp. 11, 12, 48, 50, 53, 60, 69, 70, 76, 80, 81, 86, 123, 136, 141, 144, 145, 147, 156). [CFK24] Ciro Ciliberto, Flaminio Flamini, and Andreas Leopold Knutsen. “Elliptic curves, ACM bundles and Ulrich bundles on prime Fano threefolds”. In: Collect. Math.75.3 (2024), pp. 795–822.url: https://doi.o...

    work page arXiv 2024

  8. [247]

    Existence of Ulrich bundle on some sur- faces of general type

    url: https://doi.org/10.1093/imrn/rnx018 (cit. on pp. 45, 80). [BP24] Suratno Basu and Sarbeswar Pal. “Existence of Ulrich bundle on some sur- faces of general type”. In:J. Algebra 640 (2024), pp. 59–73. url: https : //doi.org/10.1016/j.jalgebra.2023.10.035 (cit. on p. 46). [BPS80] C. Bânicâ, M. Putinar, and Georg Schumacher. “Variation der globalen Ext i...

    work page doi:10.1093/imrn/rnx018 2024

Show all 15 references
  1. [269]

    On the existence of Ulrich vector bundles on some irregular surfaces

    url: https://doi.org/10.14231/AG-2015-011 (cit. on pp. 48, 144). [LMS23] Angelo Felice Lopez, Roberto Muñoz, and José Carlos Sierra. On the clas- sification of non-big Ulrich vector bundles on fourfolds. 2023. url: https: //arxiv.org/abs/2205.10143 (cit. on p. 57). [Lop21] Ang...

    2021 arXiv

  2. [423]

    Hilbert schemes of lines and conics and automorphism groups of Fano three- folds

    url: https://doi.org/10.1007/s00029-016-0243-0 (cit. on p. 139). [KPS18] Alexander G. Kuznetsov, Yuri G. Prokhorov, and Constantin A. Shramov. “Hilbert schemes of lines and conics and automorphism groups of Fano three- folds”. In:Japanese Journal of Mathematics13.1 (Feb. 2018)...

    2012 doi

  3. [1547]

    url: https://doi.org/10.1112/blms.70046 (cit. on p. 47). [Ful98] William Fulton. Intersection theory. Second. Vol. 2. Ergebnisse der Math- ematik und ihrer Grenzgebiete. 3. Folge. A Series of Modern Surveys in Mathematics [Results in Mathematics and Related Areas. 3rd Series. ...

    doi

  4. [1884]

    Special Ulrich bundles on regular Weierstrass fibrations

    url: https://doi.org/10.1016/j.jpaa.2014.02.011 (cit. on pp. 9, 47, 149). [MP19] R. M. Miró-Roig and J. Pons-Llopis. “Special Ulrich bundles on regular Weierstrass fibrations”. In: Math. Z. 293.3-4 (2019), pp. 1431–1441. url: https://doi.org/10.1007/s00209-019-02277-x (cit. on...

    2019 doi

  5. [2024]

    Stable Ulrich bundles

    url: https://arxiv.org/abs/2403.03139 (cit. on pp. 9, 57). [Cas+12] MartaCasanellas,RobinHartshorne,FlorianGeiss,andFrank-OlafSchreyer. “Stable Ulrich bundles”. In:Internat. J. Math.23.8 (2012), pp. 1250083, 50. url: https://doi.org/10.1142/S0129167X12500838 (cit. on pp. 8, 12...

    2012 arXiv

  6. [2256]

    Ulrich bundles on some threefold scrolls over Fe

    url: https : / / doi . org / 10 . 1007 / s12215 - 024 - 01068 - 6(cit. on p. 50). [FF24b] Maria Lucia Fania and Flaminio Flamini. “Ulrich bundles on some threefold scrolls over Fe”. In: Adv. Math. 436 (2024), Paper No. 109409, 60. url: https://doi.org/10.1016/j.aim.2023.109409...

    2024

  7. [2311]

    Spinor bundles on quadrics

    url: https://doi.org/10.1007/s12215-024-01049-9 (cit.onp.14). [Ott88] Giorgio Ottaviani. “Spinor bundles on quadrics”. In: Trans. Amer. Math. Soc. 307.1 (1988), pp. 301–316.url: https://doi.org/10.2307/2000764 (cit. on pp. 48, 110, 122). [Ott95] Giorgio Ottaviani. Varietà proi...

    1988 arXiv

Pith tools

Reviewed August 6, 2026 · model on record in the stance chip above.