Showing 1–49 of 49 results for author: Coskun, I

Limit $F$-signature functions of two-variable binomial hypersurfaces

Authors: Anna Brosowsky, Izzet Coskun, Suchitra Pande, Kevin Tucker

Abstract: The $F$-signature is a fundamental numerical invariant of singularities in positive characteristic. Its positivity detects strong $F$-regularity, an important class of singularities related to KLT singularities in characteristic zero. In this paper, we compute the limiting $F$-signature function of binomial and other related hypersurfaces in two variables as the characteristic $p \to \infty$. In p… ▽ More The $F$-signature is a fundamental numerical invariant of singularities in positive characteristic. Its positivity detects strong $F$-regularity, an important class of singularities related to KLT singularities in characteristic zero. In this paper, we compute the limiting $F$-signature function of binomial and other related hypersurfaces in two variables as the characteristic $p \to \infty$. In particular, we show it is a piecewise polynomial function, and relate it to the normalized volume. △ Less

Submitted 25 April, 2025; originally announced April 2025.

Comments: 29 pages, 3 figures. Comments welcome

MSC Class: 13A35 (Primary) 13P10; 14B05 (Secondary)

$\PGL$ orbits on products of flag varieties

Authors: Izzet Coskun, Abuzer Gündüz

Abstract: In this paper, we study the existence of a dense orbit for the diagonal $\PGL(n)$ action on self-products of partial flag varieties. We determine when there exists a dense orbit for flag varieties of the form $F(k_1, \dots, k_r; n)^m$ when $k_i = i$ or when $m=3$ and $k_i = \ell + i$ for some $\ell \geq 0$. We also show that certain infinite families of products do not have a dense orbit. In this paper, we study the existence of a dense orbit for the diagonal $\PGL(n)$ action on self-products of partial flag varieties. We determine when there exists a dense orbit for flag varieties of the form $F(k_1, \dots, k_r; n)^m$ when $k_i = i$ or when $m=3$ and $k_i = \ell + i$ for some $\ell \geq 0$. We also show that certain infinite families of products do not have a dense orbit. △ Less

Submitted 6 December, 2024; originally announced December 2024.

Comments: 15

MSC Class: 14L30; 14M15; 14M17; 14L35; 51N30

Brill-Noether theory on the projective plane for bundles with many sections

Authors: Izzet Coskun, Jack Huizenga, Neelarnab Raha

Abstract: The Brill-Noether theory of curves plays a fundamental role in the theory of curves and their moduli and has been intensively studied since the 19th century. In contrast, Brill-Noether theory for higher dimensional varieties is less understood. It is hard to determine when Brill-Noether loci are nonempty and these loci can be reducible and of larger than the expected dimension. Let $E$ be a semi… ▽ More The Brill-Noether theory of curves plays a fundamental role in the theory of curves and their moduli and has been intensively studied since the 19th century. In contrast, Brill-Noether theory for higher dimensional varieties is less understood. It is hard to determine when Brill-Noether loci are nonempty and these loci can be reducible and of larger than the expected dimension. Let $E$ be a semistable sheaf on the projective plane. In this paper, we give an upper bound for $h^0(E)$ in terms of the rank $r$ and the slope $μ$ of $E$. We show that the bound is achieved precisely when $E$ is a twist of a Steiner bundle. We classify the sheaves $E$ such that $h^0(E)$ is sufficiently close to the upper bound. We determine the nonemptiness, irreducibility and dimension of the Brill-Noether loci in the moduli spaces of sheaves with $h^0(E)$ in this range. When they are nonempty, these Brill-Noether loci are irreducible though almost always of larger than the expected dimension. △ Less

Submitted 26 September, 2024; originally announced September 2024.

Comments: 22 pages, comments welcome!

MSC Class: Primary: 14J60; 14J26. Secondary: 14D20

Weak Brill-Noether on Abelian Surfaces

Authors: Izzet Coskun, Howard Nuer, Kota Yoshioka

Abstract: We study the cohomology of a general stable sheaf on an abelian surface. We say that a moduli space satisfies weak Brill-Noether if the general sheaf has at most one non-zero cohomology group. Let $(X,H)$ be a polarized abelian surface and let $\mathbf{v}=(r,ξ,a)$ be a Mukai vector on $X$ with $\mathbf{v}^2\ge 0$,$r>0$, and $ξ\cdot H>0$. We show that if $ρ(X)=1$ or $ρ(X)=2$ and $X$ contains an ell… ▽ More We study the cohomology of a general stable sheaf on an abelian surface. We say that a moduli space satisfies weak Brill-Noether if the general sheaf has at most one non-zero cohomology group. Let $(X,H)$ be a polarized abelian surface and let $\mathbf{v}=(r,ξ,a)$ be a Mukai vector on $X$ with $\mathbf{v}^2\ge 0$,$r>0$, and $ξ\cdot H>0$. We show that if $ρ(X)=1$ or $ρ(X)=2$ and $X$ contains an elliptic curve, then all the moduli spaces $M_{X,H}(\mathbf{v})$ satisfy weak Brill-Noether. Conversely, if $ρ(X)>2$ or $ρ(X)=2$ and $X$ does not contain an elliptic curve, we show that there are infinitely many moduli spaces $M_{X,H}(\mathbf{v})$ that fail weak Brill-Noether. As a consequence, we classify Chern classes of Ulrich bundles on abelian surfaces. △ Less

Submitted 12 August, 2024; originally announced August 2024.

Comments: 22 pages. Comments Welcome!

MSC Class: Primary 14D20; 14K99. Secondary: 14F06; 14F08

Normal bundles of rational curves in Grassmannians

Authors: Izzet Coskun, Eric Larson, Isabel Vogt

Abstract: In projective space over fields of characteristic different from 2, the normal bundle of a general nondegenerate rational curve is balanced. The corresponding statement for rational curves in other Grassmannians can fail. Nevertheless, we prove that the normal bundle of a general rational curve in a Grassmannian decomposes into a direct sum of line bundles whose degrees are at most 2 apart. In projective space over fields of characteristic different from 2, the normal bundle of a general nondegenerate rational curve is balanced. The corresponding statement for rational curves in other Grassmannians can fail. Nevertheless, we prove that the normal bundle of a general rational curve in a Grassmannian decomposes into a direct sum of line bundles whose degrees are at most 2 apart. △ Less

Submitted 11 April, 2024; originally announced April 2024.

MSC Class: 14H60; 14M15

PGL orbits in tree varieties

Authors: Izzet Coskun, Demir Eken, Chris Yun

Abstract: In this paper, we introduce tree varieties as a natural generalization of products of partial flag varieties. We study orbits of the PGL action on tree varieties. We characterize tree varieties with finitely many PGL orbits, generalizing a celebrated theorem of Magyar, Weyman and Zelevinsky. We give criteria that guarantee that a tree variety has a dense PGL orbit and provide many examples of tree… ▽ More In this paper, we introduce tree varieties as a natural generalization of products of partial flag varieties. We study orbits of the PGL action on tree varieties. We characterize tree varieties with finitely many PGL orbits, generalizing a celebrated theorem of Magyar, Weyman and Zelevinsky. We give criteria that guarantee that a tree variety has a dense PGL orbit and provide many examples of tree varieties that do not have dense PGL orbits. We show that a triple of two-step flag varieties $F(k_1, k_2; n)^3$ has a dense PGL orbit if and only if $k_1 + k_2 \not= n$. △ Less

