Convex Fujita numbers: projective bundles

Jiaming Chen,Alex Küronya,Yusuf Mustopa,Jakob Stix

2024-05-18

Abstract:We study effective global generation properties of projectivizations of curve semistable vector bundles over curves and abelian varieties.

Algebraic Geometry

What problem does this paper attempt to address?

Convex Fujita numbers are not determined by the fundamental group

Jiaming Chen,Alex Küronya,Yusuf Mustopa,Jakob Stix

2024-06-30

Abstract: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.

Algebraic Geometry
Positive Kobayashi Curvature Metrics on Ample Vector Bundles

Huitao Feng,Kefeng Liu,Xueyuan Wan

2018-01-01

Abstract:In this short note, we prove that a complex Finsler vector bundle with positive Kobayashi curvature must be ample, which partially solves a problem of S. Kobayashi posed in 1975. As applications, a strongly pseudoconvex complex Finsler manifold with positive Kobayashi curvature must be biholomorphic to the complex projective space; we also show that all Schur polynomials are numerically positive for complex Finsler vector bundles with positive Kobayashi curvature.
Complex Finsler Vector Bundles with Positive Kobayashi Curvature

Huitao Feng,Kefeng Liu,Xueyuan Wan

DOI: https://doi.org/10.4310/mrl.2020.v27.n5.a3

2020-01-01

Mathematical Research Letters

Abstract:In this short note, we prove that a complex Finsler vector bundle with positive Kobayashi curvature must be ample, which partially solves a problem of S. Kobayashi posed in 1975. As applications, a strongly pseudoconvex complex Finsler manifold with positive Kobayashi curvature must be biholomorphic to the complex projective space; we also show that all Schur polynomials are numerically positive for complex Finsler vector bundles with positive Kobayashi curvature.
Global Generation of Adjoint Line Bundles on Projective $5$-folds

Fei Ye,Zhixian Zhu

DOI: https://doi.org/10.48550/arXiv.1405.0678

2016-12-02

Abstract:Let $X$ be a smooth projective variety of dimension $5$ and $L$ be an ample line bundle on $X$ such that $L^5>7^5$ and $L^d\cdot Z\geq 7^d$ for any subvariety $Z$ of dimension $1\leq d\leq 4$. We show that $\mathcal{O}_X(K_X+L)$ is globally generated.

Algebraic Geometry
Rational Curves on Coindex 3 Fano Varieties

Eric Jovinelly,Fumiya Okamura

2024-09-02

Abstract:We describe the moduli space of rational curves on smooth Fano varieties of coindex 3. For varieties of dimension 5 or greater, we prove the moduli space has a single irreducible component for each effective numerical class of curves. For varieties of dimension 4, we describe families of rational curves in terms of Fujita's $a$-invariant. Our results verify Lehmann and Tanimoto's Geometric Manin's Conjecture for all smooth coindex 3 Fano varieties over the complex numbers.

Algebraic Geometry
On Fujita's freeness conjecture in dimension 5

Fei Ye,Zhixian Zhu

DOI: https://doi.org/10.48550/arXiv.1511.09154

2015-11-30

Abstract:Let $X$ be a smooth projective variety of dimension $5$ and $L$ be an ample line bundle on $X$. We show that $|K_X + 6L|$ is base-point free.

Algebraic Geometry
Smooth Projective Surfaces with Infinitely Many Real Forms

Tien-Cuong Dinh,Cécile Gachet,Hsueh-Yung Lin,Keiji Oguiso,Long Wang,Xun Yu

DOI: https://doi.org/10.2422/2036-2145.202306_013

2024-01-01

ANNALI SCUOLA NORMALE SUPERIORE - CLASSE DI SCIENZE

Abstract:The aim of this paper is twofold. First of all, we confirm a few basic criteria of the finiteness of real forms of a given smooth complex projective variety, in terms of the Galois cohomology set of the discrete part of the automorphism group, the cone conjecture and the topological entropy. We then apply them to show that a smooth complex projective surface has at most finitely many non-isomorphic real forms unless it is either rational or a non-minimal surface birational to either a K3 surface or an Enriques surface. In the second part of the paper, we construct an Enriques surface whose blow-up at one point admits infinitely many non-isomorphic real forms. This answers a question of Kondo to us and also shows the three exceptional cases really occur.
Classification of quotient bundles on the Fargues-Fontaine curve

Serin Hong

DOI: https://doi.org/10.1007/s00029-022-00819-6

2022-11-04

Abstract:We completely classify all quotient bundles of a given vector bundle on the Fargues-Fontaine curve. As consequences, we have two additional classification results: a complete classification of all vector bundles that are generated by a fixed number of global sections and a nearly complete classification of subbundles of a given vector bundle. For the proof, we combine the dimension counting argument for moduli of bundle maps developed in [BFH+17] with a series of reduction arguments based on some reinterpretation of the classifying conditions.

Number Theory,Algebraic Geometry
A functorial approach to the stability of vector bundles

Dario Weissmann

2024-09-18

