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.

     

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

     

Eigenvalues of scaling operators and a characterization of -splines

A finitely supported sequence that sums to defines a scaling operator on functions a transition operator on sequences and a unique compactly supported scaling function that satisfies normalized with It is shown that the eigenvalues of on the space of compactly supported square-integrable functions are a subset of the nonzero eigenvalues of the transition operator on the space of finitely supported sequences, and that the two sets of eigenvalues are equal if and only if the corresponding scaling function is a uniform -spline.

     

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.

     

() 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.

     

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).

     

Real

The famous problem involves applying two maps: and to positive integers. If is even, one applies , if it is odd, one applies . The conjecture states that each trajectory of the system arrives to the periodic orbit . In this paper, instead of choosing each time which map to apply, we allow ourselves more freedom and apply both and independently of . That is, we consider the action of the free semigroup with generators and on the space of positive real numbers. We prove that this action is minimal (each trajectory is dense) and that the periodic points are dense. Moreover, we give a full characterization of the group of transformations of the real line generated by and .

     

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.

     

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

     

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.

     

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.

     

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 .

     

Semi-continuity of metric projections in -direct sums

Let be a proximinal subspace of finite codimension of . We show that is proximinal in and the metric projection from onto is Hausdorff metric continuous. In particular, this implies that the metric projection from onto is both lower Hausdorff semi-continuous and upper Hausdorff semi-continuous.

     

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 .

     

Lightface -indescribable cardinals

-absoluteness for forcing means that for any forcing , . `` inaccessible to reals' means that for any real , . To measure the exact consistency strength of `` -absoluteness for forcing and is inaccessible to reals', we introduce a weak version of a weakly compact cardinal, namely, a (lightface) -indescribable cardinal; has this property exactly if it is inaccessible and .

     

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.

     

A prediction problem in

For a nonnegative integrable weight function on the unit circle , we provide an expression for , in terms of the series coefficients of the outer function of , for the weighted distance , where is the normalized Lebesgue measure and ranges over trigonometric polynomials with frequencies in , , . The problem is open for .

     

Properly -realizable groups

A finitely presented group is said to be properly -realizable if there exists a compact -polyhedron with and whose universal cover has the proper homotopy type of a (p.l.) -manifold with boundary. In this paper we show that, after taking wedge with a -sphere, this property does not depend on the choice of the compact -polyhedron with . We also show that (i) all -ended and -ended groups are properly -realizable, and (ii) the class of properly -realizable groups is closed under amalgamated free products (HNN-extensions) over a finite cyclic group (as a step towards proving that -ended groups are properly -realizable, assuming -ended groups are).

     

Remarks on spectra and multipliers for convolution operators

We prove that the spectrum of a convolution operator on a locally compact group by a self-adjoint -function is the same on and and consequently on all spaces, if and only if a Beurling algebra contains non-analytic functions on operating on into .

     

New properties of Mrowka's space

We extend the technique of Mrowka to show that his space has the property that dim while ind , assuming his extra set-theoretic hypothesis. We also show that is compact, so assuming the extra axiom, there is an compact metric space with no compact completion.