A note on -bases of a regular affine domain extension

Let be a tower of commutative rings where is a regular affine domain over an algebraically closed field of prime characteristic and is a regular domain. Suppose has a -basis over and . For a subset of whose elements satisfy a certain condition on linear independence, let be a set of maximal ideals of such that is a -basis of over . We shall characterize this set in a geometrical aspect.

     

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 .

     

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.

     

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.

     

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.

     

Dieudonné rings associated with

We use Dieudonné theory for periodically graded Hopf rings to determine the Dieudonné ring structure of the -graded Morava -theory , with an odd prime, when applied to the -spectrum (and to ). We also expand these results in order to accomodate the case of the full Morava -theory .

     

Spectral radius algebras and contractions

We consider the spectral radius algebras associated to contractions. If is such an operator we show that the spectral radius algebra always properly contains the commutant of .

     

Maps on the -dimensional subspaces of a Hilbert space preserving principal angles

In a former paper we studied transformations on the set of all -dimensional subspaces of a Hilbert space which preserve the principal angles. In the case when , we could determine the general form of all such maps. The aim of this paper is to complete our result by considering the problem in the remaining case .

     

On the - boundedness of operators

We prove that if is in , is a Banach space, and is a linear operator defined on the space of finite linear combinations of -atoms in with the property that

then admits a (unique) continuous extension to a bounded linear operator from to . We show that the same is true if we replace -atoms by continuous -atoms. This is known to be false for -atoms.

     

Representation of measures with polynomial denseness in , , and its application to determinate moment problems

It has been proved that algebraic polynomials are dense in the space , , iff the measure is representable as with a finite non-negative Borel measure and an upper semi-continuous function such that is a dense subset of the space    as equipped with the seminorm . The similar representation ( ) with the same and ( , and is also a dense

subset of ) corresponds to all those measures (supported by ) that are uniquely determined by their moments on ( ). The proof is based on de Branges' theorem (1959) on weighted polynomial approximation. A more general question on polynomial denseness in a separable Fréchet space in the sense of Banach has also been examined.

     

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.

     

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 .

     

A sheaf of Hochschild complexes on quasi-compact opens

For a scheme , we construct a sheaf of complexes on such that for every quasi-compact open , is quasi-isomorphic to the Hochschild complex of (Lowen and Van den Bergh, 2005). Since is moreover acyclic for taking sections on quasi-compact opens, we obtain a local to global spectral sequence for Hochschild cohomology if is quasi-compact.

     

Sign changes of Hecke eigenvalues of Siegel cusp forms of degree

Let , , be the sequence of Hecke eigenvalues of a cuspidal Siegel eigenform of degree . It is proved that if is not in the Maaß space, then there exist infinitely many primes for which the sequence , , has infinitely many sign changes.

     

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.

     

Trigonometric and Rademacher measures of nowhere finite variation

Let be an infinite dimensional real Banach space. It was proved by E. Thomas and soon thereafter by L. Janicka and N. J. Kalton that there always exists a measure into with relatively norm-compact range such that its variation measure assumes the value on every non-null set. Such measures have been called ``measures of nowhere finite variation' by K. M. Garg and the author, who as well as L. Drewnowski and Z. Lipecki have done related investigations. We give some ``concrete' examples of such 's in the spaces defined using the (real) trigonometric system and the Rademacher system illustrating similarities and some differences. We also look at the extensibility of the integration map of these 's. As an application of the trigonometric example, we have the probably known result: For every , the function is unbounded on every set with positive measure.

     

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 .

     

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

     

On -supplemented maximal and minimal subgroups of Sylow subgroups of finite groups

This paper proves: Let be a saturated formation containing . Suppose that is a group with a normal subgroup such that .

(1) If all maximal subgroups of any Sylow subgroup of are -supple- mented in , then ;

(2) If all minimal subgroups and all cyclic subgroups with order 4 of are -supplemented in , then .

     

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.