Effective very ampleness for generalized theta divisors
type: Item
instance of: scholarly article
title: Effective very ampleness for generalized theta divisors
zbMATH Open document ID: 1068.14038
DOI: 10.1215/S0012-7094-04-12331-0
author: Eduardo Esteves
author: Mihnea Popa
published in: Duke Mathematical Journal
publication date: 2004-09-27T00:00:00Z
full work available at URL: https://arxiv.org/abs/math/0306104
review text: Let \(X\) be a smooth projective complex curve of genus \(g \geq 2\) and fix integers \(r\) and \(d\), with \(r>0\). Let \(\text{U}_X(r,d)\) denote the moduli space of equivalence classes of semistable vector bundles on \(X\) of rank \(r\) and degree \(d\), and let \(\text{SU}_X(r,L)\) denote the moduli space of semistable rank-\(r\) vector bundles of fixed determinant \(L\). Note that the isomorphism class of \(\text{SU}_X(r,L)\) depends only on the degree of \(L\). It is well known that \(\text{Pic}(\text{SU}_X(r,L))\) is isomorphic to \(\mathbb Z\), the ample generator is called the determinant line bundle and denoted by \(\mathcal L\). Set \(d := \deg(L)\), \(h:= \gcd(r,d)\), \(r_1 := r/h\), \(d_1 := d/h\). For each vector bundle \(F\) on \(X\) of rank \(mr_1\) and degree \(m(r_1(g-1)-d_1)\), there is an associated subscheme of \(\text{SU}_X(r,L)\) parametrizing semistable bundles \(E\) such that \(h^0(E \otimes F) \neq 0\). If the subscheme is not the whole \(\text{SU}_X(r,L)\), then it is the support of a divisor, called a generalized theta divisor and denoted \(\theta _F\). The divisor \(\theta _F\) belongs to \(| \mathcal L ^m |\). If \(m=1\), the divisor \(\theta _F\) is called basic. Also on \(\text{U}_X(r,d)\) divisors \(\theta_F\) can be defined, but they move in the same linear series only if their determinant is kept fixed. The authors prove the following results: Theorem A : For each \(m \geq r^2 + r\), the linear series \(| \mathcal L ^m |\) on \(\text{SU}_X(r,L)\) separates points and is very ample on the smooth locus \(\text{SU}_X^s(r,L)\). In particular if \(r\) and \(\deg(L)\) are coprime, then \(| \mathcal L ^m |\) is very ample. Theorem B : Let \(\theta\) be a basic theta divisor on \(\text{U}_X(r,d)\). For each \(m \geq r^2 + r\), the linear series \(| m \theta |\) on \(\text{U}_X(r,d)\) separates points and is very ample on the smooth locus \(\text{U}_X^s(r,d)\). In particular if \(r\) and \(d\) are coprime then \(| m \theta |\) is very ample…
reviewed by: Luciana Ramella
Mathematics Subject Classification ID: 14H60
Mathematics Subject Classification ID: 14D20
zbMATH DE Number: 2103762
zbMATH Keywords: semistable vector bundles
zbMATH Keywords: moduli spaces
zbMATH Keywords: generalized theta divisors
zbMATH Keywords: Quot schemes
MaRDI profile type: MaRDI publication profile
arXiv ID: math/0306104
cites work: Geography of Brill-Noether loci for small slopes
cites work: The theta divisor of \(SU_ C(2,2d)^ s\) is very ample if \(C\) is not hyperelliptic
cites work: On the theta divisor of \(\text{SU}(2,1)\).
cites work: Theta functions for \(SL(n)\) versus \(GL(n)\)
cites work: Groupe de Picard des variétés de modules de fibrés semi-stable sur les courbes algébriques. (Picard groups of moduli varieties of semi- stable bundles on algebraic curves)
cites work: Separation properties of theta functions
cites work: Q4202168
cites work: Q4526679
cites work: Q4775956
cites work: Zur Klassifikation von Regelmannigfaltigkeiten
cites work: Regularity on abelian varieties I
cites work: Dimension estimates for Hilbert schemes and effective base point freeness on moduli spaces of vector bundles on curves.
cites work: Verlinde bundles and generalized theta linear series
cites work: Stable maps and Quot schemes
cites work: Q4037235
Recommended article: Logarithmic vanishing theorems for effective \(q\)-ample divisors
Recommended article: ON EFFECTIVE NON-AMPLE DIVISORS
Recommended article: Decomposable Theta Divisors and Generic Vanishing
Recommended article: Q4312298
Recommended article: Very ampleness for Theta on the compactified Jacobian
Recommended article: Effective divisors on moduli spaces of curves and abelian varieties
Recommended article: Generic vanishing in characteristic \(p>0\) and the geometry of theta divisors
Recommended article: A generalization of the effective Liouville theorem for projective varieties
Recommended article: Effective vanishing theorems for ample and globally generated vector bundles
Recommended article: Very ample divisors on rational surfaces
description: scientific article