On the extension of real regular embedding

Let X be a real nonsingular affine algebraic variety of dimensionk. It is proved that any two regular (algebraic) embeddingsX ⁿ are regularly equivalent, provided that n 4k + 2.     

An algebraic loop theorem and the decomposition of PD3-pairs

Let (Y, X) denote a three-dimensional Poincaré pair (PD³-pair).By the work of Eckmann, Müller and Linnell we may suppose,up to a homotopy equivalence, that the boundary X is a closed2-manifold. We show that if a component of X fails to be ₁-injectivein Y, then there is an essential simple loop in X which is nullhomotopicin Y. It follows that there is a finite process of attaching2-disks along essential simple loops on X, and filling sphericalcomponents of X, which transforms (Y, X) into a PD³-pair (Y',X') with aspherical incompressible boundary X' and such that₁(Y) = ₁(Y'). The PD³-pair (Y', X') then admits a canonicaldecomposition as a connected sum of a finite number of asphericalPD³-pairs with incompressible boundary, together with a PD³-pairhaving virtually free (possibly finite) fundamental group andboundary a (possibly empty) disjoint union of projective planes.     

Direct Sums of Operator Spaces

It is proved that if X and Y are operator spaces such that everycompletely bounded operator from X into Y is completely compactand Z is a completely complemented subspace of X Y, then thereexists a completely bounded automorphism : X Y X Y with completelybounded inverse such that Z = X₀ Y₀, where X₀ and Y₀ are completelycomplemented subspaces of X and Y, respectively. If X and Yare homogeneous, the existence is proved of such a under aweaker assumption that any operator from X to Y is strictlysingular. An upper estimate is obtained for ||||_cb||^–1||_cbif X and Y are separable homogeneous Hilbertian operator spaces.Also proved is the uniqueness of a ‘completely unconditional’basis in X Y if X and Y satisfy certain conditions.     

The Alternative Dunford-Pettis Property, Conjugations and Real Forms of C*-Algebras

Let be a conjugation, alias a conjugate linear isometry oforder 2, on a complex Banach space X and let X be the real formof X of -fixed points. In contrast to the Dunford–Pettisproperty, the alternative Dunford–Pettis property neednot lift from X to X. If X is a C^*-algebra it is shown thatX has the alternative Dunford–Pettis property if and onlyif X does and an analogous result is shown when X is the dualspace of a C^*-algebra. One consequence is that both Dunford–Pettisproperties coincide on all real forms of C^*-algebras.     

Essential Equivariant Maps and Borsuk-Ulam Theorems

A full characterization is given of those compact Lie groupsG with the property that every G-map XX on a finite-dimensionalG-complex X of finite orbit type, X^G = Ø, is (non-equivariantly)essential. For arbitrary G, conditions are given on the G-spaceX which guarantee this property. Finally, conditions are givenfor the non-existence of a G-map XY inducing a homotopy equivalenceX^GY^G on the fixed point sets. These results have applicationsto critical point theory of almost G-invariant functionals.     

Markov and Bernstein type Inequalities in Lp for Classes of Polynomials with Constraints

The Markov-type inequality is proved for all real algebraic polynomials f of degree atmost n having at most k, with 0 k n, zeros (counting multiplicities)in the open unit disk of the complex plane, and for all p >0, where c(p) = c^{p + 1}(l + p^–2) with some absolute constantc > 0. This inequality has been conjectured since 1983 whenthe L case of the above result was proved. It improves and generalizesmany earlier results. Up to the multiplicative constant c(p)>0 the above inequality is sharp. A sharp Bernstein-type analoguefor real trigonometric polynomials is also established, whichis interesting on its own, and plays a key role in the proofof the Markov-type inequality.     

Polynomial symplectomorphisms

Let be the field of real or complex numbers. Let (X ²ⁿ, )be a symplectic affine space. We study the group of polynomialsymplectomorphisms of X. We show that for an arbitrary k thegroup of polynomial symplectomorphisms acts k-transitively onX. Moreover, if 2 l 2n – 2 then elements of this groupcan be characterized by polynomial automorphisms which preservethe symplectic type of all algebraic l-dimensional subvarietiesof X.     

