In this paper, we prove that the notions of Hilbert stability and Mumford stability agree for vector bundles of arbitrary rank over smooth curves. The notion of Hilbert stability was introduced by Gieseker and Morrison in 1984, and they showed that for smooth curves and vector bundles of rank two it agrees with Mumford stability. A different proof for the rank two case was given by M. Teixidor i Bigas. Our proof uses a new approach and avoids complicated computations. Our results might serve as a first step in the construction of the Hilbert stable compactification of the universal moduli space of stable vector bundles over the moduli space of smooth curves as suggested by Teixidor.
We study strong exceptional collections of line bundles on Fano toric Deligne-Mumford stacks $\mathbb{P}_{\mathbfΣ}$ with rank of Picard group at most two. We prove that any strong exceptional collection of line bundles generates the derived category of $\mathbb{P}_{\mathbfΣ}$, as long as the number of elements in the collection equals the rank of the (Grothendieck) $K$-theory group of $\mathbb{P}_{\mathbfΣ}$.
We study the behavior of the Horrocks-Mumford bundle when restricted to a plane P^2 in P^4, looking for all possible minimal free resolutions for the restricted bundle. To each of the 6 resolutions (4 stable and 2 unstable) we find, we then associate a subvariety of the Grassmannian G(2,4) of planes in P^4. We thus obtain a filtration of the Grassmannian, which we describe in the second part of this work.
Tangent Spaces of V^r_d(L), Specific subschemes of C_d arising from various line bundles on C, are described. Then we proceed to prove Martense Theorem for these schemes, by which we determine curves C, which for some very ample line bundle L on C and some integers r and d with d\leq h^{0}(L)-2, the subscheme V^r_d(L) might attain its maximum dimension.
We generalize the classical Hilbert-Mumford criteria for GIT (semi-)stability in terms of one parameter subgroups of a linearly reductive group G over a field k, to the relative situation of an equivariant, projective morphism X -> Spec A to a noetherian k-algebra A. We also extend the classical projectivity result for GIT quotients: the induced morphism X^ss/G -> Spec A^G is projective. As an example of applications to moduli problems, we consider degenerations of Hilbert schemes of points.
We study the property of \emph{continuous Castelnuovo-Mumford regularity}, for semihomogeneous vector bundles over a given Abelian variety, which was formulated in \cite{Kuronya:Mustopa:2020} by Küronya and Mustopa. Our main result gives a novel description thereof. It is expressed in terms of certain normalized polynomial functions that are obtained via the Wedderburn decomposition of the Abelian variety's endomorphism algebra. This result builds on earlier work of Mumford and Kempf and applies the form of the Riemann-Roch Theorem that we established in \cite{Grieve:R-R:abVars}. In a compleme…
Let $K$ be an algebraically closed field of null characteristic and $p(z)$ a Hilbert polynomial. We look for the minimal Castelnuovo-Mumford regularity $m_{p(z)}$ of closed subschemes of projective spaces over $K$ with Hilbert polynomial $p(z)$. Experimental evidences led us to consider the idea that $m_{p(z)}$ could be achieved by schemes having a suitable minimal Hilbert function. We give a constructive proof of this fact. Moreover, we are able to compute the minimal Castelnuovo-Mumford regularity $m_p(z)^{\varrho}$ of schemes with Hilbert polynomial $p(z)$ and given regularity $\varrho$ of …
We provide a Hilbert-Mumford Criterion for actions of reductive groups $G$ on $Q$-factorial complex varieties. The result allows to construct open subsets admitting a good quotient by $G$ from certain maximal open subsets admitting a good quotient by a maximal torus of $G$. As an application, we show how to obtain all invariant open subsets with good quotient for a given $G$-action on a complete $Q$-factorial toric variety.
We study the existence of canonical Kähler metrics on the projectivisation of strictly Mumford semistable holomorphic vector bundles over a complex curve. We also provide an algebro-geometric characterization of these metrics.
We compare two constructions that associate to a semistable vector bundle on a Mumford curve a representation of the Schottky group and the algebraic fundamental group respectively.
Simplicial toric stack bundles are smooth Deligne-Mumford stacks over smooth varieties with fibre a toric Deligne-Mumford stack. We compute the Grothendieck $K$-theory of simplicial toric stack bundles and study the Chern character homomorphism.
We prove by Hilbert-Mumford criterion that a slope stable polarized weighted pointed nodal curve is Chow asymptotic stable. This generalizes the result of Caporaso on stability of polarized nodal curves, and of Hasset on weighted pointed stable curves polarized by the weighted dualizing sheaves. It also solved a question raised by Mumford and Gieseker to prove the Chow asymptotic stability of stable nodal curves by Hilbert-Mumford criterion.
We axiomatize the algebraic properties of toroidal compactifications of (mixed) Shimura varieties and their automorphic vector bundles. A notion of generalized automorphic sheaf is proposed which includes sheaves of (meromorphic) sections of automorphic vector bundles with prescribed vanishing and pole orders along strata in the compactification, and their quotients. These include, for instance, sheaves of Jacobi forms and weakly holomorphic modular forms. Using this machinery we give a short and purely algebraic proof of the proportionality theorem of Hirzebruch and Mumford.
We introduce extended toric Deligne-Mumford stacks. We use an extended toric Deligne-Mumford stack to get the toric stack bundle and compute its orbifold Chow ring. Finally we generalize one result of Borisov, Chen and Smith so that the orbifold Chow ring of the toric stack bundle and the Chow ring of its crepant resolution are fibres of a flat family.
The Horrocks-Mumford bundle $E$ is a famous stable complex vector bundle of rank 2 on 4-dimensional complex projective space. By construction, $E$ has a natural Hermitian metric $h_1$. On the other hand, stability implies the existence of a Hermitian-Einstein metric in $E$ which is unique up to a positive scalar. Now the obvious question is if $h_1$ is in fact the Hermitian-Einstein metric. In this note we indicate how to show by computation that this is not the case.
Let $X$ be an abelian variety defined over an algebraically closed field $k$. We consider theta groups associated to \emph{simple semi-homogenous vector bundles of separable type} on $X$. We determine the structure and representation theory of these groups. In doing so we relate work of Mumford, Mukai, and Umemura. We also consider adelic theta groups associated to line bundles on $X$. After reviewing Mumford's construction of these groups we determine functorial properties which they enjoy and then realize the Neron-Severi group of $X$ as a subgroup of the cohomology group $\H^2(\V(X); k^\tim…
We find a complete set of relations for the rational cohomology ring of the moduli space of rank three stable bundles over a Riemann surface of genus g and also show that the Pontryagin ring vanishes in degree 12g-8 and greater. The results are obtained by introducing some 'dual' Mumford relations and generalising Kirwan's proofs of the Mumford and Newstead conjectures in the rank two case. (In this revised version of the paper the vanishing degree of the Pontryagin ring of the moduli space has been improved from `in and above degree 12g-4' to `in and above degree 12g-8'. This degree is now kn…
Bounds for the Castelnuovo-Mumford regularity and Hilbert coefficients are given in terms of the arithmetic degree (if the ring is reduced) or in terms of the defining degrees. From this it follows that there exists only a finite number of Hilbert functions associated to reduced algebras over an algebraically closed field with a given arithmetic degree and dimension. A good bound is also given for the Castelnuovo-Mumford regularity of initial ideals which depends neither on term orders nor on the coordinates, and holds for any field.
The cohomology ring of the moduli space of stable holomorphic vector bundles of rank n and degree d over a Riemann surface of genus g>1 has a standard set of generators when n and d are coprime. When n=2 the relations between these generators are well understood, and in particular a conjecture of Mumford, that a certain set of relations is a complete set, is known to be true. In this article generalisations are given of Mumford's relations to the cases when n>2 and also when the bundles are parabolic bundles, and these are shown to form complete sets of relations.
Let the special linear group $G := SL_{2}$ act regularly on a $Q$-factorial variety $X$. Consider a maximal torus $T \subset G$ and its normalizer $N \subset G$. We prove: If $U \subset X$ is a maximal open $N$-invariant subset admitting a good quotient $U \to U // N$ with a divisorial quotient space, then the intersection $W(U)$ of all translates $g \dot U$ is open in $X$ and admits a good quotient $W(U) \to W(U) // G$ with a divisorial quotient space. Conversely, we obtain that every maximal open $G$-invariant subset $W \subset X$ admitting a good quotient $W \to W // G$ with a divisorial qu…
We construct full strong exceptional collections of line bundles on smooth toric Fano Deligne-Mumford stacks of Picard number at most two and of any Picard number in dimension two. It is hoped that the approach of this paper will eventually lead to the proof of the existence of such collections on all smooth toric nef-Fano Deligne-Mumford stacks.
Let $\Mg$ denote the moduli space of compact Riemann surfaces of genus $g$. Mumford had proved that, for each fixed genus $g$, there are isomorphisms asserting that certain higher $DET$ bundles over $\Mg$ are certain fixed (genus-independent) tensor powers of the Hodge line bundle on $\Mg$. Here we obtain a coherent, genus-independent description of the Mumford isomorphisms over certain infinite-dimensional ``universal'' parameter spaces of compact Riemann surfaces (with or without marked points). We work with an inductive limit of Teichmüller spaces comprising complex structures on a certain …
We make a systematic study of the Hilbert-Mumford criterion for different notions of stability for polarised algebraic varieties $(X,L)$; in particular for K- and Chow stability. For each type of stability this leads to a concept of slope $μ$ for varieties and their subschemes; if $(X,L)$ is semistable then $μ(Z)\leμ(X)$ for all $Z\subset X$. We give examples such as curves, canonical models and Calabi-Yaus. We prove various foundational technical results towards understanding the converse, leading to partial results; in particular this gives a geometric (rather than combinatorial) proof of th…
There exists on each Teichmüller space $T_g$ (comprising compact Riemann surfaces of genus $g$), a natural sequence of determinant (of cohomology) line bundles, $DET_n$, related to each other via certain ``Mumford isomorphisms''. There is a remarkable connection, (Belavin-Knizhnik), between the Mumford isomorphisms and the existence of the Polyakov string measure on the Teichmüller space. This suggests the question of finding a genus-independent formulation of these bundles and their isomorphisms. In this paper we combine a Grothendieck-Riemann-Roch lemma with a new concept of $C^{*} \otimes Q…
A theorem by Mumford implies that every automorphic line bundle on a pure open Shimura variety, equipped with an invariant smooth metric, can be uniquely extended as a line bundle on a toroidal compactification of the variety, in such a way that the metric acquires only logarithmic singularities. This result is the key of being able to compute arithmetic intersection numbers from these line bundles. Hence it is natural to ask whether Mumford's result remains valid for line bundles on mixed Shimura varieties. In this paper we examine the simplest case, namely the sheaf of Jacobi forms on the un…
Let $X\to B$ be a proper flat morphism between smooth quasi-projective varieties of relative dimension $n$, and $L\to X$ a line bundle which is ample on the fibers. We establish formulas for the first two terms in the Knudsen-Mumford expansion for $\det (π_* L^k)$ in terms of Deligne pairings of $L$ and the relative canonical bundle $K$. This generalizes a theorem of Deligne which holds for families of relative dimension one. As a corollary, we show that when $X$ is smooth (or, more generally, if $X$ fits in a smooth family), the line bundle associated to $X\to B$, which was introduced by the …
The Green-Lazarsfeld secant conjecture predicts that the syzygies of a curve of sufficiently high degree are controlled by its special secants. We prove this conjecture for all curves of Clifford index at least two and not bielliptic and for all line bundles of a certain degree. Our proof is based on a classic result of Martens and Mumford on Brill-Noether varieties and on a simple vanishing criterion that comes from the interpretation of syzygies through symmetric products of curves.
We study the behavior of the Gieseker space of semistable torsion-free sheaves of rank r and fixed c_1, c_2 on a non-singular projective surface as the polarization varies. It is shown that the ample cone admits a locally finite chamber structure, and that passing a wall adjacent to a pair of chambers has the effect of modifying the moduli space by a (finite) sequence of flips of the type studied by Thaddeus. The key steps are a modification of Simpson's method and the introduction of a "rationally twisted" moduli space. The result is more general but less explicit than the recent work of Elli…
For a field k, let G be a reductive k-group and V an affine k-variety on which G acts. Using the notion of cocharacter-closed G(k)-orbits in V, we prove a rational version of the celebrated Hilbert-Mumford Theorem from geometric invariant theory. We initiate a study of applications stemming from this rationality tool. A number of examples are discussed to illustrate the concept of cocharacter-closure and to highlight how it differs from the usual Zariski-closure. When k is perfect, we give a criterion in terms of closed orbits for G to be k-anisotropic, answering a question of Borel.
Consider a compact Lie group and a closed subgroup. Generalizing a result of Klyachko, we give a necessary and sufficient criterion for a coadjoint orbit of the subgroup to be contained in the projection of a given coadjoint orbit of the ambient group. The criterion is couched in terms of the ``relative'' Schubert calculus of the flag varieties of the two groups.
We prove that the moduli of stable supercurves with punctures is a smooth proper DM stack and study an analog of the Mumford's isomorphism for its canonical line bundle.
A Mumford group is a discontinuous subgroup $Γ$ of PGL(2,K), where K denotes a non archimedean valued field, such that the quotient by $Γ$ is a curve of genus 0. As abstract group $Γ$ is an amalgam of a finite tree of finite groups. For K of positive characteristic the large collection of amalgams having two or three branch points is classified. Using these data Mumford curves with a large group of automorphisms are discovered. A long combinatorial proof, involving the classification of the finite simple groups, is needed for establishing an upper bound for the order of the group of automorphi…
Stratifications and iterative differential equations are analogues in positive characteristic of complex linear differential equations. There are few explicit examples of stratifications. The main goal of this paper is to construct stratifications on projective or affine curves in positive characteristic and to determine the possibilities for their differential Galois groups. For the related "differential Abhyankar conjecture" we present partial answers, supplementing the literature. The tools for the construction of regular singular stratifications and the study of their differential Galois g…
We give an explicit formula of the normalized Mumford form which expresses the second tautological line bundle by the Hodge line bundle defined on the moduli space of algebraic curves of any genus. This formula is represented by an infinite product which is a higher genus version of the Ramanujan delta function under the trivialization by normalized abelian differentials and Eichler integrals of their products. By this formula, we have a universal expression of the normalized Mumford form as a computable power series with integral coefficients by the moduli parameters of algebraic curves.
The notion of regularity has been used by S. Kleiman in the construction of bounded families of ideals or sheaves with given Hilbert polynomial, a crucial point in the construction of Hilbert or Picard scheme. In a related direction, Kleiman proved that if I is an equidimensional reduced ideal in a polynomial ring S over an algebraically closed field, then the coefficients of the Hilbert polynomial of R = S/I can be bounded by the dimension and the multiplicity of R. Srinivas and Trivedi proved that the corresponding result does not hold for a local domain. However, they proved that there exis…
We give a sufficient condition for a first order infinitesimal deformation of a curve on a 3-fold to be obstructed. As application we construct generically non-reduced components of the Hilbert schemes of uniruled 3-folds and the Hom scheme from a general curve of genus five to a general cubic 3-fold.
In this paper, we consider $\mathbb{Z}^{r}-$graded modules on the $\mathrm{Cl}(X)$ $-$graded Cox ring $\mathbb{C}[x_{1},\dotsc,x_{r}]$ of a smooth complete toric variety $X$. Using the theory of Klyachko filtrations in the reflexive case, we construct a collection of lattice polytopes codifying the multigraded Hilbert function of the module. We apply this approach to reflexive $\mathbb{Z}^{s+r+2}$-graded modules over non-standard bigraded polynomial rings $\mathbb{C}[x_{0},\dotsc,x_{s},y_{0},\dotsc,y_{r}]$. In this case, we give sharp bounds for the multigraded regularity index of their multig…
We prove the bigness of the Chow-Mumford line bundle associated to a $\mathbb{Q}$-Gorenstein family of log Fano varieties of maximal variation with uniformly K-stable general geometric fibers. This result generalizes a recent theorem of Codogni and Patakfalvi to the logarithmic setting.
Here we consider the product of varieties with $n$-blocks collections . We give some cohomological splitting conditions for rank 2 bundles. A cohomological characterization for vector bundles is also provided. The tools are Beilinson's type spectral sequences generalized by Costa and Miró-Roig. Moreover we introduce a notion of Castelnuovo-Mumford regularity on a product of finitely many projective spaces and smooth quadric hypersurfaces in order to prove two splitting criteria for vector bundle with arbitrary rank.
