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.

     

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 .

     

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.

     

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 .

     

On the normal bundle of submanifolds of

Let be a submanifold of dimension of the complex projective space . We prove results of the following type.i) If is irregular and , then the normal bundle is indecomposable. ii) If is irregular, and , then is not the direct sum of two vector bundles of rank . iii) If , and is decomposable, then the natural restriction map is an isomorphism (and, in particular, if is embedded Segre in , then is indecomposable). iv) Let and , and assume that is a direct sum of line bundles; if assume furthermore that is simply connected and is not divisible in . Then is a complete intersection. These results follow from Theorem 2.1 below together with Le Potier's vanishing theorem. The last statement also uses a criterion of Faltings for complete intersection. In the case when this fact was proved by M. Schneider in 1990 in a completely different way.

     

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.

     

Polynomials with roots in for all

Let be a monic polynomial in with no rational roots but with roots in for all , or equivalently, with roots mod for all . It is known that cannot be irreducible but can be a product of two or more irreducible polynomials, and that if is a product of irreducible polynomials, then its Galois group must be a union of conjugates of proper subgroups. We prove that for any , every finite solvable group that is a union of conjugates of proper subgroups (where all these conjugates have trivial intersection) occurs as the Galois group of such a polynomial, and that the same result (with ) holds for all Frobenius groups. It is also observed that every nonsolvable Frobenius group is realizable as the Galois group of a geometric, i.e. regular, extension of .

     

Principal groupoid -algebras with bounded trace

Suppose is a second countable, locally compact, Hausdorff, principal groupoid with a fixed left Haar system. We define a notion of integrability for groupoids and show is integrable if and only if the groupoid -algebra has bounded trace.

     

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 .

     

A lattice space-time code of rank

For all previous constructions of lattice space-time codes with a positive diversity product, the rank was at most . In this paper, we give an example of a lattice space-time code of rank with a positive diversity product.

     

Small volume on big -spheres

We consider Riemannian metrics on the -sphere for such that the distance between any pair of antipodal points is bounded below by 1. We show that the volume can be arbitrarily small. This is in contrast to the -dimensional case where Berger has shown that .

     

-actions with -dimensional fixed point set

We describe the equivariant cobordism classification of smooth actions of the group , considered as the group generated by two commuting involutions, on closed smooth -dimensional manifolds , for which the fixed point set of the action is a connected manifold of dimension and or . For , the classification is known.

     

The projective -character bounds the order of a -base

All spaces below are Tychonov. We define the projective - character of a space as the supremum of the values where ranges over all (Tychonov) continuous images of . Our main result says that every space has a -base whose order is ; that is, every point in is contained in at most -many members of the -base. Since for compact , this is a significant generalization of a celebrated result of Shapirovskii.

     

Embeddings of -dimensional separable metric spaces into the product of Sierpinski curves

We give a short proof of the following fact: the set of embeddings of any -dimensional separable metric space into a certain -dimensional subset of the -product of Sierpinski curves is residual in .

     

-identities for the Grassmann algebra: The conjecture of Henke and Regev

Let be an algebraically closed field of characteristic 0, and let be the infinite dimensional Grassmann (or exterior) algebra over . Denote by the vector space of the multilinear polynomials of degree in , ..., in the free associative algebra . The symmetric group acts on the left-hand side on , thus turning it into an -module. This fact, although simple, plays an important role in the theory of PI algebras since one may study the identities satisfied by a given algebra by applying methods from the representation theory of the symmetric group. The -modules and are canonically isomorphic. Letting be the alternating group in , one may study and its isomorphic copy in with the corresponding action of . Henke and Regev described the -codimensions of the Grassmann algebra , and conjectured a finite generating set of the -identities for . Here we answer their conjecture in the affirmative.

     

Cofinality changes required for a large set of unapproachable ordinals below

In , assume that is a strong limit cardinal and . Let be the set of approachable ordinals less than . An open question of M. Foreman is whether can be non-stationary in some and preserving extension of . It is shown here that if is such an outer model, then is infinite, for each positive integer .

     

Semiprime smash products and -stable prime radicals for PI-algebras

Assume that is a finite-dimensional Hopf algebra over a field and that is an -module algebra satisfying a polynomial identity (PI). We prove that if is semisimple and is -semiprime, then is semiprime. If is cosemisimple, we show that the prime radical of is -stable.

     

Properly embedded least area planes in Gromov hyperbolic -spaces

Let be a Gromov hyperbolic -space with cocompact metric, and the sphere at infinity of . We show that for any simple closed curve in , there exists a properly embedded least area plane in spanning . This gives a positive answer to Gabai's conjecture from 1997. Soma has already proven this conjecture in 2004. Our technique here is simpler and more general, and it can be applied to many similar settings.

     

On a fragment of the universal Baire property for sets

There is a well-known global equivalence between sets having the universal Baire property, two-step generic absoluteness, and the closure of the universe under the sharp operation. In this note, we determine the exact consistency strength of sets being -cc-universally Baire, which is below . In a model obtained, there is a set which is weakly -universally Baire but not -universally Baire.