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.     

Π 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¹.     

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.     

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     

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.     

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     

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.     

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.     

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.     

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.     

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.     

Equivalent conditions for n-equivalences modulo a classc of groups

In this work we define the notion of a mapf:XY to be ann-equivalence modulo a classC of groups. Then we show an equivalent condition, which is more close to a homological condition, in order to a mapf:XY to be ann-equivalence modulo a classC of groups. Finally, at least for a complexK which is finite and is a suspension of a connected space, the notion above is also given in terms of the mapf _#: [K, X][K, Y].     

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     

On single-valuedness of convex set-valued maps

It is proved that ifX andY are linear spaces andF :X p(Y) is a set-valued map with convex graph such thatF(x) Ø for allx X andF(x ₀) is a singleton for somex ₀, thenF is single-valued and affine. Applications to metric projections and to adjoints of set-valued maps are given.Supported by NSF Grant DMS-9100228.The main result of this paper has been obtained while the second author was visiting the Pennsylvania State University in the framework of the exchange agreement between the Romanian Academy and the National Academy of Sciences of the U.S.A.     

On σ-discrete borel mappings via quasi-metrics

Let X and Y be metrizable spaces. We show that, for a mapping f : X Y, there exists a quasi-metric X inducing the topology of X such that f regarded as a mapping from (X, max{, ^–1}) to Y is continuous if and only if f in the original topology of X is a -discrete map of Borel class 1. Further, we prove that, for every -discrete mapping f: X Y of Borel class + 1, there exists a compatible quasi-metric on X such that f : (X, max{, ^–1}) Y is of Borel class . We also investigate a more general situation when the range of the mapping under consideration is not necessarily metrizable. In passing, we obtain some results related to the behaviour of absolutely Borel sets and absolutely analytic spaces with respect to compatible quasi-metrics.     

On Localization of Connective Covers

A result of Neisendorfer says that, for every connected p-complete finite complex Y with ₂Y torsion, the p-completion of P_{K(/p, 1)} (Ym) and Y are of the same homotopy type for any positive integer m. Here, P_{K(/p, 1)}(Ym) is the periodization functor of Bousfield and Ym) is the m-connective cover of the space Y. The proof of this result depends on Millers Theorem of Sullivans conjecture. The aim in this paper is to study the phenomenon without the use of Millers Theorem.AMS Subject Classification (2000): 55P60