Paracompact subspaces in the box product topology

In 1975 E. K. van Douwen showed that if is a family of Hausdorff spaces such that all finite subproducts are paracompact, then for each element of the box product the -product is paracompact. He asked whether this result remains true if one considers uncountable families of spaces. In this paper we prove in particular the following result: Let be an infinite cardinal number, and let be a family of compact Hausdorff spaces. Let be a fixed point. Given a family of open subsets of which covers , there exists an open locally finite in refinement of which covers .

We also prove a slightly weaker version of this theorem for Hausdorff spaces with ``all finite subproducts are paracompact" property. As a corollary we get an affirmative answer to van Douwen's question.

     

Cohomological detection and regular elements in group cohomology

Suppose that is a compact Lie group or a discrete group of finite virtual cohomological dimension and that is a field of characteristic . Suppose that is a set of elementary abelian -subgroups such that the cohomology is detected on the centralizers of the elements of . Assume also that is closed under conjugation and that is in whenever some subgroup of is in . Then there exists a regular element in the cohomology ring such that the restriction of to an elementary abelian -subgroup is not nilpotent if and only if is in . The converse of the result is a theorem of Lannes, Schwartz and the second author. The results have several implications for the depth and associated primes of the cohomology rings.

     

Isometries of certain operator algebras

To a given basis on an -dimensional Hilbert space , we associate the algebra of all linear operators on having every as an eigenvector. So, is commutative, semisimple, and -dimensional. Given two algebras of this type, and , there is a natural algebraic isomorphism of and . We study the question: When does preserve the operator norm?

     

Bounds for the operator norms of some Nörlund matrices

Suppose is a non-increasing sequence of non-negative numbers with , , , and is the lower triangular matrix defined by , , and , . We show that the operator norm of as a linear operator on is no greater than , for ; this generalizes, yet again, Hardy's inequality for sequences, and simplifies and improves, in this special case, more generally applicable results of D. Borwein, Cass, and Kratz. When the tend to a positive limit, the operator norm of on is exactly . We also give some cases when the operator norm of on is less than .

     

and the associated line bundles

Let be a compact semi-simple Lie group, and let be a maximal unipotent subgroup of the complexified group . In this paper, we classify all the -invariant Kaehler structures on . For each Kaehler structure , let be the line bundle with connection whose curvature is . We then study the holomorphic sections of , which constitute a -representation space.

     

Banach spaces in which every -weakly summable sequence lies in the range of a vector measure

Let be a Banach space. For we prove that the identity map is -summing if and only if the operator is nuclear for every unconditionally summable sequence in , where is the conjugate number for . Using this result we find a characterization of Banach spaces in which every -weakly summable sequence lies inside the range of an -valued measure (equivalently, every -weakly summable sequence in , satisfying that the operator is compact, lies in the range of an -valued measure) with bounded variation. They are those Banach spaces such that the identity operator is -summing.

     

Limits of differentiable functions

Suppose that is a sequence of differentiable functions defined on [0,1] which converges uniformly to some differentiable function , and converges pointwise to some function . Let . In this paper we characterize such sets under various hypotheses. It follows from one of our characterizations that can be the entire interval [0,1].

     

A note on generators of least degree in Gorenstein ideals

Assume is a polynomial ring over a field and is a homogeneous Gorenstein ideal of codimension and initial degree . We prove that the number of minimal generators of that are of degree is bounded above by , which is the number of minimal generators of the defining ideal of the extremal Gorenstein algebra of codimension and initial degree . Further, is itself extremal if .

     

Almost linearity of -bi-Lipschitz maps between real Banach spaces

Let and be real Banach spaces. A map between and is called an -bi-Lipschitz map if for all . In this note we show that if is an -bi-Lipschitz map with from onto , then is almost linear. We also show that if is a surjective -bi-Lipschitz map with , then there exists a linear isomorphism such that

where as and .

     

Every monotone graph property has a sharp threshold

