Cyclic torsion of elliptic curves

Let be an elliptic curve over a number field such that
and let denote the number of roots of unity in . Ross proposed a question: Is isogenous over to an elliptic curve such that is cyclic of order dividing ? A counter-example of this question is given. We show that is isogenous to such that . In case has complex multiplication and , we obtain certain criteria whether or not is isogenous to such that .

     

Extremal points of a functional on the set of convex functions

We investigate the extremal points of a functional , for a convex or concave function . The admissible functions are convex themselves and satisfy a condition . We show that the extremal points are exactly and if these functions are convex and coincide on the boundary . No explicit regularity condition is imposed on , , or . Subsequently we discuss a number of extensions, such as the case when or are non-convex or do not coincide on the boundary, when the function also depends on , etc.

     

On a theorem of Scott and Swarup

Let be an exact sequence of hyperbolic groups induced by an automorphism of the free group . Let be a finitely generated distorted subgroup of . Then there exist and a free factor of such that the conjugacy class of is preserved by and contains a finite index subgroup of a conjugate of . This is an analog of a theorem of Scott and Swarup for surfaces in hyperbolic 3-manifolds.

     

The Weierstrass approximation theorem and a characterization of the unit circle

We study real algebraic morphisms from nonsingular real algebraic varieties with into nonsingular real algebraic curves . We show, among other things, that the set of real algebraic morphisms from into is never dense in the space of all maps from into , unless is biregularly isomorphic to a Zariski open subset of the unit circle.

     

On the excess of sets of complex exponentials

For let be complex numbers such that is bounded. For define , where . Then the excesses in the sense of Paley and Wiener satisfy .

     

Function algebras and the lattice of compactifications

We provide some conditions as to when for two locally compact spaces and (where is the lattice of all Hausdorff compactifications of ). More specifically, we prove that if and only if . Using this result, we prove several extensions to the case where is embedded as a sub-lattice of and to where and are not locally compact.

One major contribution is in the use of function algebra techniques. The use of these techniques makes the extensions simple and clean and brings new tools to the subject.

     

On the asymptotic stability in functional differential equations

Consider a system of functional differential equations where is the vector-valued functional. The classical asymptotic stability result for such a system calls for a positive definite functional and negative definite functional . In applications one can construct a positive definite functional , whose derivative is not negative definite but is less than or equal to zero. Exactly for such cases J. Hale created the effective asymptotic stability criterion if the functional in functional differential equations is autonomous ( does not depend on ), and N. N. Krasovskii created such criterion for the case where the functional is periodic in . For the general case of the non-autonomous functional V. M. Matrosov proved that this criterion is not right even for ordinary differential equations. The goal of this paper is to prove this criterion for the case when is almost periodic in . This case is a particular case of the class of non-autonomous functionals.

     

Bousfield localizations of classifying spaces of nilpotent groups

Let be a finitely generated nilpotent group. The object of this paper is to identify the Bousfield localization of the classifying space with respect to a multiplicative complex oriented homology theory . We show that is the same as the localization of with respect to the ordinary homology theory determined by the ring .

     

A central limit theorem for Markov chains and applications to hypergroups

Let be a homogeneous Markov chain on an unbounded Borel subset of with a drift function which tends to a limit at infinity. Under a very simple hypothesis on the chain we prove that converges in distribution to a normal law where the variance depends on the asymptotic behaviour of . When goes to zero quickly enough and , the random centering may be replaced by These results are applied to the case of random walks on some hypergroups.

     

Remarkable asymmetric random walks

There exists an asymmetric probability measure on the real line with for every . can be chosen absolutely continuous and can be chosen to be concentrated on the integers. In both cases, can be chosen to have moments of every order, but cannot be determined by its moments.

     

The Furuta inequality with negative powers

Let be bounded linear operators on a Hilbert space satisfying . Furuta showed the operator inequality
as long as positive real numbers satisfy and . In this paper, we show this inequality is valid if negative real numbers satisfy a certain condition. Also, we investigate the optimality of that condition.

     

On symmetry of discrete polynomial hypergroups

Let be a discrete polynomial hypergoup on with Plancherel measure If the hypergroup is symmetric, the set of characters can be identified with a compact subset of the real line which contains the support of We show that the lower and upper bounds of and coincide. In particular, the trivial character belongs to the support of the Plancherel measure.

     

