New results related to a conjecture of Moore

Let Γ be a group, Γ′ be a subgroup of Γ of finite index, and R be a ring with identity. Assume that M is an RΓ-module whose restriction to RΓ′ is projective. Moore’s conjecture: Assume that, for all ${x \in (\Gamma-\Gamma^{\prime})}$ , either there is an integer n such that ${1 \neq x^{n} \in \Gamma^{\prime}}$ or x has finite order and is invertible in R. Then M is also projective over RΓ. In this paper, we consider an analogue of this conjecture for injective modules. It turns out that the validity of the conjecture for injective modules implies the validity of it on projective and flat modules. It is also shown that the conjecture for injective modules is true whenever Γ belongs to Kropholler’s hierarchy ${{\bf LH}\mathfrak{F}}$ . In addition, assume that M is an RΓ-module whose restriction to RΓ′ is Gorenstein projective (resp. injective), it is proved that M is Gorenstein projective (resp. injective) over RΓ whenever Γ′ is a subgroup of Γ of finite index.     

Ubiquity of odometers in topological dynamical systems

Let M be the Cantor space or an n-manifold with C(M,M) the set of continuous self-maps of M. We prove the following:

(1)

There is a residual set of points (x,f) in M×C(M,M) all of which generate as their ω-limit set a particular, unique adding machine.

(2)

Moreover, if M has the fixed point property, then a generic f∈C(M,M) generates uncountably many distinct copies of every possible adding machine.

     

Asymptotic cones of finitely presented groups

Let G be a connected semisimple Lie group with at least one absolutely simple factor S such that and let Γ be a uniform lattice in G.

(a)

If CH holds, then Γ has a unique asymptotic cone up to homeomorphism.

(b)

If CH fails, then Γ has 2^2ω asymptotic cones up to homeomorphism.

     

Local cohomology modules with respect to an ideal containing the irrelevant ideal

Let R=?_n≥0R_n be a homogeneous Noetherian ring, let M be a finitely generated graded R-module and let R₊=?_n>0R_n. Let b?b₀+R₊, where b₀ is an ideal of R₀. In this paper, we first study the finiteness and vanishing of the n-th graded component of the i-th local cohomology module of M with respect to b. Then, among other things, we show that the set becomes ultimately constant, as n→−∞, in the following cases:

(i)

and (R₀,m₀) is a local ring;

(ii)

dim(R₀)≤1 and R₀ is either a finite integral extension of a domain or essentially of finite type over a field;

(iii)

i≤g_b(M), where g_b(M) denotes the cohomological finite length dimension of M with respect to b.

Also, we establish some results about the Artinian property of certain submodules and quotient modules of .     

Collapsed 5-manifolds with pinched positive sectional curvature

Let M be a closed 5-manifold of pinched curvature 0<δ?secM?1. We prove that M is homeomorphic to a spherical space form if one of the following conditions holds:

(i)

The center of the fundamental group has index ?w(δ), a constant depending on δ;

(ii)

and the fundamental group is a non-cyclic group of order ?C, a constant;

(iii)

The volume is less than ?(δ) and the fundamental group is either isomorphic to a spherical 5-space group or has an odd order, and it has a center of index ?w, a constant.

     

On cohomology rings of infinite groups

Let R be any ring (with 1), G a torsion free group and RG the corresponding group ring. Let be the cohomology ring associated with the RG-module M. Let H be a subgroup of finite index of G. The following is a special version of our main Theorem: Assume the profinite completion of G is torsion free. Then an element is nilpotent (under Yoneda’s product) if and only if its restriction to is nilpotent. In particular this holds for the Thompson group.There are torsion free groups for which the analogous statement is false.     

Krasnosel’skii type fixed point theorems under weak topology features

In this paper we prove the following Krasnosel’skii type fixed point theorem: Let M be a nonempty bounded closed convex subset of a Banach space X. Suppose that A:M→X and B:X→X are two weakly sequentially continuous mappings satisfying:

(i)

AM is relatively weakly compact;

(ii)

B is a strict contraction;

(iii)

.

Then A+B has at least one fixed point in M.This result is then used to obtain some new fixed point theorems for the sum of a weakly compact and a nonexpansive mapping. The results presented in this paper encompass several earlier ones in the literature.     

Banach spaces with the Daugavet property, and the centralizer

We introduce representable Banach spaces, and prove that the class R of such spaces satisfies the following properties:

(1)

Every member of R has the Daugavet property.

(2)

