{"id":"07f145d2-84be-4f03-a520-a3a5d9abd87b","arxiv_id":"2601.20460","paper_version":2,"verdict":"CONDITIONAL","confidence":"MODERATE","novelty_score":6.0,"correctness_risk":"medium","formal_verification":"none","parameter_count":0,"one_line_summary":"For smooth abelian Galois covers, a relatively Ulrich bundle exists exactly when each branch divisor is a sum of d_i-fold tensor products of global sections; so every smooth abelian cover of P^n has an Ulrich bundle.","lead":"This paper gives a complete answer, for abelian Galois covers, to when a cover X to Y admits a vector bundle whose direct image is a trivial bundle. As an application, every smooth abelian Galois cover of projective space carries an Ulrich bundle.","discovery_kind":"extension","skeptic_critique":{"model":"deepseek-v4-flash","headline":"The 'if' direction of Theorem 1.3 depends on an unproved matrix-factorization step in Theorem 4.2: the existence of B_i with entries in H^0(P, ϖ^*L⊗O_P(1)) and the cokernel's support/rank are asserted, not derived.","rationale":"The reader's weakest assumption identifies exactly the step that is most load-bearing: the sufficient direction of Theorem 4.2, which is needed for the 'if' part of Theorem 1.3 and for Corollary 1.4. My reading of the manuscript confirms that this step is under-specified: the proof cites [3, Lemma 1.5] for the existence of a matrix factorization but does not verify the hypotheses of that lemma in the relative setting, nor does it establish the two properties that make the construction work, namely exact support on X and pushforward O_Y^{⊕m}. The necessary direction is not affected, and the examples and applications are conditional on the incomplete construction. This is a fillable gap rather than a demonstrated counterexample, so the reader's CONDITIONAL verdict is appropriate. No additional load-bearing concern emerged from the rest of the paper, and the manuscript's own remarks (e.g., 'There will be no control over the rank') do not contradict the stated theorem. The proposed concrete test targets the precise missing derivation: a small explicit case where the matrix factorization can be checked directly against [3, Lemma 1.5]. If the test works, the gap is closed; if it does not, the paper's main theorem would need revision.","tokens_in":11557,"tokens_out":6683,"duration_ms":62877,"concrete_test":"Independently re-derive the matrix factorization in Theorem 4.2 for the minimal nontrivial case d=3, Y=P^1, L=O(1), with s = x_1x_2x_3 + y_1y_2y_3 for generic linear forms x_i, y_i. Apply [3, Lemma 1.5] to the polynomial F = T^3 − (x_1x_2x_3 + y_1y_2y_3) and check whether the resulting matrices B_1, B_2, B_3 have entries in H^0(P, ϖ^*L⊗O_P(1)), satisfy B_1B_2B_3 = F·id_m, and have det(B_i) = F^{m/3} with m divisible by 3. If the lemma gives only local-factorization matrices, or entries of higher degree, or determinants that are multiples of F^{m/3} rather than equal to it, then the support and rank claims of Theorem 4.2 fail and the sufficient direction is not established.","verdict_should_be":"UNCHANGED","load_bearing_attack":"The central theorem is an iff statement, and the sufficient direction rests entirely on Theorem 4.2. There, after writing the branch divisor as s = Σ_i a_1^i⊗...⊗a_d^i, the proof claims the existence of m×m matrices B_1,...,B_d with entries in H^0(P, ϖ^*L⊗O_P(1)) such that B_1···B_d = (T^d − Σ_i (ϖ^*a_1^i⊗e)···(ϖ^*a_d^i⊗e))·id_m, and that the cokernel in (4.2) is supported on the cyclic cover X and satisfies π_*E ≅ O_Y^{⊕m}. The proof cites [3, Lemma 1.5] and says the construction is 'similar to the case of a homogeneous polynomial,' but it does not show that this lemma applies to the relative P^1-bundle P = Proj(Sym(O_Y⊕L^{-1})) as opposed to a polynomial ring, nor does it prove that the determinants of the B_i equal F^{m/d}, where F = T^d − Σ_i (ϖ^*a_1^i⊗e)···(ϖ^*a_d^i⊗e). Without equality of determinants, the cokernel need not be supported exactly on X; without control of m/d, the claimed rank m/d is unjustified. The necessary direction (Proposition 3.5) is coherent, but the complete answer in Theorem 1.3 requires this missing construction.","agreement_with_reader":"agree"},"referee_report":{"model":"deepseek-v4-flash","summary":"The paper studies finite morphisms π: X → Y of smooth projective varieties over an algebraically closed field of characteristic zero and asks when there exists a vector bundle E on X whose direct image π_*E is trivial, i.e., a relatively Ulrich bundle. For ramified abelian Galois covers, the main theorem (Theorem 1.3) claims a complete answer: such an E exists if and only if, for each i, the branch divisor s_i ∈ H^0(Y, M_i^{⊗d_i}) lies in the image of the d_i-fold multiplication map H^0(Y, M_i)^{⊗d_i} → H^0(Y, M_i^{⊗d_i}). The necessary direction is argued in Proposition 3.5 via the module structure of π_*E, and the sufficient direction is presented in Theorem 4.2 using matrix factorizations on the compactified total space P = Proj(Sym(O_Y ⊕ L^{-1})). The paper also proves that nontrivial étale covers admit no relatively Ulrich bundles, gives examples and counterexamples, and derives Corollary 1.4 that every smooth ramified abelian Galois covering of P^n supports an Ulrich bundle.","tokens_in":11816,"tokens_out":5507,"duration_ms":46095,"significance":"If the main theorem is correct, it gives a clean and checkable criterion for the existence of relatively Ulrich bundles on abelian covers, recovers earlier results for cyclic covers of projective spaces, and produces many new examples and non-examples. The necessary direction and the global-generation consequences (Propositions 3.3, 3.5, and Corollary 3.4) are coherent and constitute a useful contribution. However, the sufficient direction rests on an unproved matrix-factorization assertion in Theorem 4.2, which is the load-bearing step for the 'if' direction of the central theorem. As written, the main theorem is therefore not fully established.","major_comments":[{"comment":"The existence of matrices B_1, ..., B_d with entries in H^0(P, ϖ^*L ⊗ O_P(1)) satisfying B_1···B_d = (T^d − Σ_i (ϖ^*a_1^i ⊗ e)···(ϖ^*a_d^i ⊗ e))·id_m is asserted rather than proved. The citation to [3, Lemma 1.5] is insufficient: that lemma concerns matrix factorizations of homogeneous polynomials over a polynomial ring over a field, whereas here the entries must be sections of ϖ^*L ⊗ O_P(1) on the relative P^1-bundle P over Y, and the reduction 'like in a polynomial ring' is not demonstrated. In particular, the proof does not show that det(B_i) = F^{m/d} for F = T^d − Σ_i (ϖ^*a_1^i ⊗ e)···(ϖ^*a_d^i ⊗ e), nor that the cokernel E is supported exactly on the cyclic cover X rather than on a larger closed subscheme. Without these facts, the claimed rank m/d and the conclusion π_*E ≅ O_Y^{⊕m} are unjustified.","section":"Theorem 4.2"},{"comment":"The displayed short exact sequence defines E as the cokernel of a single map ×B_i, but the matrix-factorization condition involves the product B_1···B_d = F·id_m. The support of coker(B_i) is controlled by det(B_i), not directly by F unless det(B_i) is a power of F, and that equality is not proved. The manuscript needs either a construction of a single matrix whose determinant is F (which would force rank one and is generally impossible) or a genuine matrix-factorization resolution involving all B_i, together with a proof that the resulting cokernel is supported on the zero scheme of F and that its pushforward is trivial. As written, the support and rank claims in (4.2) do not follow.","section":"Theorem 4.2, exact sequence (4.2)"},{"comment":"The assertion that π_*E ≅ O_Y^{⊕m} together with the decomposition (3.3) 'is equivalent to' the existence of O_Y-module homomorphisms φ_i: O_Y^{⊕m} → O_Y^{⊕m} ⊗ M_i satisfying the characteristic equations φ_i^{d_i} = s_i is stated without proof. The identification of the π_*O_X-module structure on End(π_*E) with the stated direct summands of the decomposition is not immediate, and it carries the entire necessary direction of the main theorem. A few lines of justification are needed to make this step rigorous.","section":"Proposition 3.5"}],"minor_comments":[{"comment":"In the statement of Corollary 4.3, the arrow in the multiplication map is reversed: it should be H^0(Y, M_i)^{⊗d_i} → H^0(Y, M_i^{⊗d_i}), matching Theorem 1.3 and Proposition 3.5.","section":"Corollary 4.3"},{"comment":"The abstract speaks of a 'coherent sheaf' whose direct image is trivial, while the body of the paper works with vector bundles; the authors should harmonize these statements, especially since the abstract's claim about local freeness appears only in the arXiv-metadata version and not in the main text.","section":"Abstract and Introduction"},{"comment":"The sentence 'then the branch divisor Z(s) will have a singularity at x, contradicting the smoothness of Y' is inaccurate: Y is smooth regardless of Z(s). The contradiction should be with the smoothness of the cyclic cover X (equivalently, with the smoothness of the branch divisor B), which is part of the hypothesis that π is a covering between smooth varieties.","section":"Proposition 4.7, Case 2"},{"comment":"The claim that C is smooth because the branch divisor is chosen outside the image of H^0(D,L) ⊗ H^0(D,L) needs clarification: smoothness of the branch divisor is an additional condition, and the example should explicitly state that a smooth divisor in the complement is chosen.","section":"Example 4.8"}],"recommendation":"major_revision","confidential_remarks":"The necessary direction of the main theorem and the examples are valuable, but the sufficient direction in Theorem 4.2 is not proved: the matrix-factorization step is asserted by analogy with the homogeneous-polynomial case, and the support and rank claims of the cokernel are not derived. This is a localizable gap that may be fixable by proving a relative matrix-factorization lemma with full hypotheses. I recommend major revision rather than rejection, provided the authors supply a complete proof of the matrix-factorization existence and the cokernel computation, or alternatively restrict the main theorem to the necessary direction and present the sufficient criterion as conditional. The paper would also benefit from a careful pass to correct the minor issues listed above."},"author_rebuttal":null,"desk_editor":{"model":"deepseek-v4-flash","letter":"You should know two things about this paper. First, it gives a clean necessary and sufficient condition for a ramified abelian Galois cover to admit a relatively Ulrich bundle: the branch divisors must lie in the image of the d-fold multiplication map. Second, the necessary direction is solid, but the sufficient direction rests on a matrix-factorization construction in Theorem 4.2 that is not actually proved. The gap looks fillable, but it is not cosmetic.\n\nWhat is new: the abelian case, rather than just cyclic or double covers, and the sharpness example (4.8) showing global generation of the branch line bundle is strictly weaker than the multiplication-map condition. The necessary part (Prop. 3.5) is a nice observation: from the endomorphism algebra of the trivial direct image, you get matrices A_i satisfying A_i^{d_i}=s_i·Id, so s_i is a sum of d_i-fold tensor products. That is clean and convincing. The application to P^n follows immediately once you have the theorem, since the multiplication maps are surjective there. The paper is also honest: it states where it is borrowing from [3] and from the earlier cyclic case.\n\nThe soft spot is Theorem 4.2. The proof says 'consider a matrix factorization' and cites [3, Lemma 1.5], then says the existence is 'similar to the case of a homogeneous polynomial.' But the issue is exactly that P = Proj(Sym(O_Y⊕L^{-1})) is a relative P^1-bundle, not a polynomial ring. The cited lemma gives matrix factorizations over strict complete intersections, and it is not automatic that it applies here, with the required size m and with determinant equal to (T^d−π^*s)^{m/d}. Without equality of determinants, the cokernel need not be supported on X; without control of m/d, the rank claim is unjustified. The text says the determinant 'can be shown' but does not show it. This is a load-bearing gap in an iff theorem.\n\nThat said, this is not a broken argument. The necessary direction and the examples stand on their own, and I suspect the matrix-factorization step can be fixed by a proper relative version of [3, Lemma 1.5] or by an explicit construction using the tensor decomposition of s. A referee should ask for that before accepting the completeness claim.\n\nWho is this for? People working on Ulrich bundles and covering constructions. It is a useful paper, but it needs revision. I would send it to a serious referee, not desk-reject it.","headline":"A useful abelian generalization of known cyclic/double-cover results for relatively Ulrich bundles, but the 'if' direction relies on an unproved matrix-factorization step that a referee should push on.","tokens_in":12410,"tokens_out":2594,"would_cite":true,"duration_ms":21910,"reading_group":"yes","serious_thinker":"yes","would_accept_peer_review":true},"rs_alignment":null,"lean_confirmation":null,"pith_extraction":{"msc":["14H30","14H60","14J60","14M10"],"pacs":[],"model":"deepseek-v4-flash","headline":"For a ramified abelian Galois cover, a vector bundle with trivial direct image exists if and only if every branch divisor lies in the image of the corresponding multiplication map.","keywords":["abelian covering","direct image","Ulrich bundle","relatively Ulrich vector bundle","branch divisor","cyclic covering","matrix factorization"],"falsifier":"For a cyclic triple cover of $\\mathbb{P}^2$ with branch divisor $s = x^3 + y^3 + z^3$, which satisfies the multiplication-map condition, write down the matrix factorization promised in Theorem 4.2 using the cited lemma, form the cokernel, and compute the pushforward $\\pi_*E$; if this pushforward is not a trivial bundle, or if the cokernel is not supported on the cover, the sufficient direction is false. A smaller closed test is the degree-3 cover of $\\mathbb{P}^1$ branched over three points, where the rank and support of the cokernel can be computed directly.","tokens_in":11298,"feed_emoji":"📐","tokens_out":9965,"duration_ms":83906,"temperature":0.7,"pith_summary":"The paper asks when a finite morphism $\\pi: X \\to Y$ of smooth projective varieties has a vector bundle $E$ on $X$ whose direct image $\\pi_*E$ is a trivial bundle on $Y$. For a ramified abelian Galois cover, it gives a complete answer: such an $E$ exists if and only if each branch divisor $B_i$ is a sum of $d_i$-fold products of sections of the associated line bundle $M_i$. This is a concrete cohomological condition, and it implies that every smooth ramified abelian Galois cover of projective space carries an Ulrich bundle. The result extends the study of Ulrich bundles to a relative setting.","feed_headline":"Abelian covers admit Ulrich bundles when branch divisors factor","feed_subtitle":"Trivial direct images exist iff each branch divisor factors as a sum of tensor products; all smooth P^n covers qualify.","key_machinery":"The direct-image splitting of $\\pi_*\\mathcal{O}_X$ for an abelian Galois cover into line bundles $\\mathcal{O}_Y$, $M_i^{-1}, \\dots, M_i^{-d_i+1}$, and their tensor products, together with the branch divisors $B_i$ viewed as sections $s_i \\in H^0(Y, M_i^{\\otimes d_i})$, forms the test object. The multiplication map $H^0(Y, M_i)^{\\otimes d_i} \\to H^0(Y, M_i^{\\otimes d_i})$ is the criterion that separates existence from non-existence. For the converse direction, the central mechanism is matrix factorization on the projective bundle $\\mathbb{P} = \\mathrm{Proj}(\\mathrm{Sym}(\\mathcal{O}_Y\\oplus L^{-1}))$: factorizing the polynomial $T^d - \\sum_i(\\varpi^*a_1^i\\otimes e)\\cdots(\\varpi^*a_d^i\\otimes e)$ into a product of matrices produces a sheaf whose cokernel is the desired relatively Ulrich bundle.","core_discovery":"For a finite ramified abelian Galois cover $\\pi: X \\to Y$ with $\\pi_*\\mathcal{O}_X$ decomposed into line bundles as in (3.3), a relatively Ulrich vector bundle (one with trivial direct image) exists if and only if, for every $i$, the branch divisor $B_i \\in H^0(Y, M_i^{\\otimes d_i})$ lies in the image of the $d_i$-fold multiplication map $H^0(Y, M_i)^{\\otimes d_i} \\to H^0(Y, M_i^{\\otimes d_i})$. Necessity is proved by observing that triviality of $\\pi_*E$ makes $\\mathrm{End}(\\pi_*E)$ carry an action of $\\pi_*\\mathcal{O}_X$, giving endomorphisms $\\phi_i$ with $\\phi_i^{d_i} = s_i$; applied to the identity endomorphism, each $s_i$ becomes a sum of $d_i$-fold tensor products. Sufficiency is proved by constructing a matrix factorization of $T^{d_i} - \\sum_i(\\varpi^*a_1^i\\otimes e)\\cdots(\\varpi^*a_{d_i}^i\\otimes e)$ over the projective bundle $\\mathbb{P} = \\mathrm{Proj}(\\mathrm{Sym}(\\mathcal{O}_Y\\oplus L^{-1}))$ whose cokernel is supported on the cyclic cover and pushes forward to a trivial bundle.","pith_inferences":["The rank of the relatively Ulrich bundle produced by the matrix-factorization argument depends on the chosen expression of $s$ as a sum of $d$-fold tensor products; a natural question the paper leaves open is whether the minimal rank equals the minimal number of summands in such a decomposition, a Waring-type rank of the branch section.","The criterion can be read as a cohomological divisibility test: it asks whether the section $s_i$ can be expressed as a sum of pure $d_i$-fold tensor products. On varieties where all such multiplication maps are surjective for ample line bundles, the theorem automatically yields relatively Ulrich bundles.","If the unproved matrix-factorization assertion in Theorem 4.2 fails for some degree, the necessary direction survives unchanged, and sufficiency might be restored by a different construction that avoids the cited lemma."],"forward_implications":["Every smooth ramified abelian Galois cover of $\\mathbb{P}^n$ has an Ulrich bundle with respect to the pullback polarization, by Corollary 1.4.","If a relatively Ulrich bundle exists, then every $M_i$ is globally generated and each branch divisor has a $d_i$-fold tensor decomposition; in particular, nontrivial \\'etale covers and covers with small ramification cannot admit such bundles.","The multiplication-map condition is strictly stronger than global generation of $M_i$: Example 4.8 gives a cyclic double cover of an elliptic curve with globally generated $M$ but no relatively Ulrich bundle.","The sufficient condition is stable under composition: if each cyclic cover in the tower satisfies it, the whole abelian cover admits a relatively Ulrich bundle, by Corollary 4.3.","Complete intersection subvarieties of $\\mathbb{P}^N$ satisfy the required multiplication-surjectivity for all positive-degree line bundles, giving many explicit abelian covers that admit relatively Ulrich bundles.","The necessary condition (Proposition 3.5) is independent of the matrix-factorization step, so even if the sufficiency proof fails for some degree, the obstruction in terms of branch-divisor factorization remains valid."],"supporting_citations":[{"why":"Supplies the lemma on the existence of matrix factorizations over strict complete intersections, on which the sufficient direction of Theorem 4.2 depends.","marker":"[3]"},{"why":"Provides the definition of relatively Ulrich bundles and the double-cover result that Corollary 1.4 recovers as a special case.","marker":"[5]"},{"why":"Provides the cyclic-covering method and the matrix-factorization approach used in Theorem 4.2, and its Theorem 1.1 is recovered as a special case of Corollary 1.4.","marker":"[6]"}],"fun_headline_variants":["Trivial direct image iff branch divisors factor","Abelian covers admit Ulrich bundles iff branch divisors factor","Ulrich bundles on smooth abelian covers of P^n","Branch divisors determine trivial direct image"],"cache_read_input_tokens":3200,"weakest_assumption_plain":"The 'if' direction of the main theorem rests on an unproved claim that the polynomial defining the cover can always be factored into square matrices whose cokernel is supported exactly on the cyclic cover and pushes forward to a trivial bundle; the paper invokes a cited lemma rather than verifying these rank and support conditions.","fun_headline_variants_meta":{"raw":{"variants":["Trivial direct image iff branch divisors factor","Abelian covers admit Ulrich bundles iff branch divisors factor","Ulrich bundles on smooth abelian covers of P^n","Branch divisors determine trivial direct image"]},"model":"deepseek-v4-flash","effort":"low","cost_usd":0.000652,"raw_usage":{"total_tokens":3020,"prompt_tokens":1003,"completion_tokens":2017,"prompt_tokens_details":{"cached_tokens":384},"prompt_cache_hit_tokens":384,"prompt_cache_miss_tokens":619,"completion_tokens_details":{"reasoning_tokens":1959}},"tokens_in":619,"tokens_out":2017,"duration_ms":13595,"temperature":1.0,"reasoning_tokens":1959,"cache_read_input_tokens":384,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-08-15T15:39:10.805280+00:00","model_set":{"reader":"deepseek-v4-flash"},"falsifier":"For a cyclic triple cover of $\\mathbb{P}^2$ with branch divisor $s = x^3 + y^3 + z^3$, which satisfies the multiplication-map condition, write down the matrix factorization promised in Theorem 4.2 using the cited lemma, form the cokernel, and compute the pushforward $\\pi_*E$; if this pushforward is not a trivial bundle, or if the cokernel is not supported on the cover, the sufficient direction is false. A smaller closed test is the degree-3 cover of $\\mathbb{P}^1$ branched over three points, where the rank and support of the cokernel can be computed directly.","supporting_citations":[{"cited_title":"Herzog and B","cited_arxiv_id":null,"evidence_quote":"Supplies the lemma on the existence of matrix factorizations over strict complete intersections, on which the sufficient direction of Theorem 4.2 depends."},{"cited_title":"Mohan Kumar, P","cited_arxiv_id":null,"evidence_quote":"Provides the definition of relatively Ulrich bundles and the double-cover result that Corollary 1.4 recovers as a special case."}],"review_version":2}