Showing 1–50 of 51 results for author: Schulze, M

Representable triangulated functors in terms of semiorthogonal decompositions

Authors: Jonas Frank, Mathias Schulze

Abstract: A theorem of Bondal and Kapranov lifts representations of cohomological functors from semiorthogonal decompositions of triangulated categories. We present a version of this result for triangulated functors. To this end, we introduce suitable terminology in enriched category theory and transfer the original proof. A theorem of Bondal and Kapranov lifts representations of cohomological functors from semiorthogonal decompositions of triangulated categories. We present a version of this result for triangulated functors. To this end, we introduce suitable terminology in enriched category theory and transfer the original proof. △ Less

Submitted 16 May, 2025; originally announced May 2025.

Comments: 17 pages

MSC Class: 18A22; 18E40 (Primary) 18G80; 18D20 (Secondary)

Categorical matrix factorizations and monomorphism categories

Authors: Jonas Frank, Mathias Schulze

Abstract: This article generalizes the correspondence between matrix factorizations and maximal Cohen-Macaulay modules over hypersurface rings due to Eisenbud and Yoshino. We consider factorizations with several factors in a purely categorical context, extending results of Sun and Zhang for Gorenstein projective module factorizations. Our formulation relies on a notion of hypersurface category and replaces… ▽ More This article generalizes the correspondence between matrix factorizations and maximal Cohen-Macaulay modules over hypersurface rings due to Eisenbud and Yoshino. We consider factorizations with several factors in a purely categorical context, extending results of Sun and Zhang for Gorenstein projective module factorizations. Our formulation relies on a notion of hypersurface category and replaces Gorenstein projectives by objects of general Frobenius exact subcategories. We show that factorizations over such categories form again a Frobenius category. Our main result is then a triangle equivalence between the stable category of factorizations and that of chains of monomorphisms. △ Less

Submitted 8 April, 2025; originally announced April 2025.

Comments: 27 pages

MSC Class: 18G50; 18G65 (Primary) 18G80; 16E65 (Secondary)

On the triangulated structure of stable monomorphism categories

Authors: Jonas Frank, Mathias Schulze

Abstract: We investigate the triangulated structure of stable monomorphism categories (filtered chain categories) over a Frobenius category. The high degree of symmetry of linear quivers leads to a plethora of semiorthogonal decompositions into smaller categories of the same type. These form polygons of recollements, in which a full turn of mutations is a power of a particular auto-equivalence of the stable… ▽ More We investigate the triangulated structure of stable monomorphism categories (filtered chain categories) over a Frobenius category. The high degree of symmetry of linear quivers leads to a plethora of semiorthogonal decompositions into smaller categories of the same type. These form polygons of recollements, in which a full turn of mutations is a power of a particular auto-equivalence of the stable monomorphism category. A certain power of this auto-equivalence is the square of the suspension functor. We describe the infinite chains of adjoint pairs obtained from the polygons. As an application, we explicate the construction of Bondal and Kapranov for lifting representing objects of dualized hom-functors in our setup. △ Less

Submitted 28 February, 2025; originally announced February 2025.

Comments: 43 pages, 1 figure

MSC Class: 18G80 (Primary) 18G65; 16G20 (Secondary)

The stabilized bounded N-derived category of an exact category

Authors: Jonas Frank, Mathias Schulze

Abstract: Buchweitz related the singularity category of a (strongly) Gorenstein ring and the stable category of maximal Cohen-Macaulay modules by a triangle equivalence. We phrase his result in a relative categorical setting based on N-complexes instead of classical 2-complexes. The role of Cohen-Macaulay modules is played by chains of monics in a Frobenius subcategory of an exact category. As a byproduct,… ▽ More Buchweitz related the singularity category of a (strongly) Gorenstein ring and the stable category of maximal Cohen-Macaulay modules by a triangle equivalence. We phrase his result in a relative categorical setting based on N-complexes instead of classical 2-complexes. The role of Cohen-Macaulay modules is played by chains of monics in a Frobenius subcategory of an exact category. As a byproduct, we provide foundational results on derived categories of N-complexes over exact categories known from the Abelian case or for 2-complexes. △ Less

Submitted 31 October, 2024; v1 submitted 26 July, 2024; originally announced July 2024.

Comments: 64 pages, 1 figure

MSC Class: 18G50; 18G80 (Primary) 16E65; 18G35; 18G65 (Secondary)

Hypersurface singularities with monomial Jacobian ideal

Authors: Raul Epure, Mathias Schulze

Abstract: We show that every convergent power series with monomial extended Jacobian ideal is right equivalent to a Thom-Sebastiani polynomial. This solves a problem posed by Hauser and Schicho. On the combinatorial side, we introduce a notion of Jacobian semigroup ideal involving a transversal matroid. For any such ideal we construct a defining Thom-Sebastiani polynomial. On the analytic side, we show that… ▽ More We show that every convergent power series with monomial extended Jacobian ideal is right equivalent to a Thom-Sebastiani polynomial. This solves a problem posed by Hauser and Schicho. On the combinatorial side, we introduce a notion of Jacobian semigroup ideal involving a transversal matroid. For any such ideal we construct a defining Thom-Sebastiani polynomial. On the analytic side, we show that power series with a quasihomogeneous extended Jacobian ideal are strongly Euler homogeneous. Due to a Mather-Yau-type theorem, such power series are determined by their Jacobian ideal up to right equivalence. △ Less

Submitted 23 March, 2022; v1 submitted 11 January, 2021; originally announced January 2021.

Comments: 15 pages

MSC Class: 32S25 (Primary) 05B35 (Secondary)

Journal ref: Bull. London Math. Soc. 54,3 (2022), 1067-1081

Limit spectral distribution for non-degenerate hypersurface singularities

Authors: Patricio Almirón, Mathias Schulze

Abstract: 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 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. △ Less

Submitted 18 May, 2022; v1 submitted 11 December, 2020; originally announced December 2020.

