A question on effective strictly nef divisors (with an appendix by Andreas Höring)

Claudio Fontanari

2024-04-12

Abstract:We introduce and motivate the following question: Is every effective strictly nef Cartier divisor on a projective variety big? In the appendix, Andreas Höring produces a counterexample, thus providing a negative answer.

Algebraic Geometry

What problem does this paper attempt to address?

A non-boundary nef divisor on $\bar{M}_{0,12}$

Aaron Pixton

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

2011-12-23

Algebraic Geometry

Abstract:We describe a nef divisor $D_P$ on $\bar{M}_{0,12}$ that is not numerically equivalent to an effective sum of boundary divisors.
A question about generalized nonvanishing

Claudio Fontanari

2024-05-16

Abstract:Let $(X,\Delta)$ be a projective, $\mathbb{Q}$-factorial log canonical pair and let $L$ be a pseudoeffective $\mathbb{Q}$-divisor on $X$ such that $K_X + \Delta + L$ is pseudoeffective. Is there an effective $\mathbb{Q}$-divisor $M$ on $X$ such that $K_X + \Delta + L$ is numerically equivalent to $M$? We are not aware of any counterexamples, but the answer is not completely clear even in the case of surfaces.

Algebraic Geometry
A Note on the Strict Transformation of an Effective Cartier Divisor

Yu Zhao

2023-04-19

Abstract:Let $Y$ be an effective Cartier divisor of a smooth variety $Z$. Let $X_{i}$, $i\in \{1,\cdots,n\}$ be a set of pairwise disjoint smooth subvarieties in $Y$ such that their union contains the singular locus of $Y$. In this paper, we give a sufficient condition such that $Bl_{X}Y$ is smooth, where $X$ is the disjoint union of all $X_{i}$. Moreover, we prove that assuming a dimensional condition, there is an admissible subcategory of $D^{b}(Bl_{X}Y)$ which is a weak categorical crepant resolution of $Y$ in the sense of Kuznetsov.

Algebraic Geometry
On effective non-vanishing and base-point-freeness

Yujiro Kawamata

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

2000-04-14

Abstract:Let $X$ be a complete normal variety, $B$ an effective $\mathbb{R}$-divisor on $X$, and $D$ a Cartier divisor on $X$. Assume that the pair $(X, B)$ is log terminal. We consider the problem whether $H^0(X, D) \ne 0$ and obtain some results in lower dimensions.

Algebraic Geometry
Positivity of double point divisors

Yonghwa Cho,Jinhyung Park

2024-12-03

Abstract:The non-isomorphic locus of a general projection from an embedded smooth projective variety to a hypersurface moves in a linear system of an effective divisor which we call the double point divisor. David Mumford proved that the double point divisor from outer projection is always base point free, and Bo Ilic proved that it is ample except for a Roth variety. The first aim of this paper is to show that the double point divisor from outer projection is very ample except in the Roth case. This answers a question of Bo Ilic. Unlike the case of outer projection, the double point divisor from inner projection may not be base point free nor ample. However, Atsushi Noma proved that it is semiample except when a variety is neither a Roth variety, a scroll over a curve, nor the second Veronese surface. In this paper, we investigate when the double point divisor from inner projection is base point free or big.

Algebraic Geometry
Nef and Effective cones of some Quot Schemes

Chandranandan Gangopadhyay,Ronnie Sebastian

2024-05-15

Abstract:Let $C$ be a smooth projective curve over $\mathbb{C}$ of genus $g(C)\geqslant 3$ (respectively, $g(C)=2$). Fix integers $r,k$ such that $2\leqslant k\leqslant r-2$, (respectively, $3\leqslant k\leqslant r-2$). Let $\mathcal{Q}:={\rm Quot}_{C/\mathbb{C}}(\mathcal{O}^{\oplus r}_C, k, d)$ be the Quot scheme parametrizing rank $k$ and degree $d$ quotients of the trivial bundle of rank $r$. Let $\mathcal{Q}_L$ denote the closed subscheme of the Quot scheme parametrizing quotients such that the quotient sheaf has determinant $L$. It is known that $\mathcal{Q}_L$ is an integral, normal, local complete intersection, locally factorial scheme of Picard rank 2, when $d\gg0$. In this article we compute the nef cone, effective cone and canonical divisor of this variety when $d\gg0$. We show this variety is Fano iff $r=2k+1$.

Algebraic Geometry
On ruled surfaces with big anti-canonical divisor and numerically trivial divisors on weak log Fano surfaces

Rikito Ohta,Shinnosuke Okawa

DOI: https://doi.org/10.1007/s00229-020-01242-x

2020-10-03

manuscripta mathematica

