Related papers: Bounding the degrees of a minimal $\mu$-basis for …

We consider the problem of bounding away from 0 the minimum value m taken by a polynomial P of Z[X_1,...,X_k] over the standard simplex, assuming that m>0. Recent algorithmic developments in real algebraic geometry enable us to obtain a…

In this note it is shown that, given a smooth minimal complex surface of general type S with p_g(S)=0, K^2_S=3, for which the bicanonical map is a morphism, then the degree of the bicanonical map of S is not equal to 3. This completes our…

We prove that the complex surfaces parametrizing cuboids and face cuboids, as well as their minimal resolution of singularities, have trivial fundamental group. We then compute the fundamental group of certain open smooth subvarieties of…

We improve certain degree bounds for Grobner bases of polynomial ideals in generic position. We work exclusively in deterministically verifiable and achievable generic positions of a combinatorial nature, namely either strongly stable…

For a nonempty compact set D of R we determine the maximal possible dimension of a subspace X of polynomial functions of degree at most m which possesses a positive bases (where positivity is understood on D). The exact value of this…

It is proved that a smooth rational surface in projective four-space, which is ruled by cubics or quartics has degree at most 12. It is also proved that a smooth rational surface in projective four-space which is the image of Fn by a linear…

We investigate degree bounds for fields of rational invariants of representations of finite groups. We prove many cases of a bound for $\mathbb{Z}/p\mathbb{Z}$ conjectured by Blum-Smith, Garcia, Hidalgo, and Rodriguez. For arbitrary groups,…

It has been conjectured that the optimal canonical degree of a minimal surface of general type is 36, from a work in the 70's of Beauville who proved that 36 was an upper bound. The highest canonical degree known for the problem was 16 by…

An interesting problem in classical differential geometry is to find methods to prove that two surfaces defined by different charts actually coincide up to position in space. In a previous paper we proposed a method in this direction for…

The zero level set of a piecewise-affine function with respect to a consistent tetrahedral subdivision of a domain in $\mathbb{R}^3$ is a piecewise-planar hyper-surface. We prove that if a family of consistent tetrahedral subdivions…

This paper studies generic and perturbation properties inside the linear space of $m\times (m+n)$ polynomial matrices whose rows have degrees bounded by a given list $d_1, \ldots, d_m$ of natural numbers, which in the particular case $d_1 =…

We prove that the Gauss curvature and the curvature of the normal connection of any minimal surface in the four dimensional Euclidean space satisfy an inequality, which generates two classes of minimal surfaces: minimal surfaces of general…

Let $V$ be a vector space over a finite field $k$. We give a condition on a subset $A \subset V$ that allows for a local criterion for checking when a function $f:A \to k$ is a restriction of a polynomial function of degree $<m$ on $V$. In…

Let S be a minimal surface of general type with $p_g(S)=0$ and such that the bicanonical map $\phi:S\to \pp^{K^2_S}$ is a morphism: then the degree of $\phi$ is at most 4 and if it is equal to 4 then $K^2_S\le 6$. Here we prove that if…

In many cases rational surfaces obtained by desingularization of birational dynamical systems are not relatively minimal. We propose a method to obtain coordinates of relatively minimal rational surfaces by using blowing down structure. We…

In this paper we show that not all affine rational complex surfaces can be parametrized birationally and surjectively. For this purpose, we prove that, if S is an affine complex surface whose projective closure is smooth, a necessary…

We consider the problem of computing matrix polynomials $p(X)$, where $X$ is a large dense matrix, with as few matrix-matrix multiplications as possible. More precisely, let $\Pi_{2^{m}}^*$ represent the set of polynomials computable with…

The surface corresponding to the moduli space of quadratic endomorphisms of $\mathbb{P}^1$ with a marked periodic point of order $n$ is studied. It is shown that the surface is rational over $\mathbb{Q}$ when $n\le 5$ and is of general type…

We study the surface $\bar{S}$ parametrizing cuboids: it is defined by the equations relating the sides, face diagonals and long diagonal of a rectangular box. It is an open problem whether a `rational box' exists, i.e., a rectangular box…

An algorithm to generate a minimal comprehensive Gr\"obner\, basis of a parametric polynomial system from an arbitrary faithful comprehensive Gr\"obner\, system is presented. A basis of a parametric polynomial ideal is a comprehensive…