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 .

     

Existence and uniqueness theorems for singular anisotropic quasilinear elliptic boundary value problems

On bounded domains we consider the anisotropic problems in with 1$"> and on and in with and on . Moreover, we generalize these boundary value problems to space-dimensions 2$">. Under geometric conditions on and monotonicity assumption on we prove existence and uniqueness of positive solutions.     

Embedding obstructions and -complexes

The vanishing of Van Kampen's obstruction is known to be necessary and sufficient for embeddability of a simplicial -complex into for , and it was recently shown to be incomplete for . We use algebraic-topological invariants of four-manifolds with boundary to introduce a sequence of higher embedding obstructions for a class of -complexes in .

     

A topological property of integrable systems

If we are given real-valued smooth functions on which are in involution, then, under some mild hypotheses, the subset of where these functions are linearly independent is not simply connected.

     

Composition operators on Dirichlet-type spaces

The Dirichlet-type space ) is the Banach space of functions analytic in the unit disc with derivatives belonging to the Bergman space . Let be an analytic self-map of the disc and define for . The operator is bounded (respectively, compact) if and only if a related measure is Carleson (respectively, compact Carleson). If is bounded (or compact) on , then the same behavior holds on ) and on the weighted Dirichlet space . Compactness on implies that is compact on the Hardy spaces and the angular derivative exists nowhere on the unit circle. Conditions are given which, together with the angular derivative condition, imply compactness on the space . Inner functions which induce bounded composition operators on are discussed briefly.

     

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.     

The Dedekind-Mertens lemma and the contents of polynomials

Let be a commutative ring, let be an indeterminate, and let . There has been much recent work concerned with determining the Dedekind-Mertens number =min , especially on determining when = . In this note we introduce a universal Dedekind-Mertens number , which takes into account the fact that deg() + for any ring containing as a subring, and show that behaves more predictably than .

     

Bivariate version of the Hahn-Sonine theorem

We consider orthogonal polynomials in two variables whose derivatives with respect to are orthogonal. We show that they satisfy a system of partial differential equations of the form where , , is a vector of polynomials in and for , and is an eigenvalue matrix of order for . Also we obtain several characterizations for these polynomials. Finally, we point out that our results are able to cover more examples than Bertran's.

     

Principal values for the Cauchy integral and rectifiability

We give a geometric characterization of those positive finite measures on with the upper density finite at -almost every , such that the principal value of the Cauchy integral of ,

{\varepsilon}} \frac{1}{\xi-z}\, d\mu(\xi),\end{displaymath}">

exists for -almost all . This characterization is given in terms of the curvature of the measure . In particular, we get that for , -measurable (where is the Hausdorff -dimensional measure) with , if the principal value of the Cauchy integral of exists -almost everywhere in , then is rectifiable.

     

Open subgroups of

Let be a locally compact group and let denote the -algebra generated by left translation operators on . Let and be the spaces of almost periodic and weakly almost periodic functionals on the Fourier algebra , respectively. It is shown that if contains an open abelian subgroup, then (1) if and only if is norm dense in ; (2) is a -algebra if is norm dense in , where denotes the set of elements in with compact support. In particular, for any amenable locally compact group which contains an open abelian subgroup, has the dual Bohr approximation property and is a -algebra.

     

A refinement of the toral rank conjecture for 2-step nilpotent Lie algebras

It is known that the total (co)-homoloy of a 2-step nilpotent Lie algebra is at least , where is the center of . We improve this result by showing that a better lower bound is , where and is a complement of in . Furthermore, we provide evidence that this is the best possible bound of the form .

     

The undecidability of cyclotomic towers

Let be the field obtained by adjoining to all -power roots of unity where is a prime number. We prove that the theory of is undecidable.

     

On conjugation invariants in the dual Steenrod algebra

We investigate the canonical conjugation, , of the mod dual Steenrod algebra, , with a view to determining the subspace, , of elements invariant under . We give bounds on the dimension of this subspace for each degree and show that, after inverting , it becomes polynomial on a natural set of generators. Finally we note that, without inverting , is far from being polynomial.

     

Unique factorization in generalized power series rings

Let be a field of characteristic zero and let denote the ring of generalized power series (i.e., formal sums with well-ordered support) with coefficients in , and non-positive real exponents. Berarducci (2000) constructed an irreducible omnific integer, in the sense of Conway (2001), by first proving that an element of that is not divisible by a monomial and whose support has order type (or for some ordinal ) must be irreducible. In this paper, we consider elements of with support of order type . The irreducibility of these elements cannot be deduced solely from the order type of their support and, after developing new tools for studying these elements, we exhibit both reducible and irreducible elements of this type. We further prove that all elements whose support has order type and which are not divisible by a monomial factor uniquely into irreducibles. This provides, in the ring , a class of reducible elements for which we have unique factorization into irreducibles.

     

The homotopy type of hyperbolic monopole orbit spaces

We prove that the space of equivalence classes of -invariant connections on some -principle bundles over is weakly homotopy equivalent to a component of the second loop space .

     

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.

     

Are covering (enveloping) morphisms minimal?

We prove that for certain classes of modules such that direct sums of -covers ( -envelopes) are -covers ( -envelopes), -covering ( -enveloping) homomorphisms are always right (left) minimal. As a particular case we see that over noetherian rings, essential monomorphisms are left minimal. The same type of results are given when direct products of -covers are -covers. Finally we prove that over commutative noetherian rings, any direct product of flat covers of modules of finite length is a flat cover.     

Möbius function of coordinate hyperplanes in complex ellipsoids

For 0$">, let be a complex ellipsoid. We present effective formulas for the generalized Möbius and Green functions , in the case where ( ).

     

Estimates in surfaces with positive constant Gauss curvature

We give optimal bounds of the height, curvature, area and volume of -surfaces in bounding a planar curve. The spherical caps are characterized as the unique -surfaces achieving these bounds.

     

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