On embedding all -manifolds into a single -manifold

For each composite number , there does not exist a single connected closed -manifold such that any smooth, simply-connected, closed -manifold can be topologically flatly embedded into it. There is a single connected closed -manifold such that any simply-connected, -manifold can be topologically flatly embedded into if is either closed and indefinite, or compact and with non-empty boundary.

     

Fixed point property and the Fourier algebra of a locally compact group

We establish some characterizations of the weak fixed point property (weak fpp) for noncommutative (and commutative) spaces and use this for the Fourier algebra of a locally compact group In particular we show that if is an IN-group, then has the weak fpp if and only if is compact. We also show that if is any locally compact group, then has the fixed point property (fpp) if and only if is finite. Furthermore if a nonzero closed ideal of has the fpp, then must be discrete.

     

Bimodules and -rationality of vertex operator algebras

This paper studies the twisted representations of vertex operator algebras. Let be a vertex operator algebra and an automorphism of of finite order For any , an - -bimodule is constructed. The collection of these bimodules determines any admissible -twisted -module completely. A Verma type admissible -twisted -module is constructed naturally from any -module. Furthermore, it is shown with the help of bimodule theory that a simple vertex operator algebra is -rational if and only if its twisted associative algebra is semisimple and each irreducible admissible -twisted -module is ordinary.

     

On initial segment complexity and degrees of randomness

One approach to understanding the fine structure of initial segment complexity was introduced by Downey, Hirschfeldt and LaForte. They define to mean that . The equivalence classes under this relation are the -degrees. We prove that if is -random, then and have no upper bound in the -degrees (hence, no join). We also prove that -randomness is closed upward in the -degrees. Our main tool is another structure intended to measure the degree of randomness of real numbers: the -degrees. Unlike the -degrees, many basic properties of the -degrees are easy to prove. We show that implies , so some results can be transferred. The reverse implication is proved to fail. The same analysis is also done for , the analogue of for plain Kolmogorov complexity.

Two other interesting results are included. First, we prove that for any , a -random real computable from a --random real is automatically --random. Second, we give a plain Kolmogorov complexity characterization of -randomness. This characterization is related to our proof that implies .

     

-theorems for fusion systems

For an odd prime, we generalise the Glauberman-Thompson -nilpotency theorem (Gorenstein, 1980) to arbitrary fusion systems. We define a notion of -free fusion systems and show that if is a -free fusion system on some finite -group , then is controlled by for any Glauberman functor , generalising Glauberman's -theorem (Glauberman, 1968) to arbitrary fusion systems.

     

Isomorphism rigidity of commuting automorphisms

Let , and let and be two zero-entropy -actions on compact abelian groups by commuting automorphisms. We show that if all lower rank subactions of and have completely positive entropy, then any measurable equivariant map from to is an affine map. In particular, two such actions are measurably conjugate if and only if they are algebraically conjugate.

     

Stability and instability of Liapunov-Schmidt and Hopf bifurcation for a free boundary problem arising in a tumor model

We consider a free boundary problem for a system of partial differential equations, which arises in a model of tumor growth. For any positive number there exists a radially symmetric stationary solution with free boundary . The system depends on a positive parameter , and for a sequence of values there also exist branches of symmetric-breaking stationary solutions, parameterized by , small, which bifurcate from these values. In particular, for near the free boundary has the form where is the spherical harmonic of mode . It was recently proved by the authors that the stationary solution is asymptotically stable for any , but linearly unstable if , where if and if ; . In this paper we prove that for each of the stationary solutions which bifurcates from is linearly stable if and linearly unstable if . We also prove, for , that the point is a Hopf bifurcation, in the sense that the linearized time-dependent problem has a family of solutions which are asymptotically periodic in .

     

A tensor norm preserving unconditionality for -spaces

We show that, for each , there is an -tensor norm (in the sense of Grothendieck) with the surprising property that the -tensor product has local unconditional structure for each choice of arbitrary -spaces . In fact, is the tensor norm associated to the ideal of multiple -summing -linear forms on Banach spaces.

     

Nonabelian cohomology with coefficients in Lie groups

In this paper we prove some properties of the nonabelian cohomology of a group with coefficients in a connected Lie group . When is finite, we show that for every -submodule of which is a maximal compact subgroup of , the canonical map is bijective. In this case we also show that is always finite. When and is compact, we show that for every maximal torus of the identity component of the group of invariants , is surjective if and only if the -action on is -semisimple, which is also equivalent to the fact that all fibers of are finite. When , we show that is always surjective, where is a maximal compact torus of the identity component of . When is cyclic, we also interpret some properties of in terms of twisted conjugate actions of .

     

The center of the category of -modules

Let be a semi-simple connected Lie group. Let be a maximal compact subgroup of and the complexified Lie algebra of . In this paper we describe the center of the category of -modules.

     

The growth of iterates of multivariate generating functions

