Smoothness results for the schemes of special divisors on general k-gonal curves
Fuente:
arXiv
Gespeichert in:
| 1. Verfasser: | |
|---|---|
| Format: | Preprint |
| Veröffentlicht: |
2026
|
| Schlagworte: | |
| Online-Zugang: | |
| Tags: |
Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
|
| _version_ | 1866914418857607168 |
|---|---|
| author | Coppens, Marc |
| author_facet | Coppens, Marc |
| contents | For a general $k$-gonal curve $C$ with a morphism $f: C \rightarrow \mathbb{P}^1$ of degree $k$, we consider the refinement of the Brill-Noether schemes $W^r_d(C)$ by means of the Brill-Noether degeneracy schemes $\overlineΣ_{\overrightarrow {e}}(C,f)$. The schemes $\overlineΣ_{\overrightarrow {e}}(C,f)$ as sets are closures of subsets $Σ_{\overrightarrow {e}}(C,f)$ of $\Pic (C)$ and as a scheme $Σ_{\overrightarrow {e}}(C,f)$ is a smooth open subscheme of $\overlineΣ_{\overrightarrow {e}}(C,f)$. In this paper we describe naturally defined open subsets of $\overlineΣ_{\overrightarrow {e}}(C,f)$ in general strictly containing $Σ_{\overrightarrow {e}}(C,f)$ such that $\overlineΣ_{\overrightarrow {e}}(C,f)$ is smooth along them.
As an application we describe all invertible sheaves $L$ on $C$ having an injective Petri map. Some of those sets $\overlineΣ_{\overrightarrow {e}}(C,f)$ are the irreducible components of $W^r_d(C)$. In those cases we prove $W^r_d(C)$ is smooth at a point $L$ of those larger open subsets of $\overlineΣ_{\overrightarrow {e}}(C,f)$ unless $L$ belongs to at least two irreducible components of $W^r_d(C)$ (such points exist). On the other hand in general the singular locus of the schemes $W^r_d(C)$ is not equal to the complement of the union of $W^{r+1}_d(C)$ and the intersections of two different components of $W^r_d(C)$. |
| format | Preprint |
| id |
arxiv_https___arxiv_org_abs_2603_23451 |
| institution | arXiv |
| publishDate | 2026 |
| record_format | arxiv |
| spellingShingle | Smoothness results for the schemes of special divisors on general k-gonal curves Coppens, Marc Algebraic Geometry 14H51 For a general $k$-gonal curve $C$ with a morphism $f: C \rightarrow \mathbb{P}^1$ of degree $k$, we consider the refinement of the Brill-Noether schemes $W^r_d(C)$ by means of the Brill-Noether degeneracy schemes $\overlineΣ_{\overrightarrow {e}}(C,f)$. The schemes $\overlineΣ_{\overrightarrow {e}}(C,f)$ as sets are closures of subsets $Σ_{\overrightarrow {e}}(C,f)$ of $\Pic (C)$ and as a scheme $Σ_{\overrightarrow {e}}(C,f)$ is a smooth open subscheme of $\overlineΣ_{\overrightarrow {e}}(C,f)$. In this paper we describe naturally defined open subsets of $\overlineΣ_{\overrightarrow {e}}(C,f)$ in general strictly containing $Σ_{\overrightarrow {e}}(C,f)$ such that $\overlineΣ_{\overrightarrow {e}}(C,f)$ is smooth along them. As an application we describe all invertible sheaves $L$ on $C$ having an injective Petri map. Some of those sets $\overlineΣ_{\overrightarrow {e}}(C,f)$ are the irreducible components of $W^r_d(C)$. In those cases we prove $W^r_d(C)$ is smooth at a point $L$ of those larger open subsets of $\overlineΣ_{\overrightarrow {e}}(C,f)$ unless $L$ belongs to at least two irreducible components of $W^r_d(C)$ (such points exist). On the other hand in general the singular locus of the schemes $W^r_d(C)$ is not equal to the complement of the union of $W^{r+1}_d(C)$ and the intersections of two different components of $W^r_d(C)$. |
| title | Smoothness results for the schemes of special divisors on general k-gonal curves |
| topic | Algebraic Geometry 14H51 |
| url | https://arxiv.org/abs/2603.23451 |