On threefolds admitting a trigonal curve as abstract complete intersection

We study smooth projective varietiesX??^N of dimension 3, such that there are two very ample invertible sheaves ?, ? onX, and there exist two sections of theirs such that they intersect along a trigonal curveC. We give a classification of such threefolds under some hypotheses on the degree of the two embeddings given by ?, ?.     

On the classification of toric Fano 4-folds

The biregular classification of smoothd-dimensional toric Fano varieties is equivalent to the classification of special simplicial polyhedraP in ℝ ^d , the so-called Fano polyhedra, up to an isomorphism of the standard lattice . In this paper, we explain the complete biregular classification of all 4-dimensional smooth toric Fano varieties. The main result states that there exist exactly 123 different types of toric Fano 4-folds somorphism. Translated from Itogi Nauki i Tekhniki, Seriya Sovremennaya Matematika i Ee Prilozheniya. Tematicheskie Obzory Vol. 56. Algebraic Geometry-9, 1998.     

New construction of complex manifold via conifold transition

For a generic anti-canonical hypersurface in each smooth toric Fano 4-fold with rank 2 Picard group, we prove there exist three isolated rational curves in it. Moreover, for all these 4-folds except one, the contractions of generic anti-canonical hypersurfaces along the three rational curves can be deformed to smooth threefolds which is diffeomorphic to connected sums of S3 ×S3 . In this manner, we obtain complex structures with trivial canonical bundles on some connected sums of S3 × S3 . This construction is an analogue of that made by Friedman [On threefolds with trivial canonical bundle. In: Complex Geometry and Lie Theory, volume 53 of Proc. Sympos. Pure Math., Amer. Math. Soc., Providence, RI, 1991, 103-134], Lu and Tian [Complex structures on connected sums of S3 × S3 . In: Manifolds and Geometry, Pisa, 1993, 284-293] who used only quintics in P4 .     

Equivariant cohomology distinguishes the geometric structures of toric hyperkähler manifolds

Toric hyperkähler manifolds are the hyperkähler analogue of symplectic toric manifolds. The theory of Bielawski and Dancer tells us that, while a symplectic toric manifold is determined by a Delzant polytope, a toric hyperkähler manifold is determined by a smooth hyperplane arrangement. The purpose of this paper is to show that a toric hyperkähler manifold up to weak hyperhamiltonian T -isometry is determined not only by a smooth hyperplane arrangement up to weak linear equivalence but also by its equivariant cohomology H* _T (M; ?) with a point â in H ²(M;?) \ {0} up to weak H*(BT; ?)-algebra isomorphism preserving â.     

Flow polytopes and the graph of reflexive polytopes

We suggest defining the structure of an unoriented graph R_d on the set of reflexive polytopes of a fixed dimension d. The edges are induced by easy mutations of the polytopes to create the possibility of walks along connected components inside this graph. For this, we consider two types of mutations: Those provided by performing duality via nef-partitions, and those arising from varying the lattice. Then for d≤3, we identify the flow polytopes among the reflexive polytopes of each single component of the graph R_d. For this, we present for any dimension d≥2 an explicit finite list of quivers giving all d-dimensional reflexive flow polytopes up to lattice isomorphism. We deduce as an application that any such polytope has at most 6(d−1) facets.     

Toric origami manifolds and multi-fans

The notion of a toric origami manifold, which weakens the notion of a symplectic toric manifold, was introduced by A. Cannas da Silva, V. Guillemin and A.R. Pires. They showed that toric origami manifolds bijectively correspond to origami templates via moment maps, where an origami template is a collection of Delzant polytopes with some folding data. Like a fan is associated to a Delzant polytope, a multi-fan introduced by A. Hattori and M. Masuda can be associated to an oriented origami template. In this paper, we discuss their relationship and show that any simply connected compact smooth 4-manifold with a smooth action of T ² can be a toric origami manifold. We also characterize products of even dimensional spheres which can be toric origami manifolds.     

Towards the classification of weak Fano threefolds with ρ = 2

In this paper, examples of type II Sarkisov links between smooth complex projective Fano threefolds with Picard number one are provided. To show examples of these links, we study smooth weak Fano threefolds X with Picard number two and with a divisorial extremal ray. We assume that the pluri-anticanonical morphism of X contracts only a finite number of curves. The numerical classification of these particular smooth weak Fano threefolds is completed and the geometric existence of some numerical cases is proven.     

On Smooth Lattice Polytopes with Small Degree

Toric geometry provides a bridge between the theory of polytopes and algebraic geometry: one can associate to each lattice polytope a polarized toric variety. In this article, we explore this correspondence to classify smooth lattice polytopes having small degree, extending a classification provided by Dickenstein, Di Rocco, and Piene. We follow their approach of interpreting the degree of a polytope as a geometric invariant of the corresponding polarized variety, and then apply techniques from Adjunction Theory and Mori Theory.     

A Geometric Lower Bound Theorem

We resolve a conjecture of Kalai relating approximation theory of convex bodies by simplicial polytopes to the face numbers and primitive Betti numbers of these polytopes and their toric varieties. The proof uses higher notions of chordality. Further, for C ²-convex bodies, asymptotically tight lower bounds on the g-numbers of the approximating polytopes are given, in terms of their Hausdorff distance from the convex body.     