Comments: 15 pages, 1 figure

MSC Class: 32S25 (Primary) 32S35; 42A38 (Secondary)

Journal ref: C. R. Math. Acad. Sci. Paris 360 (2022), 699-710

Configuration polynomials under contact equivalence

Authors: Graham Denham, Delphine Pol, Mathias Schulze, Uli Walther

Abstract: Configuration polynomials generalize the classical Kirchhoff polynomial defined by a graph. Their study sheds light on certain polynomials appearing in Feynman integrands. Contact equivalence provides a way to study the associated configuration hypersurface. In the contact equivalence class of any configuration polynomial we identify a polynomial with minimal number of variables; it is a configura… ▽ More Configuration polynomials generalize the classical Kirchhoff polynomial defined by a graph. Their study sheds light on certain polynomials appearing in Feynman integrands. Contact equivalence provides a way to study the associated configuration hypersurface. In the contact equivalence class of any configuration polynomial we identify a polynomial with minimal number of variables; it is a configuration polynomial. This minimal number is bounded by $r+1\choose 2$, where $r$ is the rank of the underlying matroid. We show that the number of equivalence classes is finite exactly up to rank $3$ and list explicit normal forms for these classes. △ Less

Submitted 10 April, 2021; v1 submitted 17 May, 2020; originally announced May 2020.

Comments: 19 pages, 1 table

MSC Class: 14N20 (Primary) 05C31; 14M12; 81Q30 (Secondary)

Graph hypersurfaces with torus action and a conjecture of Aluffi

Authors: Graham Denham, Delphine Pol, Mathias Schulze, Uli Walther

Abstract: Generalizing the star graphs of Müller-Stach and Westrich, we describe a class of graphs whose associated graph hypersurface is equipped with a non-trivial torus action. For such graphs, we show that the Euler characteristic of the corresponding projective graph hypersurface complement is zero. In contrast, we also show that the Euler characteristic in question can take any integer value for a sui… ▽ More Generalizing the star graphs of Müller-Stach and Westrich, we describe a class of graphs whose associated graph hypersurface is equipped with a non-trivial torus action. For such graphs, we show that the Euler characteristic of the corresponding projective graph hypersurface complement is zero. In contrast, we also show that the Euler characteristic in question can take any integer value for a suitable graph. This disproves a conjecture of Aluffi in a strong sense. △ Less

Submitted 27 July, 2021; v1 submitted 6 May, 2020; originally announced May 2020.

Comments: 34 pages, 6 figures, 2 tables

MSC Class: 05C31 (Primary) 13D15; 14M12; 14N20; 14R20; 81Q30 (Secondary)

Journal ref: Commun. Number Theory Phys. 15,3 (2021), 455-488

Algebraic aspects of hypergeometric differential equations

Authors: Thomas Reichelt, Mathias Schulze, Christian Sevenheck, Uli Walther

Abstract: We review some classical and modern aspects of hypergeometric differential equations, including $A$-hypergeometric systems of Gel'fand, Graev, Kapranov and Zelevinsky. Some recent advances in this theory, such as Euler-Koszul homology, rank jump phenomena, irregularity questions and Hodge theoretic aspects are discussed with more details. We also give some applications of the theory of hypergeomet… ▽ More We review some classical and modern aspects of hypergeometric differential equations, including $A$-hypergeometric systems of Gel'fand, Graev, Kapranov and Zelevinsky. Some recent advances in this theory, such as Euler-Koszul homology, rank jump phenomena, irregularity questions and Hodge theoretic aspects are discussed with more details. We also give some applications of the theory of hypergeometric systems to toric mirror symmetry. △ Less

Submitted 5 February, 2021; v1 submitted 15 April, 2020; originally announced April 2020.

Matroid connectivity and singularities of configuration hypersurfaces

Authors: Graham Denham, Mathias Schulze, Uli Walther

Abstract: Consider a linear realization of a matroid over a field. One associates with it a configuration polynomial and a symmetric bilinear form with linear homogeneous coefficients. The corresponding configuration hypersurface and its non-smooth locus support the respective first and second degeneracy scheme of the bilinear form. We show that these schemes are reduced and describe the effect of matroid c… ▽ More Consider a linear realization of a matroid over a field. One associates with it a configuration polynomial and a symmetric bilinear form with linear homogeneous coefficients. The corresponding configuration hypersurface and its non-smooth locus support the respective first and second degeneracy scheme of the bilinear form. We show that these schemes are reduced and describe the effect of matroid connectivity: for (2-)connected matroids, the configuration hypersurface is integral, and the second degeneracy scheme is reduced Cohen-Macaulay of codimension 3. If the matroid is 3-connected, then also the second degeneracy scheme is integral. In the process, we describe the behavior of configuration polynomials, forms and schemes with respect to various matroid constructions. △ Less

Submitted 28 January, 2021; v1 submitted 18 February, 2019; originally announced February 2019.

Comments: 64 pages, 4 figures

MSC Class: 14N20 (Primary) 05C31; 14B05; 14M12; 81Q30 (Secondary)

Journal ref: Lett. Math. Phys. 111,1 (2021)

Gröbner basics for mixed Hodge modules

Authors: Cornelia Rottner, Mathias Schulze

Abstract: We develop a Gröbner basis theory for a class of algebras that generalizes both PBW-algebras and rings of differential algebras on smooth varieties. Emphasis lies on methods to compute filtrations and graded structures defined by weight vectors. The approach is tailored for bifiltered D-modules satisfying properties of mixed Hodge modules. As a key ingredient in functors of such modules our theory… ▽ More We develop a Gröbner basis theory for a class of algebras that generalizes both PBW-algebras and rings of differential algebras on smooth varieties. Emphasis lies on methods to compute filtrations and graded structures defined by weight vectors. The approach is tailored for bifiltered D-modules satisfying properties of mixed Hodge modules. As a key ingredient in functors of such modules our theory applies to compute the order filtration on pieces of a V-filtration. △ Less

