Two Diophantine Birds with One Stone

Integer Solutions are found to the equations t²–3(a²,b², (a + b)², (a–b)²) = p², q², r², s². These lead surprisinglyto solutions to the equations u² + (c², d², (c + d)², (c –d)²) = p², q², v², w², with the same values of p and q.     

Right Cancellation in the LUC-Compactification of a Locally Compact Group

Write G^* = G^LUC\G where G^LUC is the largest semigroup compactificationof the locally compact group G. Then the set of points of G^*which are right cancellable in G^* = G^LUC is large; in fact ithas an interior in G^* which is dense in G^*. Corollaries aregiven about the number of left ideals in G^* = G^LUC and the sizeof right ideals in the algebra LUC(G)^*.     

Multiquadratic Extensions, Rigid Fields and Pythagorean Fields

Let F be a field of characteristic other than 2. Let F⁽²⁾ denotethe compositum over F of all quadratic extensions of F, letF⁽³⁾ denote the compositum over F⁽²⁾ of all quadratic extensionsof F⁽²⁾ that are Galois over F, and let F^{3} denote the compositumover F⁽²⁾ of all quadratic extensions of F⁽²⁾. This paper showsthat F⁽³⁾ = F^{3} if and only if F is a rigid field, and thatF⁽³⁾ = K⁽³⁾ for some extension K of F if and only if F is Pythagoreanand . The proofs depend mainly on the behavior of quadratic forms over quadratic extensions,and the corresponding norm maps.     

Lorentz Spaces Of Vector-Valued Measures

Given a non-atomic, finite and complete measure space (,,µ)and a Banach space X, the modulus of continuity for a vectormeasure F is defined as the function _F(t) = sup_µ(E)t |F|(E)and the space V^p,q(X) of vector measures such that t^–1/p'_F(t) L^q((0,µ()],dt/t) is introduced. It is shown thatV^p,q(X) contains isometrically L^p,q(X) and that L^p,q(X) = V^p,q(X)if and only if X has the Radon–Nikodym property. It isalso proved that V^p,q(X) coincides with the space of cone absolutelysumming operators from L^p',q^' into X and the duality V^p,q(X^*)=(Lp^',q^'(X))^*where 1/p+1/p^'= 1/q+1/q^' = 1. Finally, V^p,q(X) is identifiedwith the interpolation space obtained by the real method (V¹(X),V(X))_1/p^',q. Spaces where the variation of F is replaced bythe semivariation are also considered.     

A Criterion for Finite Topological Determinacy of Map-Germs

