The Nef Curve Cone Theorem Revisited

Qihong Xie

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

2005-01-26

Abstract:We revisit the nef curve cone theorem and use it to reprove the pseudo-effectivity of the second Chern classes for terminal weak Q-Fano varieties.

Algebraic Geometry

What problem does this paper attempt to address?

On the Existence of Conic Kähler-Einstein Metrics

Gang Tian,Feng Wang

DOI: https://doi.org/10.1016/j.aim.2020.107413

IF: 1.675

2020-01-01

Advances in Mathematics

Abstract:In this paper, we prove the conic version of YTD conjecture on log Fano manifolds.
Nef cones of fiber products and an application to the Cone Conjecture

Cécile Gachet,Hsueh-Yung Lin,Long Wang

2024-03-01

Abstract:We prove a decomposition theorem for the nef cone of smooth fiber products over curves, subject to the necessary condition that their Néron--Severi space decomposes. We apply it to describe the nef cone of so-called Schoen varieties, which are the higher dimensional analogues of the Calabi--Yau threefolds constructed by Schoen. Schoen varieties give rise to Calabi--Yau pairs, and in each dimension at least three, there exist Schoen varieties with non-polyhedral nef cone. We prove the Kawamata--Morrison--Totaro Cone Conjecture for the nef cones of Schoen varieties, which generalizes the work by Grassi and Morrison.

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
Conical Kähler–Einstein Metrics Revisited

Chi Li,Song Sun

DOI: https://doi.org/10.1007/s00220-014-2123-9

2014-01-01

Abstract:In this paper we introduce the “interpolation–degeneration” strategy to study Kähler–Einstein metrics on a smooth Fano manifold with cone singularities along a smooth divisor that is proportional to the anti-canonical divisor. By “interpolation” we show the angles in (0, 2π] that admit a conical Kähler–Einstein metric form a connected interval, and by “degeneration” we determine the boundary of the interval in some important cases. As a first application, we show that there exists a Kähler–Einstein metric on ${\mathbb{P}^2}$ with cone singularity along a smooth conic (degree 2) curve if and only if the angle is in (π/2, 2π]. When the angle is 2π/3 this proves the existence of a Sasaki–Einstein metric on the link of a three dimensional A 2 singularity, and thus answers a question posed by Gauntlett–Martelli–Sparks–Yau. As a second application we prove a version of Donaldson’s conjecture about conical Kähler–Einstein metrics in the toric case using Song–Wang’s recent existence result of toric invariant conical Kähler–Einstein metrics.
AHLER-EINSTEIN METRIC REVISITED

Chi Li,Song Sun

2012-01-01

Abstract:In this paper we introduce the interpolation-degneration strategy to study Kahler-Einstein metrics on a smooth Fano manifold with cone singularities along a smooth divisor that is proportional to the anti-canonical divisor. By interpolation we show the angles in (0,2�) that admit a conical Kahler-Einstein metric form an interval; and by degeneration we figure out the boundary of the interval. As a first application, we show that there exists a Kahler-Einstein metric on P 2 with cone singularity along a smooth conic (degree 2) curve if and only if the angle is in (�/2,2�). When the an- gle is 2�/3 this proves the existence of a Sasaki-Einstein metric on the link of a three dimensional A2 singularity, and thus answers a problem posed by Gauntlett-Martelli- Sparks-Yau. As a second application we prove a version of Donaldson's conjecture about conical Kahler-Einstein metrics in the toric case using Song-Wang's recent existence result of toric invariant conical Kahler-Einstein metrics.
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.
Lefschetz-type theorems for the effective cone on Hyperkähler varieties

Jonas Baltes

DOI: https://doi.org/10.1007/s00209-024-03476-x

2024-04-11

Mathematische Zeitschrift

Abstract:In this paper we show some Lefschetz-type theorems for the effective cone of Hyperkähler varieties. In particular we are able to show that the inclusion of any smooth ample divisor induces an isomorphism of effective cones. Moreover we deduce a similar statement for some effective exceptional divisors, which yields the computation of the effective cone of e.g. projectivized cotangent bundles or some projectivized Lazarsfeld–Mukai bundles.

mathematics
A Note on the Effective Non-Vanishing Conjecture

Qihong Xie

DOI: https://doi.org/10.1090/s0002-9939-08-09539-7

IF: 0.9709

