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.

     

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.

     

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.

     

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 .

     

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.

     

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 .

     

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

     

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.

     

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.

     

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 .