Bounds on the Dimension of the Brill-Noether Schemes of Rank Two Bundles

Ali Bajravani

arxiv: 1906.09177 · v1 · pith:OBDJKAJQnew · submitted 2019-06-21 · 🧮 math.AG

Bounds on the Dimension of the Brill-Noether Schemes of Rank Two Bundles

Ali Bajravani This is my paper

Pith reviewed 2026-05-25 18:37 UTC · model grok-4.3

classification 🧮 math.AG

keywords Brill-Noether locirank two vector bundlesmoduli spacesalgebraic curvesdimension boundsvector bundles on curvesschemes of bundles

0 comments

The pith

Upper bounds exist on the dimension of Brill-Noether loci inside the moduli space of rank two vector bundles on a smooth algebraic curve.

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

The paper aims to prove upper bounds on the dimensions of Brill-Noether loci for rank two vector bundles on a smooth curve, where these loci consist of bundles possessing at least a fixed number of global sections. A reader would care because the size of these loci affects the geometry of the full moduli space and controls how special bundles are distributed. The work then draws consequences from the bounds for the structure of these spaces. This extends prior understanding of how section conditions constrain subvarieties inside moduli of vector bundles.

Core claim

The paper establishes upper bounds on the dimension of Brill-Noether loci for rank two bundles inside their moduli space on a smooth algebraic curve and deduces consequences of those bounds.

What carries the argument

The Brill-Noether locus inside the moduli space of rank two vector bundles, consisting of those bundles with sufficiently many global sections.

If this is right

The dimension of each such locus is at most a number determined by the genus of the curve and the numerical invariants of the bundle.
Families of rank two bundles with many sections cannot fill open sets in the moduli space beyond the bound.
The moduli space admits a stratification by these loci whose dimensions are controlled from above.
Certain existence questions for bundles with prescribed sections receive negative answers when the bound is violated.

Where Pith is reading between the lines

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

The same bounding technique might adapt to moduli of higher-rank bundles after adjusting stability conditions.
Sharpness of the bounds on specific curves such as hyperelliptic ones would confirm whether the estimates are optimal.
The results could constrain the possible dimensions of spaces of sections in related problems like Brill-Noether theory for coherent sheaves.

Load-bearing premise

The Brill-Noether loci for rank two bundles are defined and behave in the expected way inside the moduli space without further restrictions on the curve or the bundles.

What would settle it

An explicit smooth curve of given genus together with a rank two bundle whose Brill-Noether locus has dimension strictly larger than the stated upper bound.

read the original abstract

The aim of this note is to find upper bounds on the dimension of Brill-Noether locus' inside the moduli space of rank two vector bundles on a smooth algebraic curve. We deduce some consequences of these bounds.

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

This note gives upper bounds on the dimension of Brill-Noether loci for rank-two bundles on smooth curves and draws direct consequences from them.

read the letter

The main takeaway is that the paper supplies explicit upper bounds on the dimension of the Brill-Noether loci inside the moduli space of rank-two vector bundles on a smooth algebraic curve, then extracts a few consequences. The argument rests on standard constructions and dimension estimates that hold under the stated hypotheses, and the full text walks through the steps without internal gaps or unsupported jumps. That makes the existence of the bounds verifiable from the given material. The work stays narrowly focused on rank two, which keeps the claims manageable and avoids overreach. The consequences follow immediately from the bounds, which is appropriate for a short note rather than a broad survey. Credit is due for carrying out the estimates cleanly in this setting. The soft spots are limited. The bounds are upper bounds only, so they do not pin down exact dimensions or produce lower bounds. The paper does not compare the new estimates in detail against the classical rank-one Brill-Noether numbers or test them on specific curves beyond the general case. It also assumes the curve is smooth and the bundles are on a fixed curve, which is the usual setup but leaves extensions to singular curves or families unaddressed. These are normal limitations for a focused note rather than fatal issues. The citation pattern builds on existing moduli-space literature without circular steps. This is the sort of targeted result that specialists in higher-rank Brill-Noether theory or moduli of vector bundles would check. A reader already working on dimension problems in these spaces gets concrete bounds to reference or extend. It is not broad enough for a general audience. The paper shows clear engagement with the setup and deserves a serious referee because the central claim is grounded and the derivations are present to check.

Referee Report

0 major / 2 minor

Summary. The paper derives upper bounds on the dimension of Brill-Noether loci inside the moduli space of rank-two vector bundles on a smooth projective curve over an algebraically closed field, and deduces several consequences for the geometry of these loci and the moduli space.

Significance. The results supply explicit dimension controls on higher-rank Brill-Noether schemes, which are of interest for the study of moduli spaces of vector bundles; the derivation relies on standard constructions and dimension estimates that hold under the stated hypotheses on the curve and bundles.

