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 .

     

Traces and Sobolev extension domains

Assume that is a bounded domain and its boundary is -regular, . We show that if there exists a bounded trace operator , and , and -Hölder continuous functions are dense in , , then the domain is a -extension domain.

     

On the convergence in capacity on compact Kahler manifolds and its applications

The main aim of the present note is to study the convergence in on a compact Kahler mainfold . The obtained results are used to study global extremal functions and describe the -pluripolar hull of an -pluripolar subset in .

     

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.

     

Asymptotic cones and Assouad-Nagata dimension

We prove that the dimension of any asymptotic cone over a metric space does not exceed the asymptotic Assouad-Nagata dimension of . This improves a result of Dranishnikov and Smith (2007), who showed for all separable subsets of special asymptotic cones , where is an exponential ultrafilter on natural numbers.

We also show that the Assouad-Nagata dimension of the discrete Heisenberg group equals its asymptotic dimension.

     

A Banach-Stone theorem for Riesz isomorphisms of Banach lattices

Let and be compact Hausdorff spaces, and , be Banach lattices. Let denote the Banach lattice of all continuous -valued functions on equipped with the pointwise ordering and the sup norm. We prove that if there exists a Riesz isomorphism such that is non-vanishing on if and only if is non-vanishing on , then is homeomorphic to , and is Riesz isomorphic to . In this case, can be written as a weighted composition operator: , where is a homeomorphism from onto , and is a Riesz isomorphism from onto for every in . This generalizes some known results obtained recently.

     

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.

     

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 .

     

First eigenvalue of a Jacobi operator of hypersurfaces with a constant scalar curvature

Let be an -dimensional compact hypersurface with constant scalar curvature , , in a unit sphere . We know that such hypersurfaces can be characterized as critical points for a variational problem of the integral of the mean curvature . In this paper, we first study the eigenvalue of the Jacobi operator of . We derive an optimal upper bound for the first eigenvalue of , and this bound is attained if and only if is a totally umbilical and non-totally geodesic hypersurface or is a Riemannian product , .

     

All dihedral division algebras of degree five are cyclic

In 1982 Rowen and Saltman proved that every division algebra which is split by a dihedral extension of degree of the center, odd, is in fact cyclic. The proof requires roots of unity of order in the center. We show that for , this assumption can be removed. It then follows that , the -torsion part of the Brauer group, is generated by cyclic algebras, generalizing a result of Merkurjev (1983) on the and torsion parts.

     

Universality of uniform Eberlein compacta

We prove that if for some regular , then there is no family of less than c-algebras of size which are jointly universal for c-algebras of size . On the other hand, it is consistent to have a cardinal as large as desired and satisfying and , while there are c-algebras of size that are jointly universal for c-algebras of size . Consequently, by the known results of M. Bell, it is consistent that there is as in the last statement and uniform Eberlein compacta of weight such that at least one among them maps onto any Eberlein compact of weight (we call such a family universal). The only positive universality results for Eberlein compacta known previously required the relevant instance of to hold. These results complete the answer to a question of Y. Benyamini, M. E. Rudin and M. Wage from 1977 who asked if there always was a universal uniform Eberlein compact of a given weight.

     

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.

     

On the isolated points of the surjective spectrum of a bounded operator

For a bounded operator acting on a complex Banach space, we show that if is not surjective, then is an isolated point of the surjective spectrum of if and only if , where is the quasinilpotent part of and is the analytic core for . Moreover, we study the operators for which . We show that for each of these operators , there exists a finite set consisting of Riesz points for such that and is connected, and derive some consequences.

     

Simple real rank zero algebras with locally Hausdorff spectrum

Let be a unital, simple, separable -algebra with real rank zero, stable rank one, and weakly unperforated ordered group. Suppose, also, that can be locally approximated by type I algebras with Hausdorff spectrum and bounded irreducible representations (the bound being dependent on the local approximating algebra). Then is tracially approximately finite dimensional (i.e., has tracial rank zero).

Hence, is an -algebra with bounded dimension growth and is determined by -theoretic invariants.

The above result also gives the first proof for the locally case.

     

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 .

     

Means on chainable continua

By a mean on a space we understand a mapping such that and for . A chainable continuum is a metric compact connected space which admits an - mapping onto the interval for every number . We show that every chainable continuum that admits a mean is homeomorphic to the interval. In this way we answer a question by P. Bacon. We answer some other questions concerning means as well.

     

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.

     

Isomorphic -subspaces in Orlicz-Lorentz sequence spaces

Given a decreasing weight and an Orlicz function satisfying the -condition at zero, we show that the Orlicz-Lorentz sequence space contains an -isomorphic copy of , if and only if the Orlicz sequence space does, that is, if , where and are the Matuszewska-Orlicz lower and upper indices of , respectively. If does not satisfy the -condition, then a similar result holds true for order continuous subspaces and of and , respectively.

     

Global co-stationarity of the ground model from a new countable length sequence

Suppose are models of ZFC with the same ordinals, and that for all regular cardinals in , satisfies . If contains a sequence for some ordinal , then for all cardinals in with regular in and , is stationary in . That is, a new -sequence achieves global co-stationarity of the ground model.