Abstract:On a normal projective variety the locus of $\mu$-stable bundles that remain $\mu$-stable on all Galois covers prime to the characteristic is open in the moduli space of Gieseker semi-stable sheaves. On a smooth projective curve of genus at least 2 this locus is big in the moduli space of stable bundles, i.e., its complement has codimension at least 2.

Algebraic Geometry
Positively curved Finsler metrics on vector bundles III

Kuang-Ru Wu

DOI: https://doi.org/10.48550/arXiv.2312.16848

2023-12-28

Abstract:The goal of the paper is to extend results about ample or Griffiths positive vector bundles to Kobayashi positive vector bundles. In particular, we show that the quotient bundle of a Kobayashi positive vector bundle is Kobayashi positive, and the tensor product of two Kobayashi positive vector bundles is Kobayashi positive. These results strengthen the conjectural equivalences between ampleness, Griffiths positivity, and Kobayashi positivity. The proofs rely on the convexity of Kobayashi positive Finsler metrics and the duality for convex Finsler metrics.

Differential Geometry,Complex Variables
Kawaguchi-Silverman Conjecture for Projective Bundles on Curves

Brett Nasserden,Alexandre Zotine

2023-10-05

Abstract:We prove the Kawaguchi-Silverman conjecture for projective bundles on elliptic curves, thereby completing the conjecture for all projective bundles over curves. Our approach is to use the transition functions of the bundles. This allows us to further prove the conjecture for projectivized split bundles over a smooth projective variety with finitely generated Mori cone.

Algebraic Geometry
Globally F-regular type of the moduli spaces of parabolic symplectic/orthogonal bundles on curves

Jianping Wang,Xueqing Wen

DOI: https://doi.org/10.1017/fms.2024.57

2024-05-28

Forum of Mathematics Sigma

Abstract:We prove that the moduli spaces of parabolic symplectic/orthogonal bundles on a smooth curve are globally F-regular type. As a consequence, all higher cohomologies of the theta line bundle vanish. During the proof, we develop a method to estimate codimension.

mathematics, applied
Bundle-extension inverse problems over elliptic curves

Alexandru Chirvasitu

2024-07-10

