We study the moduli space of constant scalar curvature Kähler (cscK) surfaces around toric surfaces. To this end, we introduce the class of foldable surfaces: smooth toric surfaces whose lattice automorphism group contains a non-trivial cyclic subgroup. We classify such surfaces and show that they all admit a cscK metric. We then study the moduli space of polarised cscK surfaces around a point given by a foldable surface, and show that it is locally modelled on a finite quotient of a toric affine variety with terminal singularities.

It was conjectured by McKernan and Shokurov that for any Fano contraction $f:X \to Z$ of relative dimension r with X being $\epsilon $-lc, there is a positive $\delta $ depending only on $r,\epsilon $ such that Z is $\delta $-lc and the multiplicity of the fiber of f over a codimension one point of Z is bounded from above by $1/\delta $. Recently, this conjecture was confirmed by Birkar [9]. In this article, we give an explicit value for $\delta $ in terms of $\epsilon ,r$ in the toric case, which belongs to $O(\epsilon ^{2^r})$ as $\epsilon \rightarrow 0$. The order $O(\epsilon ^{2^r})$ is optimal in some sense.

In this article, we study the algebra of Veronese type. We show that the presentation ideal of this algebra has an initial ideal whose Alexander dual has linear quotients. As an application, we explicitly obtain the Castelnuovo–Mumford regularity of the Veronese type algebra. Furthermore, we give an effective upper bound on the multiplicity of this algebra.

In this note, we study the asymptotic Chow stability of symmetric reflexive toric varieties. We provide examples of symmetric reflexive toric varieties that are not asymptotically Chow semistable. On the other hand, we also show that any weakly symmetric reflexive toric varieties which have a regular triangulation (so are special) are asymptotically Chow polystable. Furthermore, we give sufficient criteria to determine when a toric variety is asymptotically Chow polystable. In particular, two examples of toric varieties are given that are asymptotically Chow polystable, but not special. We also provide some examples of special polytopes, mainly in two or three dimensions, and some in higher dimensions.

We prove that the only Bott manifolds such that the Futaki invariant vanishes for any Kähler class are isomorphic to the products of the projective lines.

We construct families of non-toric ${\mathbb {Q}}$-factorial terminal Fano (${\mathbb {Q}}$-Fano) threefolds of codimension $\geq 20$ corresponding to 54 mutation classes of rigid maximally mutable Laurent polynomials. From the point of view of mirror symmetry, they are the highest codimension (non-toric) ${\mathbb {Q}}$-Fano varieties for which we can currently establish the Fano/Landau–Ginzburg correspondence. We construct 46 additional ${\mathbb {Q}}$-Fano threefolds with codimensions of new examples ranging between 19 and 5. Some of these varieties are presented as toric complete intersections, and others as Pfaffian varieties.

Let $(X, \Delta )$ be a klt threefold pair with nef anti-log canonical divisor $-(K_X+\Delta )$. We show that $\kappa (X, -(K_X+\Delta ))\geq 0$. To do so, we prove a more general equivariant non-vanishing result for anti-log canonical bundles, which is valid in any dimension.

Given any toric subvariety Y of a smooth toric variety X of codimension k, we construct a length k resolution of ${\mathcal O}_Y$ by line bundles on X. Furthermore, these line bundles can all be chosen to be direct summands of the pushforward of ${\mathcal O}_X$ under the map of toric Frobenius. The resolutions are built from a stratification of a real torus that was introduced by Bondal and plays a role in homological mirror symmetry.

As a corollary, we obtain a virtual analogue of Hilbert’s syzygy theorem for smooth projective toric varieties conjectured by Berkesch, Erman and Smith. Additionally, we prove that the Rouquier dimension of the bounded derived category of coherent sheaves on a toric variety is equal to the dimension of the variety, settling a conjecture of Orlov for these examples. We also prove Bondal’s claim that the pushforward of the structure sheaf under toric Frobenius generates the derived category of a smooth toric variety and formulate a refinement of Uehara’s conjecture that this remains true for arbitrary line bundles.

Mirror symmetry for a semistable degeneration of a Calabi–Yau manifold was first investigated by Doran–Harder–Thompson when the degenerate fiber is a union of two quasi-Fano manifolds. They proposed a topological construction of a mirror Calabi–Yau by gluing of two Landau–Ginzburg models that are mirror to those Fano manifolds. We extend this construction to a general type semistable degeneration where the dual boundary complex of the degenerate fiber is the standard N-simplex. Since each component in the degenerate fiber comes with the simple normal crossing anticanonical divisor, one needs the notion of a hybrid Landau–Ginzburg model – a multipotential analogue of classical Landau–Ginzburg models. We show that these hybrid Landau–Ginzburg models can be glued to be a topological mirror candidate for the nearby Calabi–Yau, which also exhibits the structure of a Calabi–Yau fibration over $\mathbb P^N$. Furthermore, it is predicted that the perverse Leray filtration associated to this fibration is mirror to the monodromy weight filtration on the degeneration side [12]. We explain how this can be deduced from the original mirror P=W conjecture [18].

