A finiteness theorem for a class of exponential congruences

For given elements and belonging to the ring of integers of a number field we consider the set of all tuples in for which divides for any and prove under some reasonable assumptions that the set of solutions is finite.

     

Finite-dimensional left ideals in some algebras associated with a locally compact group

Let be a locally compact group, let be its group algebra, let be its usual measure algebra, let be the second dual of with an Arens product, and let be the conjugate of the space of bounded, left uniformly continuous, complex-valued functions on with an Arens-type product. We find all the finite-dimensional left ideals of these algebras. We deduce that such ideals exist in and if and only if is compact, and in (except those generated by right annihilators of ) and if and only if is amenable.

     

A characterization of

This work is devoted to the relationship between topological properties of a space and those of (= the space of continuous real-valued functions on , with the topology of pointwise convergence). The emphasis is on -compactness of and on location of in . In particular, -compact cosmic spaces are characterized in this way.

     

-compactness and automatic continuity in ultrametric spaces of bounded continuous functions

In this paper (weakly) separating maps between spaces of bounded continuous functions over a nonarchimedean field are studied. It is proven that the behaviour of these maps when is not locally compact is very different from the case of real- or complex-valued functions: in general, for -compact spaces and , the existence of a (weakly) separating additive map implies that and are homeomorphic, whereas when dealing with real-valued functions, this result is in general false, and we can just deduce the existence of a homeomorphism between the Stone-Cech compactifications of and . Finally, we also describe the general form of bijective weakly separating linear maps and deduce some automatic continuity results.

     

On a problem of Dynkin

Consider an -superdiffusion on , where is an uniformly elliptic differential operator in , and . The -polar sets for are subsets of which have no intersection with the graph of , and they are related to the removable singularities for a corresponding nonlinear parabolic partial differential equation. Dynkin characterized the -polarity of a general analytic set in term of the Bessel capacity of , and Sheu in term of the restricted Hausdorff dimension. In this paper we study in particular the -polarity of sets of the form , where and are two Borel subsets of and respectively. We establish a relationship between the restricted Hausdorff dimension of and the usual Hausdorff dimensions of and . As an application, we obtain a criterion for -polarity of in terms of the Hausdorff dimensions of and , which also gives an answer to a problem proposed by Dynkin in the 1991 Wald Memorial Lectures.

     

On covering multiplicity

Let be a system of arithmetic sequences which forms an -cover of (i.e. every integer belongs at least to members of ). In this paper we show the following surprising properties of : (a) For each there exist at least subsets of with such that . (b) If forms a minimal -cover of , then for any there is an such that for every there exists an for which and

     

A description of Hilbert -modules in which all closed submodules are orthogonally closed

Let , be -algebras and a full Hilbert --bimodule such that every closed right submodule is orthogonally closed, i.e., . Then there are families of Hilbert spaces , such that and are isomorphic to -direct sums , resp. , and is isomorphic to the outer direct sum .

     

The maximal ideal space of with respect to the Hadamard product

It is shown that the space of all regular maximal ideals in the Banach algebra with respect to the Hadamard product is isomorphic to The multiplicative functionals are exactly the evaluations at the -th Taylor coefficient. It is a consequence that for a given function in and for a function holomorphic in a neighborhood of with and for all the function is in

     

Irreducible plane curves with the Albanese dimension 2

Let be a plane curve given by an equation , and let be the affine plane curve given by . Let denote a cyclic covering of determined by . The number is called the Albanese dimension of . In this article, we shall give examples of with the Albanese dimension 2.

     

The location of the zeros of the higher order derivatives of a polynomial

Let be a complex polynomial of degree having zeros in a disk . We deal with the problem of finding the smallest concentric disk containing zeros of . We obtain some estimates on the radius of this disk in general as well as in the special case, where zeros in are isolated from the other zeros of . We indicate an application to the root-finding algorithms.

     

A Liouville-type theorem on halfspaces for the Kohn Laplacian