2008-01-01

Proceedings of the American Mathematical Society

Abstract:We give a reduction of the irregular case for the effective nonvanishing conjecture by virtue of the Fourier-Mukai transform. As a consequence, we reprove that the effective non-vanishing conjecture holds on algebraic surfaces.
Castelnuovo bound for curves in projective 3-folds

Zhiyu Liu

2024-07-30

Abstract:The Castelnuovo bound conjecture, which is proposed by physicists, predicts an effective vanishing result for Gopakumar-Vafa invariants of Calabi-Yau 3-folds of Picard number one. Previously, it is only known for a few cases and all the proofs rely on the Bogomolov-Gieseker conjecture of Bayer-Macrì-Toda. In this paper, we prove the Castelnuovo bound conjecture for any Calabi-Yau 3-folds of Picard number one, up to a linear term and finitely many degree, without assuming the conjecture of Bayer-Macrì-Toda. Furthermore, we prove an effective vanishing theorem for surface-counting invariants of Calabi-Yau 4-folds of Picard number one. We also apply our techniques to study low-degree curves on some explicit Calabi-Yau 3-folds. Our approach is based on a general iterative method to obtain upper bounds for the genus of one-dimensional closed subschemes in a fixed 3-fold, which is a combination of classical techniques and the wall-crossing of weak stability conditions on derived categories, and works for any projective 3-fold with at worst isolated singularities over any algebraically closed field.

Algebraic Geometry,High Energy Physics - Theory,Mathematical Physics,Symplectic Geometry
Curve counting and instanton counting

Jian Zhou

2003-01-01

Abstract:We prove some combinatorial results required for the proof of the following conjecture of Nekrasov: The generating function of closed string invariants in local Calabi-Yau geometries obtained by appropriate fibrations of $A_N$ singularities over $P^1$ reproduce the generating function of equivariant $\hat{A}$-genera of moduli space of instants on $C^2$.
Quantum Lefschetz theorem revisited

Jun Wang

2023-05-30

Abstract:Let $X$ be any smooth Deligne-Mumford stack with projective coarse moduli, and $Y$ be a smooth complete intersection in $X$ associated with a direct sum of semi-positive line bundles. We will introduce a useful and broad class known as admissible series for discussing quantum Lefschetz theorem. For any admissible series on the Givental's Lagrangian cone of $X$, we will show that a hypergeometric modification of the series lies on the Lagrangian cone of $Y$. This confirms a prediction from Coates-Corti-Iritani-Tseng about the genus zero quantum Lefschetz theorem beyond convexity. In our quantum Lefschetz theorem, we use extended variables to formulate the hypergeometric modification, which may be of self-independent interest.

Algebraic Geometry
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
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
Convolution monodromy groups and the Shafarevich conjecture for hypersurfaces in tori

Caleb Ji

2024-08-16

Abstract:The Shafarevich conjecture for a class of varieties over a number field posits the finitude of those with good reduction outside a finite set of primes. In the case of hypersurfaces in the torus $\mathbb{G}_m^n$, a natural class to consider are those with a fixed Newton polyhedron that are nondegenerate with respect to it. Using an approach similar to that of Lawrence-Sawin for abelian varieties (<a class="link-https" data-arxiv-id="2004.09046" href="https://arxiv.org/abs/2004.09046">arXiv:2004.09046</a>), we prove the Shafarevich conjecture for certain classes of Newton polyhedra. In the course of our proof we construct a fiber functor for the Tannakian category of perverse sheaves on the torus in positive characteristic and compute the weights of the Frobenius on it, which leads to the big monodromy results which are key to this method.

Number Theory,Algebraic Geometry
On the relative cone conjecture for families of IHS manifolds

Andreas Höring,Gianluca Pacienza,Zhixin Xie

2024-10-16

Abstract:We study the relative cone conjecture for families of $K$-trivial varieties with vanishing irregularity. As an application we prove that the relative movable and the relative nef cone conjectures hold for fibrations in projective IHS manifolds of the 4 known deformation types.

Algebraic Geometry
The effective cone conjecture for Calabi--Yau pairs

Cécile Gachet,Hsueh-Yung Lin,Isabel Stenger,Long Wang

2024-06-11