In their seminal work which initiated random graph theory Erdös and Rényi discovered that many graph properties have sharp thresholds as the number of vertices tends to infinity. We prove a conjecture of Linial that every monotone graph property has a sharp threshold. This follows from the following theorem. Let denote the Hamming space endowed with the probability measure defined by , where . Let be a monotone subset of . We say that is symmetric if there is a transitive permutation group on such that is invariant under . Theorem. For every symmetric monotone , if then for . ( is an absolute constant.)

     

On the higher delta invariants of a Gorenstein local ring

Let be a Gorenstein complete local ring. Auslander's higher delta invariants are denoted by for each module and for each integer . We propose a conjecture asking if for any positive integers and . We prove that this is true provided the associated graded ring of has depth not less than . Furthermore we show that there are only finitely many possibilities for a pair of positive integers for which .

     

Parametrizing maximal compact subvarieties

For the Lie group , let be the open orbit of Lagrangian planes of signature in the generalized flag variety of Lagrangian planes in . For a suitably chosen maximal compact subgroup of and a base point we have that the orbit of is a maximal compact subvariety of . We show that for the connected component containing in the space of translates of which lie in is biholomorphic to , where denotes with the opposite complex structure.

     

On rigidity of affine surfaces

Rigidity of nondegenerate Blaschke surfaces in is studied. The rigidity criteria are given in terms of , where is the curvature of the Blaschke connection . If the rank of is 2, then the surface is rigid. If , it is nonrigid. In the case where the rank of is 1 there are both rigid and nonrigid surfaces. This case is discussed for various types of surfaces.

     

The local zeta function for the non-trivial characters associated with the singular Jordan algebras

This paper investigates the local integrals

where represents the integers of a composition algebra over a non-archimedean local field and is a non-trivial character on the units in the ring of integers of extended to by setting . The local zeta function for the trivial character is known for all composition algebras . In this paper, we show in the quaternion case that for all non-trivial characters and then compute the local zeta function in the ramified quadratic extension case for equal to the quadratic character. In this latter case, for any character of order greater than .

     

A Wolff-Denjoy theorem for infinitely connected Riemann surfaces

We generalize the classical Wolff-Denjoy theorem to certain infinitely connected Riemann surfaces. Let be a non-parabolic Riemann surface with Martin boundary . Suppose each Martin function , , extends continuously to and vanishes there. We show that if is an endomorphism of and the iterates of converge to the point at infinity, then the iterates converge locally uniformly to a point in . As an application, we extend the Wolff-Denjoy theorem to non-elementary Gromov hyperbolic covering spaces of compact Riemann surfaces. Such covering surfaces are of independent interest. Finally, we use the theory of non-tangential boundary limits to give a version of the Wolff-Denjoy theorem that imposes certain mild restrictions on but none on itself.

     

A rigidity theorem for the Clifford tori in

Let be the unit hypersphere in the 4-dimensional Euclidean space defined by . For each with , we denote by the Clifford torus in given by the equations and . The Clifford torus is a flat Riemannian manifold equipped with the metric induced by the inclusion map . In this note we prove the following rigidity theorem: If is an isometric embedding, then there exists an isometry of such that . We also show no flat torus with the intrinsic diameter is embeddable in except for a Clifford torus.

     

Properties that characterize Gaussian periods and cyclotomic numbers

Let be a prime number, a -th primitive root of 1 and the periods of degree of . Write with . Several characterizations of the numbers and (or, equivalently, of the cyclotomic numbers of order ) are given in terms of systems of equations they satisfy and a condition on the linear independence, over , of the or on the irreducibility, over , of the characteristic polynomial of the matrix .

     

The -PIP and integrability of a single function

Two examples are given that answer in the negative the following question asked by E. M. Bator: If is bounded and weakly measurable and for each in there is a bounded sequence in such that a.e., does it follow that is Pettis integrable?

     

Best possibility of the Furuta inequality

Let , and . Furuta (1987) proved that if bounded linear operators on a Hilbert space satisfy , then . In this paper, we prove that the range and is best possible with respect to the Furuta inequality, that is, if or , then there exist which satisfy but .

     

Class numbers and Iwasawa invariants of quadratic fields

Let and be quadratic fields with 2 (mod 3) a positive integer. Let be the respective Iwasawa -invariants of the cyclotomic -extension of these fields. We show that if , then 3 does not divide the class number of and .