The Kitai criterion and backward shifts

It is proved that for any separable infinite dimensional Banach space , there is a bounded linear operator on such that satisfies the Kitai criterion. The proof is based on a quasisimilarity argument and on showing that satisfies the Kitai criterion for certain backward weighted shifts .

     

On the plane section of an integral curve in positive characteristic

If is an integral curve and an algebraically closed field of characteristic 0, it is known that the points of the general plane section of are in uniform position. From this it follows easily that the general minimal curve containing is irreducible. If char, the points of may not be in uniform position. However, we prove that the general minimal curve containing is still irreducible.

     

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.

     

Self-commutators of automorphic composition operators on the Dirichlet space

Let be a conformal automorphism on the unit disk and be the composition operator on the Dirichlet space induced by . In this article we completely determine the point spectrum, spectrum, essential spectrum and essential norm of the operators and self-commutators of , which expose that the spectrum and point spectrum coincide. We also find the eigenfunctions of the operators.

     

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 .

     

On the isotropy constant of random convex sets

Let be the symmetric convex hull of independent random vectors uniformly distributed on the unit sphere of . We prove that, for every , the isotropy constant of is bounded by a constant with high probability, provided that .

     

Isometries for the Carathéodory metric

Given two open unit balls and in complex Banach spaces, we consider a holomorphic mapping such that and is an isometry. Under some additional hypotheses on the Banach spaces involved, we prove that is a complex closed analytic submanifold of .

     

Hermitian lattices without a basis of minimal vectors

It is shown that over infinitely many imaginary quadratic fields there exists a Hermitian lattice in all even ranks which is generated by its minimal vectors but which is not generated by minimal vectors.

     

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

     

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.

     

On endomorphism rings of local cohomology modules

Let be a local complete ring. For an -module the canonical ring map is in general neither injective nor surjective; we show that it is bijective for every local cohomology module if for every ( an ideal of ); furthermore the same holds for the Matlis dual of such a module. As an application we prove new criteria for an ideal to be a set-theoretic complete intersection.

     

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 .

     

Normalizers of the congruence subgroups of the Hecke group II

Let . Let be an ideal of and let be the maximal ideal of such that . Then . In particular, if is square free, then is self-normalized in .

     

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

     

Isomorphism of complete local noetherian rings and strong approximation

About a year ago Angus Macintyre raised the following question. Let and be complete local noetherian rings with maximal ideals and such that is isomorphic to for every . Does it follow that and are isomorphic? We show that the answer is yes if the residue field is algebraic over its prime field. The proof uses a strong approximation theorem of Pfister and Popescu, or rather a variant of it, which we obtain by a method due to Denef and Lipshitz. Examples by Gabber show that the answer is no in general.

     

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.

     

Sufficient conditions for one domain to contain another in a space of constant curvature

As an application of the analogue of C-S. Chen's kinematic formula in the 3-dimensional space of constant curvature , that is, Euclidean space , -sphere , hyperbolic space (, respectively), we obtain sufficient conditions for one domain to contain another domain in either an Euclidean space , or a -sphere or a hyperbolic space .

     

Topology of three-manifolds with positive -scalar curvature

Consider an -dimensional smooth Riemannian manifold with a given smooth measure on it. We call such a triple a Riemannian measure space. Perelman introduced a variant of scalar curvature in his recent work on solving Poincaré's conjecture , where and is the scalar curvature of . In this note, we study the topological obstruction for the -stable minimal submanifold with positive -scalar curvature in dimension three under the setting of manifolds with density.

     

Hurewicz sets of reals without perfect subsets

We show that even for subsets of the real line that do not contain perfect sets, the Hurewicz property does not imply the property , asserting that for each countable family of open -covers of , there is a choice function whose image is a -cover of . This settles a problem of Just, Miller, Scheepers, and Szeptycki. Our main result also answers a question of Bartoszyński and the second author, and implies that for , the conjunction of Sakai's strong countable fan tightness and the Reznichenko property does not imply Arhangelskiı's property .