Abstract:We investigate the structure of geometrically ruled surfaces whose anti-canonical class is big. As an application we show that the Picard group of a normal projective surface whose anti-canonical class is nef and big is a free abelian group of finite rank.
Nef and Effective Cones on the Moduli Space of Torsion Sheaves on the Projective Plane

Matthew Woolf

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

2013-05-07

Algebraic Geometry

Abstract:In this paper, we study the divisor theory of the Simpson moduli space of semistable sheaves of dimension 1 on the projective plane. We prove that these spaces are all Mori dream spaces, and calculate their nef cones. We also study the effective cones of these spaces for most choices of numerical invariants. As a consequence, we work out precisely when two such spaces are isomorphic.
On a question of Nori: Obstructions, improvements, and applications

Sourjya Banerjee,Mrinal Kanti Das

DOI: https://doi.org/10.1016/j.jalgebra.2023.08.003

IF: 0.908

2023-12-01

Journal of Algebra

Abstract:This article concerns a question asked by M. V. Nori on homotopy of sections of projective modules defined on the polynomial algebra over a smooth affine domain R. While this question has an affirmative answer, it is known that the assertion does not hold if: (1) dim ( R ) = 2 ; or (2) d ≥ 3 but R is not smooth. We first prove that an affirmative answer can be given for dim ( R ) = 2 when R is an F ‾ p -algebra. Next, for d ≥ 3 we find the precise obstruction for the failure in the singular case. Further, we improve a result of Mandal (related to Nori's question) in the case when the ring A is an affine F ‾ p -algebra of dimension d. We apply this improvement to define the n-th Euler class group E n ( A ) , where 2 n ≥ d + 2 . Moreover, if A is smooth, we associate to a unimodular row v of length n + 1 its Euler class e ( v ) ∈ E n ( A ) and show that the corresponding stably free module, say, P ( v ) has a unimodular element if and only if e ( v ) vanishes in E n ( A ) .

mathematics
On Serrano's conjecture on Projective bundles

Snehajit Misra

2024-05-09

Abstract:In this article, we investigate Serrano's conjecture for strictly nef divisors on projective bundles over higher dimensional smooth projective varieties.

Algebraic Geometry
A non-vanishing theorem for -divisors on surfaces

J CHEN,M CHEN,D ZHANG

DOI: https://doi.org/10.1016/j.jalgebra.2005.05.005

IF: 0.908

2005-01-01

Journal of Algebra

Abstract:We prove a non-vanishing theorem of the cohomology H0 of the adjoint divisor KX+⌈L⌉ where ⌈L⌉ is the round up of a nef and big Q-divisor L.
Hartogs type extension theorem for the complement of effective and numerically effective divisors

S.V.Feklistov

2024-11-04

Abstract:In these notes we generalize the Ohsawa's results on the Hartogs extension phenomenon in the complement of effective divisors in Kähler manifolds with semipositive non-flat normal bundle. Namely, we prove that the Hartogs extension phenomenon occurs in the complement of effective and nef divisors with connected supports in Kähler manifolds. We use homological algebra methods instead of a construction of the $(n-1)$-convex exhaustion function. Also, the Demailly-Peternell vanishing theorem is a crucial argument for us. Moreover, we obtain geometric characterizations of the Hartogs phenomenon for the complement of basepoint-free divisors.

Complex Variables
Effective divisors on projectivized Hodge bundles and modular forms

Gerard van der Geer,Alexis Kouvidakis

2023-09-06

Abstract:We construct vector-valued modular forms on moduli spaces of curves and abelian varieties using effective divisors in projectivized Hodge bundles over moduli of curves. Cycle relations tell us the weight of these modular forms. In particular we construct basic modular forms for genus $2$ and $3$. We also discuss modular forms on the moduli of hyperelliptic curves. In that case the relative canonical bundle is a pull back of a line bundle on a ${\mathbb P}^1$-bundle over the moduli of hyperelliptic curves and we extend that line bundle to a compactification so that its push down is (close to) the Hodge bundle and use this to construct modular forms. In an appendix we use our method to calculate divisor classes in the dual projectivized $k$-Hodge bundle determined by Gheorghita-Tarasca and by Korotkin-Sauvaget-Zograf.

Algebraic Geometry,Number Theory
Adelic divisors on arithmetic varieties

Atsushi Moriwaki

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

2013-03-18

Abstract:In this article, we generalize several fundamental results for arithmetic divisors, such as the continuity of the volume function, the generalized Hodge index theorem, Fujita's approximation theorem for arithmetic divisors and Zariski decompositions for arithmetic divisors on arithmetic surfaces, to the case of the adelic arithmetic divisors.

Algebraic Geometry
On a Question of Demailly-Peternell-Schneider

Meng Chen,Qi Zhang

DOI: https://doi.org/10.4171/jems/406

2013-01-01

Journal of the European Mathematical Society

Abstract:This note aims to give an affirmative answer to an open question posed by Demailly-Peternell-Schneider [DPS] in 2001 and recently by Peternell [P] again. Let $f:X\mapsto Y$ be a surjective morphism from a log canonical pair (X,D) onto a ${\mathbb Q}$-Gorenstein variety $Y$. If $-(K_X+D)$ is nef, we show that $-K_Y$ is pseudo-effective.
A Nonvanishing Theorem for Q-divisors

ALFRED JUNGKAI CHEN,Meng Chen,De-Qi Zhang

2005-01-01

Abstract:We prove a non-vanishing theorem of the cohomology H^0 of the adjoint divisor K_X + L' where L' is the round up of a nef and big Q-divisor L.
Nonnegativity of signed Euler characteristics of moduli of curves and abelian varieties

Donu Arapura,Deepam Patel

2024-08-28

Abstract:Given a perverse sheaf on the moduli stack of principally polarized abelian varieties or the moduli stack of smooth curves with n marked points over a field of characteristic zero, we prove that the (orbifold) Euler characteristic is nonnegative. For constant coefficients, this follows immediately from formulas of Harer-Zagier and Harder. Our proof is different and in the case of abelian varieties uses log Dubson-Kashiwara plus the fact that Hodge bundles are nef. For curves, we require an additional inequality established using Beilinson's gluing construction. The first main result is shown to be false in positive characteristic.

Algebraic Geometry,Number Theory
The augmented base locus of real divisors over arbitrary fields

Caucher Birkar

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

2013-12-01

Abstract:We show that the augmented base locus coincides with the exceptional locus (i.e. null locus) for any nef $\mathbb{R}$-Cartier divisor on any scheme projective over a field (of any characteristic). Next we prove a semi-ampleness criterion in terms of the augmented base locus generalizing a result of Keel. We also study nef divisors with positive top intersection number, and discuss some problems related to augmented base loci of log divisors.

Algebraic Geometry
Higher codimension nef and effective cycles on the Hilbert scheme of 3 points in projective 3-space

Gwyneth Moreland

2024-03-14

Abstract:Nef and effective cones of divisors have been the subject of much study. In contrast, their higher codimension analogues are much harder to compute and few examples exist in the literature. In this paper we compute the nef cones in codimensions 2 & 3 and the effective cones in dimensions 2 & 3 for the Hilbert scheme of three points in $\mathbb{P}^3$. Our computation generalizes results of Ryan & Stathis and requires a careful analysis of the PGL orbits in the Hilbert scheme, as well as a new basis of the Chow ring inspired by Mallavibarrena and Sols.

Algebraic Geometry
Pseudo-effective Classes and Pushforwards

Olivier Debarre,Zhi Jiang,Claire Voisin

DOI: https://doi.org/10.4310/pamq.2013.v9.n4.a3

2013-01-01

Pure and Applied Mathematics Quarterly

Abstract:Given a morphism between complex projective varieties, we make several conjectures on the relations between the set of pseudo-effective (co)homology classes which are annihilated by pushforward and the set of classes of varieties contracted by the morphism. We prove these conjectures for classes of curves or divisors. We also prove that one of these conjectures implies Grothendieck's generalized Hodge conjecture for varieties with Hodge coniveau at least 1.

A question on effective strictly nef divisors (with an appendix by Andreas Höring)

A non-boundary nef divisor on $\bar{M}_{0,12}$

A question about generalized nonvanishing

A Note on the Strict Transformation of an Effective Cartier Divisor

On effective non-vanishing and base-point-freeness

Positivity of double point divisors

Nef and Effective cones of some Quot Schemes

On ruled surfaces with big anti-canonical divisor and numerically trivial divisors on weak log Fano surfaces

Nef and Effective Cones on the Moduli Space of Torsion Sheaves on the Projective Plane

On a question of Nori: Obstructions, improvements, and applications

On Serrano's conjecture on Projective bundles

A non-vanishing theorem for -divisors on surfaces

Hartogs type extension theorem for the complement of effective and numerically effective divisors

Effective divisors on projectivized Hodge bundles and modular forms

Adelic divisors on arithmetic varieties

On a Question of Demailly-Peternell-Schneider

A Nonvanishing Theorem for Q-divisors

Nonnegativity of signed Euler characteristics of moduli of curves and abelian varieties

The augmented base locus of real divisors over arbitrary fields

Higher codimension nef and effective cycles on the Hilbert scheme of 3 points in projective 3-space

Pseudo-effective Classes and Pushforwards