Lévy group action and invariant measures on

For let be defined by . We investigate permutations of , which satisfy as with for (i.e. is in the Lévy group , or for in the subspace of Cesàro-summable sequences. Our main interest are -invariant means on or equivalently -invariant probability measures on . We show that the adjoint of maps measures supported in onto a weak*-dense subset of the space of -invariant measures. We investigate the dynamical system and show that the support set of invariant measures on is the closure of the set of almost periodic points and the set of non-topologically transitive points in . Finally we consider measures which are invariant under .

     

Optimal natural dualities. II: General theory

A general theory of optimal natural dualities is presented, built on the test algebra technique introduced in an earlier paper. Given that a set of finitary algebraic relations yields a duality on a class of algebras , those subsets of which yield optimal dualities are characterised. Further, the manner in which the relations in are constructed from those in is revealed in the important special case that generates a congruence-distributive variety and is such that each of its subalgebras is subdirectly irreducible. These results are obtained by studying a certain algebraic closure operator, called entailment, definable on any set of algebraic relations on . Applied, by way of illustration, to the variety of Kleene algebras and to the proper subvarieties of pseudocomplemented distributive lattices, the theory improves upon and illuminates previous results.

     

Homology and some homotopy decompositions for the James filtration on spheres

The filtrations on the James construction on spheres, , have played a major role in the study of the double suspension and have been used to get information about the homotopy groups of spheres and Moore spaces and to construct product decompositions of related spaces. In this paper we calculate for odd primes . When has the form , the result is well known, but these are exceptional cases in which the homology has polynomial growth. We find that in general the homology has exponential growth and in some cases also has higher -torsion. The calculations are applied to construct a -local product decomposition of for which demonstrates a mod homotopy exponent in these cases.

     

Package deal theorems and splitting orders in dimension 1

Let be a module-finite algebra over a commutative noetherian ring of Krull dimension 1. We determine when a collection of finitely generated modules over the localizations , at maximal ideals of , is the family of all localizations of a finitely generated -module . When is semilocal we also determine which finitely generated modules over the -adic completion of are completions of finitely generated -modules.

If is an -order in a semisimple artinian ring, but not contained in a maximal such order, several of the basic tools of integral representation theory behave differently than in the classical situation. The theme of this paper is to develop ways of dealing with this, as in the case of localizations and completions mentioned above. In addition, we introduce a type of order called a ``splitting order' of that can replace maximal orders in many situations in which maximal orders do not exist.

     

Seifert manifolds with fiber spherical space forms

We study the Seifert fiber spaces modeled on the product space . Such spaces are ``fiber bundles' with singularities. The regular fibers are spherical space-forms of , while singular fibers are finite quotients of regular fibers. For each of possible space-form groups of , we obtain a criterion for a group extension of to act on as weakly -equivariant maps, which gives rise to a Seifert fiber space modeled on with weakly -equivariant maps as the universal group. In the course of proving our main results, we also obtain an explicit formula for for a cocompact crystallographic or Fuchsian group . Most of our methods for apply to compact Lie groups with discrete center, and we state some of our results in this general context.

     

Even Linkage Classes

In this paper we generalize the and -type resolutions used by Martin-Deschamps and Perrin for curves in to subschemes of pure codimension in projective space, and shows that these resolutions are interchanged by the mapping cone procedure under a simple linkage. Via these resolutions, Rao's correspondence is extended to give a bijection between even linkage classes of subschemes of pure codimension two and stable equivalence classes of reflexive sheaves satisfying and . Further, these resolutions are used to extend the work of Martin-Deschamps and Perrin for Cohen-Macaulay curves in to subschemes of pure codimension two in . In particular, even linkage classes of such subschemes satisfy the Lazarsfeld-Rao property and any minimal subscheme for an even linkage class links directly to a minimal subscheme for the dual class.

     

Constructing product fibrations by means of a generalization of a theorem of Ganea

A theorem of Ganea shows that for the principal homotopy fibration induced from a fibration , there is a product decomposition . We will determine the conditions for a fibration to yield a product decomposition and generalize it to pushouts. Using this approach we recover some decompositions originally proved by very computational methods. The results are then applied to produce, after localization at an odd prime , homotopy decompositions for for some which include the cases . The factors of consist of the homotopy fibre of the attaching map for and combinations of spaces occurring in the Snaith stable decomposition of .

     

On the ordering of -modal cycles

The forcing relation on -modal cycles is studied. If is an -modal cycle then the -modal cycles with block structure that force form a -horseshoe above . If -modal forces , and does not have a block structure over , then forces a -horseshoe of simple extensions of .

     

Regularity theory and traces of -harmonic functions

In this paper we discuss two different topics concerning -
harmonic functions. These are weak solutions of the partial differential equation

where for some fixed , the function is bounded and for a.e. . First, we present a new approach to the regularity of -harmonic functions for . Secondly, we establish results on the existence of nontangential limits for -harmonic functions in the Sobolev space , for some , where is the unit ball in . Here is allowed to be different from .

     

Nonnegative Radix Representations for the Orthant

Let be a nonnegative real matrix which is expanding, i.e. with all eigenvalues , and suppose that is an integer. Let consist of exactly nonnegative vectors in . We classify all pairs such that every in the orthant has at least one radix expansion in base using digits in . The matrix must be a diagonal matrix times a permutation matrix. In addition must be similar to an integer matrix, but need not be an integer matrix. In all cases the digit set can be diagonally scaled to lie in . The proofs generalize a method of Odlyzko, previously used to classify the one--dimensional case.

     

Fine structure of the space of spherical minimal immersions

The space of congruence classes of full spherical minimal immersions of a given source dimension and algebraic degree is a compact convex body in a representation space of the special orthogonal group . In Ann. of Math. 93 (1971), 43--62 DoCarmo and Wallach gave a lower bound for and conjectured that the estimate was sharp. Toth resolved this ``exact dimension conjecture' positively so that all irreducible components of became known. The purpose of the present paper is to characterize each irreducible component of in terms of the spherical minimal immersions represented by the slice . Using this geometric insight, the recent examples of DeTurck and Ziller are located within .

     

Real analysis related to the Monge-Ampère equation

In this paper we consider a family of convex sets in , , , , satisfying certain axioms of affine invariance, and a Borel measure satisfying a doubling condition with respect to the family The axioms are modelled on the properties of the solutions of the real Monge-Ampère equation. The purpose of the paper is to show a variant of the Calderón-Zygmund decomposition in terms of the members of This is achieved by showing first a Besicovitch-type covering lemma for the family and then using the doubling property of the measure The decomposition is motivated by the study of the properties of the linearized Monge-Ampère equation. We show certain applications to maximal functions, and we prove a John and Nirenberg-type inequality for functions with bounded mean oscillation with respect to

     

Topological entropy of standard type monotone twist maps

We study invariant measures of families of monotone twist maps with periodic Morse potential . We prove that there exist a constant such that the topological entropy satisfies . In particular, for . We show also that there exist arbitrary large such that has nonuniformly hyperbolic invariant measures with positive metric entropy. For large , the measures are hyperbolic and, for a class of potentials which includes , the Lyapunov exponent of the map with invariant measure grows monotonically with .

     

Extremal functions for Moser's inequality

Let be a bounded smooth domain in , and a function with compact support in . Moser's inequality states that there is a constant , depending only on the dimension , such that

where is the Lebesgue measure of , and the surface area of the unit ball in . We prove in this paper that there are extremal functions for this inequality. In other words, we show that the

is attained. Earlier results include Carleson-Chang (1986, is a ball in any dimension) and Flucher (1992, is any domain in 2-dimensions).

     

Modèles entiers des courbes hyperelliptiques sur un corps de valuation discrète

Let be a hyperelliptic curve of genus over a discrete valuation field . In this article we study the models of over the ring of integers of . To each Weierstrass model (that is a projective model arising from a hyperelliptic equation of with integral coefficients), one can associate a (valuation of) discriminant. Then we give a criterion for a Weierstrass model to have minimal discriminant. We show also that in the most cases, the minimal regular model of over dominates every minimal Weierstrass model. Some classical facts concerning Weierstrass models over of elliptic curves are generalized to hyperelliptic curves, and some others are proved in this new setting.

     

On polarized surfaces

Let be a smooth projective surface over and an ample Cartier divisor on . If the Kodaira dimension or , the author proved , where . If , then the author studied with . In this paper, we study the polarized surface with , , and .

     

Covering the integers by arithmetic sequences. II

Let ( be a system of arithmetic sequences where and . For system will be called an (exact) -cover of if every integer is covered by at least (exactly) times. In this paper we reveal further connections between the common differences in an (exact) -cover of and Egyptian fractions. Here are some typical results for those -covers of : (a) For any there are at least positive integers in the form where . (b) When (, either or , and for each positive integer the binomial coefficient can be written as the sum of some denominators of the rationals if forms an exact -cover of . (c) If is not an -cover of , then have at least distinct fractional parts and for each there exist such that (mod 1). If forms an exact -cover of with or () then for every and there is an such that (mod 1).

     

Properties of extremal functions for some nonlinear functionals on Dirichlet spaces

Let be the set of holomorphic functions on the unit disc with and Dirichlet integral not exceeding one, and let be the set of complex-valued harmonic functions on the unit disc with and Dirichlet integral not exceeding one. For a (semi)continuous function , define the nonlinear functional on or by . We study the existence and regularity of extremal functions for these functionals, as well as the weak semicontinuity properties of the functionals. We also state a number of open problems.