Finite generation of powers of ideals

Suppose is a maximal ideal of a commutative integral domain and that some power of is finitely generated. We show that is finitely generated in each of the following cases: (i) is of height one, (ii) is integrally closed and , (iii) is a monoid domain over a field , where is a cancellative torsion-free monoid such that , and is the maximal ideal . We extend the above results to ideals of a reduced ring such that is Noetherian. We prove that a reduced ring is Noetherian if each prime ideal of has a power that is finitely generated. For each with , we establish existence of a -dimensional integral domain having a nonfinitely generated maximal ideal of height such that is -generated.

     

Lusin's theorem for derivatives with respect to a continuous function

For a nowhere constant continuous function on a real interval and for a Borel measure on , we give simple necessary and sufficient conditions guaranteeing, for any Borel function on , the existence of a continuous function on such that the derivative of with respect to is, almost everywhere, equal to .

     

Relative Brauer groups of discrete valued fields

Let be a non-trivial finite Galois extension of a field . In this paper we investigate the role that valuation-theoretic properties of play in determining the non-triviality of the relative Brauer group, , of over . In particular, we show that when is finitely generated of transcendence degree 1 over a -adic field and is a prime dividing , then the following conditions are equivalent: (i) the -primary component, , is non-trivial, (ii) is infinite, and (iii) there exists a valuation of trivial on such that divides the order of the decomposition group of at .

     

Sharper changes in topologies

Let be a Polish group, a Polish topology on a space , acting continuously on , with -invariant and in the Borel algebra generated by . Then there is a larger Polish topology on so that is open with respect to , still acts continuously on , and has a basis consisting of sets that are of the same Borel rank as relative to .

     

Projections from

Let and be two infinite dimensional real Banach spaces. The following question is classical and long-standing. Are the following properties equivalent?

a) There exists a projection from the space of continuous linear operators onto the space of compact linear operators.

b) .

The answer is positive in certain cases, in particular if or has an unconditional basis. It seems that there are few results in the direction of a general solution. For example, suppose that and are reflexive and that or has the approximation property. Then, if , there is no projection of norm 1, from onto . In this paper, one obtains, in particular, the following result:

Theorem. Let be a real Banach space which is reflexive (resp. with a separable dual), of infinite dimension, and such that has the approximation property. Let be a real scalar with . Then can be equivalently renormed such that, for any projection from onto , one has . One gives also various results with two spaces and .

     

Sets of range uniqueness for classes of continuous functions

Diamond, Pomerance and Rubel (1981) proved that there are subsets of the complex plane such that for any two entire functions and if , then . Baraducci and Dikranjan showed in 1993 that the continuum hypothesis (CH) implies the existence of a similar set for the class of continuous nowhere constant functions from to , while it follows from the results of Burke and Ciesielski (1997) and Ciesielski and Shelah that the existence of such a set is not provable in ZFC. In this paper we will show that for several well-behaved subclasses of , including the class of differentiable functions and the class of absolutely continuous functions, a set with the above property can be constructed in ZFC. We will also prove the existence of a set with the dual property that for any if , then .

     

On a problem of Dynkin

Consider an -superdiffusion on , where is an uniformly elliptic differential operator in , and . The -polar sets for are subsets of which have no intersection with the graph of , and they are related to the removable singularities for a corresponding nonlinear parabolic partial differential equation. Dynkin characterized the -polarity of a general analytic set in term of the Bessel capacity of , and Sheu in term of the restricted Hausdorff dimension. In this paper we study in particular the -polarity of sets of the form , where and are two Borel subsets of and respectively. We establish a relationship between the restricted Hausdorff dimension of and the usual Hausdorff dimensions of and . As an application, we obtain a criterion for -polarity of in terms of the Hausdorff dimensions of and , which also gives an answer to a problem proposed by Dynkin in the 1991 Wald Memorial Lectures.

     

On sums and products of integers

Erdös and Szemerédi proved that if is a set of positive integers, then there must be at least integers that can be written as the sum or product of two elements of , where is a constant and . Nathanson proved that the result holds for . In this paper it is proved that the result holds for and .