Abstract:We formulate an {\it effective cone conjecture} for klt Calabi--Yau pairs $(X,\Delta)$, pertaining to the structure of the cone of effective divisors $\mathrm{Eff}(X)$ modulo the action of the subgroup of pseudo-automorphisms $\mathrm{PsAut}(X,\Delta)$. Assuming the existence of good minimal models in dimension $\dim(X)$, known to hold in dimension up to $3$, we prove that the effective cone conjecture for $(X,\Delta)$ is equivalent to the Kawamata--Morrison--Totaro movable cone conjecture for $(X,\Delta)$. As an application, we show that the movable cone conjecture unconditionally holds for the smooth Calabi--Yau threefolds introduced by Schoen and studied by Namikawa, Grassi and Morrison. We also show that for such a Calabi--Yau threefold $X$, all of its minimal models, apart from $X$ itself, have rational polyhedral nef cones.

Algebraic Geometry
A decomposition theorem for the affine Springer fibers

Zongbin Chen

2024-04-12

Abstract:According to Laumon, an affine Springer fiber is homeomorphic to the universal abelian covering of the compactified Jacobian of a spectral curve. We construct equivariant deformations $f_{n}:\overline{\mathcal{P}}_{n}\to \mathcal{B}_{n}$ of the finite abelian coverings of this compactified Jacobian, and decompose the complex $Rf_{n,*}\mathbf{Q}_{\ell}$ as direct sum of intersection complexes. Pass to the limit, we obtain a similar expression for the homology of the affine Springer fibers. A quite surprising consequence is that we can reduce the homology to its $\Lambda^{0}$-invariant subspace. As an application, we get a sheaf-theoretic reformulation of the purity hypothesis of Goresky, Kottwitz and MacPherson. In an attempt to solve it, we propose a conjecture about the punctural weight of the intermediate extension of a smooth $\ell$-adic sheaf of pure weight.

Algebraic Geometry
The Bieri-Neumann-Strebel sets of quasi-projective groups

Vasily Rogov

2024-10-30

Abstract:Let $X$ be a smooth complex quasi-projective variety and $\Gamma=\pi_1(X)$. Let $\chi \colon \Gamma \to \mathbb{R}$ be an additive character. We prove that the ray $[\chi]$ does not belong to the BNS set $\Sigma(\Gamma)$ if and only if it comes as a pullback along an algebraic fibration $f \colon X \to \mathcal{C}$ over a quasi-projective hyperbolic orbicurve $\mathcal{C}$. We also prove that if $\pi_1(X)$ admits a solvable quotient which is not virtually nilpotent, there exists a finite étale cover $X_1 \to X$ and a fibration $f \colon X_1 \to \mathcal{C}$ over a quasi-projective hyperbolic orbicurve $\mathcal{C}$. Both of these results were proved by Delzant in the case when $X$ is a compact Kähler manifold. We deduce that $\Gamma$ is virtually solvable if and only if it is virtually nilpotent, generalising the theorems of Delzant and Arapura-Nori. As a byproduct, we prove a version of Simpson's Lefschetz Theorem for the integral leaves of logarithmic $1$-forms that do not extend to any partial compactification. We give two applications of our results. First, we strengthen the recent theorem of Cadorel-Deng-Yamanoi on virtual nilpotency of fundamental groups of quasi-projective $h$-special and weakly special manifolds. Second, we prove the sharpness of Suciu's tropical bound for the fundamental groups of smooth quasi-projective varieties and answer a question of Suciu on the topology of hyperplane arrangements.

Algebraic Geometry,Group Theory

The Nef Curve Cone Theorem Revisited

On the Existence of Conic Kähler-Einstein Metrics

Nef cones of fiber products and an application to the Cone Conjecture

Nef and Effective cones of some Quot Schemes

Conical Kähler–Einstein Metrics Revisited

AHLER-EINSTEIN METRIC REVISITED

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

Lefschetz-type theorems for the effective cone on Hyperkähler varieties

A Note on the Effective Non-Vanishing Conjecture

Castelnuovo bound for curves in projective 3-folds

Curve counting and instanton counting

Quantum Lefschetz theorem revisited

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

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

Convolution monodromy groups and the Shafarevich conjecture for hypersurfaces in tori

On the relative cone conjecture for families of IHS manifolds

The effective cone conjecture for Calabi--Yau pairs

A decomposition theorem for the affine Springer fibers

The Bieri-Neumann-Strebel sets of quasi-projective groups