Searcharxiv⌕ Search

arXiv subjects

Marian Aprodu

Publications and source records attributed to Marian Aprodu.

At least 37 records · Page 2Linked to original sources

Rank-two vector bundles on non-minimal ruled surfaces

We continue previous works by various authors and study the birational geometry of moduli spaces of stable rank-two vector bundles on surfaces with Kodaira dimension $-\infty$. To this end, we express vector bundles as natural extensions, by using two numerical invariants associated to vector bundles, similar to the invariants defined by Brinzanescu and Stoia in the case of minimal surfaces. We compute explicitly these natural extensions on blowups of general points on a minimal surface. In the case of rational surfaces, we prove that any irreducible component of a moduli space is either rational or stably rational.

math.AG↗

Prioritary omalous bundles on Hirzebruch surfaces

An irreducible algebraic stack is called \emph{unirational} if there exists a surjective morphism, representable by algebraic spaces, from a rational variety to an open substack. We prove unirationality of the stack of prioritary omalous bundles on Hirzebruch surfaces, which implies also the unirationality of the moduli space of omalous $H$-stable bundles for any ample line bundle $H$ on a Hirzebruch surface. To this end, we find an explicit description of the duals of omalous rank-two bundles with a vanishing condition in terms of monads. Since these bundles are prioritary, we conclude that the stack of prioritary omalous bundles on a Hirzebruch surface different from $\mathbb P^1\times \mathbb P^1$ is dominated by an irreducible section of a Segre variety, and this linear section is rational \cite{I}. In the case of the space quadric, the stack has been explicitly described by N. Buchdahl. As a main tool we use Buchdahl's Beilinson-type spectral sequence. Monad descriptions of omalous bundles on hypersurfaces in $\mathbb P^4$, Calabi-Yau complete intersection, blowups of the projective plane and Segre varieties have been recently obtained by A. A. Henni and M. Jardim~\cite{HJ}, and monads on Hizebruch surfaces have been applied in a different context in~\cite{BBR}.

math.AG↗

Minimal resolutions, Chow forms and Ulrich bundles on K3 surfaces

The Minimal Resolution Conjecture (MRC) for points on a projective variety X predicts that the Betti numbers of general sets of points in X are as small as the geometry (Hilbert function) of X allows. To a large extent, we settle this conjecture for a curve C with general moduli. We show that, independently of the genus, MRC holds for a general linear system of degree d and dimension r on C if and only if d>2r-1. We then proceed to find a full solution to the Ideal Generation Conjecture for curves with general moduli. In a different direction, we prove that K3 surfaces admit Ulrich bundles of every rank. We apply this to describe a pfaffian equation for the Chow form of a K3 surface.

math.AG↗

Restricted Lazarsfeld-Mukai bundles and canonical curves

We prove two results. First, we establish that the normal bundle of any smooth curve of genus 7 having maximal Clifford index is stable. Note that 7 is the smallest genus for which such a result could possibly hold. We then show that rank four Lazarsfeld-Mukai vector bundles on a curve that lies on a general K3 surface are stable. Both results have consequences for Mercat's conjecture on higher rank vector bundles on generic curves.

math.AG↗

Holomorphic vector bundles on Kähler manifolds and totally geodesic foliations on Euclidean open domains

In this Note we establish a relation between sections in globally generated holomorphic vector bundles on Kähler manifolds, isotropic with respect to a non-degenerate quadratic form, and totally geodesic foliations on Euclidean open domains. We find a geometric condition for a totally geodesic foliation to originate in a holomorphic vector bundle. For codimension-two foliations, this description recovers of P. Baird and J. C. Wood. The universal objects that play a key role are the orthogonal Grassmannians.

math.DG↗

Secant spaces and syzygies of special line bundles on curves

On a special line bundle $L$ on a projective curve $C$ we introduce a geometric condition called $(Δ_q)$. When $L=K_C$ this condition implies gon$(C) \ge q+2$. For an arbitrary special $L$ we show that $(Δ_3)$ implies that $L$ has the well-known property $(M_3)$, generalizing a similar result proved by Voisin in the case $L=K_C$.

math.AG↗

Lazarsfeld-Mukai bundles and applications

We survey the development of the notion of Lazarsfeld-Mukai bundles together with various applications, from the classification of Mukai manifolds to Brill-Noether theory and syzygies of $K3$ sections. To see these techniques at work, we present a short proof of a result of M. Reid on the existence of elliptic pencils.

math.AG↗

Green's Conjecture for curves on arbitrary K3 surfaces

Green's Conjecture predicts than one can read off special linear series on an algebraic curve, by looking at the syzygies of its canonical embedding. We extend Voisin's results on syzygies of K3 sections, to the case of K3 surfaces with arbitrary Picard lattice. This, coupled with results of Voisin and Hirschowitz-Ramanan, provides a complete solution to Green's Conjecture for smooth curves on arbitrary K3 surfaces.

math.AG↗

Koszul cohomology and applications to moduli

We discuss recent progress on syzygies of curves, including proofs of Green's and Gonality Conjectures as well as applications of Koszul cycles to the study of the birational geometry of various moduli spaces of curves. We prove a number of new results, including a complete solution to Green's Conjecture for arbitrary hexagonal curves. Finally, we propose several new conjectures on syzygies, including a Prym-Green conjecture for l-roots of trivial bundles as well as a strong Maximal Rank Conjecture for generic curves. To appear in the Proceedings of Clay Mathematical Institute.

math.AG↗

Log-canonical threshold for curves on a smooth surface

It is shown that the log-canonical threshold of a curve with an isolated singularity is computed by the term ideal of the curve in a suitable system of local parameters at the singularity. The proof uses the Enriques diagram of the singularity and shows that the log-canonical threshold depends only on a non-degenerate path of that diagram.

math.AG↗

Endomorphisms of projective varieties

We study complex projective manifolds X that admit surjective endomorphisms f:X->X of degree at least two. In case f is etale, we prove structure theorems that describe X. In particular, a rather detailed description is given if X is a uniruled threefold. As to the ramified case, we first prove a general theorem stating that the vector bundle associated to a Galois covering of projective manifolds is ample (resp. nef) under very mild conditions. This is applied to the study of ramified endomorphisms of Fano manifolds with second Betti number one. It is conjectured that the projective space is the only Fano manifold admitting admitting an endomorphism of degree d>1, and we prove that in several cases. A part of the argumentation is based on a new characterization of the projective space as the only manifold that admits an ample subsheaf in its tangent bundle.

math.AG↗

The Green Conjecture for Exceptional Curves on a K3 Surface

We use the Brill-Noether theory to prove the Green conjecture for exceptional curves on K3 surfaces. Such curves count among the few ones having Clifford dimension at least three. We obtain our result by adopting an infinitesimal approach due to Pareschi, and using a degenerate version of a theorem due to Hirschowitz-Ramanan-Voisin.

math.AG↗

Remarks on syzygies of $d$-gonal curves

We apply a degenerate version of a result due to Hirschowitz, Ramanan and Voisin to verify Green and Green-Lazarsfeld conjectures over explicit open sets inside each $d$-gonal stratum of curves $X$ with $d<[g_X/2]+2$. By the same method, we verify the Green-Lazarsfeld conjecture for any curve of odd genus and maximal gonality. The proof invokes Voisin's solution to the generic Green conjecture as a key argument.

math.AG↗