Lifting of generating subgroups

Let be an epimorphism of finite groups. Suppose that is generated by its subgroups and that is generated by its subgroups . Furthermore, suppose that and are conjugate, . We prove that there exist such that generate and , .

     

On the rational cuspidal subgroup and the rational torsion points of

For two distinct prime numbers , , we compute the rational cuspidal subgroup of and determine the -primary part of the rational torsion subgroup of the old subvariety of for most primes . Some results of Berkovic on the nontriviality of the Mordell-Weil group of some Eisenstein factors of are also refined.

     

A conformal differential invariant and the conformal rigidity of hypersurfaces

For a hypersurface of a conformal space, we introduce a conformal differential invariant , where and are the first and the second fundamental forms of connected by the apolarity condition. This invariant is called the conformal quadratic element of . The solution of the problem of conformal rigidity is presented in the framework of conformal differential geometry and connected with the conformal quadratic element of . The main theorem states:

Let , and let and be two nonisotropic hypersurfaces without umbilical points in a conformal space or a pseudoconformal space of signature . Suppose that there is a one-to-one correspondence between points of these hypersurfaces, and in the corresponding points of and the following condition holds: where is a mapping induced by the correspondence . Then the hypersurfaces and are conformally equivalent.

     

The Jung Theorem in metric spaces of curvature bounded above

The classical Jung Theorem states in essence that the diameter of a compact set in satisfies where is the circumradius of . The theorem was extended recently to the hyperbolic and the spherical -spaces. Here, the estimate above is extended to a class of metric spaces of curvature introduced by A. D. Alexandrov. The class includes the Riemannian spaces. The extended estimate is of the form where is a positive integer suitably defined for the set and its circumcenter. It can be that is not unique or does not exist. In the latter case, no estimate is derived. In case of a Riemannian -dimensional space, an integer always exists and satisfies . Then . In case of , one has .

     

On genera of smooth curves in higher dimensional varieties

We prove that for any smooth projective variety of dimension , there exists an integer , such that for any integer , there exists a smooth curve in with .

     

On subalgebras of Boolean interval algebras

We prove that the following three conditions are necessary and sufficient for a Boolean algebra to be embeddable into an interval algebra.

(i)

is generated by a subset such that for all .

(ii)

has a complemented subalgebra lattice, where complements can be chosen in a monotone way.

(iii)

is isomorphic to ClopX for a compact zero-dimensional topological semilattice such that for all .

     

On the Ganea conjecture for manifolds

Using a result of Singhof, we prove that provided is a connected closed PL manifold with and is the -sphere, .

     

Grothendieck operators on tensor products

We prove that for Banach spaces and operators , the tensor product is a Grothendieck operator, provided is a Grothendieck operator and is compact.

     

On reducibility of semigroups of compact quasinilpotent operators

The following generalization of Lomonosov's invariant subspace theorem is proved. Let be a multiplicative semigroup of compact operators on a Banach space such that for every finite subset of , where denotes the Rota-Strang spectral radius. Then is reducible.

This result implies that the following assertions are equivalent:

(A) For each infinite-dimensional complex Hilbert space , every semigroup of compact quasinilpotent operators on is reducible.

(B) For every complex Hilbert space , for every semigroup of compact quasinilpotent operators on , and for every finite subset of it holds that .

The question whether the assertion (A) is true was considered by Nordgren, Radjavi and Rosenthal in 1984, and it seems to be still open.

     

Poincaré flows

We study flows on a compact metric space with the property that corresponding to every non-zero element of there is either a cross section associated with or one associated with . We obtain necessary and sufficient conditions for this to hold; on the -dimensional torus these conditions take a classical form.

     

Invariance of spectrum for representations of -algebras on Banach spaces

Let be a Banach space, a unital -algebra, and an injective, unital homomorphism. Suppose that there exists a function such that, for all , and all ,

(a) ,

(b) ,