Submitted 27 September, 2018; originally announced September 2018.

Comments: 44 pages

MSC Class: 13P10 (Primary) 14F10; 16W70; 32S35 (Secondary)

Deforming monomial space curves into set-theoretic complete intersection singularities

Authors: Michel Granger, Mathias Schulze

Abstract: 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 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. △ Less

Submitted 30 December, 2018; v1 submitted 4 April, 2018; originally announced April 2018.

Comments: 18 pages

MSC Class: 32S30 (Primary) 14H50; 20M25 (Secondary)

Journal ref: J. Singul. 17 (2018), 413-427

Inverse limits of Macaulay's inverse systems

Authors: Mathias Schulze, Laura Tozzo

Abstract: Generalizing a result of Masuti and the second author, we describe inverse limits of Macaulay's inverse systems for Cohen-Macaulay factor algebras of formal power series or polynomial rings over an infinite field. On the way we find a strictness result for filtrations defined by regular sequences. It generalizes both a lemma of Uli Walther and the Rees isomorphism. Generalizing a result of Masuti and the second author, we describe inverse limits of Macaulay's inverse systems for Cohen-Macaulay factor algebras of formal power series or polynomial rings over an infinite field. On the way we find a strictness result for filtrations defined by regular sequences. It generalizes both a lemma of Uli Walther and the Rees isomorphism. △ Less

Submitted 12 February, 2019; v1 submitted 16 March, 2018; originally announced March 2018.

Comments: 17 pages

MSC Class: 16D90 (Primary) 13A30; 13H10 (Secondary)

Journal ref: J. Algebra 525 (2019), 341-358

Complete sets of logarithmic vector fields for integration-by-parts identities of Feynman integrals

Authors: Janko Boehm, Alessandro Georgoudis, Kasper J. Larsen, Mathias Schulze, Yang Zhang

Abstract: Integration-by-parts identities between loop integrals arise from the vanishing integration of total derivatives in dimensional regularization. Generic choices of total derivatives in the Baikov or parametric representations lead to identities which involve dimension shifts. These dimension shifts can be avoided by imposing a certain constraint on the total derivatives. The solutions of this const… ▽ More Integration-by-parts identities between loop integrals arise from the vanishing integration of total derivatives in dimensional regularization. Generic choices of total derivatives in the Baikov or parametric representations lead to identities which involve dimension shifts. These dimension shifts can be avoided by imposing a certain constraint on the total derivatives. The solutions of this constraint turn out to be a specific type of syzygies which correspond to logarithmic vector fields along the Gram determinant formed of the independent external and loop momenta. We present an explicit generating set of solutions in Baikov representation, valid for any number of loops and external momenta, obtained from the Laplace expansion of the Gram determinant. We provide a rigorous mathematical proof that this set of solutions is complete. This proof relates the logarithmic vector fields in question to ideals of submaximal minors of the Gram matrix and makes use of classical resolutions of such ideals. △ Less

Submitted 1 August, 2018; v1 submitted 26 December, 2017; originally announced December 2017.

Comments: 12 pages, two-column format, 3 figures. Added example with internal masses; minor corrections; journal version

Report number: MITP/17-104, UUITP-44/17

Journal ref: Phys. Rev. D 98, 025023 (2018)

A residual duality over Gorenstein rings with application to logarithmic differential forms

Authors: Mathias Schulze, Laura Tozzo

Abstract: Kyoji Saito's notion of a free divisor was generalized by the first author to reduced Gorenstein spaces and by Delphine Pol to reduced Cohen-Macaulay spaces. Starting point is the Aleksandrov-Terao theorem: A hypersurface is free if and only if its Jacobian ideal is maximal Cohen-Macaulay. Pol obtains a generalized Jacobian ideal as a cokernel by dualizing Aleksandrov's multi-logarithmic residue s… ▽ More Kyoji Saito's notion of a free divisor was generalized by the first author to reduced Gorenstein spaces and by Delphine Pol to reduced Cohen-Macaulay spaces. Starting point is the Aleksandrov-Terao theorem: A hypersurface is free if and only if its Jacobian ideal is maximal Cohen-Macaulay. Pol obtains a generalized Jacobian ideal as a cokernel by dualizing Aleksandrov's multi-logarithmic residue sequence. Notably it is essentially a suitably chosen complete intersection ideal that is used for dualizing. Pol shows that this generalized Jacobian ideal is maximal Cohen-Macaulay if and only if the module of Aleksandrov's multi-logarithmic differential k-forms has (minimal) projective dimension k-1, where k is the codimension in a smooth ambient space. This equivalent characterization reduces to Saito's definition of freeness in case k=1. In this article we translate Pol's duality result in terms of general commutative algebra. It yields a more conceptual proof of Pol's result and a generalization involving higher multi-logarithmic forms and generalized Jacobian modules. △ Less

Submitted 19 October, 2018; v1 submitted 23 December, 2017; originally announced December 2017.

Comments: 27 pages

MSC Class: 14B05 (Primary) 13C14; 32A27 (Secondary)

Journal ref: J. Singul. 18 (2018), 272-299

A Saito criterion for holonomic divisors

Authors: Raul Epure, Mathias Schulze

Abstract: 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. 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. △ Less

Submitted 11 September, 2018; v1 submitted 28 November, 2017; originally announced November 2017.

Comments: 8 pages

MSC Class: 32S65 (Primary) 13H10; 13N15 (Secondary)

Journal ref: Manuscr. Math. 160,1-2 (2019), 1-8

Blow up of conductors

Authors: Corina Birghila, Mathias Schulze

Abstract: We generalize results of P.M.H. Wilson describing situations where the blow up of the conductor ideal of a scheme coincides with the normalization. We generalize results of P.M.H. Wilson describing situations where the blow up of the conductor ideal of a scheme coincides with the normalization. △ Less

Submitted 5 December, 2018; v1 submitted 16 August, 2016; originally announced August 2016.

Comments: 13 pages

