Operators on spaces preserving copies of Schreier spaces

It is proved that an operator , compact metrizable, a separable Banach space, for which the -Szlenk index of is greater than or equal to , , is an isomorphism on a subspace of isomorphic to , the Schreier space of order . As a corollary, one obtains that a complemented subspace of with Szlenk index equal to contains a subspace isomorphic to .

     

Valence of complex-valued planar harmonic functions

The valence of a function at a point is the number of distinct, finite solutions to . Let be a complex-valued harmonic function in an open set . Let denote the critical set of and the global cluster set of . We show that partitions the complex plane into regions of constant valence. We give some conditions such that has empty interior. We also show that a component is an -fold covering of some component . If is simply connected, then is univalent on . We explore conditions for combining adjacent components to form a larger region of univalence. Those results which hold for functions on open sets in are first stated in that form and then applied to the case of planar harmonic functions. If is a light, harmonic function in the complex plane, we apply a structure theorem of Lyzzaik to gain information about the difference in valence between components of sharing a common boundary arc in .

     

Thin stationary sets and disjoint club sequences

We describe two opposing combinatorial properties related to adding clubs to : the existence of a thin stationary subset of and the existence of a disjoint club sequence on . A special Aronszajn tree on implies there exists a thin stationary set. If there exists a disjoint club sequence, then there is no thin stationary set, and moreover there is a fat stationary subset of which cannot acquire a club subset by any forcing poset which preserves and . We prove that the existence of a disjoint club sequence follows from Martin's Maximum and is equiconsistent with a Mahlo cardinal.

     

On the number of -equivalent non-isomorphic models

We prove that if is consistent then is consistent with the following statement: There is for every a model of cardinality which is -equivalent to exactly non-isomorphic models of cardinality . In order to get this result we introduce ladder systems and colourings different from the ``standard' counterparts, and prove the following purely combinatorial result: For each prime number and positive integer it is consistent with that there is a ``good' ladder system having exactly pairwise nonequivalent colourings.

     

On the -torsion of elliptic curves and elliptic surfaces in characteristic

We study the extension generated by the -coordinates of the -torsion points of an elliptic curve over a function field of characteristic . If is a non-isotrivial elliptic surface in characteristic with a -torsion section, then for 11$"> our results imply restrictions on the genus, the gonality, and the -rank of the base curve , whereas for such a surface can be constructed over any base curve . We also describe explicitly all occurring in the cases where the surface is rational or or the base curve is rational, elliptic or hyperelliptic.

     

Boundary Hölder and estimates for local solutions of the tangential Cauchy-Riemann equation

We study the local solvability of the tangential Cauchy-Riemann equation on an open neighborhood of a point when is a generic -concave manifold of real codimension in , where . Our method is to first derive a homotopy formula for in when is the intersection of with a strongly pseudoconvex domain. The homotopy formula gives a local solution operator for any -closed form on without shrinking. We obtain Hölder and estimates up to the boundary for the solution operator. RÉSUMÉ. Nous étudions la résolubilité locale de l'opérateur de Cauchy- Riemann tangentiel sur un voisinage d'un point d'une sous-variété générique -concave de codimension quelconque de . Nous construisons une formule d'homotopie pour le sur , lorsque est l'intersection de et d'un domaine strictement pseudoconvexe. Nous obtenons ainsi un opérateur de résolution pour toute forme -fermée sur . Nous en déduisons des estimations et des estimations hölderiennes jusqu'au bord pour la solution de l'équation de Cauchy-Riemann tangentielle sur .

     

One-dimensional dynamical systems and Benford's law

Near a stable fixed point at 0 or , many real-valued dynamical systems follow Benford's law: under iteration of a map the proportion of values in with mantissa (base ) less than tends to for all in as , for all integer bases 1$">. In particular, the orbits under most power, exponential, and rational functions (or any successive combination thereof), follow Benford's law for almost all sufficiently large initial values. For linearly-dominated systems, convergence to Benford's distribution occurs for every , but for essentially nonlinear systems, exceptional sets may exist. Extensions to nonautonomous dynamical systems are given, and the results are applied to show that many differential equations such as , where is with F'(0)$">, also follow Benford's law. Besides generalizing many well-known results for sequences such as or the Fibonacci numbers, these findings supplement recent observations in physical experiments and numerical simulations of dynamical systems.

     

Cut numbers of -manifolds