(c) .
Then for all , the spectrum of in equals the spectrum of as a bounded linear operator on . If satisfies an additional requirement and is a -algebra, then the Taylor spectrum of a commuting -tuple of elements of equals the Taylor spectrum of the -tuple in the algebra of bounded operators on . Special cases of these results are (i) if is a closed subspace of a unital -algebra which contains as a unital -subalgebra such that , and only if , then for each , the spectrum of in is the same as the spectrum of left multiplication by on ; (ii) if is a unital -algebra and is an essential closed left ideal in , then an element of is invertible if and only if left multiplication by on is bijective; and (iii) if is a -algebra, is a Hilbert -module, and is an adjointable module map on , then the spectrum of in the -algebra of adjointable operators on is the same as the spectrum of as a bounded operator on . If the algebra of adjointable operators on is a -algebra, then the Taylor spectrum of a commuting -tuple of adjointable operators on is the same relative to the algebra of adjointable operators and relative to the algebra of all bounded operators on .

     

Semi-free actions of zero-dimensional compact groups on Menger compacta

Let be the -dimensional universal Menger compactum, a -set in and a metrizable zero-dimensional compact group with the unit. It is proved that there exists a semi-free -action on such that is the fixed point set of every . As a corollary, it follows that each compactum with can be embedded in as the fixed point set of some semi-free -action on .

     

Collapsing successors of singulars

Let be a singular cardinal in , and let be a model such that for some -cardinal with . We apply Shelah's pcf theory to study this situation, and prove the following results. 1) is not a -c.c generic extension of . 2) There is no ``good scale for ' in , so in particular weak forms of square must fail at . 3) If then and also . 4) If then .

     

Superrigid subgroups of solvable Lie groups

Let be a discrete subgroup of a simply connected, solvable Lie group , such that has the same Zariski closure as . If is any finite-dimensional representation of , we show that virtually extends to a continuous representation of . Furthermore, the image of is contained in the Zariski closure of the image of . When is not discrete, the same conclusions are true if we make the additional assumption that the closure of is a finite-index subgroup of (and is closed and is continuous).

     

Factorization of holomorphic mappings on -spaces

We prove a universal mapping theorem for a large class of holomorphic mappings on a -space, stating that can be locally written in the form where and are bounded linear operators on certain Banach spaces consisting of functions on , and the division is taken pointwise.

     

Bilocal derivations of standard operator algebras

In this paper, we shall show the following two results: (1) Let be a standard operator algebra with , if is a linear mapping on which satisfies that maps into for all , then is of the form for some in . (2) Let be a Hilbert space, if is a norm-continuous linear mapping on which satisfies that maps into for all self-adjoint projection in , then is of the form for some in .

     

Rigidity of compact manifolds with boundary and nonnegative Ricci curvature

Let be an ()-dimensional compact Riemannian manifold with nonnegative Ricci curvature and nonempty boundary . Assume that the principal curvatures of are bounded from below by a positive constant . In this paper, we prove that the first nonzero eigenvalue of the Laplacian of acting on functions on satisfies with equality holding if and only if is isometric to an -dimensional Euclidean ball of radius . Some related rigidity theorems for are also proved.

     

A note on GK dimension of skew polynomial extensions

Let be a finitely generated commutative domain over an algebraically closed field , an algebra endomorphism of , and a -derivation of . Then if and only if is locally algebraic in the sense that every finite dimensional subspace of is contained in a finite dimensional -stable subspace.

Similarly, if is a finitely generated field over , a -endomorphism of , and a -derivation of , then if and only if is an automorphism of finite order.

     

Fixed points of the mapping class group in the moduli spaces

Let be a compact oriented surface with or without boundary components. In this note we prove that if then there exist infinitely many integers such that there is a point in the moduli space of irreducible flat connections on which is fixed by any orientation preserving diffeomorphism of . Secondly we prove that for each orientation preserving diffeomorphism of and each there is some such that has a fixed point in the moduli space of irreducible flat connections on . Thirdly we prove that for all there exists an integer such that the 'th power of any diffeomorphism fixes a certain point in the moduli space of irreducible flat connections on .

     

A Strict Version of the Non-commutative Urysohn Lemma

Given a pair , of -commuting, hereditary -subalgebras of a unital -algebra , such that is -unital and , there is an element in , with , such that is strictly positive in and is strictly positive in in . Moreover, is strictly positive in in .