Constructible Functions on Artin Stacks

Let be an algebraically closed field, let X be a -variety,and let X() be the set of closed points in X. A constructibleset C in X() is a finite union of subsets Y() for subvarietiesY in X. A constructible function f : X() has f(X()) finiteand f^–1(c) constructible for all c 0. Write CF(X) forthe vector space of such f. Let : X Y and : Y Z be morphismsof -varieties. MacPherson defined a linear pushforward CF(): CF(X) CF(Y) by ‘integration’ with respect tothe topological Euler characteristic. It is functorial, thatis, CF( ) = CF() CF(). This was extended to of characteristiczero by Kennedy. This paper generalizes these results to -schemes and Artin -stackswith affine stabilizer groups. We define the notions of Eulercharacteristic for constructible sets in -schemes and -stacks,and pushforwards and pullbacks of constructible functions, withfunctorial behaviour. Pushforwards and pullbacks commute inCartesian squares. We also define pseudomorphisms, a generalizationof morphisms well suited to constructible functions problems.     

Effective Criteria for Birational Morphisms

The purpose of the paper is to illustrate how vanishing theoremscan be used to give effective criteria for a generically finitemorphism f :X Y of smooth complex projective algebraic varietiesto be birational. In particular, as a consequence of a non-vanishingtheorem of Kollár, it is shown that if Y is of generaltype and has generically large algebraic fundamental group,then f is birational if and only if P₂(X)=P₂(Y).     

The Banach Space B(l2) is Primary

We prove that if A is an injective operator system on l² andP is a completely bounded projection on A then either PA or(I–P)A is completely boundedly isomorphic to A. We alsoprove that if B(l²) is linearly homeomorphic to X Y then eitherX or Y is linearly homeomorphic to B(l²). Current address: Merton College, Oxford 0X1 4JD     

The Cone Length of a Product of Co-H-Spaces and a Problem of Ganea

It is proved that the cone length or strong category of a productof two co-H-spaces is less than or equal to two. This yieldsthe following positive solution to a problem of Ganea. Let _2p(S³) be an element of order p, p a prime 3, and let X(p)= S³e^2p+1. Then X(p) x X(p) is the mapping cone of some map : Y Z where Z is a suspension. 2000 Mathematics Subject Classification55M30, 55P50 (primary); 55P45 (secondary).     

The Uniqueness of the Prime Markoff Numbers

Given the Diophantine equation a²+b²+c²=3abc, a solution tripleof natural numbers (a, b, c) can be arranged in ascending orderso that abc. Then, given the largest element c, one can askwhether this uniquely determines the triple. This is referredto as the Markoff conjecture. The paper proves that, if c isprime, then there is indeed only one triple that solves theequation with c as the largest element. The proof uses onlystandard algebraic number theory, but it was prompted by geometricconsiderations.     

On a Topological Property of certain Calkin Algebras

Let X = 1^p, 1 p < , or X = c₀, B(X) be the algebra of allbounded linear operators on X, H(X) be the ideal of compactoperators in B(X), and C(X) = B(X)/H(X) be the Calkin algebraon X. For TB(X), let ||T||_c = dist(T, H(X)) be the essentialnorm of T that is the norm of T+H(X) in C(X). It is shown thatfor any operator TB(X) and any number 0 < t < 1, thereexists a closed infinite dimensional subspace Z Z X such that ||Tx|| t||T||_c, for all x Z. As a consequence, it is shown that every (not necessarily complete)submultiplicative norm on the Calkin algebra C(X) is equivalentto the quotient norm || ||_c on C(X).     

Bounding the number of stable homotopy types of a parametrized family of semi-algebraic sets defined by quadratic inequalities

We prove a nearly optimal bound on the number of stable homotopytypes occurring in a k-parameter semi-algebraic family of setsin R, each defined in terms of m quadratic inequalities. Ourbound is exponential in k and m, but polynomial in . More precisely,we prove the following. Let R be a real closed field and let = {P₁, ... , P_m} R[Y₁, ... ,Y,X₁, ... ,X_k], with deg_Y(P_i) 2, deg_X(P_i) d, 1 i m. Let S R^+k be a semi-algebraic set,defined by a Boolean formula without negations, with atoms ofthe form P 0, P 0, P . Let : R^+k R^k be the projection onthe last k coordinates. Then the number of stable homotopy typesamongst the fibers S_x = ^–1(x) S is bounded by (2^mkd)^O(mk).     

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.     

