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 .

     

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 .

     

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 .

     

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.

     

Prime specialization in genus 0

For a prime polynomial , a classical conjecture predicts how often has prime values. For a finite field and a prime polynomial , the natural analogue of this conjecture (a prediction for how often takes prime values on ) is not generally true when is a polynomial in ( the characteristic of ). The explanation rests on a new global obstruction which can be measured by an appropriate average of the nonzero Möbius values as varies. We prove the surprising fact that this ``Möbius average,' which can be defined without reference to any conjectures, has a periodic behavior governed by the geometry of the plane curve .

The periodic Möbius average behavior implies in specific examples that a polynomial in does not take prime values as often as analogies with suggest, and it leads to a modified conjecture for how often prime values occur.

     

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.

     

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.

     

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

     

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.

     

Non-isotopic symplectic surfaces in product 4-manifolds

Let be a closed Riemann surface of genus . Generalizing Ivan Smith's construction, we give the first examples of an infinite family of homotopic but pairwise non-isotopic symplectic surfaces of even genera inside the product symplectic -manifolds , where and .

     

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.

     

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 generalization of Dahlberg's theorem concerning the regularity of harmonic Green potentials

Let be the solution operator for in , Tr on , where is a bounded domain in . B. E. J. Dahlberg proved that for a bounded Lipschitz domain maps boundedly into weak- and that there exists such that is bounded for . In this paper, we generalize this result by addressing two aspects. First we are also able to treat the solution operator corresponding to Neumann boundary conditions and, second, we prove mapping properties for these operators acting on Sobolev (rather than Lebesgue) 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 .

     

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.

     

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.

     

Eigenvalues of Schrödinger operators with potential asymptotically homogeneous of degree

We strengthen and generalise a result of Kirsch and Simon on the behaviour of the function , the number of bound states of the operator in below . Here is a bounded potential behaving asymptotically like where is a function on the sphere. It is well known that the eigenvalues of such an operator are all nonpositive, and accumulate only at 0. If the operator on the sphere has negative eigenvalues less than , we prove that may be estimated as

Thus, in particular, if there are no such negative eigenvalues, then has a finite discrete spectrum. Moreover, under some additional assumptions including the fact that and that there is exactly one eigenvalue less than , with all others , we show that the negative spectrum is asymptotic to a geometric progression with ratio .

     

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.

     

Rigid complexes via DG algebras

Let be a commutative ring, a commutative -algebra and a complex of -modules. We begin by constructing the square , which is also a complex of -modules. The squaring operation is a quadratic functor, and its construction requires differential graded (DG) algebras. If there exists an isomorphism , then the pair is called a rigid complex over relative to (there are some finiteness conditions). There is an obvious notion of rigid morphism between rigid complexes.

We establish several properties of rigid complexes, including their uniqueness, existence (under some extra hypothesis), and formation of pullbacks (resp. ) along a finite (resp. essentially smooth) ring homomorphism .

In the subsequent paper, Rigid Dualizing Complexes over Commutative Rings, we consider rigid dualizing complexes over commutative rings, building on the results of the present paper. The project culminates in our paper Rigid Dualizing Complexes and Perverse Sheaves on Schemes, where we give a comprehensive version of Grothendieck duality for schemes.

The idea of rigid complexes originates in noncommutative algebraic geometry, and is due to Van den Bergh (1997).

     

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.