We give a short new proof of a recent result of Hanlon-Hicks-Lazarev about toric varieties. As in their work, this leads to a proof of a conjecture of Berkesch-Erman-Smith on virtual resolutions and to a resolution of the diagonal in the simplicial case.

Let $f_0$ and $f_1$ be two homogeneous polynomials of degree d in three complex variables $z_1,z_2,z_3$. We show that the Lê–Yomdin surface singularities defined by $g_0:=f_0+z_i^{d+m}$ and $g_1:=f_1+z_i^{d+m}$ have the same abstract topology, the same monodromy zeta-function, the same $\mu ^*$-invariant, but lie in distinct path-connected components of the $\mu ^*$-constant stratum if their projective tangent cones (defined by $f_0$ and $f_1$, respectively) make a Zariski pair of curves in $\mathbb {P}^2$, the singularities of which are Newton non-degenerate. In this case, we say that $V(g_0):=g_0^{-1}(0)$ and $V(g_1):=g_1^{-1}(0)$ make a $\mu ^*$-Zariski pair of surface singularities. Being such a pair is a necessary condition for the germs $V(g_0)$ and $V(g_1)$ to have distinct embedded topologies.

We use the geometry of the stellahedral toric variety to study matroids. We identify the valuative group of matroids with the cohomology ring of the stellahedral toric variety and show that valuative, homological and numerical equivalence relations for matroids coincide. We establish a new log-concavity result for the Tutte polynomial of a matroid, answering a question of Wagner and Shapiro–Smirnov–Vaintrob on Postnikov–Shapiro algebras, and calculate the Chern–Schwartz–MacPherson classes of matroid Schubert cells. The central construction is the ‘augmented tautological classes of matroids’, modeled after certain toric vector bundles on the stellahedral toric variety.

We use the tropical geometry approach to compute absolute and relative enumerative invariants of complex surfaces which are $\mathbb {C} P^1$-bundles over an elliptic curve. We also show that the tropical multiplicity used to count curves can be refined by the standard Block–Göttsche refined multiplicity to give tropical refined invariants. We then give a concrete algorithm using floor diagrams to compute these invariants along with the associated interpretation as operators acting on some Fock space. The floor diagram algorithm allows one to prove the piecewise polynomiality of the relative invariants, and the quasi-modularity of their generating series.

We show that a sufficiently general hypersurface of degree d in $\mathbb {P}^n$ admits a toric Gröbner degeneration after linear change of coordinates if and only if $d\leq 2n-1$.

This papers classifies toric Fano threefolds with singular locus $\{ \frac {1}{k}(1,1,1) \}$ for $k \in \mathbb {Z}_{\geq 1}$ building on the work of Batyrev (1981, Nauk SSSR Ser. Mat. 45, 704–717) and Watanabe–Watanabe (1982, Tokyo J. Math. 5, 37–48). This is achieved by completing an equivalent problem in the language of Fano polytopes. Furthermore, we identify birational relationships between entries of the classification. For a fixed value $k \geq 4$, there are exactly two such toric Fano threefolds linked by a blowup in a torus-invariant line.

We introduce a conjecture on Virasoro constraints for the moduli space of stable sheaves on a smooth projective surface. These generalise the Virasoro constraints on the Hilbert scheme of a surface found by Moreira and Moreira, Oblomkov, Okounkov and Pandharipande. We verify the conjecture in many nontrivial cases by using a combinatorial description of equivariant sheaves found by Klyachko.

We give an upper bound on the volume $\operatorname {vol}(P^*)$ of a polytope $P^*$ dual to a d-dimensional lattice polytope P with exactly one interior lattice point in each dimension d. This bound, expressed in terms of the Sylvester sequence, is sharp and achieved by the dual to a particular reflexive simplex. Our result implies a sharp upper bound on the volume of a d-dimensional reflexive polytope. Translated into toric geometry, this gives a sharp upper bound on the anti-canonical degree $(-K_X)^d$ of a d-dimensional Fano toric variety X with at worst canonical singularities.

It is well known that the diffeomorphism type of the Milnor fibration of a (Newton) nondegenerate polynomial function f is uniquely determined by the Newton boundary of f. In the present paper, we generalize this result to certain degenerate functions, namely we show that the diffeomorphism type of the Milnor fibration of a (possibly degenerate) polynomial function of the form $f=f^1\cdots f^{k_0}$ is uniquely determined by the Newton boundaries of $f^1,\ldots , f^{k_0}$ if $\{f^{k_1}=\cdots =f^{k_m}=0\}$ is a nondegenerate complete intersection variety for any $k_1,\ldots ,k_m\in \{1,\ldots , k_0\}$.

