arXiv Science⌕ Search
Home/Archive/arXiv

arXiv · 2610.24251

Codimension of Brill-Noether Loci on Abelian Surfaces and the First Segre Invariant

Jesse Chien
View original source ↗Read source document ↗Export metadata ↓

Abstract

Let $X$ be an abelian surface of Picard rank 1 with ample generator $H$. We show that, for a Mukai vector $\mathbf{v}=(r,mH,χ)$ with $r,m\geq 1$ and $χ\leq 0$, the first Brill-Noether loci $\{E \;|\; H^0(E)\neq 0\}$ in $M_X(\mathbf{v})$ is nonempty of the expected codimension $1-χ$. As an application, we study the rank 1 Segre invariant on these abelian surfaces. Specifically, for $\mathbf{v}$ a Mukai vector of a $μ$-stable sheaf of $\mathrm{rank}\geq 2$, we compute the Segre invariant of the general sheaf in $M_X(\mathbf{v})$, and we determine the numbers which arise as the Segre invariant of a sheaf in $M_X(\mathbf{v})$.

Explore related subjects

math.AG

Keep this discovery

Explore connections, maps & timelines

BibTeXRIS

Jesse Chien. 2026-10-16. Codimension of Brill-Noether Loci on Abelian Surfaces and the First Segre Invariant. https://arxiv.org/abs/2610.24251

Cite the original work for its findings. Save a collection to share your selection of sources.

KEEP EXPLORING

Related papers

arXiv2026

Ceresa Cycles of $X_{0}(N)$

The Ceresa cycle is an algebraic 1-cycle on the Jacobian of an algebraic curve. Although it is homologically trivial, Ceresa famously proved that for a very general complex curve of genus at least 3, it is non-trivial in the Chow group. In this paper we study the Ceresa cycle attached to the complete modular curve $X_{0}(N)$ modulo rational equivalence. For prime level $p$ we give a complete description, namely we prove that if $X_{0}(p)$ is not hyperelliptic, then its Ceresa cycle is non-torsion. For general level $N$, we prove that there are finitely many $X_{0}(N)$ with torsion Ceresa cycle. Our method relies on the relationship between the vanishing of the Ceresa cycle and Chow-Heegner points on the Jacobian. We use the geometry and arithmetic of modular Jacobians to prove that such points are of infinite order and therefore deduce non-vanishing of the Ceresa cycle.

math.AG↗
arXiv2026

Uniform vector bundles over $\mathbb{P}^4$

There is a long-standing conjecture which states that every uniform algebraic vector bundle of rank $r<2n$ on the $n$-dimensional projective space $\mathbb{P}^n$ over an algebraically closed field of characteristic $0$ is homogeneous. This conjecture is valid for $n\leq3$. In this paper, we classify all uniform vector bundles of rank $r<8$ over $\mathbb{P}^4$ and show that the conjecture holds for $n=4$.

math.AG↗
arXiv2026

Splitting vector bundles over real algebraic varieties

Suppose $X$ is a smooth affine real variety and $\mathscr{E}$ is a vector bundle over $X$. We analyze the problem of splitting off a free rank one summand from $\mathscr{E}$ in corank $0$ and $1$. The problem in corank $0$ can be viewed as the search for a real analog of Murthy's celebrating splitting theorem in the algebraically closed case: to wit, beyond the vanishing of the top Chern class in Chow theory, are the obstructions to splitting ``purely topological''? In a sense, the answer in this case is yes, and we give a proof, using motivic techniques, of a mild extension of the results of Bhatwadekar-Sridharan and Bhatwadekar-Das-Mandal. In corank $1$, in the algebraically closed situation, Murthy's splitting conjecture (now a theorem in characteristic $0$) predicts that the vanishing of the top Chern class in Chow theory is the only obstruction to splitting off a free rank $1$ summand, and we can search for a suitable ``real'' analog of this assertion. We observe that several natural guesses for a ``real'' analog of Murthy's splitting conjecture cannot be true, i.e., that the situation over the real numbers is rather complicated.

math.AG↗