Algebraic characterizations of measure algebras

We present necessary and sufficient conditions for the existence of a countably additive measure on a Boolean -algebra. For instance, a Boolean -algebra is a measure algebra if and only if is the union of a chain of sets such that for every ,

(i)

every antichain in has at most elements (for some integer ),

(ii)

if is a sequence with for each , then , and

(iii)

for every , if is a sequence with , then for eventually all , .

The chain is essentially unique.

     

A remark on irregularity of the -Neumann problem on non-smooth domains

It is an observation due to J. J. Kohn that for a smooth bounded pseudoconvex domain in there exists such that the -Neumann operator on maps (the space of -forms with coefficient functions in -Sobolev space of order ) into itself continuously. We show that this conclusion does not hold without the smoothness assumption by constructing a bounded pseudoconvex domain in , smooth except at one point, whose -Neumann operator is not bounded on for any .

     

Hierarchical structure of the family of curves with maximal genus verifying flag conditions

Fix integers such that and , and let be the set of all integral, projective and nondegenerate curves of degree in the projective space , such that, for all , does not lie on any integral, projective and nondegenerate variety of dimension and degree . We say that a curve satisfies the flag condition if belongs to . Define where denotes the arithmetic genus of . In the present paper, under the hypothesis , we prove that a curve satisfying the flag condition and of maximal arithmetic genus must lie on a unique flag such as , where, for any , denotes an integral projective subvariety of of degree and dimension , such that its general linear curve section satisfies the flag condition and has maximal arithmetic genus . This proves the existence of a sort of a hierarchical structure of the family of curves with maximal genus verifying flag conditions.

     

Approximation of holomorphic maps with a lower bound on the rank

Let be a closed polydisc or ball in , and let be a quasi-projective algebraic manifold which is Zariski locally equivalent to , or a complement of an algebraic subvariety of codimension in such a manifold. If is an integer satisfying , then every holomorphic map from a neighborhood of to with rank at every point of can be approximated uniformly on by entire maps with rank at every point of .

     

On diophantine approximation along algebraic curves

Let be a quadratic form such that the associated algebraic curve contains a rational point. Here we show that there exists a domain such that for almost all , there exists an infinite sequence of nonzero integer triples satisfying the following two properties: (i) For each , is an excellent rational approximation to , in the sense that

and (ii) is a rational point on the curve . In addition, we give explicit values of for which both (i) and (ii) hold, and produce a similar result for a certain class of cubic curves.

     

Counting cusps of subgroups of

Let be a number field with real places and complex places, and let be the ring of integers of . The quotient has cusps, where is the class number of . We show that under the assumption of the generalized Riemann hypothesis that if is not or an imaginary quadratic field and if , then has infinitely many maximal subgroups with cusps. A key element in the proof is a connection to Artin's Primitive Root Conjecture.

     

Tauberian type theorem for operators with interpolation spectrum for Hölder classes

We consider an invertible operator on a Banach space whose spectrum is an interpolating set for Hölder classes. We show that if , , with and , then for all , assuming that satisfies suitable regularity conditions. When is a Hilbert space and (i.e. is a contraction), we show that under the same assumptions, is unitary and this is sharp.

     

Dynamics of the function and the Green-Tao theorem on arithmetic progressions in the primes

Let be the set of all positive integers , where are primes and possibly two, but not all three of them are equal. For any , define a function by where is the largest prime factor of . It is clear that if , then . For any , define , for . An element is semi-periodic if there exists a nonnegative integer and a positive integer such that . We use ind to denote the least such nonnegative integer . Wushi Goldring [Dynamics of the function and primes, J. Number Theory 119(2006), 86-98] proved that any element is semi-periodic. He showed that there exists such that , ind, and conjectured that ind can be arbitrarily large.

In this paper, it is proved that for any we have ind , and the Green-Tao Theorem on arithmetic progressions in the primes is employed to confirm Goldring's above conjecture.

     

Enriched Reedy categories

