``Beurling type' subspaces of and

In this note we extend the ``Beurling type' characterizations of subspaces of and to and , respectively.

     

Codes over and and Hermitian lattices over imaginary quadratic fields

We introduce a family of bi-dimensional theta functions which give uniformly explicit formulae for the theta series of hermitian lattices over imaginary quadratic fields constructed from codes over and , and give an interesting geometric characterization of the theta series that arise in terms of the basic strongly modular lattice . We identify some of the hermitian lattices constructed and observe an interesting pair of nonisomorphic 3/2 dimensional codes over that give rise to isomorphic hermitian lattices when constructed at the lowest level 7 but nonisomorphic lattices at higher levels. The results show that the two alphabets and are complementary and raise the natural question as to whether there are other such complementary alphabets for codes.

     

Morava -theory of extraspecial -groups

We compute the Morava -theory of some extraspecial 2-groups and associated compact groups.

     

-invariant subspaces of

In this note, we give a new proof of the characterization of the -invariant subspaces of for in using ideas from approximation theory.     

The vanishing of implies that is regular

Let be an excellent local ring of positive prime characteristic. We show that if , then is regular. This improves a result of Schoutens, in which the additional hypothesis that was an isolated singularity was required for the proof.

     

A -sampling theorem related to the -Hankel transform

A -version of the sampling theorem is derived using the -Hankel transform introduced by Koornwinder and Swarttouw. The sampling points are the zeros of the third Jackson -Bessel function.

     

-actions with

Suppose that is a smooth -action on a closed smooth -dimensional manifold such that all Stiefel-Whitney classes of the tangent bundle to each connected component of the fixed point set vanish in positive dimension. This paper shows that if 2^k\dim F$"> and each -dimensional part possesses the linear independence property, then bounds equivariantly, and in particular, is the best possible upper bound of if is nonbounding.

     

Real

The famous problem involves applying two maps: and to positive integers. If is even, one applies , if it is odd, one applies . The conjecture states that each trajectory of the system arrives to the periodic orbit . In this paper, instead of choosing each time which map to apply, we allow ourselves more freedom and apply both and independently of . That is, we consider the action of the free semigroup with generators and on the space of positive real numbers. We prove that this action is minimal (each trajectory is dense) and that the periodic points are dense. Moreover, we give a full characterization of the group of transformations of the real line generated by and .

     

-matrices satisfy Newton's inequalities

Newton's inequalities are shown to hold for the normalized coefficients of the characteristic polynomial of any - or inverse -matrix. They are derived by establishing first an auxiliary set of inequalities also valid for both of these classes. They are also used to derive some new necessary conditions on the eigenvalues of nonnegative matrices.

     

Measures of concordance determined by -invariant measures on

A measure, , on is said to be -invariant if its value for any Borel set is invariant with respect to the symmetries of the unit square. A function, , generated in a certain way by a measure, , on is shown to be a measure of concordance if and only if the generating measure is positive, regular, -invariant, and satisfies certain inequalities. The construction examined here includes Blomqvist's beta as a special case.

     

Examples of non-formal closed -connected manifolds of dimensions

We construct closed -connected manifolds of dimensions that possess non-trivial rational Massey triple products. We also construct examples of manifolds such that all the cup-products of elements of vanish, while the group is generated by Massey products: such examples are useful for the theory of systols.

     

Modular group algebras of -separable -groups

Under the assumptions of MA and CH, it is proved that if is a field of prime characteristic and is an -separable abelian -group of cardinality , then an isomorphism of the group algebras and implies an isomorphism of and .

     

Properly -realizable groups

A finitely presented group is said to be properly -realizable if there exists a compact -polyhedron with and whose universal cover has the proper homotopy type of a (p.l.) -manifold with boundary. In this paper we show that, after taking wedge with a -sphere, this property does not depend on the choice of the compact -polyhedron with . We also show that (i) all -ended and -ended groups are properly -realizable, and (ii) the class of properly -realizable groups is closed under amalgamated free products (HNN-extensions) over a finite cyclic group (as a step towards proving that -ended groups are properly -realizable, assuming -ended groups are).

     

Real -flats tangent to quadrics in

Let and denote the dimension and the degree of the Grassmannian , respectively. For each there are (a priori complex) -planes in tangent to general quadratic hypersurfaces in . We show that this class of enumerative problems is fully real, i.e., for there exists a configuration of real quadrics in (affine) real space so that all the mutually tangent -flats are real.

     

Full signature invariants for

Let be a number field closed under complex conjugation. Denote by the Witt group of hermitian forms over . We find full invariants for detecting non-zero elements in . This group plays an important role in topology in the work done by Casson and Gordon.

     

Lifts of - and -morphisms to -morphisms

Let be the Hochschild complex of cochains on and let be the space of multivector fields on . In this paper we prove that given any -structure (i.e. Gerstenhaber algebra up to homotopy structure) on , and any -morphism (i.e. morphism of a commutative, associative algebra up to homotopy) between and , there exists a -morphism between and that restricts to . We also show that any -morphism (i.e. morphism of a Lie algebra up to homotopy), in particular the one constructed by Kontsevich, can be deformed into a -morphism, using Tamarkin's method for any -structure on . We also show that any two of such -morphisms are homotopic.

     

The -exponent of the -local spectrum

Let be a fixed odd prime. In this paper we prove an exponent conjecture of Bousfield, namely that the -exponent of the spectrum is for . It follows from this result that the -exponent of is at least for and , where denotes the -connected cover of .

     

New properties of Mrowka's space

We extend the technique of Mrowka to show that his space has the property that dim while ind , assuming his extra set-theoretic hypothesis. We also show that is compact, so assuming the extra axiom, there is an compact metric space with no compact completion.

     

Pseudocompact spaces and -spaces

Let be a completely regular Hausdorff space, and let be the space of continuous real-valued functions on endowed with the compact-open topology. We find various equivalent conditions for to be a -space, resolving an old question of Jarchow and consolidating work by Jarchow, Mazon, McCoy and Todd. Included are analytic characterizations of pseudocompactness and an example that shows that, for , Grothendieck's -spaces do not coincide with Jarchow's -spaces. Any such example necessarily answers a thirty-year-old question on weak barrelledness properties for , our original motivation.

     

-bounding and -induction

Working in the base theory of , we show that for all , the bounding principle for -formulas ( ) is equivalent to the induction principle for -formulas ( ). This partially answers a question of J. Paris.