Let f, g: (Rⁿ, 0) (R^p, 0) be two C map-germs. Then f and gare C⁰-equivalent if there exist homeomorphism-germs h and lof (Rⁿ, 0) and (R^p, 0) respectively such that g = l f h^–1.Let k be a positive integer. A germ f is k-C⁰-determined ifevery germ g with j^k g(0) = j^k f(0) is C⁰-equivalent to f. Moreover,we say that f is finitely topologically determined if f is k-C⁰-determinedfor some finite k. We prove a theorem giving a sufficient conditionfor a germ to be finitely topologically determined. We explainthis condition below. Let N and P be two C manifolds. Consider the jet bundle J^k(N,P) with fiber J^k(n, p). Let z in J^k(n, p) and let f be suchthat z = j^kf(0). Define Whether (f) < k depends only on z, not on f. We can thereforedefine the set Let W^k(N, P) be the subbundle of J^k(N, P) with fiber W^k(n, p).Mather has constructed a finite Whitney (b)-regular stratificationS^k(n, p) of J^k(n, p) – W^k(n, p) such that all strata aresemialgebraic and K-invariant, having the property that if S^k(N,P) denotes the corresponding stratification of J^k(N, P) –W^k(N, P) and f C(N, P) is a C map such that j^kf is multitransverseto S^k(N, P), j^kf(N) W^k(N, P) = and N is compact (or f is proper),then f is topologically stable. For a map-germ f: (Rⁿ, 0) (R^p, 0), we define a certain ojasiewiczinequality. The inequality implies that there exists a representativef: U R^p such that j^kf(U – 0) W^k (Rⁿ, R^p = and suchthat j^kf is multitransverse to S^k (Rⁿ, R^p) at any finite setof points S U – 0. Moreover, the inequality controlsthe rate j^kf becomes non-transverse as we approach 0. We showthat if f satisfies this inequality, then f is finitely topologicallydetermined. 1991 Mathematics Subject Classification: 58C27.     

Damping Oscillatory Integrals with Polynomial Phase and Convolution Operators with the Affine Arclength Measure on Polynomial Curves in Rn

McMichael proved that the convolution with the (euclidean) arclengthmeasure supported on the curve t (t, t², ..., tⁿ), 0 < t< 1, maps L^p(Rⁿ) boundedly into L^p'(Rⁿ) if and only if 2n(n+1)/(n²+n+2) p 2. In proving this, a uniform estimate on damping oscillatoryintegrals with polynomial phase was crucial. In this paper,a remarkably simple proof of the same estimate on oscillatoryintegrals is presented. In addition, it is shown that the convolutionoperator with the affine arclength measure on any polynomialcurve in Rⁿ maps L^p(Rⁿ) boundedly into L^p'(Rⁿ) if p = 2n(n+1)/(n²+n+2).     

A Characterization of Fredholm Pseudo-Differential Operators

We give a necessary and sufficient condition on an ellipticsymbol of order m to ensure that the unique closed extensionin L^p(Rⁿ) for 1 < p < , of the pseudo-differential operatorT, initially defined on the Schwartz space, is a Fredholm operatorfrom L^p(Rⁿ) into L^p(Rⁿ) with domain H^{m, p}, where H^{m, p} is theL^p Sobolev space of order m.     

Spines and Embeddings of n-Manifolds

Every compact, connected PL manifold Mⁿ, with MⁿØ, collapsesto a codimension-one subpolyhedron Q^n–1, called a spineof Mⁿ. The purpose of this paper is to prove that, if Q^n–1is appropriately chosen, one can reconstruct Mⁿ from Q^n–1,after taking the Cartesian product with an interval I=[0, 1].     

UNIVERSAL SPACES OF TWO-CELL COMPLEXES AND THEIR EXPONENT BOUNDS

Let P²ⁿ⁺¹ be a two-cell complex which is formed by attachinga (2n + 1)-cell to a 2m-sphere by a suspension map. We constructa universal space U for P²ⁿ⁺¹ in the category of homotopy associative,homotopy commutative H-spaces. By universal, we mean that Uis homotopy associative, homotopy commutative and has the propertythat any map f: P²ⁿ⁺¹ Y to a homotopy associative, homotopycommutative H-space Y extends to a uniquely determined H-map: U Y. We then prove upper and lowerbounds of the H-homotopy exponent of U. In the case of a modp^r, Moore space U is the homotopy fibre S²ⁿ⁺¹{p^r} of the p^r-powermap on S²ⁿ⁺¹, and we reproduce Neisendorfer's result that S²ⁿ⁺¹{p^r}is homotopy associative, homotopy commutative and that the p^r-powermap on S²ⁿ⁺¹{p^r} is null homotopic.     

Smoothness Properties of the Unit Ball in a JB*-Triple

An element a of norm one in a JB^*-triple A is said to be smoothif there exists a unique element x in the unit ball A₁^* of thedual A^* of A at which a attains its norm, and is said to beFréchet-smooth if, in addition, any sequence (x_n) ofelements in A₁^* for which (x_n(a)) converges to one necessarilyconverges in norm to x. The sequence (a²ⁿ⁺¹) of odd powers ofa converges in the weak^*-topology to a tripotent u(a) in theJBW^*-envelope A^** of A. It is shown that a is smooth if andonly if u(a) is a minimal tripotent in A^** and a is Fréchet-smoothif and only if, in addition, u(a) lies in A.     

On 4-manifolds with zero-entropy metrics

We sharpen a recent result of Paternain and Petean by showingthat a closed 4-manifold which admits a Riemannian metric withzero topological entropy and infinite fundamental group eitheris aspherical or has a finite covering space homeomorphic toS³ x S¹ or S² x S¹ x S¹.     

Systems of cubic forms

We discuss the existence of rational and p-adic zeros of systemsof cubic forms. In particular, we prove that for p2 any systemof r cubic forms over Q_p in more than 125r³+705r²+210r variablesadmits a non-trivial p-adic zero, and that any system of r rationalcubic forms in more than O(r⁴ m⁶+r⁶ m⁵) variables admits a rationallinear space of zeros of dimension at least m.     

Hemisystems on the Hermitian Surface

The natural geometric setting of quadrics commuting with a Hermitiansurface of PG(3,q²), q odd, is adopted and a hemisystem on theHermitian surface H(3,q²) admitting the group P^–(4,q)is constructed, yielding a partial quadrangle PQ((q–1)/2,q²,(q–1)²/2) and a strongly regular graph srg((q³+1)(q+1)/2,(q²+1)(q–1)/2,(q–3)/2,(q–1)²/2).For q>3, no partial quadrangle or strongly regular graphwith these parameters was previously known, whereas when q=3,this is the Gewirtz graph. Thas conjectured that there are nohemisystems on H(3,q²) for q>3, so these are counterexamplesto his conjecture. Furthermore, a hemisystem on H(3,25) admitting3.A₇.2 is constructed. Finally, special sets (after Shult) andovoids on H(3,q²) are investigated.     

Local Rigidity of Infinite-Dimensional Teichmuller Spaces

This paper presents a rigidity theorem for infinite-dimensionalBergman spaces of hyperbolic Riemann surfaces, which statesthat the Bergman space A¹(M), for such a Riemann surface M,is isomorphic to the Banach space of summable sequence, l¹.This implies that whenever M and N are Riemann surfaces thatare not analytically finite, and in particular are not necessarilyhomeomorphic, then A¹(M) is isomorphic to A¹(N). It is knownfrom V. Markovic that if there is a linear isometry betweenA¹(M) and A¹(N), for two Riemann surfaces M and N of non-exceptionaltype, then this isometry is induced by a conformal mapping betweenM and N. As a corollary to this rigidity theorem presented here,taking the Banach duals of A¹(M) and l¹ shows that the spaceof holomorphic quadratic differentials on M, Q(M), is isomorphicto the Banach space of bounded sequences, l. As a consequenceof this theorem and the Bers embedding, the Teichmüllerspaces of such Riemann surfaces are locally bi-Lipschitz equivalent.     

Some questions about the dimension of a group action

This article discusses three families of groups: Z Zⁿ, PL(Iⁿ),and PL(Sⁿ) (the last two being the families of groups of piecewise-linearhomeomorphisms of standard n-dimensional spaces). It is shownthat for positive n N, Z Zⁿ embeds in PL(Iⁿ), which embedsin PL(Sⁿ). It is known that Z Z² fails to embed in PL(I¹),and this article extends that previous result to show that Z Z² also fails to embed in PL(S¹). The nature of the proofsof these embedding and non-embedding results hints that theremay be corresponding non-embedding results in higher dimensions.     

A p Interpolation in the Unit Ball

We study interpolating sequences in the unit ball for A^–pwith p > 0, the Banach space of holomorphic functions f with(1 – |z|²)^p |f(z)| bounded. The finite unions of A^–p-interpolatingsequences are characterized by a Carleson type condition.     

A Multilinear Extension Inequality In Rn

Sharp decay estimates are provided in this paper for sphericalaverages of a certain multilinear extension operator on L² (S^n–1)x ... x L² (S^n–1). 2000 Mathematics Subject Classification42B10.     

A Multiplicative Property of Quantum Flag Minors II

Let U⁺ be the plus part of the quantized enveloping algebraof a simple Lie algebra of type A_n and let B^* be the dual canonicalbasis of U⁺. Let b, b' be in B^*, and suppose that one of thetwo elements is a q-commuting product of quantum flag minors.It is shown that b and b' are multiplicative if and only ifthey q-commute.     

Harmonic morphisms on heaven spaces

We prove that any (real or complex) analytic horizontally conformalsubmersion from a three-dimensional conformal manifold (M³,c_M) to a two-dimensional conformal manifold (N², c_N) can be,locally, ‘extended’ to a unique harmonic morphismfrom the (eaven)-space (H⁴, g) of (M³, c_N) to (N², c_N). Moreover,any positive harmonic morphism with two-dimensional fibres from(H⁴, g) is obtained in this way.     

Optimal policy for a general repair replacement model: average reward case

For a general repair replacement model, we study two types ofreplacement policy.Replacement policy T replaces the systemat time T since the installation or last replacement, whilereplacement policy N replaces the system at the time of Nthfailure. Let T^* and N^* be the optimal among all policies T andN respectively. Under the expected average reward criterion,then we show that the optimal policy N^* is at least as goodas the optimal policy T^*. Furthermore, for a monotone processmodel, we determine the optimal policy N^* explicitly throughtwo different approaches.