Parameter dependence of solutions of partial differential equations in spaces of real analytic functions

Let be an open set and let denote the class of real analytic functions on . It is proved that for every surjective linear partial differential operator and every family depending holomorphically on there is a solution family depending on in the same way such that The result is a consequence of a characterization of Fréchet spaces such that the class of ``weakly' real analytic -valued functions coincides with the analogous class defined via Taylor series. An example shows that the analogous assertions need not be valid if is replaced by another set.

     

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.

     

A note on periodic points of order preserving subhomogeneous maps

Let be the standard closed positive cone in and let be the set of integers for which there exists a continuous, order preserving, subhomogeneous map , which has a periodic point with period . It has been shown by Akian, Gaubert, Lemmens, and Nussbaum that is contained in the set consisting of those for which there exist integers and such that , , and for some . This note shows that for all .

     

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

     

A characterization of Möbius transformations

Let be an integer and let be a domain of . Let be an injective mapping which takes hyperspheres whose interior is contained in to hyperspheres in . Then is the restriction of a Möbius transformation.

     

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.     

Leibenzon's backward shift and composition operators

We apply Leibenzon's backward shift to show that the composition operator on the unit ball of always maps the weighted Hardy space into the Hardy class .

     

On a theorem of R. Steinberg on rings of coinvariants

Let be a representation of a finite group over the field . Denote by the algebra of polynomial functions on the vector space . The group acts on and hence also on . The algebra of coinvariants is , where is the ideal generated by all the homogeneous -invariant forms of strictly positive degree. If the field has characteristic zero, then R. Steinberg has shown (this is the formulation of R. Kane) that is a Poincaré duality algebra if and only if is a pseudoreflection group. In this note we explore the situation for fields of nonzero characteristic. We prove an analogue of Steinberg's theorem for the case and give a counterexample in the modular case when .

     

Behavior of the Bergman kernel and metric near convex boundary points

The boundary behavior of the Bergman metric near a convex boundary point of a pseudoconvex domain is studied. It turns out that the Bergman metric at points in the direction of a fixed vector tends to infinity, when is approaching , if and only if the boundary of does not contain any analytic disc through in the direction of .

     

Extremal metrics for the first eigenvalue of the Laplacian in a conformal class

Let be a compact manifold. First, we give necessary and sufficient conditions for a Riemannian metric on to be extremal for with respect to conformal deformations of fixed volume. In particular, these conditions show that for any lattice of , the flat metric induced on from the standard metric of is extremal (in the previous sense). In the second part, we give, for any , an upper bound of on the conformal class of and exhibit a class of lattices for which the metric maximizes on its conformal class.

     

On the Berezin-Toeplitz calculus

We consider the problem of composing Berezin-Toeplitz operators on the Hilbert space of Gaussian square-integrable entire functions on complex -space, . For several interesting algebras of functions on , we have for all in the algebra, where is the Berezin-Toeplitz operator associated with and is a ``twisted' associative product on the algebra of functions. On the other hand, there is a function for which is bounded but for any .

     

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.

     

On commutators of fractional integrals

Let be the infinitesimal generator of an analytic semigroup on with Gaussian kernel bounds, and let be the fractional integrals of for . For a BMO function on , we show boundedness of the commutators from to , where . Our result of this boundedness still holds when is replaced by a Lipschitz domain of with infinite measure. We give applications to large classes of differential operators such as the magnetic Schrödinger operators and second-order elliptic operators of divergence form.

     

A numerical condition for a deformation of a Gorenstein surface singularity to admit a simultaneous log-canonical model

Let be a deformation of a normal Gorenstein surface singularity over the complex number field . We assume that is a neighborhood of the origin of . Then we prove that admits a simultaneous log-canonical model if and only if an invariant of each fiber is constant.

     

Asymptotic behavior of Fourier transforms of self-similar measures

Let be a self-similar probability measure on satisfying where 0$"> and Let be the Fourier transform of A necessary and sufficient condition for to approach zero at infinity is given. In particular, if and for then 0$"> if and only if is a PV-number and is not a factor of . This generalizes the corresponding theorem of Erdös and Salem for the case

     

Holomorphic perturbation of Fourier coefficients

Let be the unit circle, let be a Banach space continuously embedded in and suppose that is a Banach -module under convolution. We show that if and is holomorphic in a neighbourhood of with and then

     

Serial subalgebras of finitary Lie algebras

A Lie subalgebra of is said to be finitary if it consists of elements of finite rank. We show that, if acts irreducibly on , and if is infinite-dimensional, then every non-trivial ascendant Lie subalgebra of acts irreducibly on too. When , it follows that the locally solvable radical of such is trivial. In general, locally solvable finitary Lie algebras over fields of characteristic are hyperabelian.

     

Convexity numbers of closed sets in

For 2$"> let be the -ideal in generated by all sets which do not contain equidistant points in the usual metric on . For each 2$"> a set is constructed in so that the -ideal which is generated by the convex subsets of restricted to the convexity radical is isomorphic to . Thus is equal to the least number of convex subsets required to cover -- the convexity number of .

For every non-increasing function \aleph_0\}$"> we construct a model of set theory in which for each . When is strictly decreasing up to , uncountable cardinals are simultaneously realized as convexity numbers of closed subsets of . It is conjectured that , but never more than , different uncountable cardinals can occur simultaneously as convexity numbers of closed subsets of . This conjecture is true for and .     

Sets of minimal Hausdorff dimension for quasiconformal maps

For any , there is a compact set of (Hausdorff) dimension whose dimension cannot be lowered by any quasiconformal map . We conjecture that no such set exists in the case . More generally, we identify a broad class of metric spaces whose Hausdorff dimension is minimal among quasisymmetric images.

     

Borel classes of sets of extreme and exposed points in

It is known that the sets of extreme and exposed points of a convex Borel subset of are Borel. We show that for there exist convex subsets of such that the sets of their extreme and exposed points coincide and are of arbitrarily high Borel class. On the other hand, we show that the sets of extreme and of exposed points of a convex set of additive Borel class are of ambiguous Borel class . For proving the latter-mentioned results we show that the union of the open and the union of the closed segments of are of the additive Borel class if is a convex set of additive Borel class .