BZPEERReading, trust and collaboration for researchDiscover
Workspaces
Network
Opportunities
Account
Researcher profile
Gert-Martin Greuel contributes to research discovery and scholarly infrastructure.
Trust snapshot
Actions
Identity and collaboration
Claiming links this public author record to a researcher profile and unlocks direct collaboration workflows.
Log in to claimDirect collaboration
Claim this author entity first to unlock direct invitations.
Research graph
Inspect adjacent work, topics, institutions and collaborators without jumping out to a separate graph page.
BZPEER is loading the nearby papers, people, topics and institutions for this page.
Published work
We give a brief historical overview of the development of the Computer Algebra System SINGULAR: why it came about and how the development was related to the attempt to refute Zariski's multiplicity conjecture.
We report on the problem of the existence of complex and real algebraic curves in the plane with prescribed singularities up to analytic and topological equivalence. The question is whether, for a given positive integer $d$ and a finite number of given analytic or topological singularity types, there exist a plane (irreducible) curve of degree $d$ having singular points of the given type as its only singularities. The set of all such curves is a quasi-projective variety, which we call an equisingular family (ESF). We describe, in terms of numerical invariants of the curves and their singularities, the state of the art concerning necessary and sufficient conditions for the non-emptiness and $T$-smoothness (i.e., smooth of expected dimension) of the corresponding ESF. The considered singularities can be arbitrary, but we spend special attention to plane curves with nodes and cusps, the most studied case, where still no complete answer is known in general. An important result is, however, that the necessary and the sufficient conditions show the same asymptotics for $T$-smooth equisingular families if the degree goes to infinity.
The problem we are considering came up in connection with the classification of singularities in positive characteristic. Then it is important that certain invariants like the determinacy can be bounded simultaneously in families of formal power series parametrized by some algebraic variety. In contrast to the case of analytic or algebraic families, where such a bound is well known, the problem is rather subtle, since the modules defining the invariants are quasi-finite but not finite over the base space. In fact, in general the fibre dimension is not semicontinuous and the quasi-finite locus is not open. However, if we pass to the completed fibers in a family of modules we can prove that their fiber dimension is semicontinuous under some mild conditions. We prove this in a rather general framework by introducing and using the completed and the Henselian tensor product, the proof being more involved as one might think. Finally we apply this to the Milnor number and the Tjurina number in families of hypersurfaces and complete intersections and to the determinacy in a family of ideals.
We consider different notions of non-degeneracy, as introduced by Kouchnirenko (NND), Wall (INND) and Beelen-Pellikaan (WNND) for plane curve singularities $\{f(x,y) = 0\}$ and introduce the new notion of weighted homogeneous Newton non-degeneracy (WHNND). It is known that the Milnor number $μ$ resp. the delta-invariant $δ$ can be computed by explicit formulas $μ_N$ resp. $δ_N$ from the Newton diagram of $f$ if $f$ is NND resp. WNND. It was however unknown whether the equalities $μ=μ_N$ resp. $δ=δ_N$ can be characterized by a certain non-degeneracy condition on $f$ and, if so, by which one. We show that $μ=μ_N$ resp. $δ=δ_N$ is equivalent to INND resp. WHNND and give some applications and interesting examples related to the existence of "wild vanishing cycles". Although the results are new in any characteristic, the main difficulties arise in positive characteristic.
We study singularities f in K[[x_1,...,x_n]] over an algebraically closed field K of arbitrary characteristic with respect to right respectively contact equivalence, and we establish that the finiteness of the Milnor respectively the Tjurina number is equivalent to finite determinacy. We give improved bounds for the degree of determinacy in positive characteristic. Moreover, we consider different non-degeneracy conditions of Kouchnirenko, Wall and Beelen-Pellikaan in positive characteristic, and we show that planar Newton non-degenerate singularities satisfy Milnor's formula mu=2 delta-r+1. This implies the absence of wild vanishing cycles in the sense of Deligne.
The main purpose of this article is to lay the foundations for a classification of isolated hypersurface singularities in positive characteristic. Although our article is in the spirit of Arnol'd who classified real an complex hypersurfaces in the 1970's with respect to right equivalence, several new phenomena occur in positive characteristic. Already the notion of isolated singularity is different for right resp. contact equivalence over fields of characteristic other than zero. The heart of this paper consists of the study of different notions of non-degeneracy and the associated piecewise filtrations induced by the Newton diagram of a power series f. We introduce the conditions AC and AAC which modify and generalise the conditions A and AA of Arnol'd resp. Wall and which allow the classification with respect to contact equivalence in any characteristic. Using this we deduce normal forms and rather sharp determinacy bounds for f with respect to right and contact equivalence. We apply this to classify hypersurface singularities of low modality in positive characteristic.
In 1957 Atiyah classified simple and indecomposable vector bundles on an elliptic curve. In this article we generalize his classification by describing the simple vector bundles on all reduced plane cubic curves. Our main result states that a simple vector bundle on such a curve is completely determined by its rank, multidegree and determinant. Our approach, based on the representation theory of boxes, also yields an explicit description of the corresponding universal families of simple vector bundles.
We show that analytic solutions $\mcE$ of the Ernst equation with non-empty zero-level-set of $\Re \mcE$ lead to smooth ergosurfaces in space-time. In fact, the space-time metric is smooth near a "Ernst ergosurface" $E_f$ if and only if $\mcE$ is smooth near $E_f$ and does not have zeros of infinite order there.
A description of Cohen-Macaulay modules over cusp surface singularities and over unimodule hypersurface singularities of type T is given. It is proved that among minimally elliptic singularities and their quotients only simple elliptic and cusps are tame, all others are wild (with respect to the classification of Cohen-Macaulay modules).