Local automorphisms and derivations on certain -algebras

It is shown that continuous -local derivations on -algebras are derivations and surjective -local *-automorphisms on prime -algebras or on -algebras such that the identity element is properly infinite are *-automorphisms.

     

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.

     

Products of images

Let be the \u{C}ech-Stone remainder . We show that there exists a large class of images of such that whenever is a subset of of cardinality at most the continuum, then is again an image of . The class contains all separable compact spaces, all compact spaces of weight at most and all perfectly normal compact spaces.

     

Functional calculus and -regularity of a class of Banach algebras

Suppose that is a -dynamical system such that is of polynomial growth. If is finite dimensional, we show that any element in has slow growth and that is -regular. Furthermore, if is discrete and is a ``nice representation' of , we define a new Banach -algebra which coincides with when is finite dimensional. We also show that any element in has slow growth and is -regular.

     

Spaces on which every pointwise convergent series of continuous functions converges pseudo-normally

A topological space is a -space provided that, for every sequence of continuous functions from to , if the series converges pointwise, then it converges pseudo-normally. We show that every regular Lindelöf -space has the Rothberger property. We also construct, under the continuum hypothesis, a -subset of of cardinality continuum.

     

Computational estimation of the constant

The paper describes a computational estimation of the constant characterizing the bounds of . It is known that as

with , while the truth of the Riemann hypothesis would also imply that . In the range , two sets of estimates of are computed, one for increasingly small minima and another for increasingly large maxima of . As increases, the estimates in the first set rapidly fall below and gradually reach values slightly below , while the estimates in the second set rapidly exceed and gradually reach values slightly above . The obtained numerical results are discussed and compared to the implications of recent theoretical work of Granville and Soundararajan.

     

A new subcontinuum of

We present a method for describing all indecomposable subcontinua of . This method enables us to construct in a new subcontinuum of .

We also show that the nontrivial layers of standard subcontinua can be described by our method. This allows us to construct a layer with a proper dense -subset and bring the number of (known) nonhomeomorphic subcontinua of to 14.

     

On the correlations of directions in the Euclidean plane

Let denote the repartition of the -level correlation measure of the finite set of directions , where is the fixed point and is an integer lattice point in the square . We show that the average of the pair correlation repartition over in a fixed disc converges as . More precisely we prove, for every and , the estimate

We also prove that for each individual point , the -level correlation diverges at any point as , and we give an explicit lower bound for the rate of divergence.

     

Curves of genus 2 with group of automorphisms isomorphic to or

The classification of curves of genus 2 over an algebraically closed field was studied by Clebsch and Bolza using invariants of binary sextic forms, and completed by Igusa with the computation of the corresponding three-dimensional moduli variety . The locus of curves with group of automorphisms isomorphic to one of the dihedral groups or is a one-dimensional subvariety.

In this paper we classify these curves over an arbitrary perfect field of characteristic in the case and in the case. We first parameterize the -isomorphism classes of curves defined over by the -rational points of a quasi-affine one-dimensional subvariety of ; then, for every curve representing a point in that variety we compute all of its -twists, which is equivalent to the computation of the cohomology set .

The classification is always performed by explicitly describing the objects involved: the curves are given by hyperelliptic models and their groups of automorphisms represented as subgroups of . In particular, we give two generic hyperelliptic equations, depending on several parameters of , that by specialization produce all curves in every -isomorphism class.

     

The braid index is not additive for the connected sum of 2-knots

Any -dimensional knot can be presented in a braid form, and its braid index, , is defined. For the connected sum of -knots and , it is easily seen that holds. Birman and Menasco proved that the braid index (minus one) is additive for the connected sum of -dimensional knots; the equality holds for -knots. We prove that the equality does not hold for -knots unless or is a trivial -knot. We also prove that the -knot obtained from a granny knot by Artin's spinning is of braid index , and there are infinitely many -knots of braid index .

     

Exactness of one relator groups

A discrete group is -exact if the reduced crossed product with converts a short exact sequence of --algebras into a short exact sequence of -algebras. A one relator group is a discrete group admitting a presentation where is a countable set and is a single word over . In this short paper we prove that all one relator discrete groups are -exact. Using the Bass-Serre theory we also prove that a countable discrete group acting without inversion on a tree is -exact if the vertex stabilizers of the action are -exact.

     

A note on the spectrum of an upper triangular operator matrix

Let be a upper triangular operator matrix acting on the Banach space . We investigate the set of the operators for which , where denotes the spectrum.

     

The sufficiency of arithmetic progressions for the Conjecture

Define by if is odd and if is even. The Conjecture states that the -orbit of every positive integer contains . A set of positive integers is said to be sufficient if the -orbit of every positive integer intersects the -orbit of an element of that set. Thus to prove the Conjecture it suffices to prove it on some sufficient set. Andaloro proved that the sets are sufficient for and asked if is also sufficient for larger values of . We answer this question in the affirmative by proving the stronger result that is sufficient for any nonnegative integers and with i.e. every nonconstant arithmetic sequence forms a sufficient set. We then prove analagous results for the Divergent Orbits Conjecture and Nontrivial Cycles Conjecture.

     

On weak

A bounded sequence of functions in which converges in measure on a set of positive measure of the unit circle converges weak. An example is given to show that weak convergence cannot be replaced by weak convergence.

     

Global properties of the lattice of classes

Let be the lattice of classes of reals. We show there are exactly two possible isomorphism types of end intervals, . Moreover, finiteness is first order definable in .

     

The -PIP and integrability of a single function

Two examples are given that answer in the negative the following question asked by E. M. Bator: If is bounded and weakly measurable and for each in there is a bounded sequence in such that a.e., does it follow that is Pettis integrable?

     

A Fejér type theorem to determine jumps in terms of the Abel-Poisson mean of double Fourier series

We extend from single to double Fourier series a theorem of Zygmund to determine the generalized jumps of a periodic integrable function at a simple discontinuity point. As a by-product of the proof, we obtain an estimate of the fourth mixed partial derivative of the Abel-Poisson mean of any integrable function at such a point where is smooth. We also consider the extension of the Zygmund classes and to the two-dimensional torus .

     

A reduction theorem for the topological degree for mappings of class

The reduction theorem for the Leray-Schauder degree provides an efficient tool to calculate the value of the degree in a suitable invariant subspace. We shall prove how the calculation of the value of the topological degree for a mapping of class from a real separable reflexive Banach space into the dual space can be reduced into the calculation of degree of mapping from a closed subspace into Since the Leray-Schauder mappings are acting from to and we are dealing with mappings from to the standard `invariant subspace' condition must be replaced by a less obvious one.