Submitted 18 July, 2023; originally announced July 2023.

Comments: 25 pages

MSC Class: Primary: 14L30; 14M15; 14M17. Secondary: 14L35; 51N30

Generic Beauville's Conjecture

Authors: Izzet Coskun, Eric Larson, Isabel Vogt

Abstract: Let $α: X \to Y$ be a finite cover of smooth curves. Beauville conjectured that the pushforward of a general vector bundle under $α$ is semistable if the genus of $Y$ is at least $1$ and stable if the genus of $Y$ is at least $2$. We prove this conjecture if the map $α$ is general in any component of the Hurwitz space of covers of an arbitrary smooth curve $Y$. Let $α: X \to Y$ be a finite cover of smooth curves. Beauville conjectured that the pushforward of a general vector bundle under $α$ is semistable if the genus of $Y$ is at least $1$ and stable if the genus of $Y$ is at least $2$. We prove this conjecture if the map $α$ is general in any component of the Hurwitz space of covers of an arbitrary smooth curve $Y$. △ Less

Submitted 10 July, 2023; originally announced July 2023.

MSC Class: 14H60

Stability of normal bundles of Brill-Noether curves

Authors: Izzet Coskun, Geoffrey Smith

Abstract: We prove that the normal bundle of a general Brill-Noether curve of genus $g \geq 1$ and degree $d$ in $\mathbb{P}^r$ is semistable if $g=1$ or $g\geq \left \lceil \frac{5r}{2}\right\rceil r(r-1)$, or $d$ is larger than an explicit function of $g$ and $r$. We further prove that the normal bundle is in fact stable if $g\geq 2$ and either $g$ or $d$ satisfy slightly stronger bounds. In particular, f… ▽ More We prove that the normal bundle of a general Brill-Noether curve of genus $g \geq 1$ and degree $d$ in $\mathbb{P}^r$ is semistable if $g=1$ or $g\geq \left \lceil \frac{5r}{2}\right\rceil r(r-1)$, or $d$ is larger than an explicit function of $g$ and $r$. We further prove that the normal bundle is in fact stable if $g\geq 2$ and either $g$ or $d$ satisfy slightly stronger bounds. In particular, for each $r$ and $g\geq 1$ (respectively, $g\geq2$), there are at most finitely many $(d,g)$ for which the normal bundle of the general Brill-Noether curve is not semistable (respectively, stable). △ Less

Submitted 25 November, 2024; v1 submitted 21 June, 2023; originally announced June 2023.

Comments: Corrected Proposition 3.3 in characteristic 2, improved the exposition and added references. 36 pages

MSC Class: 14H60 (Primary) 14B99 (Secondary)

The Brill-Noether Theory of the Moduli Spaces of Sheaves on Surfaces

Authors: Izzet Coskun, Jack Huizenga, Howard Nuer

Abstract: In this paper, we survey recent developments in the Brill-Noether Theory of higher rank vector bundles on complex projective surfaces. We focus on weak Brill-Noether Theorems on rational and K-trivial surfaces and their applications. In this paper, we survey recent developments in the Brill-Noether Theory of higher rank vector bundles on complex projective surfaces. We focus on weak Brill-Noether Theorems on rational and K-trivial surfaces and their applications. △ Less

Submitted 19 June, 2023; originally announced June 2023.

Comments: 45 pages. Comments Welcome!

MSC Class: Primary: 14L30; 14M15; 14M17. Secondary: 14L35; 51N30

Interpolation and moduli spaces of vector bundles on very general blowups of the projective plane

Authors: Izzet Coskun, Jack Huizenga

Abstract: In this paper, we study certain moduli spaces of vector bundles on the blowup of the projective plane in at least 10 very general points. Moduli spaces of sheaves on general type surfaces may be nonreduced, reducible and even disconnected. In contrast, moduli spaces of sheaves on minimal rational surfaces and certain del Pezzo surfaces are irreducible and smooth along the locus of stable bundles.… ▽ More In this paper, we study certain moduli spaces of vector bundles on the blowup of the projective plane in at least 10 very general points. Moduli spaces of sheaves on general type surfaces may be nonreduced, reducible and even disconnected. In contrast, moduli spaces of sheaves on minimal rational surfaces and certain del Pezzo surfaces are irreducible and smooth along the locus of stable bundles. We find examples of moduli spaces of vector bundles on more general blowups of the projective plane that are disconnected and have components of different dimensions. In fact, assuming the SHGH Conjecture, we can find moduli spaces with arbitrarily many components of arbitrarily large dimension. △ Less

Submitted 23 May, 2024; v1 submitted 9 June, 2023; originally announced June 2023.

MSC Class: Primary: 14J60; 14J26. Secondary: 14D20

Journal ref: Épijournal de Géométrie Algébrique, Volume 8 (May 27, 2024) epiga:11474

Stability of Tschirnhausen Bundles

Authors: Izzet Coskun, Eric Larson, Isabel Vogt

Abstract: Let $α: X \to Y$ be a general degree $r$ primitive map of nonsingular, irreducible, projective curves over an algebraically closed field of characteristic zero or larger than $r$. We prove that the Tschirnhausen bundle of $α$ is semistable if $g(Y) \geq 1$ and stable if $g(Y) \geq 2$. Let $α: X \to Y$ be a general degree $r$ primitive map of nonsingular, irreducible, projective curves over an algebraically closed field of characteristic zero or larger than $r$. We prove that the Tschirnhausen bundle of $α$ is semistable if $g(Y) \geq 1$ and stable if $g(Y) \geq 2$. △ Less

Submitted 9 June, 2023; v1 submitted 14 July, 2022; originally announced July 2022.

Comments: To appear in International Math Research Notices

MSC Class: 14H30; 14H60

Stability and cohomology of kernel bundles on projective space

Authors: Izzet Coskun, Jack Huizenga, Geoffrey Smith

Abstract: In this paper, we study the cohomology of vector bundles on projective space defined as kernels or cokernels of general maps $V_1 \to V_2$, where the $V_i$ are direct sums of line bundles or certain exceptional bundles. We prove an asymptotic cohomology vanishing theorem. We characterize the stability of general Steiner bundles on projective space. We also give a criterion for a Steiner bundle to… ▽ More In this paper, we study the cohomology of vector bundles on projective space defined as kernels or cokernels of general maps $V_1 \to V_2$, where the $V_i$ are direct sums of line bundles or certain exceptional bundles. We prove an asymptotic cohomology vanishing theorem. We characterize the stability of general Steiner bundles on projective space. We also give a criterion for a Steiner bundle to be ample. △ Less

Submitted 21 April, 2022; originally announced April 2022.

Comments: 20 pages, 1 figure

MSC Class: 14J60; 14F06; 32L10 (Primary) 14D20 (Secondary)

The normal bundle of a general canonical curve of genus at least 7 is semistable

Authors: Izzet Coskun, Eric Larson, Isabel Vogt