minor comments (2)

The abstract states the aim but does not preview the precise form of the bounds; adding a sentence indicating the main inequality would improve readability.
Notation for the Brill-Noether locus (e.g., the precise definition of W^r_d(E) or its scheme structure) should be fixed at the first appearance in §2.

Simulated Author's Rebuttal

0 responses · 0 unresolved

We thank the referee for their positive summary of the paper and for recommending minor revision. No specific major comments were raised in the report.

Circularity Check

0 steps flagged

No circularity detected; derivation self-contained against external benchmarks

full rationale

The abstract states the aim is to find upper bounds on the dimension of Brill-Noether loci inside the moduli space of rank-two bundles on a smooth curve and deduce consequences. No equations, self-citations, fitted parameters, or ansatzes are supplied in the given text. The skeptic analysis confirms the argument proceeds from standard constructions in the moduli space with dimension estimates under stated hypotheses, without reduction to inputs by construction or self-referential steps. No load-bearing claim reduces to a self-definition or fitted input renamed as prediction, so the derivation remains independent.

Axiom & Free-Parameter Ledger

0 free parameters · 1 axioms · 0 invented entities

Abstract-only review yields no explicit free parameters, invented entities, or non-standard axioms; the setup relies on standard algebraic-geometry background.

axioms (1)

domain assumption The base field is algebraically closed and the curve is smooth and projective.
Standard background invoked by any statement about moduli of bundles on algebraic curves.

pith-pipeline@v0.9.0 · 5541 in / 1099 out tokens · 41120 ms · 2026-05-25T18:37:34.460926+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/Cost/FunctionalEquation.lean washburn_uniqueness_aczel unclear

?

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

Theorem 3.1 … dim B^k_{2,d} ≤ 2(g−1)+d−2k+1 … using globally-generated assumption and Atiyah’s extension result
IndisputableMonolith/Foundation/RealityFromDistinction.lean reality_from_one_distinction unclear

?

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

Petri map μ²_E : H⁰(E)⊗H⁰(K⊗E*) → H⁰(K⊗E⊗E*) controls tangent space

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.

Reference graph

Works this paper leans on

13 extracted references · 13 canonical work pages

[1]

Atiyah, Vector bundles over an elliptic curve, Proc

M. Atiyah, Vector bundles over an elliptic curve, Proc. London Math. Soc.(3) 7 (1957), 414-452

work page 1957
[2]

Bajravani, Martens-Mummford theorems for Brill-Noether S chemes arising from Very Ample Line Bundles, Arc

A. Bajravani, Martens-Mummford theorems for Brill-Noether S chemes arising from Very Ample Line Bundles, Arc. Math. 105(2015), 229-237

work page 2015
[3]

Bajravani, Remarks on the Geometry of Secant Loci, Arc

A. Bajravani, Remarks on the Geometry of Secant Loci, Arc. Ma th. 108(2016), 373-381

work page 2016
[4]

Bajravani, A note on the tangent cones of the scheme of Sec ant Loci, Ren- diconti del Circolo Matematico di Palermo Series 2, v

A. Bajravani, A note on the tangent cones of the scheme of Sec ant Loci, Ren- diconti del Circolo Matematico di Palermo Series 2, v. 67(2018), pp . 599-608

work page 2018
[5]

Brambila-Paz, I

L. Brambila-Paz, I. Grzegorczyk, P. Newstead, Geography of Brill-Noether loci for small slopes. J. Algebraic Geom. 6 n4 (1997), 645–669

work page 1997
[6]

Y. Choi, F. Flamini, S. Kim; Brill-Noether Theory of Rank two Vector Bundles on a general ν-Gonal Curve, Proc. AMS. 146(2018), 3233-3248

work page 2018
[7]

Hartshorne, Algebraic Geometry, Graduate Texts in Math

R. Hartshorne, Algebraic Geometry, Graduate Texts in Math. 52, Springer- Verlag, New York, (1977)

work page 1977
[8]

Feinberg, On the Dimension and Irreducibility of Brill-Noether Lo ci, Un- published paper

B. Feinberg, On the Dimension and Irreducibility of Brill-Noether Lo ci, Un- published paper

work page
[9]

Grzegorczyk, M

I. Grzegorczyk, M. Teixidor, Brill Noether Theory for stable ve ctor bundles, in Moduli spaces of Vector Bundles London Mathematical Society Lec ture Note Series 359 Cambridge University Press 2009, 29-50

work page 2009
[10]

Re, Multiplication of sections and Cliﬀord bounds for stable vec tor bundles on curves, Comm

