Gradient ranges of bumps on the plane

For a -smooth bump function we show that the gradient range is the closure of its interior, provided that admits a modulus of continuity satisfying as . The result is a consequence of a more general result about gradient ranges of bump functions of the same degree of smoothness. For such bump functions we show that for open sets , either the intersection is empty or its topological dimension is at least two. The proof relies on a new Morse-Sard type result where the smoothness hypothesis is independent of the dimension of the space.

     

Isolated invariant curves of a foliation

We bound the equisingularity type of the set of isolated separatrices of a holomorphic foliation of in terms of the Milnor number of . This result gives a bound for the degree of an algebraic invariant curve of a foliation of in terms of the degree of , provided that all the branches of are isolated separatrices.

     

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.     

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 .

     

Poincaré duality algebras and rings of coinvariants

Let be a faithful representation of a finite group over the field . Via the group acts on and hence on the algebra of homogenous polynomial functions on the vector space . R. Kane (1994) formulated the following result based on the work of R. Steinberg (1964): If the field has characteristic 0, then is a Poincaré duality algebra if and only if is a pseudoreflection group. The purpose of this note is to extend this result to the case (i.e. the order of is relatively prime to the characteristic of ).

     

``Lebesgue measure' on , II

Let be the set of real numbers, and define . We construct a complete measure space where the -algebra contains the Borel subsets of , and is a translation-invariant measure such that for any measurable rectangle , if , then , where is Lebesgue measure on . The measure is not -finite. We prove three Fubini theorems, namely, the Fubini theorem, the mean Fubini-Jensen theorem, and the pointwise Fubini-Jensen theorem. Finally, as an application of the measure , we construct, via selfadjoint operators on , a ``Schrödinger model' of the canonical commutation relations: , , .

     

Small prime solutions of quadratic equations II

Let be non-zero integers and any integer. Suppose that and for . In this paper we prove that (i) if the are not all of the same sign, then the above quadratic equation has prime solutions satisfying and (ii) if all the are positive and , then the quadratic equation is soluble in primes Our previous results are and in place of and above, respectively.

     

Extension of a generalized Pexider equation

The equations and , called Pexider equations, have been completely solved on If they are assumed to hold only on an open region, they can be extended to (the second when is nowhere 0) and solved that way. In this paper their common generalization is extended from an open region to and then completely solved if is not constant on any proper interval. This equation has further interesting particular cases, such as and that arose in characterization of geometric and power means and in a problem of equivalence of certain utility representations, respectively, where the equations may hold only on an open region in Thus these problems are solved too.

     

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 .

     

Real -flats tangent to quadrics in

Let and denote the dimension and the degree of the Grassmannian , respectively. For each there are (a priori complex) -planes in tangent to general quadratic hypersurfaces in . We show that this class of enumerative problems is fully real, i.e., for there exists a configuration of real quadrics in (affine) real space so that all the mutually tangent -flats are real.

     

Solution to a problem of S. Payne

A problem posed by S. Payne calls for determination of all linearized polynomials such that and are permutations of and respectively. We show that such polynomials are exactly of the form with and . In fact, we solve a -ary version of Payne's problem.

     

Resolutions of ideals of fat points with support in a hyperplane

Let be a fat point subscheme of , and let be a linear form such that some power of vanishes on (i.e., the support of lies in the hyperplane defined by , regarded as ). Let , where is the subscheme of residual to ; note that is a fat points subscheme of . In this paper we give a graded free resolution of the ideal over , in terms of the graded minimal free resolutions of the ideals . We also give a criterion for when the resolution is minimal, and we show that this criterion always holds if .

     

Morita equivalence for quantum Heisenberg manifolds

We discuss Morita equivalence within the family 0, \mu,\nu\in\mathbb{R}\}$"> of quantum Heisenberg manifolds. Morita equivalence classes are described in terms of the parameters , and the rank of the free abelian group associated to the -algebra .

     

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 the index and spectrum of differential operators on

If is an system of differential operators on having continuous coefficients with vanishing oscillation at infinity, the Cordes-Illner theory ensures that is Fredholm from to for all or no value We prove that both the index (when defined) and the spectrum of are independent of

     

Equlibrium measure of a product subset of

In this note we show that an equilibrium measure of a product of two subsets of and , respectively, is a product of their equilibrium measures. We also obtain a formula for , where are locally bounded plurisubharmonic functions and .

     

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.

     

Quadratic initial ideals of root systems

Let be one of the root systems , , and and write for the set of positive roots of together with the origin of . Let denote the Laurent polynomial ring over a field and write for the affine semigroup ring which is generated by those monomials with , where if . Let denote the polynomial ring over and write for the toric ideal of . Thus is the kernel of the surjective homomorphism defined by setting for all . In their combinatorial study of hypergeometric functions associated with root systems, Gelfand, Graev and Postnikov discovered a quadratic initial ideal of the toric ideal of . The purpose of the present paper is to show the existence of a reverse lexicographic (squarefree) quadratic initial ideal of the toric ideal of each of , and . It then follows that the convex polytope of the convex hull of each of , and possesses a regular unimodular triangulation arising from a flag complex, and that each of the affine semigroup rings , and is Koszul.     

Spectral radii of refinement and subdivision operators

The spectral radii of refinement and subdivision operators considered on the space can be estimated by using norms of their symbols. In several cases, including those arising in wavelet analysis, the exact value of the spectral radius is found. For example, if is the unit circle and if the symbol of a refinement operator satisfies the conditions , and then the spectral radius of this operator is equal to

     

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