We investigate the relations between the cut number, and the first Betti number, of -manifolds We prove that the cut number of a ``generic' -manifold is at most This is a rather unexpected result since specific examples of -manifolds with large and are hard to construct. We also prove that for any complex semisimple Lie algebra there exists a -manifold with and Such manifolds can be explicitly constructed.

     

On structurally stable diffeomorphisms with codimension one expanding attractors

We show that if a closed -manifold admits a structurally stable diffeomorphism with an orientable expanding attractor of codimension one, then is homotopy equivalent to the -torus and is homeomorphic to for . Moreover, there are no nontrivial basic sets of different from . This allows us to classify, up to conjugacy, structurally stable diffeomorphisms having codimension one orientable expanding attractors and contracting repellers on , .

     

Double forms, curvature structures and the -curvatures

We introduce a natural extension of the metric tensor and the Hodge star operator to the algebra of double forms to study some aspects of the structure of this algebra. These properties are then used to study new Riemannian curvature invariants, called the -curvatures. They are a generalization of the -curvature obtained by substituting the Gauss-Kronecker tensor to the Riemann curvature tensor. In particular, for , the -curvatures coincide with the H. Weyl curvature invariants, for the -curvatures are the curvatures of generalized Einstein tensors, and for the -curvatures coincide with the -curvatures.

Also, we prove that the second H. Weyl curvature invariant is nonnegative for an Einstein manifold of dimension , and it is nonpositive for a conformally flat manifold with zero scalar curvature. A similar result is proved for the higher H. Weyl curvature invariants.

     

Estimates of the derivatives for parabolic operators with unbounded coefficients

