Exponentiable monomorphisms in categories of domains

We give a characterization of exponentiable monomorphisms in the categories of ω-complete posets, of directed complete posets and of continuous directed complete posets as those monotone maps f that are convex and that lift an element (and then a queue) of any directed set (ω-chain in the case of ) whose supremum is in the image of f (Theorem 1.9). Using this characterization, we obtain that a monomorphism f:X→B in (, ) exponentiable in w.r.t. the Scott topology is exponentiable also in (, ). We prove that the converse is true in the category , but neither in , nor in .     

Volumes and diophantine inequalities associated with decomposable forms

For homogeneous decomposable forms in n variables with real coefficients, we consider the associated volume of all real solutions to the inequality . We relate this to the number of integral solutions to the Diophantine inequality in the case where F has rational coefficients. We find quantities which bound the volume and which yield good upper bounds on the number of solutions to the Diophantine inequality in the rational case.     

Calderón-Zygmund operators on Herz type Hardy spaces

We consider the boundedness of Calderón-Zygmund operators from to , where is the Hardy space associated with the Herz space and is the local version of . We show Calderón's commutator is bounded from to .     

Polynomial identities and noncommutative versal torsors

To any cleft Hopf Galois object, i.e., any algebra obtained from a Hopf algebra H by twisting its multiplication with a two-cocycle α, we attach two “universal algebras” and . The algebra is obtained by twisting the multiplication of H with the most general two-cocycle σ formally cohomologous to α. The cocycle σ takes values in the field of rational functions on H. By construction, is a cleft H-Galois extension of a “big” commutative algebra . Any “form” of can be obtained from by a specialization of and vice versa. If the algebra is simple, then is an Azumaya algebra with center . The algebra is constructed using a general theory of polynomial identities that we set up for arbitrary comodule algebras; it is the universal comodule algebra in which all comodule algebra identities of are satisfied. We construct an embedding of into ; this embedding maps the center of into when the algebra is simple. In this case, under an additional assumption, , thus turning into a central localization of . We completely work out these constructions in the case of the four-dimensional Sweedler algebra.     

Holomorphy of spectral multipliers of the Ornstein-Uhlenbeck operator

Let γ be the Gauss measure on and the Ornstein-Uhlenbeck operator. For every p in [1,∞)?{2}, set , and consider the sector . The main results of this paper are the following. If p is in (1,∞)?{2}, and , i.e., if M is an Lp(γ)uniform spectral multiplier of in our terminology, and M is continuous on , then M extends to a bounded holomorphic function on the sector . Furthermore, if p=1 a spectral multiplier M, continuous on , satisfies the condition if and only if M extends to a bounded holomorphic function on the right half-plane, and its boundary value M(i·) on the imaginary axis is the Euclidean Fourier transform of a finite Borel measure on the real line. We prove similar results for uniform spectral multipliers of second order elliptic differential operators in divergence form on belonging to a wide class, which contains . From these results we deduce that operators in this class do not admit an H^∞ functional calculus in sectors smaller than .     

Uniform bounds on the number of rational points of a family of curves of genus 2

We exhibit a genus-2 curve defined over which admits two independent morphisms to a rank-1 elliptic curve defined over . We describe completely the set of -rational points of the curve and obtain a uniform bound on the number of -rational points of a rational specialization of the curve for a certain (possibly infinite) set of values . Furthermore, for this set of values we describe completely the set of -rational points of the curve . Finally, we show how these results can be strengthened assuming a height conjecture of Lang.     

Local indicability and relative presentations of groups

A relative presentation is a triple where A is a group, X is a set, and R is a set of words in the free product A∗F(X) where F(X) is the free group with basis X. Under certain hypotheses on the relative presentation , we show that (1) the group presented by is locally indicable; (2) the pre-aspherical model for is aspherical; (3) the Freiheitssatz holds for . The result has applications in the computation of cohomology of groups and the field of equations over groups.     

Equivariant chain complexes, twisted homology and relative minimality of arrangements

We show that the π-equivariant chain complex (), , associated to a Morse-theoretic minimal CW-structure X on the complement of an arrangement , is independent of X. The same holds for all scalar extensions, , a field, where X is an arbitrary minimal CW-structure on a space M. When is a section of another arrangement , we show that the divisibility properties of the first Betti number of the Milnor fiber of  obstruct the homotopy realization of  as a subcomplex of a minimal structure on .If is aspherical and is a sufficiently generic section of , then may be described in terms of π, L and , for an arbitrary local system L; explicit computations may be done, when is fiber-type. In this case, explicit -presentations of arbitrary abelian scalar extensions of the first non-trivial higher homotopy group of , π_p(M), may also be obtained. For nonresonant abelian scalar extensions, the -rank of is combinatorially determined.     

Solution to a conjecture by Hofmeier-Wittstock

For a locally compact (non-compact) group , consider as a left module over the algebra , endowed with the first Arens product. We answer in the affirmative a question raised by Hofmeier-Wittstock (Math. Ann. 308 (1) (1997) 141) concerning the automatic boundedness of the corresponding module homomorphisms on . In fact, we prove that an even stronger assertion holds true. Furthermore, we show that the theorem, first obtained by Ghahramani-McClure (Canad. Math. Bull. 35 (2) (1992) 180), on the automatic w∗-continuity of the (bounded) -module homomorphisms on , can be sharpened in a similar fashion. To this end, a general factorization theorem for bounded families in is proved from which we shall derive both results.     

Properties of cyclic subspace regression

Various properties of the regression vector produced by cyclic subspace regression with regard to the meancentered linear regression equation are put forth. In particular, the subspace associated with the creation of is shown to contain a basis that maximizes certain covariances with respect to , the orthogonal projection of onto a specific subspace of the range of X. This basis is constructed. Moreover, this paper shows how the maximum covariance values effect the . Several alternative representations of are also developed. These representations show that is a modified version of the l-factor principal components regression vector , with the modification occurring by a nonorthogonal projection. Additionally, these representations enable prediction properties associated with to be explicitly identified. Finally, methods for choosing factors are spelled out.     

Fractional integrals on weighted Hardy spaces

In this paper, applying the atomic decomposition and molecular characterization of the real weighted Hardy spaces , we give the weighted boundedness of the homogeneous fractional integral operator from to , and from to .