Abstract: Let $C$ be a general canonical curve of genus $g$ defined over an algebraically closed field of arbitrary characteristic. We prove that if $g \notin \{4,6\}$, then the normal bundle of $C$ is semistable. In particular, if $g \equiv 1$ or $3$ mod $6$, then the normal bundle is stable. Let $C$ be a general canonical curve of genus $g$ defined over an algebraically closed field of arbitrary characteristic. We prove that if $g \notin \{4,6\}$, then the normal bundle of $C$ is semistable. In particular, if $g \equiv 1$ or $3$ mod $6$, then the normal bundle is stable. △ Less

Submitted 9 June, 2023; v1 submitted 24 March, 2022; originally announced March 2022.

Comments: To appear in Journal of the European Math Society

MSC Class: 14H60

The cohomology of the general stable sheaf on a K3 surface

Authors: Izzet Coskun, Howard Nuer, Kōta Yoshioka

Abstract: Let $X$ be a K3 surface with Picard group $\mathrm{Pic}(X)\cong\mathbb{Z} H$ such that $H^2=2n$. Let $M_{H}(\mathbf{v})$ be the moduli space of Gieseker semistable sheaves on $X$ with Mukai vector $\mathbf{v}$. We say that $\mathbf{v}$ satisfies weak Brill-Noether if the general sheaf in $M_{H}(\mathbf{v})$ has at most one nonzero cohomology group. We show that given any rank $r \geq 2$, there are… ▽ More Let $X$ be a K3 surface with Picard group $\mathrm{Pic}(X)\cong\mathbb{Z} H$ such that $H^2=2n$. Let $M_{H}(\mathbf{v})$ be the moduli space of Gieseker semistable sheaves on $X$ with Mukai vector $\mathbf{v}$. We say that $\mathbf{v}$ satisfies weak Brill-Noether if the general sheaf in $M_{H}(\mathbf{v})$ has at most one nonzero cohomology group. We show that given any rank $r \geq 2$, there are only finitely many Mukai vectors of rank $r$ on K3 surfaces of Picard rank one where weak Brill-Noether fails. We give an algorithm for finding the potential counterexamples and classify all such counterexamples up to rank 20 explicitly. Moreover, in each of these cases we calculate the cohomology of the general sheaf. Given $r$, we give sharp bounds on $n$, $d$, and $a$ that guarantee that $\mathbf{v}=(r,dH,a)$ satisfies weak Brill-Noether. As a corollary, we obtain another proof of the classification of Ulrich bundles on K3 surfaces of Picard rank one. In addition, we discuss the question of when the general sheaf in $M_H(\mathbf{v})$ is globally generated. Our techniques make crucial use of Bridgeland stability conditions. △ Less

Submitted 24 June, 2021; originally announced June 2021.

Comments: 58 pages, 2 tables, 3 figures

MSC Class: 14D20; 14J60 (primary); 14J26; 14F05; 13C14; 13H10 (secondary)

Very free rational curves in Fano varieties

Authors: Izzet Coskun, Geoffrey Smith

Abstract: Let $X$ be a projective variety and let $C$ be a rational normal curve on $X$. We compute the normal bundle of $C$ in a general complete intersection of hypersurfaces of sufficiently large degree in $X$. As a result, we establish the separable rational connectedness of a large class of varieties, including general Fano complete intersections of hypersurfaces of degree at least three in flag variet… ▽ More Let $X$ be a projective variety and let $C$ be a rational normal curve on $X$. We compute the normal bundle of $C$ in a general complete intersection of hypersurfaces of sufficiently large degree in $X$. As a result, we establish the separable rational connectedness of a large class of varieties, including general Fano complete intersections of hypersurfaces of degree at least three in flag varieties, in arbitrary characteristic. In addition, we give a new way of computing the normal bundle of certain rational curves in products of varieties in terms of their restricted tangent bundles and normal bundles on each factor. △ Less

Submitted 3 June, 2021; originally announced June 2021.

Comments: 18 pages

MSC Class: 14H60; 14G17 (Primary) 14J45; 14N25 (Secondary)

Disconnected moduli spaces of stable bundles on surfaces

Authors: Izzet Coskun, Jack Huizenga, John Kopper

Abstract: We use hypersurfaces containing unexpected linear spaces to construct interesting vector bundles on complete intersection surfaces in projective space. We discover examples of moduli spaces of rank 2 stable bundles on surfaces of Picard rank one with arbitrarily many connected components. We use hypersurfaces containing unexpected linear spaces to construct interesting vector bundles on complete intersection surfaces in projective space. We discover examples of moduli spaces of rank 2 stable bundles on surfaces of Picard rank one with arbitrarily many connected components. △ Less

Submitted 11 May, 2021; originally announced May 2021.

Comments: 10 pages

MSC Class: 14J60; 14J29; 14D20

Clustered families and applications to Lang-type conjectures

Authors: Izzet Coskun, Eric Riedl

Abstract: We introduce and classify 1-clustered families of linear spaces in the Grassmannian $\mathbb{G}(k-1,n)$ and give applications to Lang-type conjectures. Let $X \subset \mathbb{P}^n$ be a very general hypersurface of degree $d$. Let $Z_L$ be the locus of points contained in a line of $X$. Let $Z_2$ be the locus of points on $X$ that are swept out by lines that meet $X$ in at most $2$ points. We prov… ▽ More We introduce and classify 1-clustered families of linear spaces in the Grassmannian $\mathbb{G}(k-1,n)$ and give applications to Lang-type conjectures. Let $X \subset \mathbb{P}^n$ be a very general hypersurface of degree $d$. Let $Z_L$ be the locus of points contained in a line of $X$. Let $Z_2$ be the locus of points on $X$ that are swept out by lines that meet $X$ in at most $2$ points. We prove that 1) If $d \geq \frac{3n+2}{2}$, then $X$ is algebraically hyperbolic outside $Z_L$. 2) If $d \geq \frac{3n}{2}$, $X$ contains lines but no other rational curves 3) If $d \geq \frac{3n+3}{2}$, then the only points on $X$ that are rationally Chow zero equivalent to points other than themselves are contained in $Z_2$. 4) If $d \geq \frac{3n+2}{2}$ and a relative Green-Griffiths-Lang Conjecture holds, then the exceptional locus for $X$ is contained in $Z_2$. △ Less

Submitted 31 December, 2021; v1 submitted 21 October, 2020; originally announced October 2020.

Comments: Minor changes plus an updated statement of Theorem 4.8, clearly addressing the case of subvarieties of the locus swept out by lines

MSC Class: Primary: 32Q45; 14J70. Secondary: 14M15; 14G05

The cohomology of general tensor products of vector bundles on the projective plane

Authors: Izzet Coskun, Jack Huizenga, John Kopper

