Related papers: Computing graded Betti tables of toric surfaces
We describe our package PALP of C programs for calculations with lattice polytopes and applications to toric geometry, which is freely available on the internet. It contains routines for vertex and facet enumeration, computation of…
A convex lattice polygon Delta determines a pair (S,L) of a toric surface together with an ample toric line bundle on S. The Severi degree N^{Delta,delta} is the number of delta-nodal curves in the complete linear system |L| passing through…
The projective linear group \(\pgl(\comp,4)\) acts on cubic surfaces, considered as points of $\mathbb{P}_{\mathbb{C}}^{19}$. We compute the degree of the $15$-dimensional projective variety given by the Zariski closure of the orbit of a…
We determine properties of two-dimensional normal affine semigroup rings, and in particular of weighted Veronese rings, including determinantal presentation, Gr\"obner basis, graded Hilbert series and graded Betti numbers, the structure of…
A classical tensegrity model consists of an embedded graph in a vector space with rigid bars representing edges, and an assignment of a stress to every edge such that at every vertex of the graph the stresses sum up to zero. The tensegrity…
We study the maximal values of Betti numbers of tropical subvarieties of a given dimension and degree in $\mathbb{TP}^n$. We provide a lower estimate for the maximal value of the top Betti number, which naturally depends on the dimension…
A tiling (edge-to-edge) of the plane is a family of tiles that cover the plane without gaps or overlaps. Vertex figure of a vertex in a tiling to be the union of all edges incident to that vertex. A tiling is $k$-vertex-homogeneous if any…
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 paper we explore this correspondence to classify smooth lattice polytopes…
This article focuses on the study of toric algebraic statistical models which correspond to toric Del Pezzo surfaces with Du Val singularities. A closed-form for the Maximum Likelihood Estimate of algebraic statistical models which…
Fake projective planes are smooth complex surfaces of general type with Betti numbers equal to that of the usual projective plane. Recent explicit constructions of fake projective planes embed them via their bicanonical embedding in…
Given a standard graded algebra over a field, we consider the relationship between G-quadraticity and the existence of a Koszul filtration. We show that having a quadratic Gr\"obner basis implies the existence of a Koszul filtration for…
The construction of parametric curve and surface plays important role in computer aided geometric design (CAGD), computer aided design (CAD), and geometric modeling. In this paper, we define a new kind of blending functions associated with…
Self-rational maps of generic algebraic K3 surfaces are conjectured to be trivial. We relate this conjecture to a conjecture concerning the irreducibility of the universal Severi varieties parametrizing nodal curves of given genus and…
In this paper we develop a new technique to compute the Betti table of a monomial ideal. We present a prototype implementation of the resulting algorithm and we perform numerical experiments suggesting a very promising efficiency. On the…
With a particular focus on explicit computations and applications of the Koszul homology and Betti numbers of monomial ideals, the main goals of this thesis are the following: Analyze the Koszul homology of monomial ideals and apply it to…
In this paper we describe an algorithm for implicitizing rational hypersurfaces in case there exists at most a finite number of base points. It is based on a technique exposed in math.AG/0210096, where implicit equations are obtained as…
We produce a criterion for open sets in projective $n$-space over a separably closed field to have \'etale cohomological dimension bounded by $2n-3$. We use the criterion to exhibit a scheme for which \'etale cohomological dimension is…
We determine the cones of effective and nef divisors on the toroidal compactification of the ball quotient model of the moduli space of complex cubic surfaces with a chosen line. From this we also compute the corresponding cones for the…
Motivated by applications in point counting algorithms using p-adic cohomology, we give an explicit description of integral lattices in rigid cohomology spaces that p-adically approximate logarithmic crystalline cohomology modules. These…
We study the topology of toric maps. We show that if $f\colon X\to Y$ is a proper toric morphism, with $X$ simplicial, then the cohomology of every fiber of $f$ is pure and of Hodge-Tate type. When the map is a fibration, we give an…