Let be the Kohn Laplacian on the Heisenberg group and let be a halfspace of whose boundary is parallel to the center of . In this paper we prove that if is a non-negative -superharmonic function such that

then in .

     

On the excess of sets of complex exponentials

For let be complex numbers such that is bounded. For define , where . Then the excesses in the sense of Paley and Wiener satisfy .

     

A class of differentiable toral maps which are topologically mixing

We show that on the 2-torus there exists a open set of regular maps such that every map belonging to is topologically mixing but is not Anosov. It was shown by Mañé that this property fails for the class of toral diffeomorphisms, but that the property does hold for the class of diffeomorphisms on the 3-torus . Recently Bonatti and Diaz proved that the second result of Mañé is also true for the class of diffeomorphisms on the -torus ().

     

On sums and products of integers

Erdös and Szemerédi proved that if is a set of positive integers, then there must be at least integers that can be written as the sum or product of two elements of , where is a constant and . Nathanson proved that the result holds for . In this paper it is proved that the result holds for and .

     

Fundamental theorem of geometry without the 1-to-1 assumption

It is proved that any mapping of an -dimensional affine space over a division ring onto itself which maps every line into a line is semi-affine, if and . This result seems to be new even for the real affine spaces. Some further generalizations are also given. The paper is self-contained, modulo some basic terms and elementary facts concerning linear spaces and also - if the reader is interested in other than , , or - division rings.

     

The -homology class of the Euler characteristic operator is trivial

On any manifold , the de Rham operator (with respect to a complete Riemannian metric), with the grading of forms by parity of degree, gives rise by Kasparov theory to a class , which when is closed maps to the Euler characteristic in . The purpose of this note is to give a quick proof of the (perhaps unfortunate) fact that is as trivial as it could be subject to this constraint. More precisely, if is connected, lies in the image of (induced by the inclusion of a basepoint into ).

     

Free boundary value problems for analytic functions in the closed unit disk

We shall prove (a slightly more general version of) the following theorem: let be analytic in the closed unit disk with , and let be a finite Blaschke product. Then there exists a function satisfying: i) analytic in the closed unit disk , ii) , iii) in , such that

satisfies

This completes a recent result of Kühnau for , , where this boundary value problem has a geometrical interpretation, namely that preserves hyperbolic arc length on for suitable
. For these important choices of we also prove that the corresponding functions are uniquely determined by , and that is univalent in . Our work is related to Beurling's and Avhadiev's on conformal mappings solving free boundary value conditions in the unit disk.

     

A lower bound for the number of components of the moduli schemes of stable rank 2 vector bundles on projective 3-folds

Fix a smooth projective 3-fold , , with ample, and . Assume the existence of integers with such that is numerically equivalent to . Let be the moduli scheme of -stable rank 2 vector bundles, , on with and . Let be the number ofits irreducible components. Then .

     

Smith equivalence of representations for finite perfect groups

Using smooth one-fixed-point actions on spheres and a result due to Bob Oliver on the tangent representations at fixed points for smooth group actions on disks, we obtain a similar result for perfect group actions on spheres. For a finite group , we compute a certain subgroup of the representation ring . This allows us to prove that a finite perfect group has a smooth -proper action on a sphere with isolated fixed points at which the tangent representations of are mutually nonisomorphic if and only if contains two or more real conjugacy classes of elements not of prime power order. Moreover, by reducing group theoretical computations to number theory, for an integer and primes , we prove similar results for the group , , or . In particular, has Smith equivalent representations that are not isomorphic if and only if , , .

     

On a theorem of Barbara Schmid

Let be a finite group and a complex representation. Barbara Schmid has shown that the algebra of invariant polynomial functions on the vector space is generated by homogeneous polynomials of degree at most , where is the largest degree of a generator in a minimal generating set for , and is the complex regular representation of . In this note we give a new proof of this result, and at the same time extend it to fields whose characteristic is larger than , the order of the group .