Abstract:We prove a number of results to the general effect that, under obviously necessary numerical and determinant constraints, "most" morphisms between fixed bundles on a complex elliptic curve produce (co)kernels which can either be specified beforehand or else meet various rigidity constraints. Examples include: (a) for indecomposable $\mathcal{E}$ and $\mathcal{E'}$ with slopes and ranks increasing strictly in that order the space of monomorphisms whose cokernel is semistable and maximally rigid (i.e. has minimal-dimensional automorphism group) is open dense; (b) for indecomposable $\mathcal{K}$, $\mathcal{E}$ and stable $\mathcal{F}$ with slopes increasing strictly in that order and ranks and determinants satisfying the obvious additivity constraints the space of embeddings $\mathcal{K}\to \mathcal{E}$ whose cokernel is isomorphic to $\mathcal{F}$ is open dense; (c) the obvious mirror images of these results; (d) generalizations weakening indecomposability to semistability + maximal rigidity; (e) various examples illustrating the necessity of the assorted assumptions.

Algebraic Geometry,Category Theory
Higher dimensional moduli spaces on Kuznetsov components of Fano threefolds

Chunyi Li,Yinbang Lin,Laura Pertusi,Xiaolei Zhao

2024-06-13

Abstract:We study moduli spaces of stable objects in the Kuznetsov components of Fano threefolds. We prove a general non-emptiness criterion for moduli spaces, which applies to the cases of prime Fano threefolds of index $1$, degree $10 \leq d \leq 18$, and index $2$, degree $d \leq 4$. In the second part, we focus on cubic threefolds. We show the irreducibility of the moduli spaces, and that the general fibers of the Abel--Jacobi maps from the moduli spaces to the intermediate Jacobian are Fano varieties. When the dimension is sufficiently large, we further show that the general fibers of the Abel--Jacobi maps are stably birational equivalent to each other. As an application of our methods, we prove Conjecture A.1 in [FGLZ24] concerning the existence of Lagrangian subvarieties in moduli spaces of stable objects in the Kuznetsov components of very general cubic fourfolds.

Algebraic Geometry
Effective Fujita-type theorems for surfaces in arbitrary characteristic

Takumi Murayama

2024-08-13

Abstract:Fujita's conjecture is known to be false in positive characteristic. However, if $X$ is a smooth projective variety over a field of positive characteristic and $L$ is an ample divisor on $X$, it is an open question whether linear systems of the form $\lvert K_X+aK_X+bL \rvert$ can be made basepoint-free or very ample with $a$ and $b$ only depending on the dimension of $X$. We conjecture that such $a$ and $b$ exist and prove a strong version of this conjecture for basepoint-freeness, very ampleness, and jet ampleness on smooth projective surfaces in arbitrary characteristic. We do not use the classification of surfaces. In positive characteristic, we prove these positivity properties hold for Schwede's canonical linear system $S^0(X,\omega_X \otimes \mathcal{O}_X(aK_X+bL))$. To prove these results, we prove new results on Seshadri constants, moving Seshadri constants, and Frobenius-Seshadri constants, which in the singular case are new even over the complex numbers.

Algebraic Geometry
Characterizations of projective spaces and quadrics by strictly nef bundles

Duo Li,Xiaokui Yang

2016-01-01

Abstract:In this paper, we show that if the tangent bundle of a smooth projective variety is strictly nef, then it is isomorphic to a projective space; if a projective variety X^n (n>4) has strictly nef Λ^2 TX, then it is isomorphic to ℙ^n or quadric ℚ^n. We also prove that on elliptic curves, strictly nef vector bundles are ample, whereas there exist Hermitian flat and strictly nef vector bundles on any smooth curve with genus g≥ 2.
Locally Constant Fibrations and Positivity of Curvature

Niklas Müller

2024-08-22

Abstract:Up to finite étale cover, any smooth complex projective variety $X$ with nef anti-canonical bundle is a holomorphic fibre bundle over a $K$-trivial variety with locally constant transition functions. We show that this result is optimal by proving that any projective fibre bundle with locally constant transition functions over a $K$-trivial variety has a nef anti-canonical bundle. Moreover, we complement some results on the structure theory of varieties whose tangent bundle admits a singular hermitean metric of positive curvature.

Algebraic Geometry
Positivity of tangent sheaves of projective varieties -- the structure of MRC fibrations

Masataka Iwai,Shin-ichi Matsumura,Guolei Zhong

2023-09-18

Abstract:In this paper, we extend the structure theorem for smooth projective varieties with nef tangent bundle to projective klt varieties whose tangent sheaf is either positively curved or almost nef. Specifically, we show that such a variety $X$, up to a finite quasi-étale cover, admits a rationally connected fibration $X \to A$ onto an abelian variety $A$. For the proof, we develop the theory of positivity of coherent sheaves on projective varieties. As applications, we establish some relations between the geometric properties and positivity of tangent sheaves.

Algebraic Geometry,Complex Variables,Differential Geometry
A solution to Fujita's freeness conjecture via an extension theorem with analytic adjoint ideal sheaves

Tsz On Mario Chan

2024-11-12

Abstract:The effective freeness in Fujita's conjecture states that, for an ample line bundle $L$ on a complex projective manifold $X$, the adjoint bundle $K_X\otimes L^{\otimes m}$ is globally generated when $m \geq \dim_{\mathbb C} X + 1$. Following the approach of Angehrn and Siu, a solution is provided in this paper via the use of adjoint ideal sheaves, which provide a finer control of the non-integrable loci given by multiplier ideal sheaves, so that one can work directly with the lc singularities and the associated (minimal) lc centres as in the algebraic approaches of Kawamata and Helmke. The substitute for the Nadel or Kawamata-Viehweg vanishing theorem used in previous approaches is an extension theorem based on the techniques developed for the injectivity theorems.

Algebraic Geometry,Complex Variables
Combinatorial secant varieties

Bernd Sturmfels,Seth Sullivant

DOI: https://doi.org/10.48550/arXiv.math/0506223

2005-09-28

Abstract:The construction of joins and secant varieties is studied in the combinatorial context of monomial ideals. For ideals generated by quadratic monomials, the generators of the secant ideals are obstructions to graph colorings, and this leads to a commutative algebra version of the Strong Perfect Graph Theorem. Given any projective variety and any term order, we explore whether the initial ideal of the secant ideal coincides with the secant ideal of the initial ideal. For toric varieties, this leads to the notion of delightful triangulations of convex polytopes.

Commutative Algebra,Algebraic Geometry,Combinatorics

Convex Fujita numbers: projective bundles

Convex Fujita numbers are not determined by the fundamental group

Positive Kobayashi Curvature Metrics on Ample Vector Bundles

Complex Finsler Vector Bundles with Positive Kobayashi Curvature

Global Generation of Adjoint Line Bundles on Projective $5$-folds

Rational Curves on Coindex 3 Fano Varieties

On Fujita's freeness conjecture in dimension 5

Smooth Projective Surfaces with Infinitely Many Real Forms

Classification of quotient bundles on the Fargues-Fontaine curve

A functorial approach to the stability of vector bundles

Positively curved Finsler metrics on vector bundles III

Kawaguchi-Silverman Conjecture for Projective Bundles on Curves

Globally F-regular type of the moduli spaces of parabolic symplectic/orthogonal bundles on curves

Bundle-extension inverse problems over elliptic curves

Higher dimensional moduli spaces on Kuznetsov components of Fano threefolds

Effective Fujita-type theorems for surfaces in arbitrary characteristic

Characterizations of projective spaces and quadrics by strictly nef bundles

Locally Constant Fibrations and Positivity of Curvature

Positivity of tangent sheaves of projective varieties -- the structure of MRC fibrations

A solution to Fujita's freeness conjecture via an extension theorem with analytic adjoint ideal sheaves

Combinatorial secant varieties