Abstract: Computing the cohomology of the tensor product of two vector bundles is central in the study of their moduli spaces and in applications to representation theory, combinatorics and physics. These computations play a fundamental role in the construction of Brill-Noether loci, birational geometry and $S$-duality. Using recent advances in the Minimal Model Program for moduli spaces of sheaves on… ▽ More Computing the cohomology of the tensor product of two vector bundles is central in the study of their moduli spaces and in applications to representation theory, combinatorics and physics. These computations play a fundamental role in the construction of Brill-Noether loci, birational geometry and $S$-duality. Using recent advances in the Minimal Model Program for moduli spaces of sheaves on $\mathbb{P}^2$, we compute the cohomology of the tensor product of general semistable bundles on $\mathbb{P}^2$. This solves a natural higher rank generalization of the polynomial interpolation problem. More precisely, let $v$ and $w$ be two Chern characters of stable bundles on $\mathbb{P}^2$ and assume that $w$ is sufficiently divisible depending on $v$. Let $V \in M(v)$ and $W \in M(w)$ be two general stable bundles. We fully compute the cohomology of $V \otimes W$. In particular, we show that if $W$ is exceptional, then $V \otimes W$ has at most one nonzero cohomology group determined by the slope and the Euler characteristic, generalizing foundational results of Drézet, Göttsche and Hirschowitz. We characterize the invariants of effective Brill-Noether divisors on $M(v)$. We also characterize when $V\otimes W$ is globally generated. Our computation is canonical given the birational geometry of the moduli space, suggesting a roadmap for tackling analogous problems on other surfaces. △ Less

Submitted 23 August, 2021; v1 submitted 24 August, 2020; originally announced August 2020.

Comments: 34 pages, 7 figures. Version 2: includes the case of torsion sheaves

MSC Class: 14J60; 14J26 (Primary); 14D20; 14F05 (Secondary)

Stability of Normal Bundles of Space Curves

Authors: Izzet Coskun, Eric Larson, Isabel Vogt

Abstract: In this paper, we prove that the normal bundle of a general Brill-Noether space curve of degree $d$ and genus $g \geq 2$ is stable if and only if $(d,g) \not\in \{ (5,2), (6,4) \}$. When $g\leq1$ and the characteristic of the ground field is zero, it is classical that the normal bundle is strictly semistable. We show that this fails in characteristic $2$ for all rational curves of even degree. In this paper, we prove that the normal bundle of a general Brill-Noether space curve of degree $d$ and genus $g \geq 2$ is stable if and only if $(d,g) \not\in \{ (5,2), (6,4) \}$. When $g\leq1$ and the characteristic of the ground field is zero, it is classical that the normal bundle is strictly semistable. We show that this fails in characteristic $2$ for all rational curves of even degree. △ Less

Submitted 5 May, 2022; v1 submitted 5 March, 2020; originally announced March 2020.

Comments: 29 pages

MSC Class: 14H50; 14H60

Journal ref: Alg. Number Th. 16 (2022) 919-953

Algebraic hyperbolicity of very general surfaces

Authors: Izzet Coskun, Eric Riedl

Abstract: Recently, Haase and Ilten initiated the study of classifying algebraically hyperbolic surfaces in toric threefolds. We complete this classification for $\mathbb{P}^1 \times \mathbb{P}^1 \times \mathbb{P}^1$, $\mathbb{P}^2 \times \mathbb{P}^1$, $\mathbb{F}_e \times \mathbb{P}^1$ and the blowup of $\mathbb{P}^3$ at a point, augmenting our earlier work on $\mathbb{P}^3$. In the process, we codify sev… ▽ More Recently, Haase and Ilten initiated the study of classifying algebraically hyperbolic surfaces in toric threefolds. We complete this classification for $\mathbb{P}^1 \times \mathbb{P}^1 \times \mathbb{P}^1$, $\mathbb{P}^2 \times \mathbb{P}^1$, $\mathbb{F}_e \times \mathbb{P}^1$ and the blowup of $\mathbb{P}^3$ at a point, augmenting our earlier work on $\mathbb{P}^3$. In the process, we codify several different techniques for proving algebraic hyperbolicity, allowing us to prove similar results for hypersurface in any variety admitting a group action with dense orbit. △ Less

Submitted 16 December, 2019; originally announced December 2019.

Comments: Comments welcome!

MSC Class: 14H10; 14J70

Existence of semistable sheaves on Hirzebruch surfaces

Authors: Izzet Coskun, Jack Huizenga

Abstract: Let $X$ be a Hirzebruch surface, and let $H$ be any ample divisor. In this paper, we algorithmically determine when the moduli space of semistable sheaves $M_{X,H}(r,c_1,c_2)$ is nonempty. Our algorithm relies on certain stacks of prioritary sheaves. We first solve the existence problem for these stacks and then algorithmically determine the Harder-Narasimhan filtration of the general sheaf in the… ▽ More Let $X$ be a Hirzebruch surface, and let $H$ be any ample divisor. In this paper, we algorithmically determine when the moduli space of semistable sheaves $M_{X,H}(r,c_1,c_2)$ is nonempty. Our algorithm relies on certain stacks of prioritary sheaves. We first solve the existence problem for these stacks and then algorithmically determine the Harder-Narasimhan filtration of the general sheaf in the stack. In particular, semistable sheaves exist if and only if the Harder-Narasimhan filtration has length one. We then study sharp Bogomolov inequalities $Δ\geq δ_H(c_1/r)$ for the discriminants of stable sheaves which take the polarization and slope into account; these inequalities essentially completely describe the characters of stable sheaves. The function $δ_H(c_1/r)$ can be computed to arbitrary precision by a limiting procedure. In the case of an anticanonically polarized del Pezzo surface, exceptional bundles are always stable and $δ_H(c_1/r)$ is computed by exceptional bundles. More generally, we show that for an arbitrary polarization there are further necessary conditions for the existence of stable sheaves beyond those provided by stable exceptional bundles. We compute $δ_H(c_1/r)$ exactly in some of these cases. Finally, solutions to the existence problem have immediate applications to the birational geometry of moduli spaces of sheaves. △ Less

Submitted 31 July, 2019; v1 submitted 15 July, 2019; originally announced July 2019.

Comments: 70 pages, 9 figures, comments welcome! v2: minor corrections

MSC Class: Primary: 14J60; 14J26. Secondary: 14D20; 14F05

Effective bounds on ampleness of cotangent bundles

Authors: Izzet Coskun, Eric Riedl

Abstract: We prove that a general complete intersection of dimension $n$, codimension $c$ and type $d_1, \dots, d_c$ in $\mathbb{P}^N$ has ample cotangent bundle if $c \geq 2n-2$ and the $d_i$'s are all greater than a bound that is $O(1)$ in $N$ and quadratic in $n$. This degree bound substantially improves the currently best-known super-exponential bound in $N$ by Deng, although our result does not address… ▽ More We prove that a general complete intersection of dimension $n$, codimension $c$ and type $d_1, \dots, d_c$ in $\mathbb{P}^N$ has ample cotangent bundle if $c \geq 2n-2$ and the $d_i$'s are all greater than a bound that is $O(1)$ in $N$ and quadratic in $n$. This degree bound substantially improves the currently best-known super-exponential bound in $N$ by Deng, although our result does not address the case $n \leq c < 2n-2$. △ Less

Submitted 28 June, 2019; v1 submitted 17 October, 2018; originally announced October 2018.

Comments: Uses a result of Darondeau to improve the bounds

Algebraic hyperbolicity of the very general quintic surface in $\mathbb{P}^3$

Authors: Izzet Coskun, Eric Riedl