Multistep approximation of linear sectorial evolution equations

This paper concerns the linear multistep approximation of alinear sectorial evolution equation u_t = Au on a complex Banachspace X. Given a strictly A()-stable q-step method of orderp whose stability region includes a sectorial region containingthe spectrum of the operator A, the corresponding evolutionsemigroup for the method is Cⁿ(hA), n 0, defined on X^q, whereC(z) L (C^q) denotes the one-step map associated with the method.It is shown that for appropriately chosen V, Y: C C^q, basedon the principal right and left eigenvectors of C(z), Cⁿ(hA)approximates the semigroup V(hA)e^nhAY^H(hA) with optimal orderp.     

Coincidence and The Colouring of Maps

In [8, 6] it was shown that for each k and n such that 2k >n, there exists a contractible k-dimensional complex Y and acontinuous map : Sⁿ Y without the antipodal coincidence property,that is, (x)(–x) for all x Sⁿ. In this paper it is shownthat for each k and n such that 2k > n, and for each fixed-pointfree homeomorphism f of an n-dimensional paracompact Hausdorffspace X onto itself, there is a contractible k-dimensional complexY and a continuous map :X Y such that (x)(f(x)) for all xX.Various results along these lines are obtained. 1991 MathematicsSubject Classication 55M10, 54C05.     

Metric Entropy of Convex Hulls in Hilbert Spaces

We show in this note the following statement which is an improvementover a result of R. M. Dudley and which is also of independentinterest. Let X be a set of a Hilbert space with the propertythat there are constants , >0, and for each n N, the setX can be covered by at most n balls of radius n^–. Then,for each n N, the convex hull of X can be covered by 2ⁿ ballsof radius . The estimate is best possible for all n N, apart from the value c=c(, , X).In other words, let N(, X), >0, be the minimal number ofballs of radius covering the set X. Then the above result isequivalent to saying that if N(, X)=O(^–1/) as 0, thenfor the convex hull conv (X) of X, N(, conv (X)) =O(exp(^–2/(12))). Moreover, we give an interplay between several coveringparameters based on coverings by balls (entropy numbers) andcoverings by cylindrical sets (Kolmogorov numbers). 1991 MathematicsSubject Classification 41A46.     

A Generalised Skolem-Mahler-lech Theorem for Affine Varieties

The Skolem–Mahler–Lech theorem states that if f(n)is a sequence given by a linear recurrence over a field of characteristic0, then the set of m such that f(m) is equal to 0 is the unionof a finite number of arithmetic progressions in m 0 and afinite set. We prove that if X is a subvariety of an affinevariety Y over a field of characteristic 0 and q is a pointin Y, and is an automorphism of Y, then the set of m such that^m(q) lies in X is a union of a finite number of complete doubly-infinitearithmetic progressions and a finite set. We show that thisis a generalisation of the Skolem–Mahler–Lech theorem.     

Tjurina and Milnor Numbers of Matrix Singularities

To gain understanding of the deformations of determinants andPfaffians resulting from deformations of matrices, the deformationtheory of composites f F with isolated singularities is studied,where f : YC is a function with (possibly non-isolated) singularityand F : XY is a map into the domain of f, and F only is deformed.The corresponding T¹(F) is identified as (something like) thecohomology of a derived functor, and a canonical long exactsequence is constructed from which it follows that = µ(f F) – ß₀ + ß₁, where is the length of T¹(F) and ß_i is the lengthof Tor_i^O_Y(O_Y/J_f, O_X). This explains numerical coincidences observedin lists of simple matrix singularities due to Bruce, Tari,Goryunov, Zakalyukin and Haslinger. When f has Cohen–Macaulaysingular locus (for example when f is the determinant function),relations between and the rank of the vanishing homology ofthe zero locus of f F are obtained.