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.

     

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

     

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.

     

Sharper changes in topologies

Let be a Polish group, a Polish topology on a space , acting continuously on , with -invariant and in the Borel algebra generated by . Then there is a larger Polish topology on so that is open with respect to , still acts continuously on , and has a basis consisting of sets that are of the same Borel rank as relative to .

     

Tensor products of subnormal operators

We shall use a -algebra approach to study operators of the form where is subnormal and is normal. We shall determine the spectral properties for these operators, and find the minimal normal extension and the dual operator. We also give a necessary condition for to contain a compact operator and a sufficient condition for the algebraic equivalence of and .

We also consider the existence of a homomorphism satisfying . We shall characterize the operators such that exists for every operator .

The problem of when is unitarily equivalent to is considered. Complete results are given when and are positive operators with finite multiplicity functions and has compact self-commutator. Some examples are also given.

     

Catenarity in module-finite algebras

The main theorem says that any module-finite (but not necessarily commutative) algebra over a commutative Noetherian universally catenary ring is catenary. Hence the ring is catenary if is Cohen-Macaulay. When is local and is a Cohen-Macaulay -module, we have that is a catenary ring, for any , and the equality holds true for any pair of prime ideals in and for any saturated chain of prime ideals between and .

     

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

     

Exact estimates for integrals involving Dirichlet series with nonnegative coefficients

We consider the Dirichlet series

with coefficients for all . Among others, we prove exact estimates of certain weighted -norms of on the unit interval for any , in terms of the coefficients . Our estimation is based on the close relationship between Dirichlet series and power series. This enables us to derive exact estimates for integrals involving the former one by relying on exact estimates for integrals involving the latter one. As a by-product, we obtain an analogue of the Cauchy-Hadamard criterion of (absolute) convergence of the more general Dirichlet series

with complex coefficients .

     

Codimension 1 linear isometries on function algebras

Let be a function algebra on a locally compact Hausdorff space. A linear isometry is said to be of codimension if the range of has codimension in . In this paper, we provide and study a classification of codimension 1 linear isometries on function algebras in general and on Douglas algebras in particular.

     

Finite generation of powers of ideals

Suppose is a maximal ideal of a commutative integral domain and that some power of is finitely generated. We show that is finitely generated in each of the following cases: (i) is of height one, (ii) is integrally closed and , (iii) is a monoid domain over a field , where is a cancellative torsion-free monoid such that , and is the maximal ideal . We extend the above results to ideals of a reduced ring such that is Noetherian. We prove that a reduced ring is Noetherian if each prime ideal of has a power that is finitely generated. For each with , we establish existence of a -dimensional integral domain having a nonfinitely generated maximal ideal of height such that is -generated.

     

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.

     

A structure of ring homomorphisms on commutative Banach algebras

We give a structure theorem for a ring homomorphism of a commutative regular Banach algebra into another commutative Banach algebra. In particular, it is shown that:

(i)

A ring homomorphism of a commutative -algebra onto another commutative -algebra with connected infinite Gelfand space is either linear or anti-linear.

(ii)

A ring automorphism of is either linear or anti-linear.

(iii)

, and the disc algebra are neither ring homomorphic images of nor .

     

Lusin's theorem for derivatives with respect to a continuous function

For a nowhere constant continuous function on a real interval and for a Borel measure on , we give simple necessary and sufficient conditions guaranteeing, for any Borel function on , the existence of a continuous function on such that the derivative of with respect to is, almost everywhere, equal to .

     

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 .

     

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 .

     

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.

     

Relative Brauer groups of discrete valued fields

Let be a non-trivial finite Galois extension of a field . In this paper we investigate the role that valuation-theoretic properties of play in determining the non-triviality of the relative Brauer group, , of over . In particular, we show that when is finitely generated of transcendence degree 1 over a -adic field and is a prime dividing , then the following conditions are equivalent: (i) the -primary component, , is non-trivial, (ii) is infinite, and (iii) there exists a valuation of trivial on such that divides the order of the decomposition group of at .

     

A mean value theorem on bounded symmetric domains

Let be a Cartan domain of rank and genus and , , the Berezin transform on ; the number can be interpreted as a certain invariant-mean-value of a function around . We show that a Lebesgue integrable function satisfying , , must be -harmonic. In a sense, this result is reminiscent of Delsarte's two-radius mean-value theorem for ordinary harmonic functions on the complex -space , but with the role of radius played by the quantity .

     

The distribution of solutions of the congruence

For a cube of size , we obtain a lower bound on so that is nonempty, where is the algebraic subset of defined by

a positive integer and an integer not divisible by . For we obtain that is nonempty if , for we obtain that is nonempty if , and for we obtain that is nonempty if . Using the assumption of the Grand Riemann Hypothesis we obtain is nonempty if .

     

Ossa's theorem and Adams covers

We show that Ossa's theorem splitting for elementary abelian groups follows from general facts about and Adams covers. For completeness, we also provide the analogous results for .