A very short proof of the Borisov-Nuer conjecture

Matthew Dawes

arxiv: 1907.04856 · v2 · pith:2IJIPOSZnew · submitted 2019-07-10 · 🧮 math.AG · math.NT

A very short proof of the Borisov-Nuer conjecture

Matthew Dawes This is my paper

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

classification 🧮 math.AG math.NT

keywords Borisov-Nuer conjectureeven unimodular latticesignature (1,9)Enriques surfacesUlrich line bundlesalgebraic geometry

0 comments

The pith

Every element in the even unimodular lattice of signature (1,9) can be expressed as the difference of two elements of squared length -2.

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

The paper proves the Borisov-Nuer conjecture by showing that any vector in the even unimodular lattice of signature (1,9) equals the difference of two vectors each with squared length -2. This lattice property directly implies that every unnodal Enriques surface admits an Ulrich line bundle. A reader would care because the result links a concrete lattice representation to the existence of special line bundles on surfaces in algebraic geometry. The proof settles an open statement and yields a geometric consequence without additional assumptions beyond the lattice conditions.

Core claim

We prove that every element in the even unimodular lattice of signature (1,9) can be expressed as the difference of two elements of squared length -2. This establishes the Borisov-Nuer conjecture. As a consequence, every unnodal Enriques surface admits an Ulrich line bundle.

What carries the argument

The even unimodular lattice of signature (1,9) and the representation of each of its elements as the difference of two vectors of squared length -2.

If this is right

The Borisov-Nuer conjecture holds.
Every unnodal Enriques surface admits an Ulrich line bundle.
The representation as differences of squared length -2 vectors applies to all elements of the lattice.

Where Pith is reading between the lines

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

The short proof may indicate that similar lattice identities can be established with minimal machinery in related settings.
The result could support explicit constructions of Ulrich bundles on other classes of surfaces that satisfy analogous lattice conditions.

Load-bearing premise

The even unimodular lattice of signature (1,9) satisfies the necessary conditions for the representation theorem to apply, as per the statement of the Borisov-Nuer conjecture.

What would settle it

Exhibiting one explicit vector in the even unimodular lattice of signature (1,9) that cannot be written as the difference of two vectors of squared length -2 would falsify the claim.

read the original abstract

We prove a conjecture of Borisov and Nuer, which states that every element in the even unimodular lattice of signature (1,9) can be expressed as the difference of two elements of squared length -2. As a consequence, every unnodal Enriques surface admits an Ulrich line bundle.

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

Claimed short proof of Borisov-Nuer conjecture on lattice differences, but only abstract available so no verification possible.

read the letter

This paper claims to prove the Borisov-Nuer conjecture with a very short argument. The conjecture states that every element in the even unimodular lattice of signature (1,9) can be written as the difference of two vectors of squared length -2. If the proof works, it immediately gives that every unnodal Enriques surface admits an Ulrich line bundle. The abstract frames the result as a direct resolution of that open lattice question plus the geometric consequence. What is new is the brevity of the claimed argument; it adds a concise route to a result that had been open. If the details check out, that conciseness is the main contribution. The paper does well by targeting a concrete conjecture with a clear downstream application rather than a vague generalization. The soft spot is straightforward and large: only the abstract is available. There are no lemmas, no explicit steps, and no indication of which representation tools or lattice properties are used. This leaves the soundness of the central claim untestable. The reader's point about the weakest assumption on the lattice conditions is accurate; without the text we cannot see whether those conditions are handled or whether the argument slips on the indefinite form. No circularity is visible in the abstract itself, and the citation pattern is not an issue since this is presented as a new proof of an external conjecture. The result is aimed at algebraic geometers who work with Enriques surfaces, their Picard lattices, or related questions in lattice theory. A reader who follows progress on these surfaces would want to see the argument once the full paper appears. I would bring the full version to a reading group if the proof turns out to be transparent and checkable. I would not cite the work yet. It deserves peer review because a correct short proof of this conjecture would be worth referee time even if the write-up needs expansion to make the steps explicit.

Referee Report

1 major / 0 minor

Summary. The paper claims to give a very short proof of the Borisov-Nuer conjecture asserting that every vector in the even unimodular lattice of signature (1,9) is the difference of two vectors of squared length -2; as a corollary every unnodal Enriques surface carries an Ulrich line bundle.

Significance. If the claimed proof is correct, the result settles a conjecture in the arithmetic geometry of Enriques surfaces and supplies a concrete lattice-theoretic criterion with geometric consequences. The emphasis on brevity suggests the argument may avoid heavy machinery, which would be a positive feature if substantiated.

major comments (1)

The manuscript consists solely of the abstract; no proof, lemmas, or calculations are supplied. Consequently the central claim—that the conjecture has been proved—cannot be verified or even examined for correctness, circularity, or hidden assumptions.

Simulated Author's Rebuttal

1 responses · 0 unresolved

We thank the referee for their report. The major comment correctly identifies that only the abstract was supplied in the version under review. We address this below.

read point-by-point responses

Referee: The manuscript consists solely of the abstract; no proof, lemmas, or calculations are supplied. Consequently the central claim—that the conjecture has been proved—cannot be verified or even examined for correctness, circularity, or hidden assumptions.

Authors: We agree that the version examined contains only the abstract. The full manuscript contains the short proof of the Borisov-Nuer conjecture. We will revise the submission to include the complete argument in the main text so that the reasoning, any assumptions, and the derivation of the corollary can be examined directly. revision: yes

Circularity Check

0 steps flagged

No significant circularity

full rationale

Only the abstract is available, which states a proof of an external conjecture by Borisov and Nuer with no derivation chain, equations, self-citations, or internal definitions presented. The result is framed as resolving a prior statement rather than deriving from self-referential inputs or fitted parameters, so no load-bearing steps reduce by construction.

Axiom & Free-Parameter Ledger

0 free parameters · 1 axioms · 0 invented entities

Abstract-only review; limited visibility into the full set of assumptions used in the proof. The central addition is the proof of the existing conjecture.

axioms (1)

domain assumption Properties of the even unimodular lattice of signature (1,9) as standard in the field.
The conjecture is formulated using this lattice.

pith-pipeline@v0.9.0 · 5528 in / 1260 out tokens · 35568 ms · 2026-05-24T23:40:02.747244+00:00 · methodology

discussion (0)

Lean theorems connected to this paper

Citations machine-checked in the Pith Canon. Every link opens the source theorem in the public Lean library.

IndisputableMonolith/Foundation/AlexanderDuality.lean alexander_duality_circle_linking unclear

?

unclear
Relation between the paper passage and the cited Recognition theorem.

every element in the even unimodular lattice of signature (1,9) can be expressed as the difference of two elements of squared length -2
IndisputableMonolith/Foundation/ArithmeticFromLogic.lean equivNat unclear

?

unclear
Relation between the paper passage and the cited Recognition theorem.

As a consequence, every unnodal Enriques surface admits an Ulrich line bundle

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.