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 .

     

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

     

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.

     

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.

     

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.

     

A central set of dimension

The central set of a domain is the set of centers of maximal discs in . Fremlin proved that the central set of a planar domain has zero area and asked whether it can have Hausdorff dimension strictly larger than . We construct a planar domain with central set of Hausdorff dimension .

     

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.

     

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 .

     

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 .

     

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.

     

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 .

     

A sharp result on -covers

Let be a finite system of residue classes which forms an -cover of (i.e., every integer belongs to at least members of ). In this paper we show the following sharp result: For any positive integers and , if there is such that the fractional part of is , then there are at least such subsets of . This extends an earlier result of M. Z. Zhang and an extension by Z. W. Sun. Also, we generalize the above result to -covers of the integral ring of any algebraic number field with a power integral basis.

     

On exceptional eigenvalues of the Laplacian for

An explicit Dirichlet series is obtained, which represents an analytic function of in the half-plane except for having simple poles at points that correspond to exceptional eigenvalues of the non-Euclidean Laplacian for Hecke congruence subgroups by the relation for . Coefficients of the Dirichlet series involve all class numbers of real quadratic number fields. But, only the terms with for sufficiently large discriminants contribute to the residues of the Dirichlet series at the poles , where is the multiplicity of the eigenvalue for . This may indicate (I'm not able to prove yet) that the multiplicity of exceptional eigenvalues can be arbitrarily large. On the other hand, by density theorem the multiplicity of exceptional eigenvalues is bounded above by a constant depending only on .

     

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

     

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.

     

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.

     

Splicing and the Casson invariant

We establish a formula for the Casson invariant of spliced sums of homology spheres along knots. Along the way, we show that the Casson invariant vanishes for spliced sums along knots in .

     

On the wave-front set of traces of CR functions on maximally real submanifolds

We prove that, in a locally integrable structure, the wave-front set of the trace of a CR function at a point in a totally real submanifold of maximal dimension is independent of the maximally real submanifold passing through the point .