Convex Fujita numbers: projective bundles
We study effective global generation properties of projectivizations of curve semistable vector bundles over curves and abelian varieties.
math.AG↗
arXiv subjects
Yusuf Mustopa
Publications and source records attributed to Yusuf Mustopa.
Convex Fujita numbers and the Kodaira-Enriques classification of surfaces
We contemplate the range of convex Fujita numbers for minimal smooth projective surfaces according to their position in the Kodaira-Enriques classification.
math.AG↗
Convex Fujita numbers are not determined by the fundamental group
We study effective global generation of adjoint line bundles on smooth projective varieties. To measure the effectivity we introduce the concept of the convex Fujita number of a smooth projective variety and compute its value for a class of varieties with prescribed dimension $d \geq 2$ and an arbitrary projective group as fundamental group.
math.AG↗
Effective global generation on varieties with numerically trivial canonical class
We prove a Fujita-type theorem for varieties with numerically trivial canonical bundle using properties of semihomogeneous bundles on abelian varieties. We combine our results with work of Riess on compact hyperkähler manifolds and work of Mukai, Pareschi and Yoshioka to obtain effective global generation statements for certain moduli spaces of sheaves on abelian surfaces. Among these is the statment that if $\cL$ is an ample line bundle on the Hilbert square $S^{[2]}$ of an abelian surface $S,$ then $\cL^{\otimes m}$ is globally generated for $m \geq 3.$
math.AG↗
Rational Curves on Moduli Spaces of Vector Bundles
We completely describe the components of expected dimension of the Hilbert Scheme of rational curves of fixed degree $k$ in the moduli space ${\rm SU}_{C}(r,L)$ of semistable vector bundles of rank $r$ and determinant $L$ on a curve $C$. We show that for every $k \geq 1$ there are ${\rm gcd}(r, °L)$ unobstructed components. In addition, if $k$ is divisible by $r_1(r-r_1)(g-1)$ for $1\le r_1\le r-1$, there is an additional obstructed component of the expected dimension for each such $r_1$. We construct families of obstructed components and show that their generic point is not the generic vector bundle of given rank and determinant. Finally, we also obtain an upper bound on the degree of rational connectedness of ${\rm SU}_{C}(r,L)$ which is linear in the dimension.
math.AG↗
Continuous CM-regularity of semihomogeneous vector bundles
We show that if $X$ is an abelian variety of dimension $g \geq 1$ and ${\mathcal E}$ is an M-regular coherent sheaf on $X$, the Castelnuovo-Mumford regularity of ${\mathcal E}$ with respect to an ample and globally generated line bundle ${\mathcal O}(1)$ on $X$ is at most $g$, and that equality is obtained when ${\mathcal E}^{\vee}(1)$ is continuously globally generated. As an application, we give a numerical characterization of ample semihomogeneous vector bundles for which this bound is attained.
math.AG↗
Vector bundles whose restriction to a linear section is Ulrich
An Ulrich sheaf on an n-dimensional projective variety X, embedded in a projective space, is a normalized ACM sheaf which has the maximum possible number of global sections. Using a construction based on the representation theory of Roby-Clifford algebras, we prove that every normal ACM variety admits a reflexive sheaf whose restriction to a general 1-dimensional linear section is Ulrich; we call such sheaves delta-Ulrich. In the case n=2, where delta-Ulrich sheaves satisfy the property that their direct image under a general finite linear projection is a semistable instanton bundle, we show that some high Veronese embedding of X admits a delta-Ulrich sheaf with a global section.
math.AG↗
Castelnuovo-Mumford Regularity and GV-Sheaves on Irregular Varieties
Inspired by Beauville's recent construction of Ulrich sheaves on abelian surfaces, we pose the question of whether a torsion-free sheaf on a polarized smooth projective variety with Castelnuovo-Mumford regularity 1 is a GV (generic vanishing) sheaf, and present evidence that this question is governed by the positivity of cycles on generalized Brill-Noether loci. We prove that it has an affirmative answer for natural polarizations on many well-known irregular surfaces, as well as some polarizations on ruled threefolds over a curve.
math.AG↗
A few questions about curves on surfaces
In this note we address the following kind of question: let X be a smooth, irreducible, projective surface and D a divisor on X$satisfying some sort of positivity hypothesis, then is there some multiple of D depending only on X which is effective or movable? We describe some examples, discuss some conjectures and prove some results that suggest that the answer should in general be negative, unless one puts some really strong hypotheses either on D or on X.
math.AG↗
Ulrich sheaves and higher-rank Brill-Noether theory
An Ulrich sheaf on an embedded projective variety is a normalized arithmetically Cohen-Macaulay sheaf with the maximum possible number of independent sections. Ulrich sheaves are important in the theory of Chow forms, Boij-Soderberg theory, generalized Clifford algebras, and for an approach to Lech's conjecture in commutative algebra. In this note, we give a reduction of the construction of Ulrich sheaves on a projective variety X to the construction of an Ulrich sheaf for a finite map of curves, which is in turn equivalent to a higher-rank Brill-Noether problem for any of a certain class of curves on X. Then we show that existence of an Ulrich sheaf for a finite map of curves implies sharp numerical constraints involving the degree of the map and the ramification divisor.
math.AG↗
The characteristic polynomial of an algebra and representations
In this short note, we give a new sufficient condition for a linear map from a product of copies of a field to endomorphisms of a finite dimensional vector space over the same field to be an algebra homomorphism. We expect that this result can be applied to study representations of higher-degree Clifford algebras and finite extensions of commutative rings.
math.RA↗
Stability of syzygy bundles on an algebraic surface
Given a very ample line bundle L on a projective variety X, the syzygy bundle M_L associated to L is the kernel of the evaluation map on sections of L. Our main result is that if X is a smooth projective surface defined over an algebraically closed field, then M_L is slope-stable for any sufficiently positive L.
math.AG↗
The geometry of Ulrich bundles on del Pezzo surfaces
Given a smooth del Pezzo surface $X_d \subseteq \mathbb{P}^{d}$ of degree $d,$ we show that a smooth irreducible curve $C$ on $X_d$ represents the first Chern class of an Ulrich bundle on $X_d$ if and only if its kernel bundle $M_C$ admits a generalized theta-divisor. This result is applied to produce new examples of complete intersection curves with semistable kernel bundle, and also combined with work of Farkas-Mustaţǎ-Popa to relate the existence of Ulrich bundles on $X_d$ to the Minimal Resolution Conjecture for curves lying on $X_d.$ In particular, we show that a smooth irreducible curve $C$ of degree $3r$ lying on a smooth cubic surface $X_3$ represents the first Chern class of an Ulrich bundle on $X_3$ if and only if the Minimal Resolution Conjecture holds for $C.$
math.AG↗
On representations of Clifford algebras of ternary cubic forms
In this article, we provide an overview of a one-to-one correspondence between representations of the generalized Clifford algebra $C_f$ of a ternary cubic form $f$ and certain vector bundles (called Ulrich bundles) on a cubic surface $X$. We study general properties of Ulrich bundles, and using a recent classification of Casanellas and Hartshorne, deduce the existence of irreducible representations of $C_f$ of every possible dimension.
math.RA↗
Pfaffian quartic surfaces and representations of Clifford algebras
Given a nondegenerate ternary form $f=f(x_1,x_2,x_3)$ of degree 4 over an algebraically closed field of characteristic zero, we use the geometry of K3 surfaces and van den Bergh's correspondence between representations of the generalized Clifford algebra $C_f$ associated to $f$ and Ulrich bundles on the surface $X_f:=\{w^{4}=f(x_1,x_2,x_3)\} \subseteq \mathbb{P}^3$ to construct a positive-dimensional family of irreducible representations of $C_f.$ The main part of our construction, which is of independent interest, uses recent work of Aprodu-Farkas on Green's Conjecture together with a result of Basili on complete intersection curves in $\mathbb{P}^{3}$ to produce simple Ulrich bundles of rank 2 on a smooth quartic surface $X \subseteq \mathbb{P}^3$ with determinant $\mathcal{O}_X(3).$ This implies that every smooth quartic surface in $\mathbb{P}^3$ is the zerolocus of a linear Pfaffian, strengthening a result of Beauville-Schreyer on general quartic surfaces.
math.AG↗
Representations of Clifford algebras of ternary quartic forms
Given a nondegenerate ternary form $f=f(x_1,x_2,x_3)$ of degree 4 over an algebraically closed field of characteristic zero, we use the geometry of K3 surfaces to construct a certain positive-dimensional family of irreducible representations of the generalized Clifford algebra associated to $f.$ From this we obtain the existence of linear Pfaffian representations of the quartic surface $X_f=\{w^4=f(x_1,x_2,x_3)\},$ as well as information on the Brill-Noether theory of a general smooth curve in the linear system $|\mathcal{O}_{X_f}(3)|.$
math.AG↗
Kernel Bundles, Syzygies Of Points, and The Effective Cone of C_{g-2}
We obtain a complete description of the effective cone of $C_{g-2}$ when $C$ is a general curve of genus $g \geq 6,$ as well as a new bound in the case where $C$ is a smooth plane quintic. In addition, we obtain a new virtual bound for the effective cone of $C_{g-2m}$ which is a genuine bound when $m=2,$ and we also characterize certain natural divisors on $C_{g-2}$ as subordinate loci associated to adjunctions of kernel bundles.
math.AG↗
Residuation of Linear Series and The Effective Cone of C_d
We obtain new information about divisors on the $d-$th symmetric power $C_{d}$ of a general curve $C$ of genus $g \geq 4.$ This includes a complete description of the effective cone of $C_{g-1}$ and a partial computation of the volume function on one of its non-nef subcones, as well as new bounds for the effective and movable cones of $C_{d}$ in the range $\frac{g+1}{2} \leq d \leq g-2.$ We also obtain, for each $g \geq 5,$ a divisor on $C_{g-1}$ with non-equidimensional stable base locus. For a general hyperelliptic curve $C$ of genus $g,$ we obtain a complete description of the effective cone of $C_{d}$ for $2 \leq d \leq g$ and an integral divisor on $C_{g-1}$ which has non-integral volume whenever $g$ is not a power of 2.
math.AG↗