We study open-closed orbifold Gromov-Witten invariants of 3-dimensional Calabi-Yau smooth toric Deligne-Mumford stacks (with possibly nontrivial generic stabilisers K and semi-projective coarse moduli spaces) relative to Lagrangian branes of Aganagic-Vafa type. An Aganagic-Vafa brane in this paper is a possibly ineffective $C^\infty $ orbifold that admits a presentation $[(S^1\times \mathbb {R} ^2)/G_\tau ]$, where $G_\tau $ is a finite abelian group containing K and $G_\tau /K \cong \boldsymbol {\mu }_{\mathfrak {m}}$ is cyclic of some order $\mathfrak {m}\in \mathbb {Z} _{>0}$.

1. 1. We present foundational materials of enumerative geometry of stable holomorphic maps from bordered orbifold Riemann surfaces to a 3-dimensional Calabi-Yau smooth toric DM stack $\mathcal {X}$ with boundaries mapped into an Aganagic-Vafa brane $\mathcal {L}$. All genus open-closed Gromov-Witten invariants of $\mathcal {X}$ relative to $\mathcal {L}$ are defined by torus localisation and depend on the choice of a framing $f\in \mathbb {Z} $ of $\mathcal {L}$.

2. 2. We provide another definition of all genus open-closed Gromov-Witten invariants in (1) based on algebraic relative orbifold Gromov-Witten theory, which agrees with the definition in (1) up to a sign depending on the choice of orientation on moduli of maps in (1). This generalises the definition in [57] for smooth toric Calabi-Yau 3-folds and specifies an orientation on moduli of maps in (1) compatible with the canonical orientation on moduli of relative stable maps determined by the complex structure.

3. 3. When $\mathcal {X}$ is a toric Calabi-Yau 3-orbifold (i.e., when the generic stabiliser K is trivial), so that $G_\tau =\boldsymbol {\mu }_{\mathfrak {m}}$, we define generating functions $F_{g,h}^{\mathcal {X},(\mathcal {L},f)}$ of open-closed Gromov-Witten invariants of arbitrary genus g and number h of boundary circles; it takes values in $H^*_{ {\mathrm {CR}} }(\mathcal {B} \boldsymbol {\mu }_{\mathfrak {m}}; \mathbb {C} )^{\otimes h}$, where $H^*_{ {\mathrm {CR}} }(\mathcal {B} \boldsymbol {\mu }_{\mathfrak {m}}; \mathbb {C} )\cong \mathbb {C} ^{\mathfrak {m}}$ is the Chen-Ruan orbifold cohomology of the classifying space $\mathcal {B} \boldsymbol {\mu }_{\mathfrak {m}}$ of $\boldsymbol {\mu }_{\mathfrak {m}}$.

4. 4. We prove an open mirror theorem that relates the generating function $F_{0,1}^{\mathcal {X},(\mathcal {L},f)}$ of orbifold disk invariants to Abel-Jacobi maps of the mirror curve of $\mathcal {X}$. This generalises a conjecture by Aganagic-Vafa [6] and Aganagic-Klemm-Vafa [5] (proved in full generality by the first and the second authors in [33]) on the disk potential of a smooth semi-projective toric Calabi-Yau 3-fold.

We propose a conjectural framework for computing Gorenstein measures and stringy Hodge numbers in terms of motivic integration over arcs of smooth Artin stacks, and we verify this framework in the case of fantastacks, which are certain toric Artin stacks that provide (nonseparated) resolutions of singularities for toric varieties. Specifically, let $\mathcal {X}$ be a smooth Artin stack admitting a good moduli space $\pi : \mathcal {X} \to X$, and assume that X is a variety with log-terminal singularities, $\pi $ induces an isomorphism over a nonempty open subset of X and the exceptional locus of $\pi $ has codimension at least $2$. We conjecture a change-of-variables formula relating the motivic measure for $\mathcal {X}$ to the Gorenstein measure for X and functions measuring the degree to which $\pi $ is nonseparated. We also conjecture that if the stabilisers of $\mathcal {X}$ are special groups in the sense of Serre, then almost all arcs of X lift to arcs of $\mathcal {X}$, and we explain how in this case (assuming a finiteness hypothesis satisfied by fantastacks) our conjectures imply a formula for the stringy Hodge numbers of X in terms of a certain motivic integral over the arcs of $\mathcal {X}$. We prove these conjectures in the case where $\mathcal {X}$ is a fantastack.