Source author record

Alexander Esterov

Alexander Esterov appears in the imported research catalog. Authorship, coauthor and topic links are available while profile ownership is still unclaimed.

ResearcherUnclaimed source record

Catalog footprint

What is connected

9works
3topics
4close collaborators

Actions

Connect this record

Log in to claim

Research graph

See the researcher in context

Open full explorer

Inspect adjacent papers, topics, institutions and collaborators without losing the researcher page.

Building this map preview

BZPEER is loading the nearby papers, people, topics and institutions for this page.

Published work

9 published item(s)

preprint2022arXiv

On the monodromy conjecture for non-degenerate hypersurfaces

The monodromy conjecture is an umbrella term for several conjectured relationships between poles of zeta functions, monodromy eigenvalues and roots of Bernstein-Sato polynomials in arithmetic geometry and singularity theory. Even the weakest of these relations -- the Denef--Loeser conjecture on topological zeta functions -- is open for surface singularities. We prove it for a wide class of multidimensional singularities that are non-degenerate with respect to their Newton polyhedra, including all such singularities of functions of four variables. A crucial difference from the known case of three variables is the existence of degenerate singularities arbitrarily close to a non-degenerate one. Thus, even aiming at the study of non-degenerate singularities, we have to go beyond this setting. We develop new tools to deal with such multidimensional phenomena, and conjecture how the proof for non-degenerate singularities of arbitrarily many variables might look like.

preprint2020arXiv

Galois theory for general systems of polynomial equations

We prove that the monodromy group of a reduced irreducible square system of general polynomial equations equals the symmetric group. This is a natural first step towards the Galois theory of general systems of polynomial equations, because arbitrary systems split into reduced irreducible ones upon monomial changes of variables. In particular, our result proves the multivariate version of the Abel--Ruffini theorem: the classification of general systems of equations solvable by radicals reduces to the classification of lattice polytopes of mixed volume 4 (which we prove to be finite in every dimension). We also notice that the monodromy of every general system of equations is either symmetric or imprimitive, similarly to what Sottile and White conjectured in Schubert calculus. The proof is based on a new result of independent importance regarding dual defectiveness of systems of equations: the discriminant of a reduced irreducible square system of general polynomial equations is a hypersurface unless the system is linear up to a monomial change of variables.

preprint2020arXiv

Sparse polynomial equations and other enumerative problems whose Galois groups are wreath products

We introduce a new technique to prove connectivity of subsets of covering spaces (so called inductive connectivity), and apply it to Galois theory of problems of enumerative geometry. As a model example, consider the problem of permuting the roots of a complex polynomial $f(x) = c_0 + c_1 x^{d_1} + \ldots + c_k x^{d_k}$ by varying its coefficients. If the GCD of the exponents is $d$, then the polynomial admits the change of variable $y=x^d$, and its roots split into necklaces of length $d$. At best we can expect to permute these necklaces, i.e. the Galois group of $f$ equals the wreath product of the symmetric group over $d_k/d$ elements and $\mathbb{Z}/d\mathbb{Z}$. The aim of this paper is to prove this equality and study its multidimensional generalization: we show that the Galois group of a general system of polynomial equations equals the expected wreath product for a large class of systems, but in general this expected equality fails, making the problem of describing such Galois groups unexpectedly rich.

preprint2012arXiv

Discriminant of system of equations

What polynomial in the coefficients of a system of algebraic equations should be called its discriminant? We prove a package of facts that provide a possible answer. Let us call a system typical, if the homeomorphic type of its set of solutions does not change as we perturb its (non-zero) coefficients. The set of all atypical systems turns out to be a hypersurface in the space of all systems of k equations in n variables, whose monomials are contained in k given finite sets. This hypersurface B contains all systems that have a singular solution, this stratum is conventionally called the discriminant, and the codimension of its components has not been fully understood yet (e.g. dual defect toric varieties are not classified), so the purity of dimension of B looks somewhat surprising. We deduce it from a similar tropical purity fact. A generic system of equations in a component B_i of the hypersurface B differs from a typical system by the Euler characteristic of its set of solutions. Regarding the difference of these Euler characteristics as the multiplicity of B_i, we turn B into an effective divisor, whose equation we call the Euler discriminant by the following reasons. Firstly, it vanishes exactly at those systems that have a singular solution (possibly at infinity). Secondly, despite its topological definition, there is a simple linear-algebraic formula for it, and a positive formula for its Newton polytope. Thirdly, it interpolates many classical objects (sparse resultant, A-determinant, discriminant of deformation) and inherits many of their nice properties. This allows to specialize our results to generic polynomial maps: the bifurcation set of a dominant polynomial map, whose components are generic linear combinations of finitely many monomials, is always a hypersurface, and a generic atypical fiber of such a map differs from a typical one by its Euler characteristic.

preprint2010arXiv

Determinantal singularities and Newton polyhedra

There are two well known tasks, related to Newton polyhedra: to study invariants of singularities in terms of their Newton polyhedra, and to describe Newton polyhedra of resultants and discriminants. We introduce so called resultantal singularities, whose study in terms of Newton polyhedra unifies these two tasks to a certain extent. As an application, we study topological invariants of determinantal singularities and (co)vector fields on singular varieties in terms of Newton polyhedra, and provide new formulations and proofs for a number of well known results. The computations are based on certain relative versions of the mixed volume and the Kouchnirenko--Bernstein--Khovanskii formula. For the most part, this is a significantly updated exposition of material from four recent papers by the author.

preprint2010arXiv

Newton polyhedra of discriminants of projections

For a system of polynomial equations, whose coefficients depend on parameters, the Newton polyhedron of its discriminant is computed in terms of the Newton polyhedra of the coefficients. This leads to an explicit formula (involving mixed fiber polyhedra and Euler obstructions of toric varieties) in the unmixed case, suggests certain open questions in general, and generalizes a number of similar known results. The argument is based on a formula for the support function of a mixed fiber body, which also suggests a new proof for existence of mixed fiber bodies.