MSC Class: 14E05 (Primary); 14M05 (Secondary)

Duality on value semigroups

Authors: Philipp Korell, Mathias Schulze, Laura Tozzo

Abstract: We establish a combinatorial counterpart of the Cohen-Macaulay duality on a class of curve singularities which includes algebroid curves. For such singularities the value semigroup and the value semigroup ideals of all fractional ideals satisfy axioms that define so-called good semigroups and good semigroup ideals. We prove that each good semigroup admits a canonical good semigroup ideal which giv… ▽ More We establish a combinatorial counterpart of the Cohen-Macaulay duality on a class of curve singularities which includes algebroid curves. For such singularities the value semigroup and the value semigroup ideals of all fractional ideals satisfy axioms that define so-called good semigroups and good semigroup ideals. We prove that each good semigroup admits a canonical good semigroup ideal which gives rise to a duality on good semigroup ideals. We show that the Cohen-Macaulay duality and our good semigroup duality are compatible under taking values. △ Less

Submitted 25 February, 2019; v1 submitted 14 October, 2015; originally announced October 2015.

Comments: 30 pages, 3 figures

MSC Class: 14H20 (Primary); 13C14; 20M12 (Secondary)

Journal ref: J. Commut. Algebra 11,1 (2019), 81-129

A cohomological interpretation of derivations on graded algebras

Authors: Xia Liao, Mathias Schulze

Abstract: We trace derivations through Demazure's correspondence between a finitely generated positively graded normal $k$-algebras $A$ and normal projective $k$-varieties $X$ equipped with an ample $\mathbb{Q}$-Cartier $\mathbb{Q}$-divisor $D$. We obtain a generalized Euler sequence involving a sheaf on $X$ whose space of global sections consists of all homogeneous $k$-linear derivations of $A$ and a sheaf… ▽ More We trace derivations through Demazure's correspondence between a finitely generated positively graded normal $k$-algebras $A$ and normal projective $k$-varieties $X$ equipped with an ample $\mathbb{Q}$-Cartier $\mathbb{Q}$-divisor $D$. We obtain a generalized Euler sequence involving a sheaf on $X$ whose space of global sections consists of all homogeneous $k$-linear derivations of $A$ and a sheaf of logarithmic derivations on $X$. △ Less

Submitted 20 September, 2017; v1 submitted 18 July, 2014; originally announced July 2014.

Comments: 19 pages

MSC Class: 13N15; 14N05 (Primary); 14C20 (Secondary)

Journal ref: Beitr. Algebra Geom. 59,1 (2018), 77-100

Derivations of negative degree on quasihomogeneous isolated complete intersection singularities

Authors: Michel Granger, Mathias Schulze

Abstract: 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… ▽ More 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. △ Less

Submitted 26 June, 2014; v1 submitted 15 March, 2014; originally announced March 2014.

Comments: 11 pages

MSC Class: 13N15; 14M10 (Primary) 14H20 (Secondary)

Quasihomogeneous free divisors with only normal crossings in codimension one

Authors: Xia Liao, Mathias Schulze

Abstract: We prove that any divisor as in the title must be normal crossing. We prove that any divisor as in the title must be normal crossing. △ Less

Submitted 20 December, 2017; v1 submitted 12 February, 2014; originally announced February 2014.

Comments: 14 pages, 2 figures

MSC Class: 32S25 (Primary) 16W25 (Secondary)

Journal ref: Math. Res. Lett. 24,5 (2017), 1477-1496

On Saito's normal crossing condition

Authors: Mathias Schulze

Abstract: Kyoji Saito defined a residue map from the logarithmic differential 1-forms along a reduced complex analytic hypersurface to the meromorphic functions on the hypersurface. He studied the condition that the image of this map coincides with the weakly holomorphic functions, that is, with the functions on the normalization. With Michel Granger, the author proved that this condition is equivalent to t… ▽ More Kyoji Saito defined a residue map from the logarithmic differential 1-forms along a reduced complex analytic hypersurface to the meromorphic functions on the hypersurface. He studied the condition that the image of this map coincides with the weakly holomorphic functions, that is, with the functions on the normalization. With Michel Granger, the author proved that this condition is equivalent to the hypersurface being normal crossing in codimension one. In this article, the condition is given a natural interpretation in terms of regular differential forms beyond the hypersurface case. For reduced equidimensional complex analytic spaces which are free in codimension one, the geometric interpretation of being normal crossing in codimension one is shown to persist. △ Less

Submitted 23 September, 2016; v1 submitted 15 November, 2013; originally announced November 2013.

Comments: 25 pages

MSC Class: 14H20 (Primary); 14M07; 32A27 (Secondary)

Journal ref: J. Sing. 14 (2016), 124-147

Local analysis of Grauert-Remmert-type normalization algorithms

Authors: Janko Boehm, Wolfram Decker, Mathias Schulze

Abstract: Normalization is a fundamental ring-theoretic operation; geometrically it resolves singularities in codimension one. Existing algorithmic methods for computing the normalization rely on a common recipe: successively enlarge the given ring in form an endomorphism ring of a certain (fractional) ideal until the process becomes stationary. While Vasconcelos' method uses the dual Jacobian ideal, Grauer… ▽ More Normalization is a fundamental ring-theoretic operation; geometrically it resolves singularities in codimension one. Existing algorithmic methods for computing the normalization rely on a common recipe: successively enlarge the given ring in form an endomorphism ring of a certain (fractional) ideal until the process becomes stationary. While Vasconcelos' method uses the dual Jacobian ideal, Grauert-Remmert-type algorithms rely on so-called test ideals. For algebraic varieties, one can apply such normalization algorithms globally, locally, or formal analytically at all points of the variety. In this paper, we relate the number of iterations for global Grauert-Remmert-type normalization algorithms to that of its local descendants. We complement our results by an explicit study of ADE singularities. This includes the description of the normalization process in terms of value semigroups of curves. It turns out that the intermediate steps produce only ADE singularities and simple space curve singularities from the list of Fruehbis-Krueger. △ Less

