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

     

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.

     

First stability eigenvalue characterization of Clifford hypersurfaces

The stability operator of a compact oriented minimal hypersurface is given by , where is the norm of the second fundamental form. Let be the first eigenvalue of and define . In 1968 Simons proved that for any non-equatorial minimal hypersurface . In this paper we will show that only for Clifford hypersurfaces. For minimal surfaces in , let denote the area of and let denote the genus of . We will prove that . Moreover, if is embedded, then we will prove that . If in addition to the embeddeness condition we have that , then we will prove that .

     

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.

     

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 .     

A global pinching theorem for surfaces with constant mean curvature in

Let be a compact immersed surface in the unit sphere with constant mean curvature . Denote by the linear map from into , , where is the linear map associated to the second fundamental form and is the identity map. Let denote the square of the length of . We prove that if , then is either totally umbilical or an -torus, where is a constant depending only on the mean curvature .

     

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.

     

Asymptotics of Sobolev embeddings and singular perturbations for the -Laplacian

We consider the best constant for the embedding of into where , . Here with a smooth, bounded domain in and a large positive number. It is proven by the validity of the expansion

as , where is a positive constant depending on and . The behavior of associated extremals, which satisfy an equation involving the -Laplacian operator, is also analyzed.

     

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.

     

On and discriminants

We modify the -conjecture for number fields in order to make the support (like the height) well-behaved under field extensions. We show further that the exponent 1$"> of the absolute value of the discriminant cannot be replaced by , and even that an arbitrarily large power of must be present.

     

Helgason-Marchaud inversion formulas for Radon transforms

Let be either the hyperbolic space or the unit sphere , and let be the set of all -dimensional totally geodesic submanifolds of . For and , the totally geodesic Radon transform is studied. By averaging over all at a distance from , and applying Riemann-Liouville fractional differentiation in , S. Helgason has recovered . We show that in the hyperbolic case this method blows up if does not decrease sufficiently fast. The situation can be saved if one employs Marchaud's fractional derivatives instead of the Riemann-Liouville ones. New inversion formulas for , are obtained.

     

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

     

Radicals and Plotkin's problem concerning geometrically equivalent groups

If and are groups and is a normal subgroup of , then the -closure of in is the normal subgroup of . In particular, is the -radical of . Plotkin calls two groups and geometrically equivalent, written , if for any free group of finite rank and any normal subgroup of the -closure and the -closure of in are the same. Quasi-identities are formulas of the form for any words in a free group. Generally geometrically equivalent groups satisfy the same quasi-identities. Plotkin showed that nilpotent groups and satisfy the same quasi-identities if and only if and are geometrically equivalent. Hence he conjectured that this might hold for any pair of groups. We provide a counterexample.

     

Relaxation and convexity of functionals with pointwise nonlocality

It is shown that the relaxation of the integral functional involving argument deviations

in weak topology of a Lebesgue space (where and are standard measure spaces, the latter with nonatomic measure), coincides with its convexification whenever the matrix of measurable functions : satisfies the special condition, called unifiability, which can be regarded as collective nonergodicity or commensurability property, and is automatically satisfied only if . If, however, either 1$"> or 1$">, then it is shown that as opposed to the classical case without argument deviations, for nonunifiable function matrix one can always construct an integrand so that the functional itself is already weakly lower semicontinuous but not convex.

     

Complemented isometric copies of in dual Banach spaces

Let be a real or complex Banach space and . Then contains a -complemented, isometric copy of if and only if contains a -complemented, isometric copy of if and only if contains a subspace -asymptotic to .

     

A Ramsey theorem for measurable sets

We prove that if is a perfect Polish space and is a partition with universally measurable pieces, then there is Cantor set with for some

     

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.

     

On syzygies of Segre embeddings

We study the syzygies of the ideals of the Segre embeddings. Let , ; we prove that the line bundle on the ( copies) satisfies Property of Green-Lazarsfeld if and only if . Besides we prove that if we have a projective variety not satisfying Property for some , then the product of it with any other projective variety does not satisfy Property . From this we also deduce other corollaries about syzygies of Segre embeddings.

     

Applications of a theorem of H. Cramér to the Selberg class

We prove two results on the nature of the Dirichlet coefficients of the -functions in the extended Selberg class . The first result asserts that if for some entire function of order 1 and finite type, then is constant. The second result states, roughly, that if are still the coefficients of some -function from , then with and . The proofs are based on an old result by Cramér and on the characterization of the functions of degree 1 of .

     

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.