Necessary conditions for Schatten class localization operators

We study time-frequency localization operators of the form , where is the symbol of the operator and are the analysis and synthesis windows, respectively. It is shown in an earlier paper by the authors that a sufficient condition for , the Schatten class of order , is that belongs to the modulation space and the window functions to the modulation space . Here we prove a partial converse: if for every pair of window functions with a uniform norm estimate, then the corresponding symbol must belong to the modulation space . In this sense, modulation spaces are optimal for the study of localization operators. The main ingredients in our proofs are frame theory and Gabor frames. For and , we recapture earlier results, which were obtained by different methods.

     

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 .

     

Sobolev spaces and the Cayley transform

The generalised Cayley transform  from an Iwasawa -group into the corresponding real unit sphere  induces isomorphisms between suitable Sobolev spaces and . We study the differential of  , and we obtain a criterion for a function to be in  .

     

planes in

We establish a homeomorphism between the moduli space of ordered -tuples of 2-dimensional linear subspaces (mod ) and the quotient by simultaneous conjugation of a certain open subset . For , this leads to an explicit computation of the moduli space of central 2-arrangements in mod and its subspace of those classes that contain a complex hyperplane arrangement.

     

Hilbert modules over a class of semicrossed products

Given the disk algebra and an automorphism , there is associated a non-self-adjoint operator algebra called the semicrossed product of with . Buske and Peters showed that there is a one-to-one correspondence between the contractive Hilbert modules over and pairs of contractions and on satisfying . In this paper, we show that the orthogonally projective and Shilov Hilbert modules over correspond to pairs of isometries on satisfying . The problem of commutant lifting for is left open, but some related results are presented.     

The -invariant and Gorensteinness of graded rings associated to filtrations of ideals in regular local rings

Let be a regular local ring and let be a filtration of ideals in such that is a Noetherian ring with . Let and let be the -invariant of . Then the theorem says that is a principal ideal and for all if and only if is a Gorenstein ring and . Hence , if is a Gorenstein ring, but the ideal is not principal.

     

A note on the support of a Sobolev function on a -cell

It is shown that a -cell (the homeomorphic image of a closed ball in ) in , , cannot support a function in if [\frac{k+1}{2}]$">, the greatest integer in .

     

Monoid of self-equivalences and free loop spaces

Let be a simply-connected closed oriented -dimensional manifold. We prove that for any field of coefficients there exists a natural homomorphism of commutative graded algebras where is the loop algebra defined by Chas and Sullivan. As usual denotes the monoid of self-equivalences homotopic to the identity, and the space of based loops. When is of characteristic zero, yields isomorphisms where denotes the Hodge decomposition on .

     

Segal-Bargmann transforms of one-mode interacting Fock spaces associated with Gaussian and Poisson measures

Let and denote the Gaussian and Poisson measures on , respectively. We show that there exists a unique measure on such that under the Segal-Bargmann transform the space is isomorphic to the space of analytic -functions on with respect to . We also introduce the Segal-Bargmann transform for the Poisson measure and prove the corresponding result. As a consequence, when and have the same variance, and are isomorphic to the same space under the - and -transforms, respectively. However, we show that the multiplication operators by on and on act quite differently on .

     

Ultradifferentiable functions on lines in

It is well known that a function whose restriction to every line in is real analytic must itself be real analytic. In this note we study whether this property of real analytic functions is also possessed by some other subclasses of functions. We prove that if is ultradifferentiable corresponding to a sequence on every line in some `uniform way', then is ultradifferentiable corresponding to the sequence

     

On the Gelfand-Kirillov conjecture for quantum algebras

Let be a complex not a root of unity and be a semi-simple Lie -algebra. Let be the quantized enveloping algebra of Drinfeld and Jimbo, be its triangular decomposition, and the associated quantum group. We describe explicitly and as a quantum Weyl field. We use for this a quantum analogue of the Taylor lemma.

     

On the multiplicities of the zeros of Laguerre-Pólya functions

We show that all the zeros of the Fourier transforms of the functions , , are real and simple. Then, using this result, we show that there are infinitely many polynomials such that for each the translates of the function

generate . Finally, we discuss the problem of finding the minimum number of monomials , , which have the property that the translates of the functions , , generate , for a given .

     

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.

     

Subgroup growth in some pro- groups

For a group let be the number of subgroups of index and let be the number of normal subgroups of index . We show that for 2$">. If and does not divide or if and or , we show that for all sufficiently large . On the other hand if and divides , then is not even bounded as a function of .

     

Convex curves, Radon transforms and convolution operators defined by singular measures

Let be a convex curve in the plane and let be the arc-length measure of Let us rotate by an angle and let be the corresponding measure. Let . Then This is optimal for an arbitrary . Depending on the curvature of , this estimate can be improved by introducing mixed-norm estimates of the form where and are conjugate exponents.     

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

     

Toeplitz -algebras on ordered groups and their ideals of finite elements

Let be a discrete abelian group and an ordered group. Denote by the minimal quasily ordered group containing . In this paper, we show that the ideal of finite elements is exactly the kernel of the natural morphism between these two Toeplitz -algebras. When is countable, we show that if the direct sum of -groups , then .

     

A Liouville-type theorem on halfspaces for the Kohn Laplacian

Let be the Kohn Laplacian on the Heisenberg group and let be a halfspace of whose boundary is parallel to the center of . In this paper we prove that if is a non-negative -superharmonic function such that

then in .

     

A homomorphism of Harish-Chandra and direct images of -modules

Harish-Chandra defined a homomorphism of algebras of invariant polynomial differential operators. The construction and existence of are somewhat mysterious. We show how naturally arises when one considers matters in the context of -modules.

     

On the parametrization of self-similar and other fractal sets

We prove for many self-similar, and some more general, sets that if is the Hausdorff dimension of and is Hölder continuous with exponent , then the -dimensional Hausdorff measure of is .