arXiv subjects
Publications and source records attributed to Michel Granger.
We study integral representations of the Gevrey series solutions of irregular hypergeometric systems under certain assumptions. We prove that, for such systems, any Gevrey series solution, along a coordinate hyperplane of its singular support, is the asymptotic expansion of a holomorphic solution given by a carefully chosen integral representation.
We deform monomial space curves in order to construct examples of set-theoretical complete intersection space curve singularities. As a by-product we describe an inverse to Herzog's construction of minimal generators of non-complete intersection numerical semigroups with three generators.
We study natural partial normalization spaces of Coxeter arrangements and discriminants and relate their geometry to representation theory. The underlying ring structures arise from Dubrovin's Frobenius manifold structure which is lifted (without unit) to the space of the arrangement. We also describe an independent approach to these structures via duality of maximal Cohen--Macaulay fractional ideals. In the process, we find 3rd order differential relations for the basic invariants of the Coxeter group. Finally, we show that our partial normalizations give rise to new free divisors.
We give a quasihomogeneity criterion for Gorenstein curves. For complete intersections, it is related to the first step of Vasconcelos' normalization algorithm. In the process, we give a simplified proof of the Kunz-Ruppert criterion.
J. Wahl conjectured that every quasihomogeneous isolated normal singularity admits a positive grading for which there are no derivations of negative weighted degree. We confirm his conjecture for quasihomogeneous isolated complete intersection singularities of either order at least 3 or embedding dimension at most 5. For each embedding dimension larger than 5 (and each dimension larger than 3), we give a counter-example to Wahl's conjecture.
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ê and Saito by an algebraic characterization of hypersurfaces that are normal crossing in codimension one. For free divisors, we relate the latter condition to other natural conditions involving the Jacobian ideal and the normalization. This leads to an algebraic characterization of normal crossing divisors. As a side result, describe all free divisors with Gorenstein singular locus.
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 such linear free divisors. For reductive linear free divisors, we prove that the numbers of geometric and representation theoretic irreducible components coincide. As a consequence, we find that a quiver can only give rise to a linear free divisor if it has no (oriented or unoriented) cycles. We also deduce that the linear free divisors which appear in Sato and Kimura's list of irreducible prehomogeneous vector spaces are the only irreducible reductive linear free divisors. Furthermore, we show that all quiver linear free divisors are strongly Euler homogeneous, that they are locally weakly quasihomogeneous at points whose corresponding representation is not regular, and that all tame quiver linear free divisors are locally weakly quasihomogeneous. In particular, the latter satisfy the logarithmic comparison theorem.
We introduce a Lie algebra of initial terms of logarithmic vector fields along a hypersurface singularity. Extending the formal structure theorem in [GS06, Thm. 5.4], we show that the completely reducible part of its linear projection lifts formally to a linear Lie algebra of logarithmic vector fields. For quasihomogeneous singularities, we prove convergence of this linearization. We relate our construction to the work of Hauser and M"uller [M"ul86, HM89] on Levi subgroups of automorphism groups of singularities, which proves convergence even for algebraic singularities. Based on the initial Lie algebra, we introduce a notion of reductive hypersurface singularity and show that any reductive free divisor is linear. As an application, we describe a lower bound for the dimension of hypersurface singularities in terms of the semisimple part of their initial Lie algebra.
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 comparison theorem, we say that the global logarithmic comparison theorem (GLCT) holds for D if the complex of global logarithmic differential forms computes the complex cohomology of the complement of D in C^n. We develop a general criterion for the GLCT for LFDs and prove that it is fulfilled whenever the Lie algebra of linear logarithmic vector fields is reductive. For n at most 4, we show that the GLCT holds for all LFDs. We show that LFDs arising naturally as discriminants in quiver representation spaces (of real Schur roots) fulfill the GLCT. As a by-product we obtain a simplified proof of a theorem of V. Kac on the number of irreducible components of such discriminants.
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 reductive prehomogeneous determinants and for regular special linear free divisors. For general prehomogeneous determinants, we describe conditions under which this symmetry still holds. Combined with Kashiwara's theorem on the roots of b-functions, our symmetry result shows that -1 is the only integer root of the b-function. This gives a positive answer to a problem posed by Castro-Jimenez and Ucha-Enriquez in the above cases. We study the condition of (strong) Euler homogeneity in terms of the action of the stabilizers on the normal spaces. As an application of our results, we show that the logarithmic comparison theorem holds for Koszul free reductive linear free divisors exactly if they are (strongly) Euler homogeneous.
We characterize quasihomogeneity of isolated singularities by the injectivity of the map induced by the first differential of the logarithmic differential complex in the top local cohomology supported in the singular point.
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. Calderon-Moreno et al. conjectured this implication in all dimensions and proved it in dimension two. We prove a theorem which describes in all dimensions a special minimal system of generators for the module of formal logarithmic vector fields. This formal structure theorem is closely related to the formal decomposition of a vector field by Kyoji Saito and is used in the proof of the above result. Another consequence of the formal structure theorem is that the truncated Lie algebras of logarithmic vector fields up to dimension three are solvable. We give an example that this may fail in higher dimensions.