The vector-valued function of a -vector has components . For each , is the (multivariate) Laplace transform of a discrete measure concentrated on with only a finite number of atoms. The main objective is to give conditions for the functional iterates of to grow like for a suitable . The initial stimulus was provided by results of Miller and O'Sullivan (1992) on enumeration issues in `context free languages', results which can be improved using the theory developed here. The theory also allows certain results in Jones (2004) on multitype branching to be proved under significantly weaker conditions.

     

On the unique representation of families of sets

Let and be uncountable Polish spaces. represents a family of sets provided each set in occurs as an -section of . We say that uniquely represents provided each set in occurs exactly once as an -section of . is universal for if every -section of is in . is uniquely universal for if it is universal and uniquely represents . We show that there is a Borel set in which uniquely represents the translates of if and only if there is a Vitali set. Assuming there is a Borel set with all sections sets and all non-empty sets are uniquely represented by . Assuming there is a Borel set with all sections which uniquely represents the countable subsets of . There is an analytic set in with all sections which represents all the subsets of , but no Borel set can uniquely represent the sets. This last theorem is generalized to higher Borel classes.

     

Generically there is but one self homeomorphism of the Cantor set

We describe a self homeomorphism of the Cantor set and then show that its conjugacy class in the Polish group of all homeomorphisms of forms a dense subset of . We also provide an example of a locally compact, second countable topological group which has a dense conjugacy class.

     

Homology of generalized Steinberg varieties and Weyl group invariants

Let be a complex, connected, reductive algebraic group. In this paper we show analogues of the computations by Borho and MacPherson of the invariants and anti-invariants of the cohomology of the Springer fibres of the cone of nilpotent elements, , of for the Steinberg variety of triples.

Using a general specialization argument we show that for a parabolic subgroup of the space of -invariants and the space of -anti-invariants of are isomorphic to the top Borel-Moore homology groups of certain generalized Steinberg varieties introduced by Douglass and Röhrle (2004).

The rational group algebra of the Weyl group of is isomorphic to the opposite of the top Borel-Moore homology of , where . Suppose is a parabolic subgroup of . We show that the space of -invariants of is , where is the idempotent in the group algebra of affording the trivial representation of and is defined similarly. We also show that the space of -anti-invariants of is , where is the idempotent in the group algebra of affording the sign representation of and is defined similarly.

     

Simple derivations of differentiably simple Noetherian commutative rings in prime characteristic

Let be a differentiably simple Noetherian commutative ring of characteristic (then is local with ). A short proof is given of the Theorem of Harper (1961) on classification of differentiably simple Noetherian commutative rings in prime characteristic. The main result of the paper is that there exists a nilpotent simple derivation of the ring such that if , then for some . The derivation is given explicitly, and it is unique up to the action of the group of ring automorphisms of . Let be the set of all such derivations. Then . The proof is based on existence and uniqueness of an iterative -descent (for each ), i.e., a sequence in such that , and for all . For each , and .

     

Bounded -calculus for pseudodifferential operators and applications to the Dirichlet-Neumann operator

Operators of the form with a pseudodifferential symbol belonging to the Hörmander class , , , and certain perturbations are shown to possess a bounded -calculus in Besov-Triebel-Lizorkin and certain subspaces of Hölder spaces, provided is suitably elliptic. Applications concern pseudodifferential operators with mildly regular symbols and operators on manifolds of low regularity. An example is the Dirichlet-Neumann operator for a compact domain with -boundary.

     

A new construction of -manifolds

This paper provides a topological method to construct all simply-connected, spin, smooth -manifolds with torsion-free homology using simply-connected, smooth -manifolds as building blocks. We explicitly determine the invariants that classify these -manifolds from the intersection form and specific homology classes of the -manifold building blocks.

     

-equivalence in adjoint classical groups over fields of virtual cohomological dimension

Let be a field of characteristic not whose virtual cohomological dimension is at most . Let be a semisimple group of adjoint type defined over . Let denote the normal subgroup of consisting of elements -equivalent to identity. We show that if is of classical type not containing a factor of type , . If is a simple classical adjoint group of type , we show that if and its multi-quadratic extensions satisfy strong approximation property, then . This leads to a new proof of the -triviality of -rational points of adjoint classical groups defined over number fields.

     

Multiscale-bump standing waves with a critical frequency for nonlinear Schrödinger equations

In this paper we study the existence and qualitative property of standing wave solutions for the nonlinear Schrödinger equation with being a critical frequency in the sense that We show that if the zero set of has isolated connected components such that the interior of is not empty and is smooth, has isolated zero points, , , and has critical points such that , then for small, there exists a standing wave solution which is trapped in a neighborhood of Moreover the amplitudes of the standing wave around , and are of a different order of . This type of multi-scale solution has never before been obtained.

     

Large orbits in coprime actions of solvable groups

Let be a solvable group of automorphisms of a finite group . If and are coprime, then there exists an orbit of on of size at least . It is also proved that in a -solvable group, the largest normal -subgroup is the intersection of at most three Hall -subgroups.