On the local structure of the Brill-Noether locus of locally free sheaves on a smooth variety

TL;DR

This paper investigates the local geometric structure of the Brill-Noether locus for locally free sheaves on smooth varieties, focusing on deformation theory, tangent spaces, and smoothness conditions.

Contribution

It introduces a detailed study of the functor of infinitesimal deformations of sheaves with section-lifting properties, extending classical results to higher rank sheaves and arbitrary dimensions.

Findings

Description of tangent cones at singular points

Characterization of tangent spaces at smooth points

Links between smoothness of deformation functors and moduli spaces

Abstract

We study the functor $\operatorname{Def}_E^k$ of infinitesimal deformations of a locally free sheaf $E$ of $\mathcal{O}_X$-modules on a smooth variety $X$, such that at least $k$ independent sections lift to the deformed sheaf, where $h^0(E) \geq k$. We deduce some information on the $k$-th Brill-Noether locus of $E$, such as the description of the tangent cone at some singular points, of the tangent space at some smooth ones and some links between the smoothness of the functor $\operatorname{Def}_E^k$ and the smoothness of some well know deformations functors and their associated moduli spaces. As a tool for the investigation of $\operatorname{Def}_E^k$, we study infinitesimal deformations of the pairs $(E,U)$, where $U$ is a linear subspace of sections of $E$. We generalise to the case where $E$ has any rank and $X$ any dimension many classical results concerning the moduli space of coherent systems, like the description of its tangent space and the link between its smoothness and the injectivity of the Petri map.