Separation properties of theta functions

DOI10.1215/S0012-7094-99-09818-6MaRDI QIDQ1974934zbMATH OpenFDO

Authors Eduardo Esteves

Publication date 27 March 2000

Published in Duke Mathematical Journal (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/alg-geom/9709008

zbMATH Keywords

geometric invariant theorymoduli of vector bundles on a curvenormalization maptheta functions

Mathematics Subject Classification ID

Algebraic moduli problems, moduli of vector bundles (14D20) Families, moduli of curves (algebraic) (14H10) Vector bundles on curves and their moduli (14H60) Theta functions and abelian varieties (14K25) Geometric invariant theory (14L24)

Abstract: In a 1993 article, G. Faltings gave a new construction of the moduli space $U$ of semistable vector bundles on a smooth curve $X$, avoiding geometric invariant theory. Roughly speaking, Faltings showed that the normalisation $B$ of the ring $A$ of theta functions (associated with vector bundles on $X$) suffices to realize $U$ as a projective variety. Describing Faltings' work, C.S. Seshadri asked how close $A$ is to $B$. In this article, we address this question from a geometric point of view. We consider the rational map, $$, and show that, not only is $pi$ defined everywhere, but also $pi$ is bijective, and is an isomorphism over the stable locus of $U$, if the characteristic of the ground field is 0. Moreover, we give a direct local construction of $U$ as a fine moduli space, when the rank and degree are coprime, in any characteristic. The methods in the article apply to singular curves as well.

Review text

Let \(X\) be a non-singular connected projective curve over an algebraically closed field \(k\) and denote by \(U^s\) the set of isomorphism classes of stable vector bundles on \(X\) with given degree \(d\) and rank \(r\). We know, after \textit{C. S. Seshadri} and \textit{D. Mumford}, that \(U^s\) has a natural structure of quasi-projective variety, which can be compactified to a variety \(U\), by adding semistable vector bundles to the boundary. From a set-theoretical point of view \(U=R/G\), where \(R\) is a variety under the action of a reductive group \(G\), and the quotient is endowed with a scheme structure by techniques of geometric invariant theory (GIT for short). Without using GIT, \textit{G. Faltings} [J. Algebr. Geom. 2, 507-568 (1993; Zbl 0790.14019)] showed that \(R\) has enough theta functions to produce a \(G\)-invariant morphism \(\theta:R\to{\mathbb P}^N\), whose image is a closed subvariety \(U_\theta\), and \(\theta\) factors through a map \(\pi:U\to U_\theta\). In particular, there is a bijection between \(U\) and the normalization of \(U_\theta\), which induces a structure of projective variety on \(U\). This paper contains a partial answer to the question, raised by Seshadri, about how close is the normalization map \(\pi:U\to U_\theta\) to being an isomorphism. The author proves that the map \(\pi\) is bijective and is an isomorphism over \(U^s\).

Recommendations

• Genus 2 curves and generalized theta divisors
• Vector bundles on curves and theta functions
• On Faltings parabolic theta functions
• scientific article; zbMATH DE number 1491278
• On the theta divisor of SU(r; 1)

Cites work

• A Compactification of the Universal Picard Variety over the Moduli Space of Stable Curves
• A Compactification over \overline{𝑀_{𝑔}} of the Universal Moduli Space of Slope-Semistable Vector Bundles
• Compactifying the Picard scheme
• Compactifying the relative Jacobian over families of reduced curves
• scientific article; zbMATH DE number 3891516 (Why is no real title available?)
• scientific article; zbMATH DE number 3817873 (Why is no real title available?)
• scientific article; zbMATH DE number 3501678 (Why is no real title available?)
• scientific article; zbMATH DE number 3625538 (Why is no real title available?)
• scientific article; zbMATH DE number 404371 (Why is no real title available?)
• scientific article; zbMATH DE number 490869 (Why is no real title available?)
• scientific article; zbMATH DE number 943466 (Why is no real title available?)
• scientific article; zbMATH DE number 3794225 (Why is no real title available?)
• scientific article; zbMATH DE number 3247832 (Why is no real title available?)
• Lectures on introduction to moduli problems and orbit spaces
• Moduli of representations of the fundamental group of a smooth projective variety. I
• On the generalized theta divisor
• Space of unitary vector bundles on a compact Riemann surface
• The projectivity of the moduli space of stable curves. I: Preliminaries on "det" and "Div".
• Vector bundles on curves and generalized theta functions: recent results and open problems
• Very ampleness for Theta on the compactified Jacobian
• Zur Klassifikation von Regelmannigfaltigkeiten
• Éléments de géométrie algébrique. IV: Étude locale des schémas et des morphismes de schémas. (Séconde partie)

Cited in

(12)

• Compactified Jacobians of curves with spine decompositions
• A separation in modulus property of the zeros of a partial theta function
• Further separation properties of \(\theta\)-modifications
• Effective very ampleness for generalized theta divisors
• A general notion of coherent systems
• Partial theta function and separation in modulus property of its zeros
• Compactifying the relative Jacobian over families of reduced curves
• Quiver representations and their applications
• The strange duality conjecture for generic curves
• Projectivity and effective global generation of determinantal line bundles on quiver moduli
• A functorial construction of moduli of sheaves
• Abel maps of Gorenstein curves

This page was built for publication: Separation properties of theta functions

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1974934)