BZPEERPapers, people, evidence and research pathsDiscover
Research tools
Network
Opportunities
Account
Source author record
Gert-Martin Greuel appears in the imported research catalog. Authorship, coauthor and topic links are available while profile ownership is still unclaimed.
Catalog footprint
Research graph
Inspect adjacent papers, topics, institutions and collaborators without losing the researcher 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.
Egbert Brieskorn died on July 11, 2013, a few days after his 77th birthday. He was an impressive personality who has left a lasting impression on all who knew him, whether inside or outside of mathematics. Brieskorn was a great mathematician, but his interests, his knowledge, and activities ranged far beyond mathematics. In this contribution, which is strongly influenced by many years of personal connectedness of the authors with Brieskorn, we try to give a deeper insight into the life and work of Brieskorn. We illuminate both his personal commitment to peace and the environment as well as his long-term study of the life and work of Felix Hausdorff and the publication of Hausdorff's collected works. However, the main focus of the article is on the presentation of his remarkable and influential mathematical work.
Let $R=K[[x_1,...,x_s]]$ be the ring of formal power series with maximal ideal $\mathfrak{m}$ over a field $K$ of arbitrary characteristic. On the ring $M_{m,n}$ of $m\times n$ matrices $A$ with entries in $R$ we consider several equivalence relations given by the action on $M_{m,n}$ of a group $G$. $G$ can be the group of automorphisms of $R$, combined with the multiplication of invertible matrices from the left, from the right, or from both sides, respectively. We call $A$ finitely $G$-determined if $A$ is $G$-equivalent to any matrix $B$ with ${A-B} \in {\mathfrak{m}^k M_{m,n}}$ for some finite integer $k$, which implies in particular that $A$ is $G$--equivalent to a matrix with polynomial entries. The classical criterion for analytic or differential map germs $f:(K^s,0) \to (K^m,0)$, $K = \mathbb{R}, \mathbb{C}$, says that $f \in M_{m,1}$ is finitely determined (with respect to various group actions) iff the tangent space to the orbit of $f$ has finite codimension in $M_{m,1}$. We extend this criterion to arbitrary matrices in $M_{m,n}$ if the characteristic of K is 0 or, more general, if the orbit map is separable. In positive characteristic however, the problem is more subtle since the orbit map is in general not separable, as we show by an example. This fact had been overlooked in previous papers. Our main result is a general sufficient criterion for finite $G$-determinacy in $M_{m,n}$ in arbitrary characteristic in terms of the tangent image of the orbit map, which we introduce in this paper. This criterion provides a computable bound for the $G$-determinacy of a matrix $A$ in $M_{m,n}$, which is new even in characteristic 0.
We classify isolated hypersurface singularities $f\in K[[x_1,..., x_n]]$, $K$ an algebraically closed field of characteristic $p>0$, which are simple w.r.t. right equivalence, that is, which have no moduli up to analytic coordinate change. For $K=\mathbb R$ or $\mathbb C$ this classification was initiated by Arnol'd, resulting in the famous ADE-series. The classification w.r.t. contact equivalence for $p>0$ was done by Greuel and Kröning with a result similar to Arnol'd's. It is surprising that w.r.t. right equivalence and for any given $p>0$ we have only finitely many simple singularities, i.e. there are only finitely many $k$ such that $A_k$ and $D_k$ are right simple, all the others have moduli. A major point of this paper is the generalization of the notion of modality to the algebraic setting, its behaviour under morphisms, and its relations to formal deformation theory. As an application we show that the modality is semicontinuous in any characteristic.
The well-known Mather-Yau theorem says that the isomorphism type of the local ring of an isolated complex hypersurface singularity is determined by its Tjurina algebra. It is also well known that this result is wrong as stated for power series f in K[[x]] over fields K of positive characteristic. In this note we show that, however, also in positive characteristic the isomorphism type of an isolated hypersurface singularity f is determined by an Artinian algebra, namely by a "higher Tjurina algebra" for sufficiently high index, for which we give an effective bound. We prove also a similar version for the "higher Milnor algebra" considered as K[[f]]-algebra.
An information service for mathematical software is presented. Publications and software are two closely connected facets of mathematical knowledge. This relation can be used to identify mathematical software and find relevant information about it. The approach and the state of the art of the information service are described here.
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).