相关论文: On strong Euler-homogeneity and Saito-holonomicity…
In 2002, it was conjectured that a free divisor satisfying the so-called Logarithmic Comparison Theorem (LCT) must be strongly Euler-homogeneous. Today, it is known to be true only in ambient dimension less or equal than three or assuming…
In 2002, it was conjectured that a free divisor satisfying the so-called Logarithmic Comparison Theorem must be strongly Euler-homogeneous and it was proved for the two-dimensional case. Later, in 2006, it was shown that the conjecture is…
In this article, we prove that a free divisor in a three dimensional complex manifold must be Euler homogeneous in a strong sense if the cohomology of its complement is the hypercohomology of its logarithmic differential forms. F.J.…
We study linear free divisors, that is, free divisors arising as discriminants in prehomogeneous vector spaces, and in particular in quiver representation spaces. We give a characterization of the prehomogeneous vector spaces containing…
We introduce the concept of a prehomogeneous determinant as a nonreduced version of a linear free divisor. Both are special cases of prehomogeneous vector spaces. We show that the roots of the $b$-function are symmetric about -1 for…
A complex hypersurface D in complex affine n-space C^n is a linear free divisor (LFD) if its module of logarithmic vector fields has a global basis of linear vector fields. We classify all LFDs for n at most 4. Analogous to Grothendieck's…
For a rank 1 local system on the complement of a reduced divisor on a complex manifold $X$, its cohomology is calculated by the twisted meromorphic de Rham complex. Assuming the divisor is everywhere positively weighted homogeneous, we…
Given a family of varieties, the Euler discriminant locus distinguishes points where Euler characteristic differs from its generic value. We introduce a hypergeometric system associated with a flat family of very affine locally complete…
We establish generalizations of Saito's criterion for the freeness of divisors in projective spaces that apply both to sequences of several homogeneous polynomials and to divisors on other complete varieties. As an application, the new…
The Euler discriminant of a family of very affine varieties is defined as the locus where the Euler characteristic drops. In this work, we study the Euler discriminant of families of complements of hyperplanes. We prove that the Euler…
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…
We investigate a class of non-quasi-homogeneous free divisors in the sense of Saito. These divisors are defined by equations of the form $D:= \{h=0\}$ on $\mathbb{C}^p$, where the polynomial $h$ is specific linear combination of monomials…
We show that a holonomic divisor is free if and only if applying all logarithmic derivations to a generic function with isolated critical point yields a complete intersection Artin algebra.
The Euler-Koszul complex is the fundamental tool in the homological study of A-hypergeometric differential systems and functions. We compare Euler-Koszul homology with D-module direct images from the torus to the base space through orbits…
The germ of an analytic set $(X,p)$ in $\mathbb{C}^n$ has an associated $\mathscr{O}_{\mathbb{C}^n,p}$-module $\mathrm{Der}(-\log X)$ of `logarithmic vector fields', the ambient germs of holomorphic vector fields tangent to the smooth locus…
Saito gave a nice and efficient criterion to determine whether the module of logarithmic derivation associated with a reduced divisor in a complex variety is free or not. The aim of this note is to propose a new proof of this criterion, in…
We study the Euler characteristic of a hypersurface in $(\mathbb{C}^*)^2 \times (\mathbb{C}^*)^n$ defined by a polynomial whose monomial support corresponds to lattice points in $\Delta_1 \times \Delta_1 \times \Delta_n$ as the coefficients…
The purpose of this paper is to investigate properties of the minimal free resolution of the modules of multi-logarithmic forms along a reduced equidimensional subspace. We first consider a notion of freeness for reduced complete…
One deals with arbitrary reduced free divisors in a polynomial ring over a field of characteristic zero, by stressing the ideal theoretic and homological behavior of the corresponding singular locus. A particular emphasis is given to both…
We introduce a dual logarithmic residue map for hypersurface singularities and use it to answer a question of Kyoji Saito. Our result extends a theorem of L\^e and Saito by an algebraic characterization of hypersurfaces that are normal…