Abstract: We prove that a curve of degree $dk$ on a very general surface of degree $d \geq 5$ in $\mathbb{P}^3$ has geometric genus at least $\frac{dk(d-5)+k}{2} + 1$. This improves bounds given by G. Xu. As a corollary, we conclude that the very general quintic surface in $\mathbb{P}^3$ is algebraically hyperbolic. We prove that a curve of degree $dk$ on a very general surface of degree $d \geq 5$ in $\mathbb{P}^3$ has geometric genus at least $\frac{dk(d-5)+k}{2} + 1$. This improves bounds given by G. Xu. As a corollary, we conclude that the very general quintic surface in $\mathbb{P}^3$ is algebraically hyperbolic. △ Less

Submitted 11 April, 2018; originally announced April 2018.

Brill-Noether theorems and globally generated vector bundles on Hirzebruch surfaces

Authors: Izzet Coskun, Jack Huizenga

Abstract: In this paper, we show that the cohomology of a general stable bundle on a Hirzebruch surface is determined by the Euler characteristic provided that the first Chern class satisfies necessary intersection conditions. More generally, we compute the Betti numbers of a general stable bundle. We also show that a general stable bundle on a Hirzebruch surface has a special resolution generalizing the Ga… ▽ More In this paper, we show that the cohomology of a general stable bundle on a Hirzebruch surface is determined by the Euler characteristic provided that the first Chern class satisfies necessary intersection conditions. More generally, we compute the Betti numbers of a general stable bundle. We also show that a general stable bundle on a Hirzebruch surface has a special resolution generalizing the Gaeta resolution on the projective plane. As a consequence of these results, we classify Chern characters such that the general stable bundle is globally generated. △ Less

Submitted 15 May, 2018; v1 submitted 23 May, 2017; originally announced May 2017.

Comments: v2: Minor corrections. Results in section 5 extended to the rank 1 case

MSC Class: 14J60; 14J26 (Primary); 14D20; 14F05 (Secondary)

Normal bundles of rational curves on complete intersections

Authors: Izzet Coskun, Eric Riedl

Abstract: Let $X \subset \mathbb{P}^n$ be a general Fano complete intersection of type $(d_1,\dots, d_k)$. If at least one $d_i$ is greater than $2$, we show that $X$ contains rational curves of degree $e \leq n$ with balanced normal bundle. If all $d_i$ are $2$ and $n\geq 2k+1$, we show that $X$ contains rational curves of degree $e \leq n-1$ with balanced normal bundle. As an application, we prove a stron… ▽ More Let $X \subset \mathbb{P}^n$ be a general Fano complete intersection of type $(d_1,\dots, d_k)$. If at least one $d_i$ is greater than $2$, we show that $X$ contains rational curves of degree $e \leq n$ with balanced normal bundle. If all $d_i$ are $2$ and $n\geq 2k+1$, we show that $X$ contains rational curves of degree $e \leq n-1$ with balanced normal bundle. As an application, we prove a stronger version of the theorem of Z. Tian \cite{Tian}, Q. Chen and Y. Zhu \cite{ChenZhu} that $X$ is separably rationally connected by exhibiting very free rational curves in $X$ of optimal degrees. △ Less

Submitted 23 May, 2017; originally announced May 2017.

Comments: Comments welcome!

Weak Brill-Noether for rational surfaces

Authors: Izzet Coskun, Jack Huizenga

Abstract: A moduli space of sheaves satisfies weak Brill-Noether if the general sheaf in the moduli space has no cohomology. Goettsche and Hirschowitz prove that on the projective plane every moduli space of Gieseker semistable sheaves of rank at least two and Euler characteristic zero satisfies weak Brill-Noether. In this paper, we give sufficient conditions for weak Brill-Noether to hold on rational surfa… ▽ More A moduli space of sheaves satisfies weak Brill-Noether if the general sheaf in the moduli space has no cohomology. Goettsche and Hirschowitz prove that on the projective plane every moduli space of Gieseker semistable sheaves of rank at least two and Euler characteristic zero satisfies weak Brill-Noether. In this paper, we give sufficient conditions for weak Brill-Noether to hold on rational surfaces. We completely characterize Chern characters on Hirzebruch surfaces for which weak Brill-Noether holds. We also prove that on a del Pezzo surface of degree at least 4 weak Brill-Noether holds if the first Chern class is nef. △ Less

Submitted 8 November, 2016; originally announced November 2016.

Comments: 21 pages, comments welcome! Dedicated to Lawrence Ein on the occassion of his sixtieth birthday

MSC Class: 14J60; 14J26 (Primary); 14D20; 14F05 (Secondary)

Normal bundles of rational curves in projective space

Authors: Izzet Coskun, Eric Riedl

Abstract: Let $b_{\bullet}$ be a sequence of integers $1 < b_1 \leq b_2 \leq \cdots \leq b_{n-1}$. Let $M(b_{\bullet})$ be the space parameterizing nondegenerate, rational curves of degree $e$ in $\mathbb{P}^n$ with ordinary singularities such that the normal bundle has the splitting type $\bigoplus_{i=1}^{n-1}\mathcal{O}(e+b_i)$. When $n=3$, celebrated results of Eisenbud, Van de Ven, Ghione and Sacchiero… ▽ More Let $b_{\bullet}$ be a sequence of integers $1 < b_1 \leq b_2 \leq \cdots \leq b_{n-1}$. Let $M(b_{\bullet})$ be the space parameterizing nondegenerate, rational curves of degree $e$ in $\mathbb{P}^n$ with ordinary singularities such that the normal bundle has the splitting type $\bigoplus_{i=1}^{n-1}\mathcal{O}(e+b_i)$. When $n=3$, celebrated results of Eisenbud, Van de Ven, Ghione and Sacchiero show that $M(b_{\bullet})$ is irreducible of the expected dimension. We show that when $n \geq 5$, these loci are generally reducible with components of higher than the expected dimension. We give examples where the number of components grows linearly with $n$. These generalize an example of Alzati and Re. △ Less

Submitted 26 July, 2017; v1 submitted 20 July, 2016; originally announced July 2016.

Comments: edited as per referee's comments

Effective cones of cycles on blow-ups of projective space

Authors: Izzet Coskun, John Lesieutre, John Christian Ottem

Abstract: In this paper, we study the cones of higher codimension (pseudo)effective cycles on point blow-ups of projective space. We determine bounds on the number of points for which these cones are generated by the classes of linear cycles, and for which these cones are finitely generated. Surprisingly, we discover that for (very) general points, the higher codimension cones behave better than the cones o… ▽ More In this paper, we study the cones of higher codimension (pseudo)effective cycles on point blow-ups of projective space. We determine bounds on the number of points for which these cones are generated by the classes of linear cycles, and for which these cones are finitely generated. Surprisingly, we discover that for (very) general points, the higher codimension cones behave better than the cones of divisors. For example, for the blow-up $X_r^n$ of $\mathbb P^n$, $n>4$, at $r$ very general points, the cone of divisors is not finitely generated as soon as $r> n+3$, whereas the cone of curves is generated by the classes of lines if $r \leq 2^n$. In fact, if $X_r^n$ is a Mori Dream Space then all the effective cones of cycles on $X_r^n$ are finitely generated. △ Less

Submitted 15 March, 2016; originally announced March 2016.

Comments: 26 pages; comments welcome

Journal ref: Algebra Number Theory 10 (2016) 1983-2014

Ulrich Schur bundles on flag varieties

