On maximal operators on -spheres in

A. Magyar's result on -bounds for a family of operators on -spheres () in is improved to match the corresponding theorem for -spheres.

     

Fixed points of univalent functions II

For a closed nowhere dense subset of a bounded univalent holomorphic function on is found such that equals the cluster set of its fixed points.

     

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 .

     

Simple real rank zero algebras with locally Hausdorff spectrum

Let be a unital, simple, separable -algebra with real rank zero, stable rank one, and weakly unperforated ordered group. Suppose, also, that can be locally approximated by type I algebras with Hausdorff spectrum and bounded irreducible representations (the bound being dependent on the local approximating algebra). Then is tracially approximately finite dimensional (i.e., has tracial rank zero).

Hence, is an -algebra with bounded dimension growth and is determined by -theoretic invariants.

The above result also gives the first proof for the locally case.

     

Noncoherence of some rings of functions

Let , denote the unit disc and unit circle, respectively, in , with center 0. If , then let denote the set of complex-valued functions defined on that are analytic in , and continuous and bounded on . Then is a ring with pointwise addition and multiplication. We prove that if the intersection of with the set of limit points of is not empty, then the ring is not coherent.

     

Hilbert-Samuel functions of modules over Cohen-Macaulay rings

For a finitely generated, non-free module over a CM local ring , it is proved that for the length of is given by a polynomial of degree . The vanishing of is studied, with a view towards answering the question: If there exists a finitely generated -module with such that the projective dimension or the injective dimension of is finite, then is regular? Upper bounds are provided for beyond which the question has an affirmative answer.

     

The sufficiency of arithmetic progressions for the Conjecture

Define by if is odd and if is even. The Conjecture states that the -orbit of every positive integer contains . A set of positive integers is said to be sufficient if the -orbit of every positive integer intersects the -orbit of an element of that set. Thus to prove the Conjecture it suffices to prove it on some sufficient set. Andaloro proved that the sets are sufficient for and asked if is also sufficient for larger values of . We answer this question in the affirmative by proving the stronger result that is sufficient for any nonnegative integers and with i.e. every nonconstant arithmetic sequence forms a sufficient set. We then prove analagous results for the Divergent Orbits Conjecture and Nontrivial Cycles Conjecture.

     

On the minimum of several random variables

For a given sequence of real numbers , we denote the th smallest one by . Let be a class of random variables satisfying certain distribution conditions (the class contains Gaussian random variables). We show that there exist two absolute positive constants and such that for every sequence of real numbers and every , one has

-

where are independent random variables from the class . Moreover, if , then the left-hand side estimate does not require independence of the 's. We provide similar estimates for the moments of as well.

     

Traces and Sobolev extension domains

Assume that is a bounded domain and its boundary is -regular, . We show that if there exists a bounded trace operator , and , and -Hölder continuous functions are dense in , , then the domain is a -extension domain.

     

Extremal points of a functional on the set of convex functions

We investigate the extremal points of a functional , for a convex or concave function . The admissible functions are convex themselves and satisfy a condition . We show that the extremal points are exactly and if these functions are convex and coincide on the boundary . No explicit regularity condition is imposed on , , or . Subsequently we discuss a number of extensions, such as the case when or are non-convex or do not coincide on the boundary, when the function also depends on , etc.

     

On a conjecture about MRA Riesz wavelet bases

Let be a compactly supported refinable function in such that the shifts of are stable and for a -periodic trigonometric polynomial . A wavelet function can be derived from by . If is an orthogonal refinable function, then it is well known that generates an orthonormal wavelet basis in . Recently, it has been shown in the literature that if is a -spline or pseudo-spline refinable function, then always generates a Riesz wavelet basis in . It was an open problem whether can always generate a Riesz wavelet basis in for any compactly supported refinable function in with stable shifts. In this paper, we settle this problem by proving that for a family of arbitrarily smooth refinable functions with stable shifts, the derived wavelet function does not generate a Riesz wavelet basis in . Our proof is based on some necessary and sufficient conditions on the -periodic functions and in such that the wavelet function , defined by , generates a Riesz wavelet basis in .

     

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

     

Infinite systems of linear equations for real analytic functions

We study the problem when an infinite system of linear functional equations

has a real analytic solution on for every right-hand side and give a complete characterization of such sequences of analytic functionals . We also show that every open set has a complex neighbourhood such that the positive answer is equivalent to the positive answer for the analogous question with solutions holomorphic on .

     

Global dominated splittings and the Newhouse phenomenon

We prove that given a compact -dimensional boundaryless manifold , , there exists a residual subset of the space of diffeomorphisms such that given any chain-transitive set of , then either admits a dominated splitting or else is contained in the closure of an infinite number of periodic sinks/sources. This result generalizes the generic dichotomy for homoclinic classes given by Bonatti, Diaz, and Pujals (2003).

It follows from the above result that given a -generic diffeomorphism , then either the nonwandering set may be decomposed into a finite number of pairwise disjoint compact sets each of which admits a dominated splitting, or else exhibits infinitely many periodic sinks/sources (the `` Newhouse phenomenon"). This result answers a question of Bonatti, Diaz, and Pujals and generalizes the generic dichotomy for surface diffeomorphisms given by Mañé (1982).

     

Binomial coefficients and quadratic fields

Let be a real quadratic field with discriminant where is an odd prime. For we determine modulo in terms of a Lucas sequence, the fundamental unit and the class number of .

     

Extensions of orthosymmetric lattice bimorphisms

Let be an Archimedean vector lattice, let be its Dedekind completion and let be a Dedekind complete vector lattice. If is an orthosymmetric lattice bimorphism, then there exists a lattice bimorphism that not just extends but also has to be orthosymmetric. As an application, we prove the following: Let be an Archimedean -algebra. Then the multiplication in can be extended to a multiplication in , the Dedekind completion of , in such a fashion that is again a -algebra with respect to this extended multiplication. This gives a positive answer to the problem posed by C. B. Huijsmans in 1990.

     

A spectral countability condition for almost automorphy of solutions of differential equations

We consider the almost automorphy of bounded mild solutions to equations of the form

with (generally unbounded) -periodic and almost automorphic in a Banach space . Under the assumption that does not contain , the part of the spectrum of the monodromy operator associated with the evolutionary process generated by on the unit circle is countable. We prove that every bounded mild solution of on the real line is almost automorphic.

     

Automatic continuity of -derivations on -algebras

Let be a -algebra acting on a Hilbert space , let be a linear mapping and let be a -derivation. Generalizing the celebrated theorem of Sakai, we prove that if is a continuous -mapping, then is automatically continuous. In addition, we show the converse is true in the sense that if is a continuous --derivation, then there exists a continuous linear mapping such that is a --derivation. The continuity of the so-called - -derivations is also discussed.

     

Fixed point spaces, primitive character degrees and conjugacy class sizes

Let be a finite group that acts on a nonzero finite dimensional vector space over an arbitrary field. Assume that is completely reducible as a -module, and that fixes no nonzero vector of . We show that some element has a small fixed-point space in . Specifically, we prove that we can choose so that , where is the smallest prime divisor of .

     

Poisson integrals and nontangential limits

A new result is established for nontangential limits of the Poisson integral of an for This is accomplished by showing for such that the -set of strictly contains the Lebesgue set of A similar theorem is also proved for Gauss-Weierstrass integrals, giving a new result for solutions of the heat equation.