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 .

     

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 .

     

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.

     

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 .

     

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.

     

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 .

     

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.

     

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 .

     

Topological centers of certain dual algebras

Let be a Banach algebra with a bounded approximate identity. Let and be, respectively, the topological centers of the algebras and . In this paper, for weakly sequentially complete Banach algebras, in particular for the group and Fourier algebras and , we study the sets , , the relations between them and with several other subspaces of or .

     

Krull-Schmidt theorems in dimension 1

Let be a semiprime, module-finite algebra over a commutative noetherian ring of Krull dimension 1. We find necessary and sufficient conditions for the Krull-Schmidt theorem to hold for all finitely generated -modules, and necessary and sufficient conditions for the Krull-Schmidt theorem to hold for all finitely generated torsionfree -modules (called ``-lattices' in integral representation theory, and ``maximal Cohen-Macaulay modules' in the dimension-one situation in commutative algebra).

     

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

     

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 .

     

Exact controllability and stabilizability of the Korteweg-de Vries equation

In this paper, we consider distributed control of the system described by the Korteweg-de Vries equation

 

on the interval , with periodic boundary conditions

 

where the distributed control is restricted so that the ``volume' of the solution is conserved. Both exact controllability and stabilizibility questions are studied for the system. In the case of open loop control, if the control is allowed to act on the whole spatial domain , it is shown that the system is globally exactly controllable, i.e., for given and functions , with the same ``volume', one can alway find a control so that the system (i)--(ii) has a solution satisfying

If the control is allowed to act on only a small subset of the domain , then the same result still holds if the initial and terminal states, and , have small ``amplitude' in a certain sense. In the case of closed loop control, the distributed control is assumed to be generated by a linear feedback law conserving the ``volume' while monotonically reducing . The solutions of the resulting closed loop system are shown to have uniform exponential decay to a constant state. As in the open loop control case, a small amplitude assumption is needed if the control is allowed to act on only a small subdomain. The smoothing property of the periodic (linear) KdV equation discovered recently by Bourgain has played an important role in establishing the exact controllability and stabilizability results presented in this paper.

     

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.

     

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 .

     

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 .

     

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.

     

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.