Compact weighted composition operators on the Hardy space

A weighted composition operator takes an analytic map on the open unit disk of the complex plane to the analytic map , where is an analytic map of the open unit disk into itself and is an analytic map on the open unit disk. This paper studies how the compactness of depends on the interaction between the two maps and .

     

The depth of an ideal with a given Hilbert function

Let denote the polynomial ring in variables over a field with each . Let be a homogeneous ideal of with and the Hilbert function of the quotient algebra . Given a numerical function satisfying for some homogeneous ideal of , we write for the set of those integers such that there exists a homogeneous ideal of with and with . It will be proved that one has either for some or .

     

Estimates of Gromov's box distance

In 1999, M. Gromov introduced the box distance function on the space of all mm-spaces. In this paper, by using the method of T. H. Colding, we estimate and , where is the -dimensional unit sphere in and is the -dimensional complex projective space equipped with the Fubini-Study metric. In particular, we give the complete answer to an exercise of Gromov's green book. We also estimate from below, where is the special orthogonal group.

     

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.

     

Whitney property in two dimensional Sobolev spaces

For , we prove that all the functions of satisfy the Whitney property; i.e., if is such that (in the sense of capacity) on a connected set , then is constant on .

     

Antiholomorphic involutions of spherical complex spaces

Let be a holomorphically separable irreducible reduced complex space, a connected compact Lie group acting on by holomorphic transformations, a Weyl involution, and an antiholomorphic map satisfying and for . We show that if is a multiplicity free -module, then maps every -orbit onto itself. For a spherical affine homogeneous space of the reductive group we construct an antiholomorphic map with these properties.

     

Characterizing indecomposable plane continua from their complements

We show that a plane continuum is indecomposable iff has a sequence of not necessarily distinct complementary domains satisfying the double-pass condition: for any sequence of open arcs, with and , there is a sequence of shadows , where each is a shadow of , such that . Such an open arc divides into disjoint subdomains and , and a shadow (of ) is one of the sets .

     

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.

     

An elementary proof of the law of quadratic reciprocity over function fields

Let and be relatively prime monic irreducible polynomials in (). In this paper, we give an elementary proof for the following law of quadratic reciprocity in :

where is the Legendre symbol.

     

Cofinality changes required for a large set of unapproachable ordinals below

In , assume that is a strong limit cardinal and . Let be the set of approachable ordinals less than . An open question of M. Foreman is whether can be non-stationary in some and preserving extension of . It is shown here that if is such an outer model, then is infinite, for each positive integer .

     

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.

     

On zeros of Eisenstein series for genus zero Fuchsian groups

Let SL be a genus zero Fuchsian group of the first kind with as a cusp, and let be the holomorphic Eisenstein series of weight on that is nonvanishing at and vanishes at all the other cusps (provided that such an Eisenstein series exists). Under certain assumptions on and on a choice of a fundamental domain , we prove that all but possibly of the nontrivial zeros of lie on a certain subset of . Here is a constant that does not depend on the weight, is the upper half-plane, and is the canonical hauptmodul for

     

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.

     

A note on Gabor orthonormal bases

The study of Gabor bases of the form for has interested many mathematicians in recent years. Alex Losevich and Steen Pedersen in 1998, Jeffery C. Lagarias, James A. Reeds and Yang Wang in 2000 independently proved that, for any fixed positive integer , is an orthonormal basis for if and only if is a tiling of . Palle E. T. Jorgensen and Steen Pedersen in 1999 gave an explicit characterization of such for , , . Inspired by their work, this paper addresses Gabor orthonormal bases of the form for and some other related problems, where is as above. For a fixed , the generating function of a Gabor orthonormal basis for corresponding to the above is characterized explicitly provided that , which is new even if ; a Shannon type sampling theorem about such is derived when , ; for an arbitrary positive integer , an explicit expression of the with being an orthonormal basis for is obtained under the condition that .

     

A rigidity theorem for holomorphic generators on the Hilbert ball

We present a rigidity property of holomorphic generators on the open unit ball of a Hilbert space . Namely, if is the generator of a one-parameter continuous semigroup on such that for some boundary point , the admissible limit - , then vanishes identically on .

     

On isomorphisms between centers of integral group rings of finite groups

For finite nilpotent groups and , and a -adapted ring (the rational integers, for example), it is shown that any isomorphism between the centers of the group rings and is monomial, i.e., maps class sums in to class sums in up to multiplication with roots of unity. As a consequence, and have identical character tables if and only if the centers of their integral group rings and are isomorphic. In the course of the proof, a new proof of the class sum correspondence is given.

     

The effective Chebotarev density theorem and modular forms modulo

Suppose that (resp. ) is a modular form of integral (resp. half-integral) weight with coefficients in the ring of integers of a number field . For any ideal , we bound the first prime for which (resp. ) is zero ( ). Applications include the solution to a question of Ono (2001) concerning partitions.

     

On a congruence of Blichfeldt concerning the order of finite groups

We show that if is a finite group, a conjugacy class of and , are the distinct elements in the multiset (here is the value of on any element of ), then

This is a dual to a generalization of a theorem of Blichfeldt stating that if is a finite group, a generalized character and are the distinct values of , then

We also observe that in Blichfeldt's congruence can be replaced, with a minor adjustment, by any rational value of . A similar change can be done to the first congruence above.

     

Complete form of Furuta inequality

Let and be bounded linear operators on a Hilbert space satisfying . The well-known Furuta inequality is given as follows: Let and ; then . In order to give a self-contained proof of it, Furuta (1989) proved that if , and , then .

This paper aims to show a sharpening of Furuta (1989): Let , and ; then . We call it the complete form of Furuta inequality because the case of it implies the essential part () of Furuta inequality for by the famous Löwner-Heinz inequality. Afterwards, the optimality of the outer exponent of the complete form is considered. Lastly, we give some applications of the complete form to Aluthge transformation.

     

Sharp maximal inequality for stochastic integrals

Let be a nonnegative supermartingale and be a predictable process with values in . Let denote the stochastic integral of with respect to . The paper contains the proof of the sharp inequality

where . A discrete-time version of this inequality is also established.