An example in holomorphic fixed point theory

If is the open unit ball in the Cartesian product furnished with the -norm , where and , then a holomorphic self-mapping of has a fixed point if and only if for some

     

Approximate fixed point sequences and convergence theorems for Lipschitz pseudocontractive maps

Let be a nonempty closed convex subset of a real Banach space and be a Lipschitz pseudocontractive self-map of with . An iterative sequence is constructed for which as . If, in addition, is assumed to be bounded, this conclusion still holds without the requirement that Moreover, if, in addition, has a uniformly Gâteaux differentiable norm and is such that every closed bounded convex subset of has the fixed point property for nonexpansive self-mappings, then the sequence converges strongly to a fixed point of . Our iteration method is of independent interest.

     

Lifts of - and -morphisms to -morphisms

Let be the Hochschild complex of cochains on and let be the space of multivector fields on . In this paper we prove that given any -structure (i.e. Gerstenhaber algebra up to homotopy structure) on , and any -morphism (i.e. morphism of a commutative, associative algebra up to homotopy) between and , there exists a -morphism between and that restricts to . We also show that any -morphism (i.e. morphism of a Lie algebra up to homotopy), in particular the one constructed by Kontsevich, can be deformed into a -morphism, using Tamarkin's method for any -structure on . We also show that any two of such -morphisms are homotopic.

     

A zero topological entropy map with recurrent points not

We show that there is a continuous map of the unit interval into itself of type which has a trajectory disjoint from the set of recurrent points of , but contained in the closure of . In particular, is not closed. A function of type , with nonclosed set of recurrent points, was found by H. Chu and J. Xiong [Proc. Amer. Math. Soc. 97 (1986), 361-366]. However, there is no trajectory contained in , since any point in is eventually mapped into . Moreover, our construction is simpler.

We use to show that there is a continuous map of the interval of type for which the set of recurrent points is not an set. This example disproves a conjecture of A. N. Sharkovsky et al., from 1989. We also provide another application of .

     

Avoiding the projective hierarchy in expansions of the real field by sequences

Some necessary conditions are given on infinitely oscillating real functions and infinite discrete sets of real numbers so that first-order expansions of the field of real numbers by such functions or sets do not define . In particular, let be such that , as for some , is o-minimal, and the expansion of by the set does not define . Then there exist 0$"> and such that as .

     

Graphs that are not complete pluripolar

Let be domains in . Under very mild conditions on we show that there exist holomorphic functions , defined on with the property that is nowhere extendible across , while the graph of over is not complete pluripolar in . This refutes a conjecture of Levenberg, Martin and Poletsky (1992).

     

Equicompact sets of operators defined on Banach spaces

Let and be Banach spaces. We say that a set denotes the space of all compact operators from into ) is equicompact if there exists a null sequence in such that for all and all . It is easy to show that collectively compactness and equicompactness are dual concepts in the following sense: is equicompact iff is collectively compact. We study some properties of equicompact sets and, among other results, we prove: 1) a set is equicompact iff each bounded sequence in has a subsequence such that is a converging sequence uniformly for ; 2) if does not have finite cotype and is a maximal equicompact set, then, given and a finite set in , there is an operator such that for and all .

     

On sums of powers of inverse complete quotients

For an irrational number , let denote its -th continued fraction inverse complete quotient, obtained by deleting the first partial quotients. For any positive real number , we establish the optimal linear bound on the sum of the -th powers of the first complete quotients. That is, we find the smallest constants such that for all and all irrationals .

     

Critical exponents of discrete groups and -spectrum

Let be a noncompact semisimple Lie group and an arbitrary discrete, torsion-free subgroup of . Let be the bottom of the spectrum of the Laplace-Beltrami operator on the locally symmetric space , and let be the exponent of growth of . If has rank , then these quantities are related by a well-known formula due to Elstrodt, Patterson, Sullivan and Corlette. In this note we generalize that relation to the higher rank case by estimating from above and below by quadratic polynomials in . As an application we prove a rigiditiy property of lattices.

     