Submitted 18 September, 2013; originally announced September 2013.

Comments: 22 pages, 7 figures

MSC Class: 13B22 (Primary) 13H10; 14H20; 13P10 (Secondary)

Journal ref: Internat. J. Algebra Comput. 24 (2014), no. 1, 69-94

Quasihomogeneity of curves and the Jacobian endomorphism ring

Authors: Michel Granger, Mathias Schulze

Abstract: 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. 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. △ Less

Submitted 18 September, 2014; v1 submitted 23 November, 2012; originally announced November 2012.

Comments: 9 pages

MSC Class: 14H20 (Primary); 13B22; 13H10 (Secondary)

Journal ref: Comm. Alg. 43 (2015), 861-870

A geometric deletion-restriction formula

Authors: Graham Denham, Mehdi Garrousian, Mathias Schulze

Abstract: In this paper, we recover the characteristic polynomial of an arrangement of hyperplanes by computing the rational equivalence class of the variety defined by the logarithmic ideal of the arrangement. The logarithmic ideal was introduced in [arXiv:0907.0896v2] in a study of the critical points of the master function. The above result is used to understand the asymptotic behavior the Hilbert series… ▽ More In this paper, we recover the characteristic polynomial of an arrangement of hyperplanes by computing the rational equivalence class of the variety defined by the logarithmic ideal of the arrangement. The logarithmic ideal was introduced in [arXiv:0907.0896v2] in a study of the critical points of the master function. The above result is used to understand the asymptotic behavior the Hilbert series of the logarithmic ideal. As an application, we prove the Solomon-Terao formula under the tame hypothesis by identifying each side of the formula with a certain specialization of the Hilbert series of the logarithmic ideal. △ Less

Submitted 12 October, 2011; originally announced October 2011.

Comments: 17 pages

MSC Class: 52C35; 16W25

Journal ref: Adv. Math. 230 (2012), no. 4-6, 1979-1994

Normal crossing properties of complex hypersurfaces via logarithmic residues

Authors: Michel Granger, Mathias Schulze

Abstract: 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 le… ▽ More 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. △ Less

Submitted 22 May, 2014; v1 submitted 12 September, 2011; originally announced September 2011.

Comments: 17 pages

MSC Class: 32S25; 32A27; 32C37

Journal ref: Compos. Math. 148 (2012), 799-806

Partial normalizations of Coxeter arrangements and discriminants

Authors: Michel Granger, David Mond, Mathias Schulze

Abstract: 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 ide… ▽ More 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. △ Less

Submitted 27 September, 2014; v1 submitted 2 August, 2011; originally announced August 2011.

Comments: 24 pages, 1 figure, amended postprint

MSC Class: 20F55; 17B66; 13B22

Journal ref: Mosc. Math. J. 12 (2012), no. 2, 335-367

Local cohomology of logarithmic forms

Authors: Graham Denham, Hal Schenck, Mathias Schulze, Uli Walther, Max Wakefield

Abstract: Let Y be a divisor on a smooth algebraic variety X. We investigate the geometry of the Jacobian scheme of Y, homological invariants derived from logarithmic differential forms along Y, and their relationship with the property that Y is a free divisor. We consider arrangements of hyperplanes as a source of examples and counterexamples. In particular, we make a complete calculation of the local co… ▽ More Let Y be a divisor on a smooth algebraic variety X. We investigate the geometry of the Jacobian scheme of Y, homological invariants derived from logarithmic differential forms along Y, and their relationship with the property that Y is a free divisor. We consider arrangements of hyperplanes as a source of examples and counterexamples. In particular, we make a complete calculation of the local cohomology of logarithmic forms of generic hyperplane arrangements. △ Less

Submitted 20 November, 2012; v1 submitted 12 March, 2011; originally announced March 2011.

Comments: 21 pages, minor corrections and updated bibliography

MSC Class: 32S22; 52C35; 16W25

Journal ref: Ann. Inst. Fourier (Grenoble) 63 (2013), no. 3, 1177-1203

Resonance equals reducibility for A-hypergeometric systems

Authors: Mathias Schulze, Uli Walther

Abstract: Classical theorems of Gel'fand et al., and recent results of Beukers, show that non-confluent Cohen-Macaulay A-hypergeometric systems have reducible monodromy representation if and only if the continuous parameter is A-resonant. We remove both the confluence and Cohen-Macaulayness conditions while simplifying the proof. Classical theorems of Gel'fand et al., and recent results of Beukers, show that non-confluent Cohen-Macaulay A-hypergeometric systems have reducible monodromy representation if and only if the continuous parameter is A-resonant. We remove both the confluence and Cohen-Macaulayness conditions while simplifying the proof. △ Less

Submitted 12 July, 2012; v1 submitted 18 September, 2010; originally announced September 2010.

Comments: 9 pages, final version

MSC Class: 13N10; 14M25; 32S40

Journal ref: Algebra & Number Theory 6-3 (2012), 527-537

Complexes, duality and Chern classes of logarithmic forms along hyperplane arrangements

Authors: Graham Denham, Mathias Schulze

Abstract: We describe dualities and complexes of logarithmic forms and differentials for central affine and corresponding projective arrangements. We generalize the Borel-Serre formula from vector bundles to sheaves on projective d-space with locally free resolutions of length one. Combining these results we present a generalization of a formula due to Mustata and Schenck, relating the Poincare polynomial o… ▽ More We describe dualities and complexes of logarithmic forms and differentials for central affine and corresponding projective arrangements. We generalize the Borel-Serre formula from vector bundles to sheaves on projective d-space with locally free resolutions of length one. Combining these results we present a generalization of a formula due to Mustata and Schenck, relating the Poincare polynomial of an arrangement in projective 3-space (or a locally tame arrangement in projective d-space with zero-dimensional non-free locus) to the total Chern polynomial of its sheaf of logarithmic 1-forms. △ Less

Submitted 23 April, 2010; originally announced April 2010.