We consider a class of second-order uniformly elliptic operators with unbounded coefficients in . Using a Bernstein approach we provide several uniform estimates for the semigroup generated by the realization of the operator in the space of all bounded and continuous or Hölder continuous functions in . As a consequence, we obtain optimal Schauder estimates for the solution to both the elliptic equation (0$">) and the nonhomogeneous Dirichlet Cauchy problem . Then, we prove two different kinds of pointwise estimates of that can be used to prove a Liouville-type theorem. Finally, we provide sharp estimates of the semigroup in weighted -spaces related to the invariant measure associated with the semigroup.

     

Ramsey families of subtrees of the dyadic tree

We show that for every rooted, finitely branching, pruned tree of height there exists a family which consists of order isomorphic to subtrees of the dyadic tree with the following properties: (i) the family is a subset of ; (ii) every perfect subtree of contains a member of ; (iii) if is an analytic subset of , then for every perfect subtree of there exists a perfect subtree of such that the set either is contained in or is disjoint from .

     

On Ore's conjecture and its developments

The -component of the index of a number field , , depends only on the completions of at the primes over . More precisely, equals the index of the -algebra . If is normal, then for some normal over and some , and we write for its index. In this paper we describe an effective procedure to compute for all and all normal and tamely ramified extensions of , hence to determine for all Galois number fields that are tamely ramified at . Using our procedure, we are able to exhibit a counterexample to a conjecture of Nart (1985) on the behaviour of .

     

Asymptotic behaviour of arithmetically Cohen-Macaulay blow-ups

This paper addresses problems on arithmetic Macaulayfications of projective schemes. We give a surprising complete answer to a question poised by Cutkosky and Herzog. Let be the blow-up of a projective scheme along the ideal sheaf of . It is known that there are embeddings for , where denotes the maximal generating degree of , and that there exists a Cohen-Macaulay ring of the form (which gives an arithmetic Macaulayfication of ) if and only if , for , and is equidimensional and Cohen-Macaulay. We show that under these conditions, there are well-determined invariants and such that is Cohen-Macaulay for all d(I)e + \varepsilon$"> and e_0$">, and that these bounds are the best possible. We also investigate the existence of a Cohen-Macaulay Rees algebra of the form . If has negative -invariant, we prove that such a Cohen-Macaulay Rees algebra exists if and only if , for 0$">, and is equidimensional and Cohen-Macaulay. Moreover, these conditions imply the Cohen-Macaulayness of for all d(I)e + \varepsilon$"> and e_0$">.

     

Hausdorff measures, dimensions and mutual singularity

Let be a metric space. For a probability measure on a subset of and a Vitali cover of , we introduce the notion of a -Vitali subcover , and compare the Hausdorff measures of with respect to these two collections. As an application, we consider graph directed self-similar measures and in satisfying the open set condition. Using the notion of pointwise local dimension of with respect to , we show how the Hausdorff dimension of some general multifractal sets may be computed using an appropriate stochastic process. As another application, we show that Olsen's multifractal Hausdorff measures are mutually singular.

     

The cohomology of the Steenrod algebra and representations of the general linear groups

Let be the algebraic transfer that maps from the coinvariants of certain -representations to the cohomology of the Steenrod algebra. This transfer was defined by W. Singer as an algebraic version of the geometrical transfer . It has been shown that the algebraic transfer is highly nontrivial, more precisely, that is an isomorphism for and that is a homomorphism of algebras.

In this paper, we first recognize the phenomenon that if we start from any degree and apply repeatedly at most times, then we get into the region in which all the iterated squaring operations are isomorphisms on the coinvariants of the -representations. As a consequence, every finite -family in the coinvariants has at most nonzero elements. Two applications are exploited.

The first main theorem is that is not an isomorphism for . Furthermore, for every 5$">, there are infinitely many degrees in which is not an isomorphism. We also show that if detects a nonzero element in certain degrees of , then it is not a monomorphism and further, for each \ell$">, is not a monomorphism in infinitely many degrees.

The second main theorem is that the elements of any -family in the cohomology of the Steenrod algebra, except at most its first elements, are either all detected or all not detected by , for every . Applications of this study to the cases and show that does not detect the three families , and , and that does not detect the family .

     

Coloring-flow duality of embedded graphs

Let be a directed graph embedded in a surface. A map is a tension if for every circuit , the sum of on the forward edges of is equal to the sum of on the backward edges of . If this condition is satisfied for every circuit of which is a contractible curve in the surface, then is a local tension. If holds for every , we say that is a (local) -tension. We define the circular chromatic number and the local circular chromatic number of by and , respectively. The invariant is a refinement of the usual chromatic number, whereas is closely related to Tutte's flow index and Bouchet's biflow index of the surface dual .

From the definitions we have . The main result of this paper is a far-reaching generalization of Tutte's coloring-flow duality in planar graphs. It is proved that for every surface and every 0$">, there exists an integer so that holds for every graph embedded in with edge-width at least , where the edge-width is the length of a shortest noncontractible circuit in .

In 1996, Youngs discovered that every quadrangulation of the projective plane has chromatic number 2 or 4, but never 3. As an application of the main result we show that such `bimodal' behavior can be observed in , and thus in for two generic classes of embedded graphs: those that are triangulations and those whose face boundaries all have even length. In particular, if is embedded in some surface with large edge-width and all its faces have even length , then . Similarly, if is a triangulation with large edge-width, then . It is also shown that there exist Eulerian triangulations of arbitrarily large edge-width on nonorientable surfaces whose circular chromatic number is equal to 5.

     

Asymptotic properties of convolution operators and limits of triangular arrays on locally compact groups

We consider a locally compact group and a limiting measure of a commutative infinitesimal triangular system (c.i.t.s.) of probability measures on . We show, under some restrictions on , or , that belongs to a continuous one-parameter convolution semigroup. In particular, this result is valid for symmetric c.i.t.s. on any locally compact group . It is also valid for a limiting measure which has `full' support on a Zariski connected -algebraic group , where is a local field, and any one of the following conditions is satisfied: (1) is a compact extension of a closed solvable normal subgroup, in particular, is amenable, (2) has finite one-moment or (3) has density and in case the characteristic of is positive, the radical of is -defined. We also discuss the spectral radius of the convolution operator of a probability measure on a locally compact group , we show that it is always positive for any probability measure on , and it is also multiplicative in case of symmetric commuting measures.

     

Anosov automorphisms on compact nilmanifolds associated with graphs

We associate with each graph a -step simply connected nilpotent Lie group and a lattice in . We determine the group of Lie automorphisms of and apply the result to describe a necessary and sufficient condition, in terms of the graph, for the compact nilmanifold to admit an Anosov automorphism. Using the criterion we obtain new examples of compact nilmanifolds admitting Anosov automorphisms, and conclude that for every there exist a -dimensional -step simply connected nilpotent Lie group which is indecomposable (not a direct product of lower dimensional nilpotent Lie groups), and a lattice in such that admits an Anosov automorphism; we give also a lower bound on the number of mutually nonisomorphic Lie groups of a given dimension, satisfying the condition. Necessary and sufficient conditions are also described for a compact nilmanifold as above to admit ergodic automorphisms.