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

     

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 .

     

Product of distinct simple integrally closed ideals in 2-dimensional regular local rings

Let be a two-dimensional regular local ring and an -primary integrally closed ideal in . In this paper, we give equivalent conditions for to be a product of distinct simple -primary integrally closed ideals (i.e., , where are distinct simple -primary integrally closed ideals of ) in terms of the regularity of for all and in terms of how to choose a minimal generating set for over its minimal reductions.

     

Existence of Bade functionals for complete Boolean algebras of projections in Fréchet spaces

A classical result of W. Bade states that if is any complete Boolean algebra of projections in an arbitrary Banach space then, for every there exists an element (called a Bade functional for with respect to in the dual space , with the following two properties: (i) is non-negative on and, (ii) whenever satisfies It is shown that a Fréchet space has this property if and only if it does not contain an isomorphic copy of the sequence space

     

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

     

Commutativity criteria for Banach -algebras

Let be a Banach -algebra with an identity. Necessary and sufficient conditions are given for to be commutative modulo its -radical and for to be commutative if has a faithful -representation as operators on a Hilbert space.

     

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.

     

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.

     

Artinian right serial rings

Let be an artinian ring such that for the Jacobson radical of , is a direct product of matrix rings over finite-dimensional division rings. Then the following are proved to be equivalent: (1) Every indecomposable injective left -module is uniserial. (2) is right serial.

     

On Bernstein-Sato polynomials

We show that for fixed and the set of Bernstein-Sato polynomials of all the polynomials in at most variables of degrees at most is finite. As a corollary, we show that there exists an integer depending only on and such that generates as a module over the ring of the -linear differential operators of , where is an arbitrary field of characteristic 0, is the ring of polynomials in variables over and is an arbitrary non-zero polynomial of degree at most .

     

Self-contragredient supercuspidal representations of

Let be a non-archimedean local field of residual characteristic . Then has tamely ramified self-contragredient supercuspidal representations if and only if or is even. When such representations exist, they do so in abundance.

     

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.

     

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 .

     

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 .

     

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 .

     

Inner derivations on ultraprime normed algebras

We show that, for every ultraprime Banach algebra , there exists a positive number satisfying for all in , where denotes the centre of and denotes the inner derivation on induced by . Moreover, the number depends only on the ``constant of ultraprimeness' of .

     

A note on the relative class number in function fields

Let be a finite field, , and . Let be the field extension of obtained by adjoining the -torsion on the Carlitz module. The class number of can be written as a product . The number is called the relative class number. In this paper a formula for is derived which is the analogue of the Maillet determinant formula for the relative class number of the cyclotomic field of -th roots of unity. Some consequences of this formula are also derived.

     

Commensurators of parabolic subgroups of Coxeter groups

Let be a Coxeter system, and let be a subset of . The subgroup of generated by is denoted by and is called a parabolic subgroup. We give the precise definition of the commensurator of a subgroup in a group. In particular, the commensurator of in is the subgroup of in such that has finite index in both and . The subgroup can be decomposed in the form where is finite and all the irreducible components of are infinite. Let be the set of in such that for all . We prove that the commensurator of is . In particular, the commensurator of a parabolic subgroup is a parabolic subgroup, and is its own commensurator if and only if .

     

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