Comments: 23 pages

MSC Class: 32S22; 52C35; 16W25

Journal ref: Arrangements of hyperplanes - Sapporo 2009, 27-57, Adv. Stud. Pure Math., 62, Math. Soc. Japan, Tokyo, 2012

Freeness and multirestriction of hyperplane arrangements

Authors: Mathias Schulze

Abstract: Generalizing a result of Yoshinaga in dimension 3, we show that a central hyperplane arrangement in 4-space is free exactly if its restriction with multiplicities to a fixed hyperplane of the arrangement is free and its reduced characteristic polynomial equals the characteristic polynomial of this restriction. We show that the same statement holds true in any dimension when imposing certain tamene… ▽ More Generalizing a result of Yoshinaga in dimension 3, we show that a central hyperplane arrangement in 4-space is free exactly if its restriction with multiplicities to a fixed hyperplane of the arrangement is free and its reduced characteristic polynomial equals the characteristic polynomial of this restriction. We show that the same statement holds true in any dimension when imposing certain tameness hypotheses. △ Less

Submitted 16 February, 2012; v1 submitted 3 March, 2010; originally announced March 2010.

Comments: 8 pages

MSC Class: 14N20; 16W25; 13D40

Journal ref: Compositio Math. 148 (2012) 799-806

Adjoint divisors and free divisors

Authors: David Mond, Mathias Schulze

Abstract: We describe two situations where adding the adjoint divisor to a divisor D with smooth normalization yields a free divisor. Both also involve stability or versality. In the first, D is the image of a corank one stable germ of a map from complex n-space to complex (n+1)-space, and is not free. In the second, D is the discriminant of a versal deformation of a weighted homogeneous function with isola… ▽ More We describe two situations where adding the adjoint divisor to a divisor D with smooth normalization yields a free divisor. Both also involve stability or versality. In the first, D is the image of a corank one stable germ of a map from complex n-space to complex (n+1)-space, and is not free. In the second, D is the discriminant of a versal deformation of a weighted homogeneous function with isolated critical point (subject to certain numerical conditions on the weights). Here D itself is already free. We also prove an elementary result, inspired by these first two, from which we obtain a plethora of new examples of free divisors. The presented results seem to scratch the surface of a more general phenomenon that is still to be revealed. △ Less

Submitted 30 July, 2013; v1 submitted 7 January, 2010; originally announced January 2010.

Comments: 24 pages, 1 figure

MSC Class: 32S25; 17B66; 32Q26; 32S30; 14M17

Journal ref: J. Singul. 7 (2013), 253-274

Free divisors in prehomogeneous vector spaces

Authors: Michel Granger, David Mond, Mathias Schulze

Abstract: 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.… ▽ More 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. △ Less

Submitted 22 October, 2010; v1 submitted 3 December, 2009; originally announced December 2009.

Comments: 30 pages

MSC Class: 14M17; 20G05; 17B66; 14F40

Journal ref: Proc. Lond. Math. Soc. 102,5 (2011), 923-950

A solvability criterion for the Lie algebra of derivations of a fat point

Authors: Mathias Schulze

Abstract: We consider the Lie algebra of derivations of a zero dimensional local complex algebra. We describe an inequality involving the embedding dimension, the order, and the first deviation that forces this Lie algebra to be solvable. Our result was motivated by and generalizes the solvability of the Yau algebra of an isolated hypersurface singularity. We consider the Lie algebra of derivations of a zero dimensional local complex algebra. We describe an inequality involving the embedding dimension, the order, and the first deviation that forces this Lie algebra to be solvable. Our result was motivated by and generalizes the solvability of the Yau algebra of an isolated hypersurface singularity. △ Less

Submitted 8 September, 2009; originally announced September 2009.

Comments: 6 pages, comments welcome!

MSC Class: 32S10; 17B30

Journal ref: J. Algebra 323,10 (2010), 2916-2921

Initial logarithmic Lie algebras of hypersurface singularities

Authors: Michel Granger, Mathias Schulze

Abstract: 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… ▽ More 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. △ Less

Submitted 16 April, 2009; v1 submitted 11 July, 2008; originally announced July 2008.

Comments: 14 pages

MSC Class: 32S65; 17B66; 17B20

Journal ref: J. Lie Theory 19,2 (2009), 209-221

On the symmetry of b-functions of linear free divisors

Authors: Michel Granger, Mathias Schulze

Abstract: 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… ▽ More 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. △ Less

Submitted 25 July, 2008; v1 submitted 3 July, 2008; originally announced July 2008.

Comments: 21 pages, 4 figures, 1 table

MSC Class: 11S90; 14F40; 17B66

Journal ref: Publ. RIMS 46,3 (2010), 479-506

Hypergeometric D-modules and twisted Gauss-Manin systems

Authors: Mathias Schulze, Uli Walther

Abstract: 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 in the corresponding toric variety. Our approach generalizes a result by Gel'fand et al. and yields a simpler, more algebraic proof. In the process we extend… ▽ More 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 in the corresponding toric variety. Our approach generalizes a result by Gel'fand et al. and yields a simpler, more algebraic proof. In the process we extend the Euler-Koszul functor a category of infinite toric modules and describe multigraded localizations of Euler-Koszul homology. △ Less

Submitted 7 September, 2008; v1 submitted 12 December, 2007; originally announced December 2007.

Comments: 15 pages, 1 figure

MSC Class: 13N10; 14M25

Journal ref: J. Algebra 322,9 (2009), 3392-3409

Cohen-Macaulayness and computation of Newton graded toric rings

Authors: Mathias Schulze, Uli Walther