It Y is a member of R, then, for every Banach space X, both the space L(X,Y) (of all bounded linear operators from X to Y) and the complete injective tensor product lie in R.

(3)

If K is a perfect compact Hausdorff topological space, then, for every Banach space Y, and for most vector space topologies τ on Y, the space C(K,(Y,τ)) (of all Y-valued τ-continuous functions on K) is a member of R.

(4)

If K is a perfect compact Hausdorff topological space, then, for every Banach space Y, most C(K,Y)-superspaces (in the sense of [V. Kadets, N. Kalton, D. Werner, Remarks on rich subspaces of Banach spaces, Studia Math. 159 (2003) 195-206]) are members of R.

(5)

All dual Banach spaces without minimal M-summands are members of R.

     

The space of adding machines generated by continuous self maps of manifolds

Let M be the Cantor space or an n-dimensional manifold with C(M,M) the set of continuous self-maps of M, and . We prove the following:

(1)

If α≠∞, then Sα(M) is a nowhere dense subset of M×C(M,M) that contains no isolated points.

(2)

If α?β, then .

     

Tensor envelopes of regular categories

We extend the calculus of relations to embed a regular category A into a family of pseudo-abelian tensor categories T(A,δ) depending on a degree function δ. Assume that all objects have only finitely many subobjects. Then our results are as follows:

1.

Let N be the maximal proper tensor ideal of T(A,δ). We show that T(A,δ)/N is semisimple provided that A is exact and Mal'cev. Thereby, we produce many new semisimple, hence abelian, tensor categories.

2.

Using lattice theory, we give a simple numerical criterion for the vanishing of N.

3.

We determine all degree functions for which T(A,δ)/N is Tannakian. As a result, we are able to interpolate the representation categories of many series of profinite groups such as the symmetric groups Sn, the hyperoctahedral groups , or the general linear groups GL(n,Fq) over a fixed finite field.

This paper generalizes work of Deligne, who first constructed the interpolating category for the symmetric groups Sn.     

Blow-up behavior for a nonlinear heat equation with a localized source in a ball

In this paper, we consider the initial-boundary value problem of a semilinear parabolic equation with local and non-local (localized) reactions in a ball: u_t=Δu+u^p+u^q(x^*,t) in B(R) where p,q>0,B(R)={x∈R^N:|x|<R} and x^*≠0. If max(p,q)>1, there exist blow-up solutions of this problem for large initial data. We treat the radially symmetric and one peak non-negative solution of this problem. We give the complete classification of total blow-up phenomena and single point blow-up phenomena according to p and q.

(i)

If or p=q>2, then single point blow-up occurs whenever solutions blow up.

(ii)

If 1<p<q, both phenomena, total blow-up and single point blow-up, occur depending on the initial data.

(iii)

If p?1<q, total blow-up occurs whenever solutions blow up.

(iv)

If max(p,q)?1, every solution exists globally in time.

     

Expanding curves in T1(Hn) under geodesic flow and equidistribution in homogeneous spaces

Let H = SO(n, 1) and A = {a(t): t ∈ R} be a maximal R-split Cartan subgroup of H. Let G be a Lie group containing H and Γ be a lattice of G. Let φ = gΓ ∈ G/Γ be a point of G/Γ such that its H-orbit Hx is dense in G/Γ. Let φ: I = [a, b] → H be an analytic curve. Then φ(I)x gives an analytic curve in G/Γ. In this article, we will prove the following result: if φ(I) satisfies some explicit geometric condition, then a(t)φ(I)x tends to be equidistributed in G/Γ as t → ∞. It answers the first question asked by Shah in [Sha09c] and generalizes the main result of that paper.     

Permutation modules of profinite groups

Given an arbitrary profinite group G and a commutative domain R, we define the notion of permutation RG-module which generalizes the known notion from the representation theory of profinite groups. We establish an independence theorem of such a module as an R-module over a ring of scalars.     

The Fréchet-Urysohn property of Pixley-Roy hyperspaces

Let F[X] be the Pixley-Roy hyperspace of a regular space X. In this paper, we prove the following theorem.

Theorem. For a space X, the following are equivalent:

(1)

F[X]is a k-space;

(2)

F[X]is sequential;

(3)

F[X]is Fréchet-Urysohn;

(4)

Every finite power of X is Fréchet-Urysohn for finite sets;

(5)

Every finite power ofF[X]is Fréchet-Urysohn for finite sets.

As an application, we improve a metrization theorem onF[X].