Related papers: Toric Cubes
Special fibrations of toric varieties have been used by physicists, e.g. the school of Candelas, to construct dual pairs in the study of Het/F-theory duality. Motivated by this, we investigate in this paper the details of toric morphisms…
We construct toric manifolds of complex dimension $\geq 4$, whose orbit spaces by the action of the compact torus are not homeomorphic to simple polytopes (as manifolds with corners). These provide the first known examples of toric…
In a toric symplectic manifold, regular fibres of the moment map are Lagrangian tori which are called toric fibres. We discuss the question which two toric fibres are equivalent up to a Hamiltonian diffeomorphism of the ambient space. On…
Every normal toric ideal of codimension two is minimally generated by a Grobner basis with squarefree initial monomials. A polynomial time algorithm is presented for checking whether a toric ideal of fixed codimension is normal.
We describe a bijection between oriented cubes and adjoints of cross-polytopes. This correspondence is used to prove that the real affine cube is, up to reorientation in the same class, the unique oriented cube that is realizable. Moreover,…
This is a survey article written for the Jahresberichte der DMV. Tropical geometry can be viewed as an efficient combinatorial tool to study degenerations in algebraic geometry. Abstract tropical curves are essentially metric graphs, and…
Recall that the moduli space of smooth (that is, stable) cubic curves is isomorphic to the quotient of the upper half plane by the group of fractional linear transformations with integer coefficients. We establish a similar result for…
Tropical geometry is a relatively recent field in mathematics created as a simplified model for certain problems in algebraic geometry. We introduce the definition of abstract and planar tropical curves as well as their properties,…
A quadric in $\R P^3$ cuts a curve of degree 6 on a cubic surface in $\R P^3$. The papers classifies the nonsingular curves cut in this way on non-singular cubic surfaces up to homeomorphism. Two issues new in the study related to the first…
We prove that the defining ideal of a sufficiently high Veronese subring of a toric algebra admits a quadratic Gr\"obner basis consisting of binomials. More generally, we prove that the defining ideal of a sufficiently high Veronese subring…
We introduce toric $b$-divisors on complete smooth toric varieties and a notion of integrability of such divisors. We show that under some positivity assumptions toric $b$-divisors are integrable and that their degree is given as the volume…
From a finite set in a lattice, we can define a toric variety embedded in a projective space. In this paper, we give a combinatorial description of the dual defect of the toric variety using the structure of the finite set as a Cayley sum…
The moduli space of cubic surfaces in complex projective space is known to be isomorphic to the quotient of the complex 4-ball by a certain arithmetic group. We apply Borcherds' techniques to construct automorphic forms for this group and…
This article presents an overview of the theory of integrable systems with symmetries, focusing on toric systems, semitoric systems, and their classifications via decorated polygons. We discuss certain one-parameter families of integrable…
Linear topological spaces with partial ordering (linear kinematics) are studied. They are defined by a set of 8 axioms implying that topology, linear structure and ordering are compatible with each other. Most of the results are valid for…
In this paper, we study a class of toric ideals obtained by using some geometric data of ADE trees which are the minimal resolution graphs of rational surface singularities. We compute explicit Gr\"obner bases for these toric ideals that…
In this note we classify simply connected rationally elliptic compact toric orbifolds up to algebraic isomorphism.
We describe a class of affine toric varieties $V$ that are set-theoretically minimally defined by codim $V+1$ binomial equations over fields of any characteristic.
We define a computational type theory combining the contentful equality structure of cartesian cubical type theory with internal parametricity primitives. The combined theory supports both univalence and its relational equivalent, which we…
The discrete cube $\{0,1\}^d$ is a fundamental combinatorial structure. A subcube of $\{0,1\}^d$ is a subset of $2^k$ of its points formed by fixing $k$ coordinates and allowing the remaining $d-k$ to vary freely. The subcube structure of…