The Bergman kernel function of some Reinhardt domains

The boundary behavior of the Bergman Kernel function of some Reinhardt domains is studied. Upper and lower bounds for the Bergman kernel function are found at the diagonal points . Let be the Reinhardt domain

where , ; and let be the Bergman kernel function of . Then there exist two positive constants and and a function such that

holds for every . Here

and is the defining function for . The constants and depend only on and , not on .

     

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 .

     

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.

     

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 .

     

Noncomplete linear systems on abelian varieties

Let be a smooth projective variety. Every embedding is the linear projection of an embedding defined by a complete linear system. In this paper the geometry of such not necessarily complete embeddings is investigated in the special case of abelian varieites. To be more precise, the properties of complete embeddings are extended to arbitrary embeddings, and criteria for these properties to be satisfied are elaborated. These results are applied to abelian varieties. The main result is: Let be a general polarized abelian variety of type and , such that is even, and . The general subvector space of codimension satisfies the property .

     

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.

     

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 .

     

The Morse spectrum of linear flows on vector bundles

For a linear flow on a vector bundle a spectrum can be defined in the following way: For a chain recurrent component on the projective bundle consider the exponential growth rates associated with (finite time) -chains in , and define the Morse spectrum over as the limits of these growth rates as and . The Morse spectrum of is then the union over all components . This spectrum is a synthesis of the topological approach of Selgrade and Salamon/Zehnder with the spectral concepts based on exponential growth rates, such as the Oseledec spectrum or the dichotomy spectrum of Sacker/Sell. It turns out that contains all Lyapunov exponents of for arbitrary initial values, and the are closed intervals, whose boundary points are actually Lyapunov exponents. Using the fact that is cohomologous to a subflow of a smooth linear flow on a trivial bundle, one can prove integral representations of all Morse and all Lyapunov exponents via smooth ergodic theory. A comparison with other spectral concepts shows that, in general, the Morse spectrum is contained in the topological spectrum and the dichotomy spectrum, but the spectral sets agree if the induced flow on the base space is chain recurrent. However, even in this case, the associated subbundle decompositions of may be finer for the Morse spectrum than for the dynamical spectrum. If one can show that the (closure of the) Floquet spectrum (i.e. the Lyapunov spectrum based on periodic trajectories in ) agrees with the Morse spectrum, then one obtains equality for the Floquet, the entire Oseledec, the Lyapunov, and the Morse spectrum. We present an example (flows induced by vector fields with hyperbolic chain recurrent components on the projective bundle) where this fact can be shown using a version of Bowen's Shadowing Lemma.

     

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 .

     

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.

     

Powers in Finitely Generated Groups

In this paper we study the set of -powers in certain finitely generated groups . We show that, if is soluble or linear, and contains a finite index subgroup, then is nilpotent-by-finite. We also show that, if is linear and has finite index (i.e. may be covered by finitely many translations of ), then is soluble-by-finite. The proof applies invariant measures on amenable groups, number-theoretic results concerning the -unit equation, the theory of algebraic groups and strong approximation results for linear groups in arbitrary characteristic.

     

Linear additive functionals of superdiffusions and related nonlinear P.D.E.

Let be a second order elliptic differential operator in a bounded smooth domain in and let . We get necessary and sufficient conditions on measures under which there exists a positive solution of the boundary value problem

The conditions are stated both analytically (in terms of capacities related to the Green's and Poisson kernels) and probabilistically (in terms of branching measure-valued processes called -superdiffusions).

We also investigate a closely related subject --- linear additive functionals of superdiffusions. For a superdiffusion in an arbitrary domain in , we establish a 1-1 correspondence between a class of such functionals and a class of -excessive functions (which we describe in terms of their Martin integral representation). The Laplace transform of satisfies an integral equation which can be considered as a substitute for (*).

     

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

     

On extension of cocycles to normalizer elements, outer conjugacy, and related problems

Let be an ergodic automorphism of a Lebesgue space and a cocycle of with values in an Abelian locally compact group . An automorphism from the normalizer of the full group is said to be compatible with if there is a measurable function such that at a.e. . The topology on the set of all automorphisms compatible with is introduced in such a way that becomes a Polish group. A complete system of invariants for the -outer conjugacy (i.e. the conjugacy in the quotient group is found. Structure of the cocycles compatible with every element of is described.

     

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

     

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 .

     

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 .

     

The fixed-point property for simply connected plane continua

We answer a question of R. Ma\'{n}ka by proving that every simply-connected plane continuum has the fixed-point property. It follows that an arcwise-connected plane continuum has the fixed-point property if and only if its fundamental group is trivial. Let be a plane continuum with the property that every simple closed curve in bounds a disk in . Then every map of that sends each arc component into itself has a fixed point. Hence every deformation of has a fixed point. These results are corollaries to the following general theorem. If is a plane continuum, is a decomposition of , and each element of is simply connected, then every map of that sends each element of into itself has a fixed point.

     

An Application of Convex Integration to Contact Geometry

We prove that every closed, orientable -manifold admits a parallelization by the Reeb vector fields of a triple of contact forms with equal volume form. Our proof is based on Gromov's convex integration technique and the -principle. Similar methods can be used to show that admits a parallelization by contact forms with everywhere linearly independent Reeb vector fields. We also prove a generalization of this latter result to higher dimensions. If is a closed -manifold with contact form whose contact distribution admits everywhere linearly independent sections, then admits linearly independent contact forms with linearly independent Reeb vector fields.

     

Functorial structure of units in a tensor product

The behavior of units in a tensor product of rings is studied, as one factor varies. For example, let be an algebraically closed field. Let and be reduced rings containing , having connected spectra. Let be a unit. Then for some units and .

Here is a deeper consequence, stated for simplicity in the affine case only. Let be a field, and let be a homomorphism of finitely generated -algebras such that is dominant. Assume that every irreducible component of or is geometrically integral and has a rational point. Let be a faithfully flat homomorphism of reduced -algebras. For a -algebra, define to be . Then satisfies the following sheaf property: the sequence

is exact. This and another result are used to prove (5.2) of [7].