7
$\begingroup$

Let $X$ be a compact, connected, Kähler manifold, of dimension $d$, with Hermitian metric $\omega$; let $E$ be a vector bundle on $X$ of rank $r\geq2$.

By [1] definition 3.1.2:

A line bundle $L$ over $X$ is said numerically effective (nef, for short) if for any $\epsilon>0$ there exists a smooth Hermitian metric $h_{\epsilon}$ on $L$ such that \begin{equation*} \Omega_{h_{\epsilon}}(L)\geq-\epsilon\omega; \end{equation*} that is the curvature form $\Omega_{h_{\epsilon}}(L)$ of the Chern connection on $L$ (with respect to $h_{\epsilon}$) can have an arbitrary negative part. $E$ is nef if the tautological bundle $\mathcal{O}_{\mathbb{P}(E)}(1)$ is nef.

By [1] definition 3.1.3:

$E$ is $1$-nef if for any $\epsilon>0$ there exists a Hermitian metric $h_{\epsilon}$ on $E$ such that $\Omega_{h_{\epsilon}}(E)\geq-\epsilon\omega$.

By [1] proposition 3.2.4, the $1$-nef bundles $E$ over $X$ are nef; but the inverse is unknown in general; excepted for:

  1. $d=1$ (i.e. algebraic curves), see [1] theorem 3.3.1;
  2. on toric and Abelian varieties $E\otimes\det E$ is $1$-nef;
  3. tangent bundle $TX$ of $X$, where it is nef and $d\in\{2,3\}$;

(2) is justified in [1] at page 113, (3) follows by [2] theorems 6.1, 7.1 and [1] proposition 3.2.4.

Question: Are there other examples of manifolds over which the nef bundles are $1$-nef? Or is there an example of nef not $1$-nef bundle over some manifold $X$?


[1] M. A. A. De Cataldo - Singular Hermitian metrics on vector bundles, J. reine ang. Math. 502 (1998) 93-122

[2] J.-P. Demailly, T. Peternell, M. Schneider - Compact complex manifolds with numerically effective tangent bundles, J. Algebraic Geom. 3 (1994) 295-345

$\endgroup$
5
  • $\begingroup$ We have 2-nef bundle, 3-nef bundle, ... $n$-nef bundle for any positive integer $n$ see Ugo Bruzzo, Beatriz Graña Otero, Metrics on semistable and numerically effective Higgs bundles, J. reine ang. Math. 612 (2007) 59-79 . I think when a VB is stable in the sense of Mumford, 1-nef bundle=nef bundle $\endgroup$
    – user21574
    Dec 8, 2017 at 18:53
  • $\begingroup$ Yes, in general I can consider $t$-nef bundles for $t\in\{1,...,\min\{d,r\}\}$ on $X$; $t$-nef is $s$-nef for $s\in\{1,...,t\}$; nef bundles are semistables in Mumford sense (it's a corollary of [2] theorem 2.18), and it turns out that $1$-nef bundles are semistables. But all this does not answer to my question! $\endgroup$ Dec 9, 2017 at 8:18
  • $\begingroup$ Interesting comment (with correct citation, I was careless to give the correct citation, sorry), First of all, that singular hermitian metric is not well defined for Vector bundles in general. You may assume that $h$ is negatively curved in the sense of Griffiths then you can define such singular hermitian metric on a VB .but I will think about it more. But I am not an expert, you may as Jean Pierre Demailly directly by email see also mathoverflow.net/questions/238825/… $\endgroup$
    – user21574
    Dec 9, 2017 at 8:23
  • $\begingroup$ Bruzzo with Biswas, Graña Otero, Gurjar, Hernández Ruipérez and others, extended the notions of nefness and $t$-nefness to Higgs bundles, respectively, on smooth projective varieties over algebrically closed fields of characteristic $0$ (H-nef) and connected, compact Kähler manifolds ($t$-H-nef). They proved that ($t$-)nef implies ($t$-)H-nef but the vice versa does not hold. $\endgroup$ Dec 9, 2017 at 8:27
  • $\begingroup$ I was wrong: the nef bundles with dual nef (numerically flat bundles, for short nflat) are semistables!, of course, it turns out that the $1$-nflat bundles ($1$-nef bundles with dual $1$-nef) are semistables. $\endgroup$ Dec 10, 2017 at 14:24

1 Answer 1

2
$\begingroup$

Let $(X,\omega)$ be a compact Kähler manifold of dimension $d\geq2$; let $E$ be a nef vector bundle of rank $r\geq2$ such that $\displaystyle\deg(E)=\int_Xc_1(E)\wedge\omega^{d-1}=0$. $E$ is a $1$-nflat vector bundle.

Proof. By [DPS, propositions 1.14.i and 1.15.i] $\det(E)$ is a ($1$-)nef line bundle; by [BGO2, remark 3.2.ii and lemma 3.13] $\det(E)$ is a ($1$-)nflat line bundle; because \begin{equation*} E^{\vee}\cong\bigwedge^{r-1}E\otimes(\det(E))^{\vee} \end{equation*} $E^{\vee}$ is a nef vector bundle. By definition $E$ is a nflat vector bundle.

By [DPS, theorem 3.2] $E$ has a filtration whose quotients are locally free and flat, by [BGO2, theorem 3.16] this is equivalent to say that $E$ is $1$-nflat. $\Box$

Remark. Using the notion of Numerically Flat Higgs bundle (H-nflat, for short) introduced in [BGO1], and $1$-Numerically Flat Higgs bundle ($1$-H-nflat, for short) introduced in [BGO2], and applying [BC, theorems 3.2 and 5.2] indeed of [DPS, theorem 3.2], one proves the following (partial) generalization to Higgs bundles case.

Let $(X,H)$ be a smooth complex projetive variety of dimension $d\geq2$, with a polarization $H$; let $\mathfrak{E}=(E,\phi)$ be a H-nef Higgs bundle of rank $r\geq2$ such that $\displaystyle\deg(E)=c_1(E)\cdot H^{d-1}=0$ and $c_2(E)\cdot H^{d-2}=0$. $\mathfrak{E}$ is a $1$-H-nflat Higgs bundle.


[BC] U. Bruzzo, A. Capasso, Filtrations of numerically flat Higgs bundles and curve semistable Higgs bundles on Calabi-Yau manifolds, arXiv:1904.10069 [math.AG]

[BGO1] U. Bruzzo and B. Graña Otero, Numerically Flat Higgs bundles, Commun. Contemp. Math. 9 (2007) 437-446

[BGO2] U. Bruzzo and B. Graña Otero, Metrics on semistable and numerically effective Higgs bundles, J. reine ang. Math. 612 (2007) 59-79.

[DPS] J.-P. Demailly, T. Peternell, M. Schneider - Compact complex manifolds with numerically effective tangent bundles, J. Algebraic Geom. 3 (1994) 295-345

$\endgroup$

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service and acknowledge that you have read and understand our privacy policy and code of conduct.

Not the answer you're looking for? Browse other questions tagged or ask your own question.