Abstract functions with continuous differences and Namioka spaces

Let be a semigroup and a topological space. Let be an Abelian topological group. The right differences of a function are defined by for . Let be continuous at the identity of for all in a neighbourhood of . We give conditions on or range under which is continuous for any topological space . We also seek conditions on under which we conclude that is continuous at for arbitrary . This led us to introduce new classes of semigroups containing all complete metric and locally countably compact quasitopological groups. In this paper we study these classes and explore their relation with Namioka spaces.

     

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.

     

Packing measure of the sample paths of fractional Brownian motion

Let be a fractional Brownian motion of index in If , then there exists a positive finite constant such that with probability 1,

where and - is the -packing measure 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 .

     

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

     

On quadratic forms of height two and a theorem of Wadsworth

Let and be anisotropic quadratic forms over a field of characteristic not . Their function fields and are said to be equivalent (over ) if and are isotropic. We consider the case where and is divisible by an -fold Pfister form. We determine those forms for which becomes isotropic over if , and provide partial results for . These results imply that if and are equivalent and , then is similar to over . This together with already known results yields that if is of height and degree or , and if , then and are equivalent iff and are isomorphic over .

     

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

     

Algebraic surfaces with log canonical singularities and the fundamental groups of their smooth parts

Let be a log surface with at worst log canonical singularities and reduced boundary such that is nef and big. We shall prove that either has finite fundamental group or is affine-ruled. Moreover, and the structure of are determined in some sense when .

     

New results in the perturbation theory of maximal monotone and -accretive operators in Banach spaces

Let be a real Banach space and a bounded, open and convex subset of The solvability of the fixed point problem in is considered, where is a possibly discontinuous -dissipative operator and is completely continuous. It is assumed that is uniformly convex, and A result of Browder, concerning single-valued operators that are either uniformly continuous or continuous with uniformly convex, is extended to the present case. Browder's method cannot be applied in this setting, even in the single-valued case, because there is no class of permissible homeomorphisms. Let The effect of a weak boundary condition of the type on the range of operators is studied for -accretive and maximal monotone operators Here, with sufficiently large norm and Various new eigenvalue results are given involving the solvability of with respect to Several results do not require the continuity of the operator Four open problems are also given, the solution of which would improve upon certain results of the paper.

     

A Concordance Extension Theorem

Let be a manifold approximate fibration between closed manifolds, where , and let be the mapping cylinder of . In this paper it is shown that if is any concordance on , then there exists a concordance such that and . As an application, if and are closed manifolds where is a locally flat submanifold of and and , then a concordance extends to a concordance on such that . This uses the fact that under these hypotheses there exists a manifold approximate fibration , where is a closed -manifold, such that the mapping cylinder is homeomorphic to a closed neighborhood of in by a homeomorphism which is the identity on .

     

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 .

     

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

     

Infinite products of finite simple groups

We classify the sequences of finite simple nonabelian groups such that has uncountable cofinality.

     

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.

     

Cohomological dimension and metrizable spaces. II

The main result of the first part of the paper is a generalization of the classical result of Menger-Urysohn : . Theorem. Suppose are subsets of a metrizable space and and are CW complexes. If is an absolute extensor for and is an absolute extensor for , then the join is an absolute extensor for .

As an application we prove the following analogue of the Menger-Urysohn Theorem for cohomological dimension: Theorem. Suppose are subsets of a metrizable space. Then

for any ring with unity and

for any abelian group .

The second part of the paper is devoted to the question of existence of universal spaces: Theorem. Suppose is a sequence of CW complexes homotopy dominated by finite CW complexes. Then

a.

Given a separable, metrizable space such that , , there exists a metrizable compactification of such that , .

b.

There is a universal space of the class of all compact metrizable spaces such that for all .

c.

There is a completely metrizable and separable space such that for all with the property that any completely metrizable and separable space with for all embeds in as a closed subset.

     

Totally real submanifolds in satisfying Chen's equality

In this paper, we study 3-dimensional totally real submanifolds of . If this submanifold is contained in some 5-dimensional totally geodesic , then we classify such submanifolds in terms of complex curves in lifted via the Hopf fibration . We also show that such submanifolds always satisfy Chen's equality, i.e. , where for every . Then we consider 3-dimensional totally real submanifolds which are linearly full in and which satisfy Chen's equality. We classify such submanifolds as tubes of radius in the direction of the second normal space over an almost complex curve in .

     

Packing dimension and Cartesian products

We show that for any analytic set in , its packing dimension can be represented as , where the supremum is over all compact sets in , and denotes Hausdorff dimension. (The lower bound on packing dimension was proved by Tricot in 1982.) Moreover, the supremum above is attained, at least if . In contrast, we show that the dual quantity , is at least the ``lower packing dimension' of , but can be strictly greater. (The lower packing dimension is greater than or equal to the Hausdorff dimension.)

     

Multiplicative -quotients

Let be the Dedekind -function. In this work we exhibit all modular forms of integral weight , for positive integers and and arbitrary integers , such that both and its image under the Fricke involution are eigenforms of all Hecke operators. We also relate most of these modular forms with the Conway group via a generalized McKay-Thompson series.