arXiv subjects
Publications and source records attributed to Gert-Martin Greuel.
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.
We present an algorithm which, given a deformation with trivial section of a reduced plane curve singularity, computes equations for the equisingularity stratum (that is, the mu-constant stratum in characteristic 0) in the parameter space of the deformation. The algorithm works for any, not necessarily reduced, parameter space and for algebroid curve singularities C defined over an algebraically closed field of characteristic 0 (or of characteristic p>ord(C)). It provides at the same time an algorithm for computing the equisingularity ideal of J. Wahl. The algorithms have been implemented in the computer algebra system Singular. We show them at work by considering two non-trivial examples. As the article is also meant for non-specialists in singularity theory, we include a short survey on new methods and results about equisingularity in characteristic 0.
In the paper we characterize the class of finite solvable groups by two-variable identities in a way similar to the characterization of finite nilpotent groups by Engel identities. More precisely, a sequence of words $u_1,...,u_n,... $ is called correct if $u_k\equiv 1$ in a group $G$ implies $u_m\equiv 1$ in a group $G$ for all $m>k$. We are looking for an explicit correct sequence of words $u_1(x,y),...,u_n(x,y),...$ such that a group $G$ is solvable if and only if for some $n$ the word $u_n$ is an identity in $G$. Let $u_1=x^{-2}y\min x$, and $u_{n+1} = [xu_nx\min,yu_ny\min]$. The main result states that a finite group $G$ is solvable if and only if for some $n$ the identity $u_n(x,y)\equiv 1$ holds in $G$. In the language of profinite groups this result implies that the provariety of prosolvable groups is determined by a single explicit proidentity in two variables. The proof of the main theorem relies on reduction to J.Thompson's list of minimal non-solvable simple groups, on extensive use of arithmetic geometry (Lang - Weil bounds, Deligne's machinery, estimates of Betti numbers, etc.) and on computer algebra and geometry (SINGULAR, MAGMA) .
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).
In this survey I should like to introduce some concepts of algebraic geometry and try to demonstrate the fruitful interaction between algebraic geometry and computer algebra and, more generally, between mathematics and computer science. One of the aims of this article is to show, by means of examples, the usefulness of computer algebra to mathematical research.
We study families V of curves in P^2 of degree d having exactly r singular points of given topological or analytic types. We derive new sufficient conditions for V to be T-smooth (smooth of the expected dimension), respectively to be irreducible. For T-smoothness these conditions involve new invariants of curve singularities and are conjectured to be asymptotically proper, i.e., optimal up to a constant factor. To obtain the results, we study the Castelnuovo function, prove the irreducibility of the Hilbert scheme of zero-dimensional schemes associated to a cluster of infinitely near points of the singularities and deduce new vanishing theorems for ideal sheaves of zero-dimensional schemes in P^2. Moreover, we give a series of examples of cuspidal curves where the family V is reducible, but where the fundamental groups of P^2 \ C coincide (and are abelian) for all C in V.
We prove that there exists a>0 such that for any integer d>2 and any topological types S_1,...,S_n of plane curve singularities, satisfying $μ(S_1)+...+μ(S_n) \leq ad^2$, there exists a reduced irreducible plane curve of degree d with exactly n singular points of types S_1,...,S_n, respectively. This estimate is optimal with respect to the exponent of d. In particular, we prove that for any topological type S there exists an irreducible polynomial of degree $d \leq 14\sqrt{μ(S)}$ having a singular point of type S.
Let P^2_r be the projective plane blown up at r generic points. Denote by E_0,E_1,...,E_r the strict transform of a generic straight line on P^2 and the exceptional divisors of the blown-up points on P^2_r respectively. We consider the variety V of all irreducible curves C in |dE_0-d_1E_1-...-d_rE_r| with k nodes as the only singularities and give asymptotically nearly optimal sufficient conditions for its smoothness, irreducibility and non-emptyness. Moreover, we extend our conditions for the smoothness and the irreducibility on families of reducible curves. For r<10 we give the complete answer concerning the existence of nodal curves in V.
We consider flat families of reduced curves on a smooth surface S such that each member C has the same number of singularities of fixed singularity types and the corresponding (locally closed) subscheme H of the Hilbert scheme of S. We are mainly concerned with analytic resp. topological singularity types and give a sufficient condition for the smoothness of H (at C). Our results for S=P^2 seem to be quite sharp for families of cuves of small degree d.