Authors: Izzet Coskun, Laura Costa, Jack Huizenga, Rosa Maria Miró-Roig, Matthew Woolf

Abstract: In this paper, we study equivariant vector bundles on partial flag varieties arising from Schur functors. We show that a partial flag variety with three or more steps does not admit an Ulrich bundle of this form with respect to the minimal ample class. We classify Ulrich bundles of this form on two-step flag varieties F(1,n-1;n), F(2,n-1;n), F(2,n-2;n), F(k,k+1;n) and F(k,k+2;n). We give a conject… ▽ More In this paper, we study equivariant vector bundles on partial flag varieties arising from Schur functors. We show that a partial flag variety with three or more steps does not admit an Ulrich bundle of this form with respect to the minimal ample class. We classify Ulrich bundles of this form on two-step flag varieties F(1,n-1;n), F(2,n-1;n), F(2,n-2;n), F(k,k+1;n) and F(k,k+2;n). We give a conjectural description of the two-step flag varieties which admit such Ulrich bundles. △ Less

Submitted 19 December, 2015; originally announced December 2015.

Comments: 36 pages, 11 figures. Merges and replaces arXiv:1507.00102 and arXiv:1506.03586

MSC Class: 14M15; 14J60; 13C14; 13D02; 14F05

The nef cone of the moduli space of sheaves and strong Bogomolov inequalities

Authors: Izzet Coskun, Jack Huizenga

Abstract: Let (X,H) be a polarized, smooth, complex projective surface, and let v be a Chern character on X with positive rank and sufficiently large discriminant. In this paper, we compute the Gieseker wall for v in a slice of the stability manifold of X. We construct explicit curves parameterizing non-isomorphic Gieseker stable sheaves that become S-equivalent along the wall. As a corollary, we conclude t… ▽ More Let (X,H) be a polarized, smooth, complex projective surface, and let v be a Chern character on X with positive rank and sufficiently large discriminant. In this paper, we compute the Gieseker wall for v in a slice of the stability manifold of X. We construct explicit curves parameterizing non-isomorphic Gieseker stable sheaves that become S-equivalent along the wall. As a corollary, we conclude that if there are no strictly semistable sheaves of character v, the Bayer-Macri divisor associated to the wall is a boundary nef divisor on the moduli space of sheaves M_H(v). We recover previous results for the projective plane and K3 surfaces, and illustrate applications to higher Picard rank surfaces with an example on a quadric surface. △ Less

Submitted 9 March, 2016; v1 submitted 8 December, 2015; originally announced December 2015.

Comments: 20 pages, comments welcome! Version 2 includes an additional section with many examples

MSC Class: 14J60; 14E30; 14J29; 14C05

Fano manifolds of index n-2 and the cone conjecture

Authors: Izzet Coskun, Artie Prendergast-Smith

Abstract: The Morrison--Kawamata Cone Conjecture predicts that the action of the automorphism group on the effective nef cone and the action of the pseudo-automorphism group on the effective movable cone of a klt Calabi-Yau pair have rational, polyhedral fundamental domains. In a previous paper, we proved the conjecture for certain blowups of Fano manifolds of index n-1. In this paper, we consider the Morri… ▽ More The Morrison--Kawamata Cone Conjecture predicts that the action of the automorphism group on the effective nef cone and the action of the pseudo-automorphism group on the effective movable cone of a klt Calabi-Yau pair have rational, polyhedral fundamental domains. In a previous paper, we proved the conjecture for certain blowups of Fano manifolds of index n-1. In this paper, we consider the Morrison--Kawamata conjecture for blowups of Fano manifolds of index n-2. △ Less

Submitted 30 July, 2015; originally announced July 2015.

MSC Class: 14E30; 14E07 (primary); 14J35; 14J40; 14J50; 14D06 (secondary)

Equivariant Ulrich bundles on flag varieties

Authors: Izzet Coskun, Jack Huizenga, Matthew Woolf

Abstract: In this paper, we study equivariant vector bundles on partial flag varieties arising from Schur functors. We show that a partial flag variety with three or more steps does not admit an Ulrich bundle of this form with respect to the minimal ample class. We classify Ulrich bundles of this form on two-step flag varieties F(2,n;n+1), F(2,n;n+2), F(k,k+1;n), and F(k,k+2;n). We give a conjectural descri… ▽ More In this paper, we study equivariant vector bundles on partial flag varieties arising from Schur functors. We show that a partial flag variety with three or more steps does not admit an Ulrich bundle of this form with respect to the minimal ample class. We classify Ulrich bundles of this form on two-step flag varieties F(2,n;n+1), F(2,n;n+2), F(k,k+1;n), and F(k,k+2;n). We give a conjectural description of the two-step flag varieties which admit such Ulrich bundles. Our results provide counterexamples to conjectures by Costa and Miro-Roig. △ Less

Submitted 22 December, 2015; v1 submitted 1 July, 2015; originally announced July 2015.

Comments: Submission withdrawn as it is subsumed into submission arXiv:1512.06193 with additional authors

MSC Class: 14M15; 14J60; 13C14; 13D02; 14F05

The ample cone of moduli spaces of sheaves on the plane

Authors: Izzet Coskun, Jack Huizenga

Abstract: Fix a Chern character of a stable sheaf on the plane. Assume either the rank is at most 6 or the rank and first Chern class are coprime and the discriminant is sufficiently large. We use recent results of Bayer and Macri on Bridgeland stability to compute the ample cone of the moduli space of Gieseker semistable sheaves with the given Chern character. We recover earlier results, such as those by S… ▽ More Fix a Chern character of a stable sheaf on the plane. Assume either the rank is at most 6 or the rank and first Chern class are coprime and the discriminant is sufficiently large. We use recent results of Bayer and Macri on Bridgeland stability to compute the ample cone of the moduli space of Gieseker semistable sheaves with the given Chern character. We recover earlier results, such as those by Stromme and Yoshioka, as special cases. △ Less

Submitted 18 September, 2014; originally announced September 2014.

Comments: 27 pages, comments welcome!

MSC Class: Primary: 14J60; Secondary: 14E30; 14J26; 14D20; 13D02

Extremal higher codimension cycles on moduli spaces of curves

Authors: Dawei Chen, Izzet Coskun

Abstract: We show that certain geometrically defined higher codimension cycles are extremal in the effective cone of the moduli space $\overline{\mathcal M}_{g,n}$ of stable genus $g$ curves with $n$ ordered marked points. In particular, we prove that codimension two boundary strata are extremal and exhibit extremal boundary strata of higher codimension. We also show that the locus of hyperelliptic curves w… ▽ More We show that certain geometrically defined higher codimension cycles are extremal in the effective cone of the moduli space $\overline{\mathcal M}_{g,n}$ of stable genus $g$ curves with $n$ ordered marked points. In particular, we prove that codimension two boundary strata are extremal and exhibit extremal boundary strata of higher codimension. We also show that the locus of hyperelliptic curves with a marked Weierstrass point in $\overline{\mathcal M}_{3,1}$ and the locus of hyperelliptic curves in $\overline{\mathcal M}_4$ are extremal cycles. In addition, we exhibit infinitely many extremal codimension two cycles in $\overline{\mathcal M}_{1,n}$ for $n\geq 5$ and in $\overline{\mathcal M}_{2,n}$ for $n\geq 2$. △ Less

