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.

     

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 .

     

Frobenius morphisms and representations of algebras

By introducing Frobenius morphisms on algebras and their modules over the algebraic closure of the finite field of elements, we establish a relation between the representation theory of over and that of the -fixed point algebra over . More precisely, we prove that the category    mod- of finite-dimensional -modules is equivalent to the subcategory of finite-dimensional -stable -modules, and, when is finite dimensional, we establish a bijection between the isoclasses of indecomposable -modules and the -orbits of the isoclasses of indecomposable -modules. Applying the theory to representations of quivers with automorphisms, we show that representations of a modulated quiver (or a species) over can be interpreted as -stable representations of the corresponding quiver over . We further prove that every finite-dimensional hereditary algebra over is Morita equivalent to some , where is the path algebra of a quiver over and is induced from a certain automorphism of . A close relation between the Auslander-Reiten theories for and is established. In particular, we prove that the Auslander-Reiten (modulated) quiver of is obtained by ``folding" the Auslander-Reiten quiver of . Finally, by taking Frobenius fixed points, we are able to count the number of indecomposable representations of a modulated quiver over with a given dimension vector and to generalize Kac's theorem for all modulated quivers and their associated Kac-Moody algebras defined by symmetrizable generalized Cartan matrices.

     

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.

     

Small unitary representations of the double cover of

The irreducible unitary representations of the double cover of the real group , with infinitesimal character , which are small in the sense that their annihilator in the universal enveloping algebra is maximal, are expressed as Langlands quotients of generalized principal series. In the case where is even we show that there are four such representations and in the case where is odd there is just one. The representations' smallness allows them to be written as a sum of virtual representations, leading to a character formula for their -types. We investigate the place of these small representations in the orbit method and, in the case of , show that the representation is attached to a nilpotent coadjoint orbit.The -type spectrum for the Langlands quotients is explicitly determined and shown to be multiplicity free.

     

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.

     

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 .

     

Minimal polynomials and radii of elements in finite-dimensional power-associative algebras

In the first section of this paper we revisit the definition and some of the properties of the minimal polynomial of an element of a finite-dimensional power-associative algebra over an arbitrary field . Our main observation is that , the minimal polynomial of , may depend not only on , but also on the underlying algebra. More precisely, if is a subalgebra of , and if is the minimal polynomial of in , then may differ from , in which case we have .

In the second section we restrict attention to the case where is either the real or the complex numbers, and define , the radius of an element in , to be the largest root in absolute value of the minimal polynomial of . We show that possesses some of the familiar properties of the classical spectral radius. In particular, we prove that is a continuous function on .

In the third and last section, we deal with stability of subnorms acting on subsets of finite-dimensional power-associative algebras. Following a brief survey, we enhance our understanding of the subject with the help of our findings of the previous section. Our main new result states that if , a subset of an algebra , satisfies certain assumptions, and is a continuous subnorm on , then is stable on if and only if majorizes the radius defined above.

     

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.

     

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 .

     

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.

     

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.

     

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.

     

Integral homology -spheres and the Johnson filtration

The mapping class group of an oriented surface of genus with one boundary component has a natural decreasing filtration , where is the kernel of the action of on the nilpotent quotient of . Using a tree Lie algebra approximating the graded Lie algebra we prove that any integral homology sphere of dimension has for some a Heegaard decomposition of the form , where and is such that . This proves a conjecture due to S. Morita and shows that the ``core' of the Casson invariant is indeed the Casson invariant.

     

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.

     

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.

     

Angle structures and normal surfaces

Let be the interior of a compact 3-manifold with boundary, and let be an ideal triangulation of This paper describes necessary and sufficient conditions for the existence of angle structures, semi-angle structures and generalised angle structures on respectively in terms of a generalised Euler characteristic function on the solution space of the normal surface theory of This extends previous work of Kang and Rubinstein, and is itself generalised to a more general setting for 3-dimensional pseudo-manifolds.

     

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.

     

A general theory of almost convex functions

Let be the standard -dimensional simplex and let . Then a function with domain a convex set in a real vector space is -almost convex iff for all and the inequality

holds. A detailed study of the properties of -almost convex functions is made. If contains at least one point that is not a vertex, then an extremal -almost convex function is constructed with the properties that it vanishes on the vertices of and if is any bounded -almost convex function with on the vertices of , then for all . In the special case , the barycenter of , very explicit formulas are given for and . These are of interest, as and are extremal in various geometric and analytic inequalities and theorems.