Abstract: Let $H$ be a positive semigroup in $\mathbb{Z}^d$ generated by $A$, and let $K[H]$ be the associated semigroup ring over a field $K$. We investigate heredity of the Cohen-Macaulay property from $K[H]$ to both its $A$-Newton graded ring and to its face rings. We show by example that neither one inherits in general the Cohen-Macaulay property. On the positive side we show that for every $H$ there… ▽ More Let $H$ be a positive semigroup in $\mathbb{Z}^d$ generated by $A$, and let $K[H]$ be the associated semigroup ring over a field $K$. We investigate heredity of the Cohen-Macaulay property from $K[H]$ to both its $A$-Newton graded ring and to its face rings. We show by example that neither one inherits in general the Cohen-Macaulay property. On the positive side we show that for every $H$ there exist generating sets $A$ for which the Newton graduation preserves Cohen-Macaulayness. This gives an elementary proof for an important vanishing result on $A$-hypergeometric Euler-Koszul homology. As a tool for our investigations we develop an algorithm to compute algorithmically the Newton filtration on a toric ring. △ Less

Submitted 24 June, 2007; originally announced June 2007.

Comments: 20 pages, 4 figures

MSC Class: 14M25; 16W70

Journal ref: J. Pure Appl. Alg. 213,8 (2009), 1522-1535.

Logarithmic comparison theorem versus Gauss-Manin system for isolated singularities

Authors: Mathias Schulze

Abstract: For quasihomogeneous isolated hypersurface singularities, the logarithmic comparison theorem has been characterized explicitly by Holland and Mond. In the non quasihomogeneous case, we give a necessary condition for the logarithmic comparison theorem in terms of the Gauss-Manin system of the singularity. It shows in particular that the logarithmic comparison theorem can hold for a non quasihomog… ▽ More For quasihomogeneous isolated hypersurface singularities, the logarithmic comparison theorem has been characterized explicitly by Holland and Mond. In the non quasihomogeneous case, we give a necessary condition for the logarithmic comparison theorem in terms of the Gauss-Manin system of the singularity. It shows in particular that the logarithmic comparison theorem can hold for a non quasihomogeneous singularity only if 1 is an eigenvalue of the monodromy. △ Less

Submitted 2 July, 2008; v1 submitted 17 June, 2007; originally announced June 2007.

Comments: 9 pages

MSC Class: 32S35; 32S40; 14F40

Journal ref: Adv. Geom. 10,4 (2010), 699-708

Maximal multihomogeneity of algebraic hypersurface singularities

Authors: Mathias Schulze

Abstract: From the degree zero part of logarithmic vector fields along an algebraic hypersurface singularity we indentify the maximal multihomogeneity of a defining equation in form of a maximal algebraic torus in the embedded automorphism group. We show that all such maximal tori are conjugate and in one-to-one correspondence to maxmimal tori in the degree zero jet of the embedded automorphism group. T… ▽ More From the degree zero part of logarithmic vector fields along an algebraic hypersurface singularity we indentify the maximal multihomogeneity of a defining equation in form of a maximal algebraic torus in the embedded automorphism group. We show that all such maximal tori are conjugate and in one-to-one correspondence to maxmimal tori in the degree zero jet of the embedded automorphism group. The result is motivated by Kyoji Saito's characterization of quasihomogeneity for isolated hypersurface singularities and extends its formal version and a result of Hauser and Mueller. △ Less

Submitted 8 November, 2006; originally announced November 2006.

Comments: 5 pages

MSC Class: 32S25; 17B15

Journal ref: Manuscr. Math. 123,4 (2007), 373-379

Irregularity of hypergeometric systems via slopes along coordinate subspaces

Authors: Mathias Schulze, Uli Walther

Abstract: We study the irregularity sheaves attached to the $A$-hypergeometric $D$-module $M_A(β)$ introduced by Gel'fand et al., where $A\in\mathbb{Z}^{d\times n}$ is pointed of full rank and $β\in\mathbb{C}^d$. More precisely, we investigate the slopes of this module along coordinate subspaces. In the process we describe the associated graded ring to a positive semigroup ring for a filtration defined… ▽ More We study the irregularity sheaves attached to the $A$-hypergeometric $D$-module $M_A(β)$ introduced by Gel'fand et al., where $A\in\mathbb{Z}^{d\times n}$ is pointed of full rank and $β\in\mathbb{C}^d$. More precisely, we investigate the slopes of this module along coordinate subspaces. In the process we describe the associated graded ring to a positive semigroup ring for a filtration defined by an arbitrary weight vector $L$ on torus equivariant generators. To this end we introduce the $(A,L)$-umbrella, a simplicial complex determined by $A$ and $L$, and identify its facets with the components of the associated graded ring. We then establish a correspondence between the full $(A,L)$-umbrella and the components of the $L$-characteristic variety of $M_A(β)$. We compute in combinatorial terms the multiplicities of these components in the $L$-characteristic cycle of the associated Euler-Koszul complex, identifying them with certain intersection multiplicities. We deduce from this that slopes of $M_A(β)$ are combinatorial, independent of $β$, and in one-to-one correspondence with jumps of the $(A,L)$-umbrella. This confirms a conjecture of Sturmfels and gives a converse of a theorem of Hotta: $M_A(β)$ is regular if and only if $A$ defines a projective variety. △ Less

Submitted 5 February, 2008; v1 submitted 27 August, 2006; originally announced August 2006.

Comments: 44 pages, 3 figures, choose PS or PDF to see figures, new Lemma 2.8 fills gap in previous version of Lemma 2.12, error in previous version of Theorem 3.2 repaired by considering L-holonomic modules in Sections 3.2 and 4.2

MSC Class: 13N10; 14M25; 16W70

Journal ref: Duke Math. J. 142,3 (2008), 465-509

Linear free divisors and the global logarithmic comparison theorem

Authors: Michel Granger, David Mond, Alicia Nieto-Reyes, Mathias Schulze

Abstract: 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… ▽ More 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. △ Less

Submitted 16 February, 2009; v1 submitted 3 July, 2006; originally announced July 2006.

Comments: 46 pages, 2 figures, 5 tables, final version

MSC Class: 32S20; 14F40; 20G10; 17B66

Journal ref: Ann. Inst. Fourier 59,2 (2009), 811-850

