BZPEERReading, trust and collaboration for research
Menu

Discover

GraphFollow connections around a paper, topic or saved view.

Workspaces

HomePick up where your research flow left off.InboxHandle requests, replies and notifications from one place.CollectionsCurate reading lists, evidence sets and shareable dossiers.ResearchSee your private provenance graph, trail and imports.CollaborationMove from discovery into focused discussion rooms.PublishDraft, preview and publish full-text research articles.

Network

ExpertsFind specialists worth following or asking for help.CommunitiesJoin research circles organized around shared work.PartnersSee external organizations active around the same topics.

Opportunities

ListingsBrowse roles, calls and collaborations with clearer fit signals.

Account

Log inReturn to your reading and collaboration workspace.Create accountStart saving work, following people and joining teams.
Log inCreate account

Researcher profile

Mathias Schulze

Mathias Schulze contributes to research discovery and scholarly infrastructure.

ResearcherAffiliation not importedOpen to collaborate
math.AGmath.COmath.RTmath.ACmath.CVcond-mat.mtrl-sciphysics.ins-det

Trust snapshot

Quick read

Trust 21 - Emerging
21works
0followers
7topics
4close collaborators

Actions

Decide how to stay connected

Follow researcher0

Research graph

See the researcher in context

Open full explorer

Inspect adjacent work, topics, institutions and collaborators without jumping out to a separate graph page.

Building this graph slice

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

Published work

21 published item(s)

preprint2022arXiv

Hypersurface singularities with monomial Jacobian ideal

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.

0 citations0 reviewsNo code linkedOpen access
preprint2022arXiv

Limit spectral distribution for non-degenerate hypersurface singularities

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.

0 citations0 reviewsNo code linkedOpen access
preprint2019arXiv

Duality on value semigroups

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.

0 citations0 reviewsNo code linkedOpen access
preprint2018arXiv

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

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.

0 citations0 reviewsNo code linkedOpen access
preprint2016arXiv

On Saito's normal crossing condition

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.

0 citations0 reviewsNo code linkedOpen access
preprint2014arXiv

Derivations of negative degree on quasihomogeneous isolated complete intersection singularities

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.

0 citations0 reviewsNo code linkedOpen access
preprint2014arXiv

Normal crossing properties of complex hypersurfaces via logarithmic residues

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.

0 citations0 reviewsNo code linkedOpen access
preprint2014arXiv

Partial normalizations of Coxeter arrangements and discriminants

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.

0 citations0 reviewsNo code linkedOpen access
preprint2013arXiv

Adjoint divisors and free divisors

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.

0 citations0 reviewsNo code linkedOpen access
preprint2013arXiv

Local analysis of Grauert-Remmert-type normalization algorithms

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.

0 citations0 reviewsNo code linkedOpen access
preprint2012arXiv

Energy distribution and quantum yield for photoemission from air-contaminated gold surfaces under UV illumination close to the threshold

The kinetic energy distributions of photo-electrons emitted from gold surfaces under illumination by UV-light close to the threshold are measured and analyzed. Samples are prepared as chemically clean through Ar-Ion sputtering and then exposed to atmosphere for variable durations before Quantum Yield measurements are performed after evacuation. During measurements the bias voltage applied to the sample is varied and the resulting emission current measured. Taking the derivative of the current-voltage curve yields the energy distribution which is found to closely resemble the distribution of total energies derived by DuBridge for emission from a free electron gas. We investigate the dependence of distribution shape and width on electrode geometry and contaminant substances adsorbed from the atmosphere, in particular to water and hydro-carbons. Emission efficiency increases initially during air exposure before diminishing to zero on a timescale of several hours, whilst subsequent annealing of the sample restores emissivity. A model fit function, in good quantitative agreement with the measured data, is introduced which accounts for the experiment-specific electrode geometry and an energy dependent transmission coefficient. The impact of large patch potential fields from contact potential drops between sample and sample holder is investigated. The total quantum yield is split into bulk and surface contributions which are tested for their sensitivity to light incidence angle and polarization. Our results are directly applicable to model parameters for the contact-free discharge system onboard the LISA Pathfinder spacecraft.

0 citations0 reviewsNo code linkedOpen access
preprint2012arXiv

Local cohomology of logarithmic forms

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.

0 citations0 reviewsNo code linkedOpen access
preprint2011arXiv

A geometric deletion-restriction formula

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.

0 citations0 reviewsNo code linkedOpen access
preprint2010arXiv

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

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.

0 citations0 reviewsNo code linkedOpen access
preprint2010arXiv

Free divisors in prehomogeneous vector spaces

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.

0 citations0 reviewsNo code linkedOpen access
preprint2008arXiv

Logarithmic comparison theorem versus Gauss-Manin system for isolated singularities

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.

0 citations0 reviewsNo code linkedOpen access
preprint2008arXiv

On the symmetry of b-functions of linear free divisors

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.

0 citations0 reviewsNo code linkedOpen access