Engineered complete intersections: slightly degenerate Bernstein--Kouchnirenko--Khovanskii

We study the set of common F_q-rational zeros of systems of multivariate symmetric polynomials with coefficients in a finite field F_q. We establish certain properties on these polynomials which imply that the corresponding set of zeros over the algebraic closure of F_q is a complete intersection with "good" behavior at infinity, whose singular locus has a codimension at least two or three. These results are used to estimate the number of F_q-rational points of the correspond...

Let X be a complex analytic manifold. Given a closed subspace $Y\subset X$ of pure codimension p>0, we consider the sheaf of local algebraic cohomology $H^p_{[Y]}({\cal O}_X)$, and ${\cal L}(Y,X)\subset H^p_{[Y]}({\cal O}_X)$ the intersection homology D_X-Module of Brylinski-Kashiwara. We give here an algebraic characterization of the spaces Y such that L(Y,X) coincides with $H^p_{[Y]}({\cal O}_X)$, in terms of Bernstein-Sato functional equations.

We extend the known classification of threefolds of general type that are complete intersections to various classes of non-complete intersections, and find other classes of polarised varieties, including Calabi-Yau threefolds with canonical singularities, that are not complete intersections. Our methods apply more generally to construct orbifolds described by equations in given Gorenstein formats.

We consider the problem of computing homogeneous coordinates of points in a zero-dimensional subscheme of a compact, complex toric variety $X$. Our starting point is a homogeneous ideal $I$ in the Cox ring of $X$, which in practice might arise from homogenizing a sparse polynomial system. We prove a new eigenvalue theorem in the toric compact setting, which leads to a novel, robust numerical approach for solving this problem. Our method works in particular for systems having ...

A theorem of Kushnirenko and Bernstein shows that the number of isolated roots of a system of polynomials in a torus is bounded above by the mixed volume of the Newton polytopes of the given polynomials, and this upper bound is generically exact. We improve on this result by introducing refined combinatorial invariants of polynomials and a generalization of the mixed volume of convex bodies: the mixed integral of concave functions. The proof is based on new techniques and res...

We study polynomial systems with prescribed monomial supports in the Cox rings of toric varieties built from complete polyhedral fans. We present combinatorial formulas for the dimensions of their associated subvarieties under genericity assumptions on the coefficients of the polynomials. Using these formulas, we identify at which degrees generic systems in polytopal algebras form regular sequences. Our motivation comes from sparse elimination theory, where knowing the expect...

We show that, for a system of univariate polynomials given in sparse encoding, we can compute a single polynomial defining the same zero set, in time quasi-linear in the logarithm of the degree. In particular, it is possible to determine whether such a system of polynomials does have a zero in time quasi-linear in the logarithm of the degree. The underlying algorithm relies on a result of Bombieri and Zannier on multiplicatively dependent points in subvarieties of an algebrai...

We consider the Bernstein--Sato polynomial of a polynomial $f \in R = \mathbb{C}[x_{1}, x_{2}, x_{3}]$ that analytically locally everywhere admits a positively weighted homogeneous defining equation. We construct, in the analytic category, a complex of $\mathscr{D}_{X}[s]$-modules that can be used to compute the $\mathscr{D}_{X}[s]$-dual of $\mathscr{D}_{X}[s] f^{s-1}$ as the middle term of a short exact sequence where the outer terms are well understood. This extends a resul...

We present a new method for solving symbolically zero--dimensional polynomial equation systems in the affine and toric case. The main feature of our method is the use of problem adapted data structures: arithmetic networks and straight--line programs. For sequential time complexity measured by network size we obtain the following result: it is possible to solve any affine or toric zero--dimensional equation system in non--uniform sequential time which is polynomial in the len...

We consider generalized complete intersection manifolds in the product space of projective spaces, and work out useful aspects pertaining to the cohomology of sheaves over them. First, we present and prove a vanishing theorem on the cohomology groups of sheaves for subvarieties of the ambient product space of projective spaces. We then prove an equivalence between configuration matrices of complete intersection Calabi-Yau manifolds. We also present a formula of the genus of c...