Quasihomogeneity of isolated singularities and logarithmic cohomology

Authors: Michel Granger, Mathias Schulze

Abstract: 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. 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. △ Less

Submitted 30 October, 2006; v1 submitted 17 March, 2006; originally announced March 2006.

Comments: 5 pages

MSC Class: 32S20; 32S65; 13D45; 14F40

Journal ref: Manuscr. Math. 212,4 (2006), 411-416

On the formal structure of logarithmic vector fields

Authors: Michel Granger, Mathias Schulze

Abstract: 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… ▽ More 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. △ Less

Submitted 16 May, 2006; v1 submitted 1 December, 2004; originally announced December 2004.

Comments: 13 pages

MSC Class: 32S65; 32S20; 14F40; 17B66

Journal ref: Comp. Math. 142 (2006), 765-778

On the resolvent of the Laplacian on functions for degenerating surfaces of finite geometry

Authors: Michael Schulze

Abstract: We consider families of degenerating hyperbolic surfaces. The surfaces are geometrically finite of fixed topological type. Let Z(s) be the Selberg Zeta function of a surface, and let Z_d(s) be the contribution of the pinched geodesics to the Zeta function. Extending a result of Hejhal and Wolpert, we prove that the quotient of these two terms converges to the Zeta function of the limit surface f… ▽ More We consider families of degenerating hyperbolic surfaces. The surfaces are geometrically finite of fixed topological type. Let Z(s) be the Selberg Zeta function of a surface, and let Z_d(s) be the contribution of the pinched geodesics to the Zeta function. Extending a result of Hejhal and Wolpert, we prove that the quotient of these two terms converges to the Zeta function of the limit surface for all arguments s with re(s)>1/2. The technique is an examination of resolvent of the Laplacian, which is composed from that for elementary surfaces via meromorphic Fredholm theory. The resolvent is shown to converge on the complement of the essential spectrum of the limit surface. We also use this property to define approximate Eisenstein functions and scattering matrices. △ Less

Submitted 20 October, 2004; originally announced October 2004.

Comments: 57 pages, 5 figures

MSC Class: 58J50 (Primary) 11M36 (Secondary)

A criterion for the logarithmic differential operators to be generated by vector fields

Authors: Mathias Schulze

Abstract: We study divisors in a complex manifold in view of the property that the algebra of logarithmic differential operators along the divisor is generated by logarithmic vector fields. We give a sufficient criterion for the property, a simple proof of F.J. Calderon-Moreno's theorem that free divisors have the property, a proof that divisors in dimension 3 with only isolated quasi-homogeneous singular… ▽ More We study divisors in a complex manifold in view of the property that the algebra of logarithmic differential operators along the divisor is generated by logarithmic vector fields. We give a sufficient criterion for the property, a simple proof of F.J. Calderon-Moreno's theorem that free divisors have the property, a proof that divisors in dimension 3 with only isolated quasi-homogeneous singularities have the property, an example of a non-free divisor with non-isolated singularity having the property, an example of a divisor not having the property, and an algorithm to compute the V-filtration along a divisor up to a given order. △ Less

Submitted 30 August, 2006; v1 submitted 1 June, 2004; originally announced June 2004.

Comments: 10 pages

MSC Class: 32S65; 32C38

Journal ref: Proc. Amer. Math. Soc. 135 (2007), 3631-3640

Logarithmic Comparison Theorem and Euler homogeneity for free divisors

Authors: Mathias Schulze

Abstract: This paper has been withdrawn by the author since the proof of Lemma 8 is not correct. This paper has been withdrawn by the author since the proof of Lemma 8 is not correct. △ Less

Submitted 18 August, 2004; v1 submitted 27 November, 2003; originally announced November 2003.

Comments: This paper has been withdrawn

Good bases for tame polynomials

Authors: Mathias Schulze

Abstract: An algorithm to compute a good basis of the Brieskorn lattice of a cohomologically tame polynomial is described. This algorithm is based on the results of C. Sabbah and generalizes the algorithm by A. Douai for convenient Newton non-degenerate polynomials. An algorithm to compute a good basis of the Brieskorn lattice of a cohomologically tame polynomial is described. This algorithm is based on the results of C. Sabbah and generalizes the algorithm by A. Douai for convenient Newton non-degenerate polynomials. △ Less

Submitted 1 December, 2004; v1 submitted 6 June, 2003; originally announced June 2003.

Comments: 28 pages, 0 figures, http://www.mathematik.uni-kl.de/~mschulze

MSC Class: 68W30; 32C38

Journal ref: J. Symb. Comp. 39,1 (2005), 103-126

The differential structure of the Brieskorn lattice

Authors: Mathias Schulze

Abstract: We describe an algorithm to compute M. Saito's matrices A0 and A1 for an isolated hypersurface singularity. They determine the differential structure of the Brieskorn lattice, the spectral pairs and Hodge numbers, and the complex monodromy of the singularity. We describe an algorithm to compute M. Saito's matrices A0 and A1 for an isolated hypersurface singularity. They determine the differential structure of the Brieskorn lattice, the spectral pairs and Hodge numbers, and the complex monodromy of the singularity. △ Less

Submitted 1 December, 2004; v1 submitted 5 June, 2003; originally announced June 2003.

Comments: 10 pages, 0 figures, http://www.mathematik.uni-kl.de/~mschulze

MSC Class: 32S35; 16S32

Journal ref: A. M. Cohen, X.-S. Gao, N. Takayama: Mathematical Software, World Scientific (2002), 136-146

Monodromy of Hypersurface Singularities

Authors: Mathias Schulze

Abstract: 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, a… ▽ More 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. △ Less

Submitted 1 December, 2004; v1 submitted 21 August, 2001; originally announced August 2001.

Comments: 10 pages, 1 figure, http://www.mathematik.uni-kl.de/~mschulze

MSC Class: 13P10; 16S32; 32S40

Journal ref: Acta Appl. Math. 75 (2003), 3-13