Submitted 13 July, 2014; originally announced July 2014.

Comments: 25 pages

Dense PGL-orbits in products of Grassmannians

Authors: Izzet Coskun, Majid Hadian, Dmitry Zakharov

Abstract: In this paper, we find some necessary and sufficient conditions on the dimension vector $\underline{\bf{d}} = (d_1,..., d_k; n)$ so that the diagonal action of $\mathbb{P}GL(n)$ on $\prod_{i=1}^k Gr(d_i;n)$ has a dense orbit. Consequently, we obtain some algorithms for finding dense and sparse dimension vectors and classify dense dimension vectors with small length or size. We also characterize th… ▽ More In this paper, we find some necessary and sufficient conditions on the dimension vector $\underline{\bf{d}} = (d_1,..., d_k; n)$ so that the diagonal action of $\mathbb{P}GL(n)$ on $\prod_{i=1}^k Gr(d_i;n)$ has a dense orbit. Consequently, we obtain some algorithms for finding dense and sparse dimension vectors and classify dense dimension vectors with small length or size. We also characterize the dense dimension vectors of the form $(d,d,..., d; n)$. △ Less

Submitted 2 February, 2015; v1 submitted 30 April, 2014; originally announced May 2014.

Comments: 21 pages

The effective cone of the moduli space of sheaves on the plane

Authors: Izzet Coskun, Jack Huizenga, Matthew Woolf

Abstract: We compute the cone of effective divisors on any moduli space of semistable sheaves on the plane. The computation hinges on finding a good resolution of a general stable sheaf. This resolution is determined by Bridgeland stability and arises from a well-chosen Beilinson spectral sequence. The existence of a good choice of spectral sequence depends on remarkable number-theoretic properties of the s… ▽ More We compute the cone of effective divisors on any moduli space of semistable sheaves on the plane. The computation hinges on finding a good resolution of a general stable sheaf. This resolution is determined by Bridgeland stability and arises from a well-chosen Beilinson spectral sequence. The existence of a good choice of spectral sequence depends on remarkable number-theoretic properties of the slopes of exceptional bundles. △ Less

Submitted 8 January, 2014; originally announced January 2014.

Comments: 37 pages, 6 figures, comments welcome!

MSC Class: Primary: 14J60; Secondary: 14E30; 14D20; 13D02

Interpolation, Bridgeland stability and monomial schemes in the plane

Authors: Izzet Coskun, Jack Huizenga

Abstract: Given a zero-dimensional scheme Z, the higher-rank interpolation problem asks for the classification of slopes of vector bundles cohomologically orthogonal to the ideal sheaf of Z. In this paper, we solve this problem for all zero-dimensional monomial schemes in the projective plane. As a corollary, we obtain detailed information on the stable base loci of divisors on the Hilbert scheme of points… ▽ More Given a zero-dimensional scheme Z, the higher-rank interpolation problem asks for the classification of slopes of vector bundles cohomologically orthogonal to the ideal sheaf of Z. In this paper, we solve this problem for all zero-dimensional monomial schemes in the projective plane. As a corollary, we obtain detailed information on the stable base loci of divisors on the Hilbert scheme of points on the plane. We prove the correspondence between walls in the Bridgeland stability manifold and walls in the Mori chamber decomposition of the effective cone conjectured by Arcara-Bertram-Coskun-Huizenga for monomial schemes. We determine the Harder-Narasimhan filtration of ideal sheaves of monomial schemes for suitable Bridgeland stability conditions and, as a consequence, obtain a new resolution better suited for cohomology computations than other standard resolutions such as the minimal free resolution. △ Less

Submitted 22 May, 2013; originally announced May 2013.

Comments: 37 pages, 11 figures, comments welcome

MSC Class: Primary: 14C05. Secondary: 14E30; 14J60; 13D02

Extremal effective divisors on the moduli space of n-pointed genus one curves

Authors: Dawei Chen, Izzet Coskun

Abstract: For every $n\geq 3$, we exhibit infinitely many extremal effective divisors on the moduli space of genus one curves with $n$ marked points. For every $n\geq 3$, we exhibit infinitely many extremal effective divisors on the moduli space of genus one curves with $n$ marked points. △ Less

Submitted 1 April, 2013; originally announced April 2013.

Flexibility of Schubert classes

Authors: Izzet Coskun, Colleen Robles

Abstract: In this note, we discuss the flexibility of Schubert classes in homogeneous varieties. We give several constructions for representing multiples of a Schubert class by irreducible subvarieties. We sharpen [R, Theorem 3.1] by proving that every positive multiple of an obstructed class in a cominuscule homogeneous variety can be represented by an irreducible subvariety. In this note, we discuss the flexibility of Schubert classes in homogeneous varieties. We give several constructions for representing multiples of a Schubert class by irreducible subvarieties. We sharpen [R, Theorem 3.1] by proving that every positive multiple of an obstructed class in a cominuscule homogeneous variety can be represented by an irreducible subvariety. △ Less

Submitted 1 March, 2013; originally announced March 2013.

Fano manifolds of index n-1 and the cone conjecture

Authors: Izzet Coskun, Artie Prendergast-Smith

Abstract: The Morrison-Kawamata cone conjecture predicts that the actions of the automorphism group on the effective nef cone and the pseudo-automorphism group on the effective movable cone of a klt Calabi-Yau pair $(X, Δ)$ have finite, rational polyhedral fundamental domains. Let $Z$ be an $n$-dimensional Fano manifold of index $n-1$ such that $-K_Z = (n-1) H$ for an ample divisor $H$. Let $Γ$ be the base… ▽ More The Morrison-Kawamata cone conjecture predicts that the actions of the automorphism group on the effective nef cone and the pseudo-automorphism group on the effective movable cone of a klt Calabi-Yau pair $(X, Δ)$ have finite, rational polyhedral fundamental domains. Let $Z$ be an $n$-dimensional Fano manifold of index $n-1$ such that $-K_Z = (n-1) H$ for an ample divisor $H$. Let $Γ$ be the base locus of a general $(n-1)$-dimensional linear system $V \subset |H|$. In this paper, we verify the Morrison-Kawamata cone conjecture for the blow-up of $Z$ along $Γ$. △ Less

Submitted 17 July, 2012; originally announced July 2012.

Comments: 30 pages

MSC Class: 14E07; 14E30

The Minimal Model Program for the Hilbert Scheme of Points on P^2 and Bridgeland Stability

Authors: Daniele Arcara, Aaron Bertram, Izzet Coskun, Jack Huizenga

Abstract: In this paper, we study the birational geometry of the Hilbert scheme of n points on P^2. We discuss the stable base locus decomposition of the effective cone and the corresponding birational models. We give modular interpretations to the models in terms of moduli spaces of Bridgeland semi-stable objects. We construct these moduli spaces as moduli spaces of quiver representations using G.I.T. and… ▽ More In this paper, we study the birational geometry of the Hilbert scheme of n points on P^2. We discuss the stable base locus decomposition of the effective cone and the corresponding birational models. We give modular interpretations to the models in terms of moduli spaces of Bridgeland semi-stable objects. We construct these moduli spaces as moduli spaces of quiver representations using G.I.T. and thus show that they are projective. There is a precise correspondence between wall-crossings in the Bridgeland stability manifold and wall-crossings between Mori cones. For n at most 9, we explicitly determine the walls in both interpretations and describe the corresponding flips and divisorial contractions. △ Less