We define the notion of an enriched Reedy category and show that if is a -Reedy category for some symmetric monoidal model category and is a -model category, the category of -functors and -natural transformations from to is again a model category.

     

Detecting completeness from Ext-vanishing

Motivated by work of C. U. Jensen, R.-O. Buchweitz, and H. Flenner, we prove the following result. Let be a commutative noetherian ring and an ideal in the Jacobson radical of . Let be the -adic completion of . If is a finitely generated -module such that for all , then is -adically complete.

     

Uniqueness of structures for connective covers

We refine our earlier work on the existence and uniqueness of structures on -theoretic spectra to show that the connective versions of real and complex -theory as well as the connective Adams summand at each prime have unique structures as commutative -algebras. For the -completion we show that the McClure-Staffeldt model for is equivalent as an ring spectrum to the connective cover of the periodic Adams summand . We establish a Bousfield equivalence between the connective cover of the Lubin-Tate spectrum and .

     

Large groups and their periodic quotients

We first give a short group theoretic proof of the following result of Lackenby. If is a large group, is a finite index subgroup of admitting an epimorphism onto a non-cyclic free group, and are elements of , then the quotient of by the normal subgroup generated by is large for all but finitely many . In the second part of this note we use similar methods to show that for every infinite sequence of primes , there exists an infinite finitely generated periodic group with descending normal series , such that and is either trivial or abelian of exponent .

     

Approximate antilinear eigenvalue problems and related inequalities

If is a complex symmetric operator on a separable complex Hilbert space , then the spectrum of can be characterized in terms of a certain approximate antilinear eigenvalue problem. This approach leads to a general inequality (applicable to any bounded operator ), in terms of the spectra of the selfadjoint operators and , restricting the possible location of elements of . A sharp inequality for the operator norm is produced, and the extremal operators are shown to be complex symmetric.

     

On Generic differential -extensions

Let be an algebraically closed field with trivial derivation and let denote the differential rational field , with , , , , differentially independent indeterminates over . We show that there is a Picard-Vessiot extension for a matrix equation , with differential Galois group , with the property that if is any differential field with field of constants , then there is a Picard-Vessiot extension with differential Galois group if and only if there are with well defined and the equation giving rise to the extension .

     

Free resolutions of parameter ideals for some rings with finite local cohomology

Let be a -dimensional local ring, with maximal ideal , containing a field and let be a system of parameters for . If and the local cohomology module is finitely generated, then there exists an integer such that the modules have the same Betti numbers, for all .

     

A lower bound for the equilateral number of normed spaces

We show that if the Banach-Mazur distance between an -dimensional normed space and is at most , then there exist equidistant points in . By a well-known result of Alon and Milman, this implies that an arbitrary -dimensional normed space admits at least equidistant points, where is an absolute constant. We also show that there exist equidistant points in spaces sufficiently close to , .

     

The -primary classifying space of the fiber of the double suspension

Gray showed that the homotopy fiber of the double suspension has an integral classifying space , which fits in a homotopy fibration . In addition, after localizing at an odd prime , is an -space and if , then is homotopy associative and homotopy commutative, and is an -map. We positively resolve a conjecture of Gray's that the same multiplicative properties hold for as well. We go on to give some exponent consequences.

     

Extreme points, exposed points, differentiability points in CL-spaces

This paper presents a property of geometric and topological nature of Gateaux differentiability points and Fréchet differentiability points of almost CL-spaces. More precisely, if we denote by a maximal convex set of the unit sphere of a CL-space , and by the cone generated by , then all Gateaux differentiability points of are just n-s, and all Fréchet differentiability points of are (where n-s denotes the non-support points set of ).

     

Julia sets converging to the unit disk

We consider the family of rational maps , where and is small. If is equal to 0, the limiting map is and the Julia set is the unit circle. We investigate the behavior of the Julia sets of when tends to 0, obtaining two very different cases depending on and . The first case occurs when ; here the Julia sets of converge as sets to the closed unit disk. In the second case, when one of or is larger than , there is always an annulus of some fixed size in the complement of the Julia set, no matter how small is.