Gromov hyperbolicity of the and metrics

In this note it is shown that the metric is always Gromov hyperbolic, but that the metric is Gromov hyperbolic if and only if has exactly one boundary point. As a corollary we get a new proof for the fact that the quasihyperbolic metric is Gromov hyperbolic in uniform domains.

     

An ultrafilter with property

Let be a -supercompact cardinal. We show that carries a normal ultrafilter with a property introduced by Menas. With it we give a transparent proof of Kamo's theorem that carries a normal ultrafilter with the partition property.

     

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.

     

-bounding and -induction

Working in the base theory of , we show that for all , the bounding principle for -formulas ( ) is equivalent to the induction principle for -formulas ( ). This partially answers a question of J. Paris.

     

Automatic continuity of -derivations on -algebras

Let be a -algebra acting on a Hilbert space , let be a linear mapping and let be a -derivation. Generalizing the celebrated theorem of Sakai, we prove that if is a continuous -mapping, then is automatically continuous. In addition, we show the converse is true in the sense that if is a continuous --derivation, then there exists a continuous linear mapping such that is a --derivation. The continuity of the so-called - -derivations is also discussed.

     

Multiplicative bijections of

Let be a compact Hausdorff space which satisfies the first axiom of countability, let and let , be the set of all continuous functions from to If , ,is a bijective multiplicative map, then there exist a homeomorphism and a continuous map such that for all and for all

     

Spectral pictures of and

The spectral pictures of products and of Banach space operators are compared; in particular when one of them is `of index zero'.

     

Symplectic hypersurfaces in

We establish the uniqueness of the symplectic -manifolds which admit low degree symplectic embeddings into . We also discuss the uniqueness of the fundamental group of the complement of such embeddings into arbitrary symplectic -manifolds.

     

() does not coarsely embed into a Hilbert space

We show that a Banach space with a normalized symmetric basis behaving like that of () cannot coarsely embed into a Hilbert space.

     

A C-symplectic free -manifold with contractible orbits and

An interesting question in symplectic geometry concerns whether or not a closed symplectic manifold can have a free symplectic circle action with orbits contractible in the manifold. Here we present a c-symplectic example, thus showing that the problem is truly geometric as opposed to topological. Furthermore, we see that our example is the only known example of a c-symplectic manifold having non-trivial fundamental group and Lusternik-Schnirelmann category precisely half its dimension.

     

Sharply -transitive groups with point stabilizer of exponent or

Using the fact that all groups of exponent are nilpotent, we show that every sharply -transitive permutation group whose point stabilizer has exponent or is finite.

     

Degree of a holomorphic map between unit balls from to

Let be a rational proper holomorphic map between the unit ball in and the unit ball in Write

where and are holomorphic polynomials, with Recall that the degree of is defined by

   deg

In this paper, we give a bound estimate for the degree of improving the bound given by Forstneric (1989).

     

-adic -basis and regular local ring

We introduce the concept of -adic -basis as an extension of the concept of -basis. Let be a regular local ring of prime characteristic and a ring such that . Then we prove that is a regular local ring if and only if there exists an -adic -basis of and is Noetherian.

     

Hyperelliptic curves over of every -rank without extra automorphisms

We prove that for any pair of integers such that or 0$">, there exists a (hyper)elliptic curve over of genus and -rank whose automorphism group consists of only identity and the (hyper)elliptic involution. As an application, we prove the existence of principally polarized abelian varieties over of dimension and -rank such that .

     

A minimal pair of -degrees

We construct a minimal pair of -degrees. We do this by showing the existence of an unbounded nondecreasing function which forces -triviality in the sense that is -trivial if and only if for all , .

     

for commutative rings with identity

Let , , , , be the usual operators on classes of rings: and for isomorphic and homomorphic images of rings and , , respectively for subrings, direct, and subdirect products of rings. If is a class of commutative rings with identity (and in general of any kind of algebraic structures), then the class is known to be the variety generated by the class . Although the class is in general a proper subclass of the class for many familiar varieties . Our goal is to give an example of a class of commutative rings with identity such that . As a consequence we will describe the structure of two partially ordered monoids of operators.

     

-invariant subspaces of

In this note, we give a new proof of the characterization of the -invariant subspaces of for in using ideas from approximation theory.     

Linear series over real and -adic fields

We note that the degeneration arguments given by the author in 2003 to derive a formula for the number of maps from a general curve of genus to with prescribed ramification also yields weaker results when working over the real numbers or -adic fields. Specifically, let be such a field: we see that given , , , and satisfying , there exists smooth curves of genus together with points such that all maps from to can, up to automorphism of the image, be defined over . We also note that the analagous result will follow from maps to higher-dimensional projective spaces if it is proven in the case , , and that thanks to work of Sottile, unconditional results may be obtained for special ramification conditions.

     

The Lipschitz free Banach spaces of -spaces

The aim of this note is to prove that if is any infinite metric compact space, then the Lipschitz free spaces of and are isomorphic. This gives an example of non-Lipschitz-homeomorphic Banach spaces whose free Lipschitz spaces are isomorphic. We also derive some results about Lipschitz homogeneity for Banach spaces, from the results of G. Godefroy and N. J. Kalton on Lipschitz free Banach spaces.

     

-theory of -pseudo-differential algebras

We are concerned with the so-called -pseudo-differential calculus. We describe the spectrum of the unital and commutative -algebra given by the norm closure of the space of -order pseudo-differential operators modulo compact operators; other related algebras are also considered. Finally, their -theory is computed.