Exponential growth of Lie algebras of finite global dimension

Let be a connected finite type graded Lie algebra. If dim and gldim , then log index . If, moreover, , then for some ,    dim where log index as

     

Interpolation between and

We show that if is a rearrangement invariant space on that is an interpolation space between and and for which we have only a one-sided estimate of the Boyd index 1/p, 1 < p < \infty$">, then is an interpolation space between and . This gives a positive answer for a question posed by Semenov. We also present the one-sided interpolation theorem about operators of strong type and weak type .

     

Bernstein-Walsh inequalities and the exponential curve in

It is shown that for the pluripolar set in there is a global Bernstein-Walsh inequality: If is a polynomial of degree on and on , this inequality gives an upper bound for which grows like . The result is used to obtain sharp estimates for .

     

Real rank and squaring mappings for unital -algebras

It is proved that if is a compact Hausdorff space of Lebesgue dimension , then the squaring mapping , defined by , is open if and only if . Hence the Lebesgue dimension of can be detected from openness of the squaring maps . In the case it is proved that the map , from the selfadjoint elements of a unital -algebra into its positive elements, is open if and only if is isomorphic to for some compact Hausdorff space with .

     

The -exponent of the -local spectrum

Let be a fixed odd prime. In this paper we prove an exponent conjecture of Bousfield, namely that the -exponent of the spectrum is for . It follows from this result that the -exponent of is at least for and , where denotes the -connected cover of .

     

Codes over rings of size four, Hermitian lattices, and corresponding theta functions

Let be an imaginary quadratic field with ring of integers , where is a square free integer such that , and let is a linear code defined over . The level theta function of is defined on the lattice , where is the natural projection. In this paper, we prove that:

i) for any such that , and have the same coefficients up to ,

ii) for , determines the code uniquely,

iii) for , there is a positive dimensional family of symmetrized weight enumerator polynomials corresponding to .

     

A note on Besov regularity of layer potentials and solutions of elliptic PDE's

Let be a second order, (variable coefficient) elliptic differential operator and let , , 0$">, satisfy in the Lipschitz domain . We show that can exhibit more regularity on Besov scales for which smoothness is measured in with . Similar results are valid for functions representable in terms of layer potentials.

     

Radicals and Plotkin's problem concerning geometrically equivalent groups

If and are groups and is a normal subgroup of , then the -closure of in is the normal subgroup of . In particular, is the -radical of . Plotkin calls two groups and geometrically equivalent, written , if for any free group of finite rank and any normal subgroup of the -closure and the -closure of in are the same. Quasi-identities are formulas of the form for any words in a free group. Generally geometrically equivalent groups satisfy the same quasi-identities. Plotkin showed that nilpotent groups and satisfy the same quasi-identities if and only if and are geometrically equivalent. Hence he conjectured that this might hold for any pair of groups. We provide a counterexample.

     

Gaussian curvature in the negative case

In this paper, we reinvestigate an old problem of prescribing Gaussian curvature in the negative case.

In 1974, Kazdan and Warner considered the equation

on any compact two dimensional manifold with . They showed that there exists a number , such that the equation is solvable for every \alpha > \alpha_o$"> and it is not solvable for .

Then one may naturally ask:

Is the equation solvable for ?

In this paper, we answer the question affirmatively. We show that there exists at least one solution for .

     

On the invariance of classes under composition

The necessary and sufficient condition for to be in the class for every of that class whose range is in the domain of is that be in .

     

On Allee effects in structured populations

Maps of the nonnegative cone of into itself are considered where are nonnegative, primitive matrices with nondecreasing entries and at least one increasing entry. Let denote the dominant eigenvalue of and . These maps are shown to exhibit a dynamical trichotomy. First, if , then for all nonzero . Second, if , then for all . Finally, if and 1$">, then there exists a compact invariant hypersurface separating . For below , , while for above, . An application to nonlinear Leslie matrices is given.