Submitted 1 March, 2012; originally announced March 2012.

Comments: 42 pages

MSC Class: 14E30; 14C05; 14D20; 14D23

Singularities of generalized Richardson varieties

Authors: Sara Billey, Izzet Coskun

Abstract: Richardson varieties play an important role in intersection theory and in the geometric interpretation of the Littlewood-Richardson Rule for flag varieties. We discuss three natural generalizations of Richardson varieties which we call projection varieties, intersection varieties, and rank varieties. In many ways, these varieties are more fundamental than Richardson varieties and are more easily a… ▽ More Richardson varieties play an important role in intersection theory and in the geometric interpretation of the Littlewood-Richardson Rule for flag varieties. We discuss three natural generalizations of Richardson varieties which we call projection varieties, intersection varieties, and rank varieties. In many ways, these varieties are more fundamental than Richardson varieties and are more easily amenable to inductive geometric constructions. In this paper, we study the singularities of each type of generalization. Like Richardson varieties, projection varieties are normal with rational singularities. We also study in detail the singular loci of projection varieties in Type A Grassmannians. We use Kleiman's Transversality Theorem to determine the singular locus of any intersection variety in terms of the singular loci of Schubert varieties. This is a generalization of a criterion for any Richardson variety to be smooth in terms of the nonvanishing of certain cohomology classes which has been known by some experts in the field, but we don't believe has been published previously. △ Less

Submitted 16 August, 2010; originally announced August 2010.

Comments: 26 pages

MSC Class: 14M15; 14N35; 32M10

Hilbert scheme of a pair of codimension two linear subspaces

Authors: Dawei Chen, Izzet Coskun, Scott Nollet

Abstract: We study the component H_n of the Hilbert scheme whose general point parameterizes a pair of codimension two linear subspaces in P^n for n > 2. We show that H_n is smooth and isomorphic to the blow-up of the symmetric square of G(n-2,n) along the diagonal. Further H_n intersects only one other component in the full Hilbert scheme, transversely. We determine the stable base locus decomposition of… ▽ More We study the component H_n of the Hilbert scheme whose general point parameterizes a pair of codimension two linear subspaces in P^n for n > 2. We show that H_n is smooth and isomorphic to the blow-up of the symmetric square of G(n-2,n) along the diagonal. Further H_n intersects only one other component in the full Hilbert scheme, transversely. We determine the stable base locus decomposition of its effective cone and give modular interpretations of the corresponding models, hence conclude that H_n is a Mori dream space. △ Less

Submitted 28 September, 2009; originally announced September 2009.

MSC Class: 14E05; 14E30; 14M15; 14D22

Towards Mori's program for the moduli space of stable maps

Authors: Dawei Chen, Izzet Coskun, Charley Crissman

Abstract: We introduce and compute the class of a number of effective divisors on the moduli space of stable maps $\bar M_{0,0}(P^{r},d)$, which, for small d, provide a good understanding of the extremal rays and the stable base locus decomposition for the effective cone. We also discuss various birational models that arise in Mori's program, including the Hilbert scheme, the Chow variety, the space of… ▽ More We introduce and compute the class of a number of effective divisors on the moduli space of stable maps $\bar M_{0,0}(P^{r},d)$, which, for small d, provide a good understanding of the extremal rays and the stable base locus decomposition for the effective cone. We also discuss various birational models that arise in Mori's program, including the Hilbert scheme, the Chow variety, the space of $k$-stable maps, the space of branchcurves and the space of semi-stable sheaves. △ Less

Submitted 18 May, 2009; originally announced May 2009.

Comments: Main paper by Chen and Coskun, with a Macaulay 2 program in the appendix by Crissman to verify certain moving curves

MSC Class: 14E05; 14E30; 14D22; 14H10

Stable Base Locus Decompositions of Kontsevich Moduli Spaces

Authors: Dawei Chen, Izzet Coskun

Abstract: In this paper, we determine the stable base locus decomposition of the Kontsevich moduli spaces of degree two and three stable maps to Grassmannians. This gives new examples of the decomposition for varieties with Picard rank three. We also discuss the birational models that correspond to the chambers in the decomposition. In this paper, we determine the stable base locus decomposition of the Kontsevich moduli spaces of degree two and three stable maps to Grassmannians. This gives new examples of the decomposition for varieties with Picard rank three. We also discuss the birational models that correspond to the chambers in the decomposition. △ Less

Submitted 10 February, 2009; originally announced February 2009.

Comments: 22 pages, 3 figures

MSC Class: 14E05; 14E30; 14M15; 14D22

Geometric positivity in the cohomology of homogeneous spaces and generalized Schubert calculus

Authors: Izzet Coskun, Ravi Vakil

Abstract: We describe recent work on positive descriptions of the structure constants of the cohomology of homogeneous spaces such as the Grassmannian, by degenerations and related methods. We give various extensions of these rules, some new and conjectural, to K-theory, equivariant cohomology, equivariant K-theory, and quantum cohomology. We describe recent work on positive descriptions of the structure constants of the cohomology of homogeneous spaces such as the Grassmannian, by degenerations and related methods. We give various extensions of these rules, some new and conjectural, to K-theory, equivariant cohomology, equivariant K-theory, and quantum cohomology. △ Less

Submitted 18 October, 2006; originally announced October 2006.

Comments: 39 pages, 46 figures

MSC Class: Primary: 14M15; 14N15; Secondary: 14N10; 14C17; 14P99; 05E10; 05E05

The arithmetic and the geometry of Kobayashi hyperbolicity

Authors: Izzet Coskun

Abstract: We survey the properties of Brody and Kobayashi hyperbolic manifolds. We survey the properties of Brody and Kobayashi hyperbolic manifolds. △ Less

Submitted 5 December, 2004; originally announced December 2004.

Comments: 12 pages, 2 figures, report for Algebraic Geometry: Presentations by Young Researchers

MSC Class: 32Q45

Degenerations of Del Pezzo surfaces and the Gromov-Witten invariants of the Hilbert Scheme of conics

Authors: Izzet Coskun

Abstract: We investigate the characteristic numbers of Del Pezzo surfaces using degenerations. We investigate the characteristic numbers of Del Pezzo surfaces using degenerations. △ Less

Submitted 14 July, 2004; originally announced July 2004.

Comments: 37 pages, 8 figures

MSC Class: 14N15;14N25;14N35

Degenerations of surface scrolls and the Gromov-Witten invariants of Grassmannians

Authors: Izzet Coskun

Abstract: We describe an algorithm for computing certain characteristic numbers of surface scrolls using degenerations. As a corollary we obtain a method for computing the corresponding Gromov-Witten invariants of Grassmannians. We describe an algorithm for computing certain characteristic numbers of surface scrolls using degenerations. As a corollary we obtain a method for computing the corresponding Gromov-Witten invariants of Grassmannians. △ Less

Submitted 14 July, 2004; originally announced July 2004.

Comments: 40 pages, 6 figures

MSC Class: 14N15; 14N25; 14N35