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.

     

An application of Ramsey's Theorem to the Banach Contraction Principle

One of the most fundamental fixed-point theorems is Banach's Contraction Principle, of which the following conjecture is a generalization.

Generalized Banach Contraction Conjecture (GBCC). Let be a self-map of a complete metric space , and let . Let be a positive integer. Assume that for each pair , . Then has a fixed point.

Unlike Banach's original theorem (the case ), the above hypothesis does not compel to be continuous. In this paper we use Ramsey's Theorem from combinatorics to establish the GBCC for arbitrary in the case when is assumed to be continuous, and also derive a result which enables us to prove the GBCC when without the assumption of continuity; it is known that the case includes instances where is not continuous.

     

The strong radical and finite-dimensional ideals

Let be a semi-prime Banach algebra with strong radical (intersection of its two-sided modular maximal ideals). A minimal left or right ideal of is infinite-dimensional if and only if . Thus all minimal one-sided ideals in are finite-dimensional if is strongly semi-simple.

     

The range of operators on von Neumann algebras

We prove that for every bounded linear operator , where is a non-reflexive quotient of a von Neumann algebra, the point spectrum of is non-empty (i.e., for some the operator fails to have dense range). In particular, and as an application, we obtain that such a space cannot support a topologically transitive operator.

     

On the irreducibility of the iterates of

Let be a field and suppose that is irreducible in . We discuss the following question: under what conditions are all iterates of irreducible over ?

     

A question of B. Plotkin about the semigroup of endomorphisms of a free group

Let be a free group of finite rank , let be the semigroup of endomorphisms of , and let be the group of automorphisms of .

Theorem. If is an automorphism of , then there is an such that for all .

     

Set-theoretic complete intersections on binomials

Let be an affine toric variety of codimension over a field of any characteristic. We completely characterize the affine toric varieties that are set-theoretic complete intersections on binomials. In particular we prove that in the characteristic zero case, is a set-theoretic complete intersection on binomials if and only if is a complete intersection. Moreover, if are binomials such that , then . While in the positive characteristic case, is a set-theoretic complete intersection on binomials if and only if is completely -glued.

These results improve and complete all known results on these topics.

     

Van der Waerden spaces

A topological space is van der Waerden if for every sequence in there exists a converging subsequence so that contains arbitrarily long finite arithmetic progressions. Not every sequentially compact space is van der Waerden. The product of two van der Waerden spaces is van der Waerden.

The following condition on a Hausdorff space is sufficent for to be van der Waerden:

The closure of every countable set in is compact and first-countable.

A Hausdorff space that satisfies satisfies, in fact, a stronger property: for every sequence in :

There exists so that is converging, and contains arbitrarily long finite arithmetic progressions and sets of the form for arbitrarily large finite sets .

There are nonmetrizable and noncompact spaces which satisfy . In particular, every sequence of ordinal numbers and every bounded sequence of real monotone functions on satisfy .

     

On the absolute continuity of a class of invariant measures

Let be a compact connected subset of , let , be contractive self-conformal maps on a neighborhood of , and let be a family of positive continuous functions on . We consider the probability measure that satisfies the eigen-equation

for some 0$">. We prove that if the attractor is an -set and is absolutely continuous with respect to , the Hausdorff -dimensional measure restricted on the attractor , then is absolutely continuous with respect to (i.e., they are equivalent). A special case of the result was considered by Mauldin and Simon (1998). In another direction, we also consider the -property of the Radon-Nikodym derivative of and give a condition for which is unbounded.

     

Subgroup growth in some pro- groups

For a group let be the number of subgroups of index and let be the number of normal subgroups of index . We show that for 2$">. If and does not divide or if and or , we show that for all sufficiently large . On the other hand if and divides , then is not even bounded as a function of .

     

Composition of inner mappings on the ball

Suppose that is an inner map and that . We show that the identity

holds with an abstract boundary value . If the natural compatibility condition is satisfied, then . Here, denotes the image of the surface measure on under . In particular, is inner if and are inner and . Furthermore, we characterize the boundedness of composition operators on Hardy spaces in terms of the absolute continuity of .

     

On one problem of uniqueness of meromorphic functions concerning small functions

In this paper, we show that if two non-constant meromorphic functions and satisfy for , where are five distinct small functions with respect to and , and is a positive integer or with , then . As a special case this also answers the long-standing problem on uniqueness of meromorphic functions concerning small functions.

     

On classes of maps which preserve finitisticness

We shall prove the following: Let be a refinable map between paracompact spaces. Then is finitistic if and only if is finitistic. Let be a hereditary shape equivalence between metric spaces. Then if is finitistic, is finitistic.

     

A global pinching theorem for surfaces with constant mean curvature in

Let be a compact immersed surface in the unit sphere with constant mean curvature . Denote by the linear map from into , , where is the linear map associated to the second fundamental form and is the identity map. Let denote the square of the length of . We prove that if , then is either totally umbilical or an -torus, where is a constant depending only on the mean curvature .

     

Schur orthogonality relations and invariant sesquilinear forms

Important connections between the representation theory of a compact group and are summarized by the Schur orthogonality relations. The first part of this work is to generalize these relations to all finite-dimensional representations of a connected semisimple Lie group The second part establishes a general framework in the case of unitary representations of a separable locally compact group. The key step is to identify the matrix coefficient space with a dense subset of the Hilbert-Schmidt endomorphisms on .

     

LCM-splitting sets in some ring extensions

Let be a saturated multiplicative set of an integral domain . Call an lcm splitting set if and are principal ideals for every and . We show that if is an -stable overring of (that is, if whenever and is principal, it follows that and if is an lcm splitting set of , then the saturation of in is an lcm splitting set in . Consequently, if is Noetherian and is a (nonzero) prime element, then is also a prime element of the integral closure of . Also, if is Noetherian, is generated by prime elements of and if the integral closure of is a UFD, then so is the integral closure of .

     

On the maximal inequalities for martingales involving two functions

Let and be nonnegative convex functions, and let and be the right continuous derivatives of and respectively. In this paper, we prove the equivalence of the following three conditions: (i) (ii) and (iii) s_0,$">where and are the Orlicz martingale spaces. As a corollary, we get a sufficient and necessary condition under which the extension of Doob's inequality holds. We also discuss the converse inequalities.

     

Hilbert transform of

There are two general ways to evaluate the Hilbert transform of a function of real variable . We can extend to a harmonic function in the upper half plane by the Poisson integral formula. Non-tangential limit of its harmonic conjugate exists almost everywhere and is defined to be the Hilbert transform of . There is also a singular integral formula for the Hilbert transform of . It is fairly difficult to directly evaluate the Hilbert transform of . In this paper we give an explicit formula for the Hilbert transform of , where is a function in the Cartwright class.

     

On normal operator exponentials

Suppose that and are bounded normal operators on a complex Hilbert space and that . In this paper some conditions implying are given.

     

The homogeneous spectrum of a graded commutative ring

Suppose is a torsion-free cancellative commutative monoid for which the group of quotients is finitely generated. We prove that the spectrum of a -graded commutative ring is Noetherian if its homogeneous spectrum is Noetherian, thus answering a question of David Rush. Suppose is a commutative ring having Noetherian spectrum. We determine conditions in order that the monoid ring have Noetherian spectrum. If , we show that has Noetherian spectrum, while for each we establish existence of an example where the homogeneous spectrum of is not Noetherian.