Normal bases for Hopf-Galois algebras

Let be a Hopf algebra over a commutative ring such that is a finitely generated, projective module over , let be a right -comodule algebra, and let be the subalgebra of -coinvariant elements of . If is a Galois extension of and is a local subalgebra of the center of , then is a cleft right -comodule algebra or, equivalently, there is a normal basis for over .

     

On the completeness of factor rings

Let be a complete local domain containing the integers with maximal ideal such that is at least the cardinality of the real numbers. Let be a nonmaximal prime ideal of such that is a regular local ring. We construct an excellent local ring such that the completion of is , the generic formal fiber of is local with maximal ideal and if is a nonzero ideal of , then is complete.

     

Isomorphism of commutative group algebras of closed -local algebraically compact groups

Let be an abelian group and let be a field of 0$">. It is shown via a universal algorithm that if the modified Direct-Factor Problem holds, then the -isomorphism for some group yields provided is a closed -group or a -local algebraically compact group. In particular, this is the case when is closed -primary of arbitrary power, or is -local algebraically compact with cardinality at most and is in cardinality not exceeding . The last claim completely settles a question raised by W. May in Proc. Amer. Math. Soc. (1979) and partially extends our results published in Rend. Sem. Mat. Univ. Padova (1999) and Southeast Asian Bull. Math. (2001).

     

Linearity of dimension functions for semilinear -spheres

In this paper, we show that the dimension function of every semilinear -sphere is equal to that of a linear -sphere for finite nilpotent groups of order , where , are primes. We also show that there exists a semilinear -sphere whose dimension function is not virtually linear for an arbitrary nonsolvable compact Lie group .

     

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.

     

On images of Borel measures under Borel mappings

Let and be metric spaces. We show that the tight images of a (fixed) tight Borel probability measure on , under all Borel mappings , form a closed set in the space of tight Borel probability measures on with the weak-topology. In contrast, the set of images of under all continuous mappings from to may not be closed. We also characterize completely the set of tight images of under Borel mappings. For example, if is non-atomic, then all tight Borel probability measures on can be obtained as images of , and as a matter of fact, one can always choose the corresponding Borel mapping to be of Baire class 2.

     

Local dual spaces of Banach spaces of vector-valued functions

We show that is a local dual of , and is a local dual of , where is a Banach space. A local dual space of a Banach space is a subspace of so that we have a local representation of in satisfying the properties of the representation of in provided by the principle of local reflexivity.

     

-coincidences for maps of homotopy spheres into CW-complexes

Let be a finite group acting freely in a CW-complex which is a homotopy -dimensional sphere and let be a map of to a finite -dimensional CW-complex . We show that if , then has an -coincidence for some nontrivial subgroup of .

     

Convexity numbers of closed sets in

For 2$"> let be the -ideal in generated by all sets which do not contain equidistant points in the usual metric on . For each 2$"> a set is constructed in so that the -ideal which is generated by the convex subsets of restricted to the convexity radical is isomorphic to . Thus is equal to the least number of convex subsets required to cover -- the convexity number of .

For every non-increasing function \aleph_0\}$"> we construct a model of set theory in which for each . When is strictly decreasing up to , uncountable cardinals are simultaneously realized as convexity numbers of closed subsets of . It is conjectured that , but never more than , different uncountable cardinals can occur simultaneously as convexity numbers of closed subsets of . This conjecture is true for and .     

Asymptotic Dirichlet problem for the -Laplacian on Cartan-Hadamard manifolds

We show the existence of nonconstant bounded -harmonic functions on Cartan-Hadamard manifolds of pinched negative curvature by solving the asymptotic Dirichlet problem at infinity for the -Laplacian. More precisely, we prove that given a continuous function on the sphere at infinity there exists a unique -harmonic function on with boundary values

     

Convergence of zeta functions of graphs

The -zeta function of an infinite graph (defined previously in a ball around zero) has an analytic extension. For a tower of finite graphs covered by , the normalized zeta functions of the finite graphs converge to the -zeta function of .

     

Fréchet-Urysohn spaces in free topological groups

Let and be respectively the free topological group and the free Abelian topological group on a Tychonoff space . For every natural number we denote by () the subset of () consisting of all words of reduced length . It is well known that if a space is not discrete, then neither nor is Fréchet-Urysohn, and hence first countable. On the other hand, it is seen that both and are Fréchet-Urysohn for a paracompact Fréchet-Urysohn space . In this paper, we prove first that for a metrizable space , () is Fréchet-Urysohn if and only if the set of all non-isolated points of is compact and is Fréchet-Urysohn if and only if is compact or discrete. As applications, we characterize the metrizable space such that is Fréchet-Urysohn for each and is Fréchet-Urysohn for each except for . In addition, however, there is a first countable, and hence Fréchet-Urysohn subspace of () which is not contained in any (). We shall show that if such a space is first countable, then it has a special form in (). On the other hand, we give an example showing that if the space is Fréchet-Urysohn, then it need not have the form.

     

On the Hartogs-Bochner phenomenon for CR functions in

Let be a compact, connected, -smooth and globally minimal hypersurface in which divides the projective space into two connected parts and . We prove that there exists a side, or , such that every continuous CR function on extends holomorphically to this side. Our proof of this theorem is a simplification of a result originally due to F. Sarkis.

     

Sets that force recurrence

We characterize those subsets of the positive integers with the property that, whenever a point in a dynamical system enters a compact set along , contains a recurrent point. We do the same for uniform recurrence.

     

On locally finite -groups satisfying an Engel condition

For a given positive integer and a given prime number , let be the integer satisfying . We show that every locally finite -group, satisfying the -Engel identity, is (nilpotent of -bounded class)-by-(finite exponent) where the best upper bound for the exponent is either or if is odd. When the best upper bound is or . In the second part of the paper we focus our attention on -Engel groups. With the aid of the results of the first part we show that every -Engel -group is soluble and the derived length is bounded by some constant.

     

Asymptotic behaviour of Castelnuovo-Mumford regularity

Let be a polynomial ring over a field. For a graded -module generated in degree at most , the Castelnuovo-Mumford regularity of each of (i) its symmetric power, (ii) its torsion-free symmetric power and (iii) the integral closure of its torsion-free symmetric power is bounded above by a linear function in with leading coefficient at most . For a graded ideal of , the regularity of is given by a linear function of for all sufficiently large . The leading coefficient of this function is identified.

     

Asymptotic behavior of reduction numbers

It is shown that the reduction number and the big reduction number of are linear functions of for all large . Here is a homogeneous ideal of a polynomial ring .

     

A note on Besov regularity of layer potentials and solutions of elliptic PDE's

Let be a second order, (variable coefficient) elliptic differential operator and let , , 0$">, satisfy in the Lipschitz domain . We show that can exhibit more regularity on Besov scales for which smoothness is measured in with . Similar results are valid for functions representable in terms of layer potentials.

     

Algebraic obstructions and a complete solution of a rational retraction problem

For each compact smooth manifold containing at least two points we prove the existence of a compact nonsingular algebraic set and a smooth map such that, for every rational diffeomorphism and for every diffeomorphism where and are compact nonsingular algebraic sets, we may fix a neighborhood of in which does not contain any regular rational map. Furthermore is not homotopic to any regular rational map. Bearing in mind the case in which is a compact nonsingular algebraic set with totally algebraic homology, the previous result establishes a clear distinction between the property of a smooth map to represent an algebraic unoriented bordism class and the property of to be homotopic to a regular rational map. Furthermore we have: every compact Nash submanifold of containing at least two points has not any tubular neighborhood with rational retraction.