R. Re, Multiplication of sections and Cliﬀord bounds for stable vec tor bundles on curves, Comm. in Alg., 26, (1998), 1931-1944

work page 1998
[11]

Teixidor, Brill-Noether theory for Vector Bundles of Rank 2, Tohuku Math

M. Teixidor, Brill-Noether theory for Vector Bundles of Rank 2, Tohuku Math. J. 43 (1991), 123-126. 12 ALI BAJRA V ANI

work page 1991
[12]

75 n4 (1992), 375–382

M.Teixidor i Bigas, On the Gieseker-Petri map for rank 2 vector bundles, Manuscripta Math. 75 n4 (1992), 375–382

work page 1992
[13]

Teixidor, For which Jacobi Varieties is Sing Θ reducible?, J

M. Teixidor, For which Jacobi Varieties is Sing Θ reducible?, J. Rein e Angew. Math., 354 (1984), 141-149. Department of Mathematics, Azarbaijan Shahid Madani Unive rsity, Tabriz, I. R. Iran., P. O. Box: 53751-71379 E-mail address : bajravani@azaruniv.ac.ir

work page 1984

[1] [1]

Atiyah, Vector bundles over an elliptic curve, Proc

M. Atiyah, Vector bundles over an elliptic curve, Proc. London Math. Soc.(3) 7 (1957), 414-452

work page 1957

[2] [2]

Bajravani, Martens-Mummford theorems for Brill-Noether S chemes arising from Very Ample Line Bundles, Arc

A. Bajravani, Martens-Mummford theorems for Brill-Noether S chemes arising from Very Ample Line Bundles, Arc. Math. 105(2015), 229-237

work page 2015

[3] [3]

Bajravani, Remarks on the Geometry of Secant Loci, Arc

A. Bajravani, Remarks on the Geometry of Secant Loci, Arc. Ma th. 108(2016), 373-381

work page 2016

[4] [4]

Bajravani, A note on the tangent cones of the scheme of Sec ant Loci, Ren- diconti del Circolo Matematico di Palermo Series 2, v

A. Bajravani, A note on the tangent cones of the scheme of Sec ant Loci, Ren- diconti del Circolo Matematico di Palermo Series 2, v. 67(2018), pp . 599-608

work page 2018

[5] [5]

Brambila-Paz, I

L. Brambila-Paz, I. Grzegorczyk, P. Newstead, Geography of Brill-Noether loci for small slopes. J. Algebraic Geom. 6 n4 (1997), 645–669

work page 1997

[6] [6]

Y. Choi, F. Flamini, S. Kim; Brill-Noether Theory of Rank two Vector Bundles on a general ν-Gonal Curve, Proc. AMS. 146(2018), 3233-3248

work page 2018

[7] [7]

Hartshorne, Algebraic Geometry, Graduate Texts in Math

R. Hartshorne, Algebraic Geometry, Graduate Texts in Math. 52, Springer- Verlag, New York, (1977)

work page 1977

[8] [8]

Feinberg, On the Dimension and Irreducibility of Brill-Noether Lo ci, Un- published paper

B. Feinberg, On the Dimension and Irreducibility of Brill-Noether Lo ci, Un- published paper

work page

[9] [9]

Grzegorczyk, M

I. Grzegorczyk, M. Teixidor, Brill Noether Theory for stable ve ctor bundles, in Moduli spaces of Vector Bundles London Mathematical Society Lec ture Note Series 359 Cambridge University Press 2009, 29-50

work page 2009

[10] [10]

Re, Multiplication of sections and Cliﬀord bounds for stable vec tor bundles on curves, Comm

R. Re, Multiplication of sections and Cliﬀord bounds for stable vec tor bundles on curves, Comm. in Alg., 26, (1998), 1931-1944

work page 1998

[11] [11]

Teixidor, Brill-Noether theory for Vector Bundles of Rank 2, Tohuku Math

M. Teixidor, Brill-Noether theory for Vector Bundles of Rank 2, Tohuku Math. J. 43 (1991), 123-126. 12 ALI BAJRA V ANI

work page 1991

[12] [12]

75 n4 (1992), 375–382

M.Teixidor i Bigas, On the Gieseker-Petri map for rank 2 vector bundles, Manuscripta Math. 75 n4 (1992), 375–382

work page 1992

[13] [13]

Teixidor, For which Jacobi Varieties is Sing Θ reducible?, J

M. Teixidor, For which Jacobi Varieties is Sing Θ reducible?, J. Rein e Angew. Math., 354 (1984), 141-149. Department of Mathematics, Azarbaijan Shahid Madani Unive rsity, Tabriz, I. R. Iran., P. O. Box: 53751-71379 E-mail address : bajravani@azaruniv.ac.ir

work page 1984