Transference for amenable actions

Suppose acts amenably on a measure space with quasi-invariant -finite measure . Let be an isometric representation of on and a finite Radon measure on . We show that the operator has -operator norm not exceeding the -operator norm of the convolution operator defined by . We shall also prove an analogous result for the maximal function associated to a countable family of Radon measures .

     

Blocks of central -group extensions

Let and be finite groups that have a common central -subgroup for a prime number , and let and respectively be -blocks of and induced by -blocks and respectively of and , both of which have the same defect group. We prove that if and are Morita equivalent via a certain special -bimodule, then such a Morita equivalence lifts to a Morita equivalence between and .

     

Properly -realizable groups

A finitely presented group is said to be properly -realizable if there exists a compact -polyhedron with and whose universal cover has the proper homotopy type of a (p.l.) -manifold with boundary. In this paper we show that, after taking wedge with a -sphere, this property does not depend on the choice of the compact -polyhedron with . We also show that (i) all -ended and -ended groups are properly -realizable, and (ii) the class of properly -realizable groups is closed under amalgamated free products (HNN-extensions) over a finite cyclic group (as a step towards proving that -ended groups are properly -realizable, assuming -ended groups are).

     

Real

The famous problem involves applying two maps: and to positive integers. If is even, one applies , if it is odd, one applies . The conjecture states that each trajectory of the system arrives to the periodic orbit . In this paper, instead of choosing each time which map to apply, we allow ourselves more freedom and apply both and independently of . That is, we consider the action of the free semigroup with generators and on the space of positive real numbers. We prove that this action is minimal (each trajectory is dense) and that the periodic points are dense. Moreover, we give a full characterization of the group of transformations of the real line generated by and .

     

Stable rank of corner rings

B. Blackadar recently proved that any full corner in a unital C*-algebra has K-theoretic stable rank greater than or equal to the stable rank of . (Here is a projection in , and fullness means that .) This result is extended to arbitrary (unital) rings in the present paper: If is a full idempotent in , then . The proofs rely partly on algebraic analogs of Blackadar's methods and partly on a new technique for reducing problems of higher stable rank to a concept of stable rank one for skew (rectangular) corners . The main result yields estimates relating stable ranks of Morita equivalent rings. In particular, if where is a finitely generated projective generator, and can be generated by elements, then .

     

Multipliers of weighted spaces and reflexivity property

We prove for some translation-invariant weighted spaces the following characterization: is a multiplier of if and only if leaves invariant every translation-invariant subspace of . This result is equivalent with the reflexivity of the multiplier algebra of .

     

Hilbert-Samuel coefficients and postulation numbers of graded components of certain local cohomology modules

Let be a Noetherian homogeneous ring with one-dimensional local base ring . Let be an -primary ideal, let be a finitely generated graded -module and let . Let denote the -th local cohomology module of with respect to the irrelevant ideal 0} R_n$"> of . We show that the first Hilbert-Samuel coefficient of the -th graded component of with respect to is antipolynomial of degree in . In addition, we prove that the postulation numbers of the components with respect to have a common upper bound.

     

Exceptional curves on smooth rational surfaces with not nef and of self-intersection zero

A -curve is a smooth rational curve of self-intersection , where is a positive integer. In 1998 Hirschowitz asked whether a smooth rational surface defined over the field of complex numbers, having an anti-canonical divisor not nef and of self-intersection zero, has -curves. In this paper we prove that for such a surface , the set of -curves on is finite but non-empty, and that may have no -curves. Related facts are also considered.

     

Approximation of solutions of nonlinear equations of Hammerstein type in Hilbert space

Let be a real Hilbert space. Let , be bounded monotone mappings with , where and are closed convex subsets of satisfying certain conditions. Suppose the equation has a solution in . Then explicit iterative methods are constructed that converge strongly to such a solution. No invertibility assumption is imposed on , and the operators and need not be defined on compact subsets of .

     

A note on meromorphic operators

Let be a complex Banach space and a bounded linear operator on . is called meromorphic if the spectrum of is a countable set, with the only possible point of accumulation, such that all the nonzero points of are poles of . By means of the analytical core we give a spectral theory of meromorphic operators. Our results are a generalization of some results obtained by Gong and Wang (2003).

     

Algebraic functions with even monodromy

Let be a compact Riemann surface of genus and be an integer. We show that admits meromorphic functions with monodromy group equal to the alternating group

     

Weak boundedness theorems for canonically fibered Gorenstein minimal 3-folds

Let be a Gorenstein minimal projective 3-fold with at worst locally factorial terminal singularities. Suppose the canonical map is of fiber type. Denote by a smooth model of a generic irreducible element in fibers of , and so is a curve or a smooth surface. The main result is that there is a computable constant independent of such that or whenever .

     

Positive scalar curvature and minimal hypersurfaces

We show that the minimal hypersurface method of Schoen and Yau can be used for the ``quantitative' study of positive scalar curvature. More precisely, we show that if a manifold admits a metric with or , where is the scalar curvature of , any 2-tensor on and the Weyl tensor of , then any closed orientable stable minimal (totally geodesic in the second case) hypersurface also admits a metric with the corresponding positivity of scalar curvature. A corollary pertaining to the topology of such hypersurfaces is proved in a special situation.

     

Perturbed smooth Lipschitz extensions of uniformly continuous functions on Banach spaces

We show that if is a separable subspace of a Banach space such that both and the quotient have -smooth Lipschitz bump functions, and is a bounded open subset of , then, for every uniformly continuous function and every 0$">, there exists a -smooth Lipschitz function such that for every .

     

Associated primes of local cohomology modules

Let be an ideal of a commutative Noetherian ring and a finitely generated -module. Let be a natural integer. It is shown that there is a finite subset of , such that is contained in union with the union of the sets , where and . As an immediate consequence, we deduce that the first non- -cofinite local cohomology module of with respect to has only finitely many associated prime ideals.

     

On questions of Fatou and Eremenko

Let be a transcendental entire function and let be the set of points whose iterates under tend to infinity. We show that has at least one unbounded component. In the case that has a Baker wandering domain, we show that is a connected unbounded set.

     

Filling analytic sets by the derivatives of -smooth bumps

If is an infinite-dimensional Banach space, with separable dual, and is an analytic set such that any point can be reached from  by a continuous path contained (except for the point ) in the interior of , then is the range of the derivative of a -smooth function on  with bounded nonempty support.

     

The content of a Gaussian polynomial is invertible

Let be an integral domain and let be a nonzero polynomial in . The content of is the ideal generated by the coefficients of . The polynomial is called Gaussian if for all . It is well known that if is an invertible ideal, then is Gaussian. In this note we prove the converse.

     

Finite -arc transitive Cayley graphs and flag-transitive projective planes

In this paper, a characterisation is given of finite -arc transitive Cayley graphs with . In particular, it is shown that, for any given integer with and , there exists a finite set (maybe empty) of -transitive Cayley graphs with such that all -transitive Cayley graphs of valency are their normal covers. This indicates that -arc transitive Cayley graphs with are very rare. However, it is proved that there exist 4-arc transitive Cayley graphs for each admissible valency (a prime power plus one). It is then shown that the existence of a flag-transitive non-Desarguesian projective plane is equivalent to the existence of a very special arc transitive normal Cayley graph of a dihedral group.

     

Semi-continuity of metric projections in -direct sums

Let be a proximinal subspace of finite codimension of . We show that is proximinal in and the metric projection from onto is Hausdorff metric continuous. In particular, this implies that the metric projection from onto is both lower Hausdorff semi-continuous and upper Hausdorff semi-continuous.