Toric varieties and Gröbner bases: the complete $$\mathbb {Q}$$-factorial case

We present two algorithms determining all the complete and simplicial fans admitting a fixed non-degenerate set of vectors V as generators of their 1-skeleton. The interplay of the two algorithms allows us to discerning if the associated toric varieties admit a projective embedding, in principle for any values of dimension and Picard number. The first algorithm is slower than the second one, but it computes all complete and simplicial fans supported by V and lead us to formulate a topological-combinatoric conjecture about the definition of a fan. On the other hand, we adapt the Sturmfels’ arguments on the Gröbner fan of toric ideals to our complete case; we give a characterization of the Gröbner region and show an explicit correspondence between Gröbner cones and chambers of the secondary fan. A homogenization procedure of the toric ideal associated to V allows us to employing GFAN and related software in producing our second algorithm. The latter turns out to be much faster than the former, although it can compute only the projective fans supported by V. We provide examples and a list of open problems. In particular we give examples of rationally parametrized families of $$\mathbb {Q}$$ Q -factorial complete toric varieties behaving in opposite way with respect to the dimensional jump of the nef cone over a special fibre.

The Nef Cone of the Hilbert Scheme of Points on Rational Elliptic Surfaces and the Cone Conjecture

We compute the nef cone of the Hilbert scheme of points on a general rational elliptic surface. As a consequence of our computation, we show that the Morrison–Kawamata cone conjecture holds for these nef cones.

Quantum Kostka and the rank one problem for 𝔰𝔩2m

We give necessary and sufficient conditions to specify vector bundles of conformal blocks for 𝔰𝔩2m with rectangular weights which have ranks 0, 1, and larger than 1. We show that the first Chern classes of such rank one bundles determine a finitely generated subcone of the nef cone.

FINITENESS OF LOG MINIMAL MODELS AND NEF CURVES ON -FOLDS IN CHARACTERISTIC

In this article, we prove a finiteness result on the number of log minimal models for 3-folds in $\operatorname{char}p>5$. We then use this result to prove a version of Batyrev’s conjecture on the structure of nef cone of curves on 3-folds in characteristic $p>5$. We also give a proof of the same conjecture in full generality in characteristic 0. We further verify that the duality of movable curves and pseudo-effective divisors hold in arbitrary characteristic. We then give a criterion for the pseudo-effectiveness of the canonical divisor $K_{X}$ of a smooth projective variety in arbitrary characteristic in terms of the existence of a family of rational curves on $X$.

Nef Cones of Nested Hilbert Schemes of Points on Surfaces

Let X be the projective plane, a Hirzebruch surface, or a general K3 surface. In this paper, we study the birational geometry of various nested Hilbert schemes of points parameterizing pairs of zero-dimensional subschemes on X. We calculate the nef cone for two types of nested Hilbert schemes. As an application, we recover a theorem of Butler on syzygies on Hirzebruch surfaces.

Fano manifolds of index n − 2 and the cone conjecture

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 [CPS], 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.