Lattice polytopes cut out by root systems and the Koszul property

We show that lattice polytopes cut out by root systems of classical type are normal and Koszul, generalizing a well-known result of Bruns, Gubeladze, and Trung in type A. We prove similar results for Cayley sums of collections of polytopes whose Minkowski sums are cut out by root systems. The proofs are based on a combinatorial characterization of diagonally split toric varieties.     

Minkowski Length of 3D Lattice Polytopes

We study the Minkowski length L(P) of a lattice polytope P, which is defined to be the largest number of non-trivial primitive segments whose Minkowski sum lies in P. The Minkowski length represents the largest possible number of factors in a factorization of polynomials with exponent vectors in P, and shows up in lower bounds for the minimum distance of toric codes. In this paper we give a polytime algorithm for computing L(P) where P is a 3D lattice polytope. We next study 3D lattice polytopes of Minkowski length 1. In particular, we show that if Q, a subpolytope of P, is the Minkowski sum of L=L(P) lattice polytopes Q _i , each of Minkowski length 1, then the total number of interior lattice points of the polytopes Q ₁,??,Q _L is at most 4. Both results extend previously known results for lattice polygons. Our methods differ substantially from those used in the two-dimensional case.     

Classification of reflexible regular embeddings and self-Petrie dual regular embeddings of complete bipartite graphs

In this paper, we classify the reflexible regular orientable embeddings and the self-Petrie dual regular orientable embeddings of complete bipartite graphs. The classification shows that for any natural number n, say (p₁,p₂,…,p_k are distinct odd primes and a_i>0 for each i?1), there are t distinct reflexible regular embeddings of the complete bipartite graph K_n,n up to isomorphism, where t=1 if a=0, t=2^k if a=1, t=2^k+1 if a=2, and t=3·2^k+1 if a?3. And, there are s distinct self-Petrie dual regular embeddings of K_n,n up to isomorphism, where s=1 if a=0, s=2^k if a=1, s=2^k+1 if a=2, and s=2^k+2 if a?3.     

Nonpolytopal Nonsimplicial Lattice Spheres with Nonnegative Toric g-Vector

We construct many nonpolytopal nonsimplicial Gorenstein^? meet semi-lattices with nonnegative toric g-vector, supporting a conjecture of Stanley. These are formed as Bier spheres over the face posets of multiplexes, polytopes constructed by Bisztriczky as generalizations of simplices.     

A Second Look at the Toric h-Polynomial of a Cubical Complex

We provide an explicit formula for the toric h-contribution of each cubical shelling component, and a new combinatorial model to prove Chan??s result on the non-negativity of these contributions. Our model allows for a variant of the Gessel-Shapiro result on the g-polynomial of the cubical lattice, this variant may be shown by simple inclusion-exclusion. We establish an isomorphism between our model and Chan??s model and provide a reinterpretation in terms of noncrossing partitions. By discovering another variant of the Gessel-Shapiro result in the work of Denise and Simion, we find evidence that the toric h-polynomials of cubes are related to the Morgan-Voyce polynomials via Viennot??s combinatorial theory of orthogonal polynomials.     

Threefolds in ℙ5 with a 3-dimensional family of plane curveswith a 3-dimensional family of plane curves

A classification theorem is given of smooth threefolds of ?⁵ covered by a family of dimension at least three of plane integral curves of degreed≧2. It is shown that for such a threefoldX there are two possibilities:

1. X is any threefold contained in a hyperquadric;
2. d≦3 andX is either the Bordiga or the Palatini scroll.

     

Special simplices and Gorenstein toric rings

Athanasiadis [Ehrhart polynomials, simplicial polytopes, magic squares and a conjecture of Stanley, J. Reine Angew. Math., to appear.] studies an effective technique to show that Gorenstein sequences coming from compressed polytopes are unimodal. In the present paper we will use such the technique to find a rich class of Gorenstein toric rings with unimodal h-vectors arising from finite graphs.     

Matrix Models from Operators and Topological Strings

We propose a new family of matrix models whose 1/N expansion captures the all-genus topological string on toric Calabi–Yau threefolds. These matrix models are constructed from the trace class operators appearing in the quantization of the corresponding mirror curves. The fact that they provide a non-perturbative realization of the (standard) topological string follows from a recent conjecture connecting the spectral properties of these operators, to the enumerative invariants of the underlying Calabi–Yau threefolds. We study in detail the resulting matrix models for some simple geometries, like local \({\mathbb{P}^2}\) and local \({\mathbb{F}_2}\), and we verify that their weak ’t Hooft coupling expansion reproduces the topological string free energies near the conifold singularity. These matrix models are formally similar to those appearing in the Fermi-gas formulation of Chern–Simons matter theories, and their 1/N expansion receives non-perturbative corrections determined by the Nekrasov–Shatashvili limit of the refined topological string.     

Moment polytopes for symplectic manifolds with monodromy

A natural way of generalising Hamiltonian toric manifolds is to permit the presence of generic isolated singularities for the moment map. For a class of such “almost-toric 4-manifolds” which admits a Hamiltonian S¹-action we show that one can associate a group of convex polygons that generalise the celebrated moment polytopes of Atiyah, Guillemin-Sternberg. As an application, we derive a Duistermaat-Heckman formula demonstrating a strong effect of the possible monodromy of the underlying integrable system.