Nicht endlich erzeugte Primideale in Steinschen Algebren

In this note we exhibit a closed prime idealF in the ring Ó(³) of all holomorphic functions on ³ which is not finitely generated.F is the ideal of a certain irreducible curve Y³, obtained as the image of a proper holomorphic map f³.

---

---

Herrn Karl Stein gewidmet     

HigherG-signatures for Lipschitz manifolds

Using the Teleman signature operator and Kasparov'sKK-theory, we prove a strong De Rham theorem and a higherG-signature theorem for Lipschitz manifolds. These give in particular a substitute for the usualG-signature theorem that applies to certain nonsmooth actions on topological manifolds. Then we present a number of applications. Among the most striking are a proof that nonlinear similarities preserve renormalized Atiyah-Bott numbers, and a proof that under suitable gap, local flatness, and simple connectivity hypotheses, a compact (topological)G-manifoldM is determined up to finite ambiguity by its isovariant homotopy type and by the classes of the equivariant signature operators on all the fixed sets . These could also be proved using joint work of Cappell, Shaneson, and the second author on topological characteristic classes.Partially supported by NSF Grants DMS-87-00551 and DMS-90-02642 (J.R.) and by NSF Grants, a Sloan Foundation Fellowship, and a Presidential Young Investigator award (S.W.).     

On a Test Statistic for Linear Trend

