Helly-type theorems for hollow axis-aligned boxes

A hollow axis-aligned box is the boundary of the cartesian product of compact intervals in . We show that for , if any of a collection of hollow axis-aligned boxes have non-empty intersection, then the whole collection has non-empty intersection; and if any of a collection of hollow axis-aligned rectangles in have non-empty intersection, then the whole collection has non-empty intersection. The values for and for are the best possible in general. We also characterize the collections of hollow boxes which would be counterexamples if were lowered to , and to , respectively.

     

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 .

     

On permutation representations of polyhedral groups

We answer affirmatively the following question of Derek Holt: Given integers , can one, in a simple manner, find a finite set and permutations such that has order , has order and has order ? The method of proof enables us to prove more general results (Theorems 2 and 3).

     

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 .

     

A sharp exponential inequality for Lorentz-Sobolev spaces on bounded domains

This paper generalizes an inequality of Moser from the case that is in the Lebesgue space to certain subspaces, namely the Lorentz spaces , where . The conclusion is that is integrable, where . This is a higher degree of integrability than in the Moser inequality when . A formula for is given and it is also shown that no larger value of works.

     

On the range and the kernel of the operator

Let denote the algebra of (bounded linear) operators on the separable complex Hilbert space , and let denote a norm ideal in . For , let the derivation be defined by , and let be defined by . The main result of this paper is to show that if , are contractions, then for every operator such that , then for all .

     

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.

     

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 .

     

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.

     

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.

     

The Weierstrass approximation theorem and a characterization of the unit circle

We study real algebraic morphisms from nonsingular real algebraic varieties with into nonsingular real algebraic curves . We show, among other things, that the set of real algebraic morphisms from into is never dense in the space of all maps from into , unless is biregularly isomorphic to a Zariski open subset of the unit circle.

     

New facts

We use ``iterated square sequences' to show that there is an -definable partition such that if is an inner model not containing :

(a)

For some is stationary.

(b)

For each there is a generic extension of in which does not exist and is non-stationary.

This result is then applied to show that if is an inner model without , then some sentence not true in can be forced over .

     

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 .

     

Uniform distribution modulo one on subsequences

Let be a set of primes with a divergent series of reciprocals and let denote the set of squarefree integers greater than one that are divisible only by primes in . G. Myerson and A. D. Pollington proved that is uniformly distributed (mod 1) whenever the subsequence is uniformly distributed (mod 1) for every in . We show that in fact is uniformly distributed (mod 1) whenever the subsequence is uniformly distributed (mod 1) for every .

     

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 .

     

A proof of the Hoggatt-Bergum conjecture

It is proved that if and are positive integers such that the product of any two distinct elements of the set

increased by is a perfect square, then has to be . This is a generalization of the theorem of Baker and Davenport for .

     

Pseudo-Anosov homeomorphisms with quadratic expansion

We show that if is a pseudo-Anosov homeomorphism on an orientable surface with oriented unstable manifolds and a quadratic expanding factor, then there is a hyperbolic toral automorphism on and a map such that is a semi-conjugacy and is a branched covering space of . We also give another characterization of pseudo-Anosov homeomorphisms with quadratic expansion in terms of the kinds of Euclidean foliations they admit which are compatible with the affine structure associated to .

     

Existence of unliftable modules

Let be a commutative Noetherian local ring, and let where is a non-zerodivisor of contained in . Then a finitely generated -module is said to lift to if there exists a finitely generated -module such that is -regular and . In this paper we give a general construction of finitely generated -modules of finite projective dimension over which fail to lift to provided and the depth of is at least 2.

     

Open covers and partition relations

An open cover of a topological space is said to be an -cover if there is for each finite subset of the space a member of the cover which contains the finite set, but the space itself is not a member of the cover. We prove theorems which imply that a set of real numbers has Rothberger's property if, and only if, for each positive integer , for each -cover of , and for each function from the two-element subsets of , there is a subset of such that is constant on , and each element of belongs to infinitely many elements of (Theorem 1). A similar characterization is given of Menger's property for sets of real numbers (Theorem 6).