We describe algorithmic methods for the Gauss-Manin connection of an isolated hypersurface singularity based on the microlocal structure of the Brieskorn lattice. They lead to algorithms for computing invariants like the monodromy, the spectrum, and the spectral pairs. These algorithms use a normal form algorithm for the Brieskorn lattice, standard basis methods for localized polynomial rings, and univariate factorization. We give a detailed description of the algorithm to compute the monodromy.
We survey our recently proposed method for constructing biholomorphic invariants of quasihomogeneous isolated hypersurface singularities and, more generally, invariants of graded Artinian Gorenstein algebras. The method utilizes certain polynomials associated to such algebras, called nil-polynomials, and we compare them with two other classes of polynomials that have also been used to produce invariants.
mu-constant families of holomorphic function germs with isolated singularities are considered from a global perspective. First, a monodromy group from all families which contain a fixed singularity is studied. It consists of automorphisms of the Milnor lattice which respect not only the intersection form, but also the Seifert form and the monodromy. We conjecture that it contains all such automorphisms, modulo {id,-id}. Second, marked singularities are defined and global moduli spaces for right equivalence classes of them are established. The conjecture on the group would imply that these modu…
We study the topology of polynomial functions by deforming them generically. We explain how the non-conservation of the total ``quantity'' of singularity in the neighbourhood of infinity is related to the variation of topology in certain families of boundary singularities along the hyperplane at infinity.
Let $V$, $\tilde V$ be hypersurface germs in $\CC^m$, each having a quasi-homogeneous isolated singularity at the origin. We show that the biholomorphic equivalence problem for $V$, $\tilde V$ reduces to the linear equivalence problem for certain polynomials $P$, $\tilde P$ arising from the moduli algebras of $V$, $\tilde V$. The polynomials $P$, $\tilde P$ are completely determined by their quadratic and cubic terms, hence the biholomorphic equivalence problem for $V$, $\tilde V$ in fact reduces to the linear equivalence problem for pairs of quadratic and cubic forms.
We introduce and study the vanishing homology of singular projective hypersurfaces. We prove its concentration in two levels in case of 1-dimensional singular locus $Σ$, and moreover determine the ranks of the nontrivial homology groups. These two groups depend on the monodromy at special points of $Σ$ and on the effect of the monodromy of the local system over its complement.
We find an explicit general formula for the iterated local monodromy of singularities of the Hadamard product of functions with integrable singularities. The formula implies the invariance by Hadamard product of the class of functions with integrable singularities with recurrent monodromies. In particular, it implies the recurrence of the local monodromy of functions with finite Hadamard grade as defined by Allouche and Mendès-France. We give other examples of natural classes of functions with recurrent monodromies, functions with algebro-logarithmic singularities, and more generally with poly…
We study holomorphic foliations tangent to singular real-analytic Levi-flat hypersurfaces in compact complex manifolds of complex dimension two. We give some hypotheses to guarantee the existence of dicritical singularities of these objects. As consequence, we give some applications to holomorphic foliations tangent to real-analytic Levi-flat hypersurfaces with singularities in $\mathbb{P}^2$.
This paper is a sequel to [He11] and [GH17]. In [He11] a notion of marking of isolated hypersurface singularities was defined, and a moduli space $M_μ^{mar}$ for marked singularities in one $μ$-homotopy class of isolated hypersurface singularities was established. It is an analogue of a Teichmüller space. It comes together with a $μ$-constant monodromy group $G^{mar}\subset G_{\mathbb{Z}}$. Here $G_{\mathbb{Z}}$ is the group of automorphisms of a Milnor lattice which respect the Seifert form. It was conjectured that $M_μ^{mar}$ is connected. This is equivalent to $G^{mar}= G_{\mathbb{Z}}$. Als…
Mather and Yau showed that an isolated complex hypersurface singularity is completely determined by its moduli algebra. It is shown, for the simple elliptic singularities, how to construct continuous invariants from the moduli algebras and, hence, associate invariants to the singularities themselves.
We survey some recent results concerning the behaviour of the contact structure defined on the boundary of a complex isolated hypersurface singularity or on the boundary at infinity of a complex polynomial.
For Riemannian metrics of constant positive curvature on a punctured sphere with conic singularities at the punctures and co-axial monodromy of the developing map, possible angles at the singularities are completely described. This completes the recent result of Mondello and Panov. The related problem of describing possible multiplicities of critical points of logarithmic potentials of finitely many charges is also solved.
We establish Kyoji Saito's continuous limit distribution for the spectrum of Newton non-degenerate hypersurface singularities. Investigating Saito's notion of dominant value in the case of irreducible plane curve singularities, we find that the log canonical threshold is strictly bounded below by the doubled inverse of the Milnor number. We show that this bound is asymptotically sharp.
We prove that if $\{f_t\}$ is a family of line singularities with constant Lê numbers and such that $f_0$ is a homogeneous polynomial, then $\{f_t\}$ is equimultiple. This extends to line singularities a well known theorem of A. M. Gabrièlov and A. G. Kušnirenko concerning isolated singularities. As an application, we show that if $\{f_t\}$ is a topologically $\mathscr{V}$-equisingular family of line singularities, with $f_0$ homogeneous, then $\{f_t\}$ is equimultiple. This provides a new partial positive answer to the famous Zariski multiplicity conjecture for a special class of non-isolated…
We establish an effective criterion for a dicritical singularity of a real analytic Levi-flat hypersurface. The criterion is stated in terms of the Segre varieties. As an application, we obtain a structure theorem for some class of currents in the nondicritical case.
By the Mather-Yau theorem, a complex hypersurface germ $V$ with isolated singularity is completely determined by its moduli algebra $A(V)$. The proof of the theorem does not provide an explicit procedure for recovering $V$ from $A(V)$, and finding such a procedure is a long-standing open problem. In this paper, we present an explicit way for reconstructing $V$ from $A(V)$ up to biholomorphic equivalence under the assumption that the singularity of $V$ is homogeneous, in which case $A(V)$ coincides with the Milnor algebra of $V$.
We use classical invariant theory to construct invariants of complex graded Gorenstein algebras of finite vector space dimension. As a consequence, we obtain a way of extracting certain numerical invariants of quasi-homogeneous isolated hypersurface singularities from their moduli algebras, which extends an earlier result due to the first author. Furthermore, we conjecture that the invariants so constructed solve the biholomorphic equivalence problem in the homogeneous case. The conjecture is easily verified for binary quartics and ternary cubics. We show that it also holds for binary quintics…
We study the vanishing neighbourhood of non-isolated singularities of functions on singular spaces by associating a general linear function. We use the carrousel monodromy in order to show how to get a better control over the attaching of thimbles. For one dimensional singularities, we prove obstructions to integer (co)homology groups and to the eigenspaces of the monodromy via monodromies of nearby sections. Our standpoint allows to find, in certain cases, the structure of the Milnor fibre up to the homotopy type.
In this paper, we prove that the Milnor fibre of a singularity over an i.c.i.s. of dimension 3 has the homotopy type of a bouquet of spheres, provided that the function that defines the singularity has finite extended codimension with respect to the ideal that defines the i.c.i.s.
The paper deals with singularities of nonconfluent hypergeometric functions in several variables. Typically such a function is a multi-valued analytic function with singularities along an algebraic hypersurface. We describe such hypersurfaces in terms of amoebas and the Newton polytopes of their defining polynomials. In particular, we show that all $\mathcal{A}$-discriminantal hypersurfaces (in the sense of Gelfand, Kapranov and Zelevinsky) have solid amoebas, that is, amoebas with the minimal number of complement components.
In the study of equisingularity of isolated singularities we have the classical theorem of Briancon, Speder and Teissier which states that a family of isolated hypersurface singularities is Whitney equisingular if and only if the mu^*-sequence for a hypersurface is constant in the family. In this paper we generalize to non-isolated hypersurface singularities. By assuming non-contractibility of strata of a Whitney stratification of the non-isolated singularities outside the origin we show that Whitney equisingularity of a family is equivalent to constancy of a certain selection of invariants fr…