Let {W(s)} _s 0 be a standard Wiener process. The supremum of the squared Euclidian norm Y (t)², of the R²-valued process Y(t)=(1/t W(t), {12/t ³ int_{0 t} s dW (s)– {3/t} W(t)), t [, 1], is the asymptotic, large sample distribution, of a test statistic for a change point detection problem, of appearance of linear trend. We determine the asymptotic behavior P {sup _t [, 1] Y(t)² > u as u , of this statistic, for a fixed (0,1), and for a moving = (u) 0 at a suitable rate as u . The statistical interest of our results lie in their use as approximate test levels.     

On the Cohomology Sequence in a Semiabelian Category

In a semiabelian category, a strictly exact sequence 0ABC0 of cochain complexes gives rise to the cohomology sequence ...H ⁿ(A) H ⁿ(B) H ⁿ(C) H ⁿ⁺¹ (A) .... We study conditions for exactness of the homology sequence at a given term.     

Π r P1-bundle from which a surjective morphism to Π m P1 exists

Let : X Y be a morphism of smooth projective varieties over an algebraically closed field k of characteristic not equal to 2 whose closed fibres are all isomorphic to ^r P¹ and let ': X ^r P¹ be a surjective morphism. This article gives a sufficient condition concerning ' and Y under which X is isomorphic to Y× ^r P¹.     

Conjugation for polynomial mappings

We consider Keller's functions, namely polynomial functionsf:C ⁿ C ⁿ with detf(x)=1 at allx C ⁿ. Keller conjectured that they are all bijective and have polynomial inverses. The problem is still open.Without loss of generality assumef(0)=0 andf'(0)=I. We study the existence of certain mappingsh , > 1, defined by power series in a ball with center at the origin, such thath(0)=I andh (f(x))=h (x). So eachh conjugates f to its linear part I in a ball where it is injective.We conjecture that for Keller's functionsf of the homogeneous formf(x)=x +g(x),g(sx)=s ^dg(x),g(x)ⁿ=0,xC ⁿ,sC the conjugationh for f is anentire function.     

Some Properties of Finite Morphisms on Double Points

For a finite morphism f : X Y of smooth varieties such that f maps X birationally onto X=f(X), the local equations of f are obtained at the double points which are not triple. If C is the conductor of X over X, and are the subschemes defined by C, then D and are shown to be complete intersections at these points, provided that C has the expected codimension. This leads one to determine the depth of local rings of X at these double points. On the other hand, when C is reduced in X, it is proved that X is weakly normal at these points, and some global results are given. For the case of affine spaces, the local equations of X at these points are computed.     

On the optimality of a characterization theorem for the gamma function using the multiplication formula

Summary The following Artin type characterization of : _{+ +} is proved: Assume thatf: _{+ +} satisfies the Gauss multiplication formula for some fixedp 2,f is absolutely continuous on [l/p, 1 + ] for some > 0 and lim _{x 0} xf(x) = 1. Thenf(x) = (x) forx > 0.The optimality of this result is checked by means of counterexamples. For instance, it is shown that the result is no longer true, if f is absolutely continuous is replaced by f is continuous and of finite variation.     

Theorem on a convergence condition in the spaces

For a given -function (u), a condition on a -function (u) is found such that it is necessary and sufficient for the following to hold: if f_n(x) f(x) and f _n (x)M (n=1, 2, ...) where M>0 is an absolute constant, then f _n (x)–f(x)0(n). An analogous condition for convergence in Orlicz spaces is obtained as a corollary.Translated from Matematicheskie Zametki, Vol. 21, No. 5, pp. 615–626, May, 1977.The author thanks V. A. Skvortsov for his constant attention and guidance on this paper.     

Ultrafilters and Decompositions of Abelian Groups

We prove that every PS-ultrafilter on a group without second-order elements is a Ramsey ultrafilter. For an arbitrary PS-ultrafilter on a countable group G, we construct a mapping f: G such that f() is a P-point in the space *. We determine a new class of subselective ultrafilters, which is considerably wider than the class of PS-ultrafilters.     

On the abundance of chaotic behavior for generic one-parameter families of maps

In this paper, we want to show the abundance of chaotic systems with absolutely continuous probability measures in the generic regular family with perturbable points. More precisely, we prove that iff _a:I I, a P is a regular family satisfying some conditions described in the next section, then there exists a Borel set P of positive Lebesgue measure such that for everya ,f _a admits an absolutely continuous invariant probability measure w.r.t. the Lebesgue measure. The idea of proof in this paper, as compared with that shown in [1] and [7], follows a similar line.Supported by the NSFC and the National 863 Project.     

The MoravaK-theory of algebraicK-theory spectra

Ifn2 the MoravaK-theoryK(n) _* of an algebraicK-theory spectrumKX vanishes for any ring or schemeX. This is proved using thev _n -complexes of Hopkins and Smith, together with the following theorem. The natural mapf:Q ₀S⁰BGL⁺ factors through the space ImJ. In particularf _*: _* ^s K _* annihilates CokerJ. These results are closely related to the Lichtenbaum-Quillen conjectures.Partially supported by an NSF grant.     

The survival of the large dimensional basic contact process

Summary We consider the d-dimensional basic contact process obtaining the limit value of the probability of survival when d+, and showing that the finite dimensional distributions of the upper invariant measure become of the product form as d+.     

Existence of Moduli for Bi-Lipschitz Equivalence of Analytic Functions

We show that the bi-Lipschitz equivalence of analytic function germs (², 0)(, 0) admits continuous moduli. More precisely, we propose an invariant of the bi-Lipschitz equivalence of such germs that varies continuously in many analytic families f _t : (², 0)(, 0). For a single germ f the invariant of f is given in terms of the leading coefficients of the asymptotic expansions of f along the branches of generic polar curve of f.     

Liftungen von Tripeln

For triplesS andT in a categoryOl, J. Beck [1] has shown the equiva-lence of a distributive law 1:TSST with a lifting ofT into the category ofS-algebras. Now in this paper it is proved that such a di-ributive law is also equivalent with a lifting of S into the T-Kleisli-category. Distributive laws of mixed type are also considered. Each of the distributive laws GTTG and TGGT (with T a triple and G a cotriple inOl) produces a pair of dual liftings.     

Isomorphisms of Steinberg groups over commutative rings

LetA andR be commutative rings, andm andn be integers3. It is proved that, if :St _m (A)St _n (R) is an isomorphism, thenm=n. Whenn4, we have: (1) Every isomorphism :St _n(A)St _n(R) induces an isomorphism:E _n (A)E _n (R), and is uniquely determined by; (2) IfSt _n (A) St _n (R) thenK _2.n (A)K _2.n (R); (3) Every isomorphismE _n (A) E _n (R) can be lifted to an isomorphismSt _n(A)St _n(R); (4)St _n(A) St _n(R) if and only ifAR. For the casen=3, ifSt ₃(A) andSt ₃(R) are respectively central extensions ofE ₃(A) andE ₃ (R), then the above (1) and (2) hold.The Project supported by National Natural Science Foundation of China     

A chord-stretching map of a convex loop is an isometry

Let ⁿ be n-dimensional Euclidean space, and let : [0, L] ⁿ and : [0, L] ⁿ be closed rectifiable arcs in ⁿ of the same total length L which are parametrized via their arc length. is said to be a chord-stretched version of if for each 0s tL, |(t)–(s)| |(t)–(s)|. is said to be convex if is simple and if ([0, L]) is the frontier of some plane convex set. Individual work by Professors G. Choquet and G. T. Sallee demonstrated that if were simple then there existed a convex chord-stretched version of . This result led Professor Yang Lu to conjecture that if were convex and were a chord-stretched version of then and would be congruent, i.e. any chord-stretching map of a convex arc is an isometry. Professor Yang Lu has proved this conjecture in the case where and are C ² curves. In this paper we prove the conjecture in general.     

Quasianapole Interaction of Charged Fermions

We obtain the analytic expression for the total cross section of the reaction e ^– e ⁺l ^– l ⁺ (l=,) taking possible quasianapole interaction effects into account. We find numerical restrictions on the interaction parameter value from data for the reaction e ^– e ^+–+ in the energy domain below the Z ⁰ peak.     

Subsolutions for abstract evolution equations

We study different notions of subsolutions for an abstract evolution equation du/dt+Auf where A is an m-accretive nonlinear operation in an ordered Banach space X with order-preserving resolvents. A first notion is related to the operator d/dt+A in the ordered Banach space L ¹(0, T; X); a second one uses the evolution equation du/dt+A uf where A :x{y;zy for some zAx}; other notions are also considered.     

Stability of the method of lines

Summary It is well known that a necessary condition for the Lax-stability of the method of lines is that the eigenvalues of the spatial discretization operator, scaled by the time stepk, lie within a distanceO(k) of the stability region of the time integration formula ask0. In this paper we show that a necessary and sufficient condition for stability, except for an algebraic factor, is that the -pseudo-eigenvalues of the same operator lie within a distanceO()+O(k) of the stability region ask, 0. Our results generalize those of an earlier paper by considering: (a) Runge-Kutta and other one-step formulas, (b) implicit as well as explicit linear multistep formulas, (c) weighted norms, (d) algebraic stability, (e) finite and infinite time intervals, and (f) stability regions with cusps.In summary, the theory presented in this paper amounts to a transplantation of the Kreiss matrix theorem from the unit disk (for simple power iterations) to an arbitrary stability region (for method of lines calculations).Work supported by an NSF Presidential Young Investigator Award to L.N. Trefethen