Groups with two extreme character degrees and their normal subgroups

We study the finite groups for which the set of irreducible complex character degrees consists of the two most extreme possible values, that is, and . We are easily reduced to finite -groups, for which we derive the following group theoretical characterization: they are the -groups such that is a square and whose only normal subgroups are those containing or contained in . By analogy, we also deal with -groups such that is not a square, and we prove that if and only if a similar property holds: for any , either or . The proof of these results requires a detailed analysis of the structure of the -groups with any of the conditions above on normal subgroups, which is interesting for its own sake. It is especially remarkable that these groups have small nilpotency class and that, if the nilpotency class is greater than , then the index of the centre is small, and in some cases we may even bound the order of .

     

On modules of finite upper rank

For a group and a prime , the upper -rank of is the supremum of the sectional -ranks of all finite quotients of . It is unknown whether, for a finitely generated group , these numbers can be finite but unbounded as ranges over all primes. The conjecture that this cannot happen if is soluble is reduced to an analogous `relative' conjecture about the upper -ranks of a `quasi-finitely-generated' module for a soluble minimax group . The main result establishes a special case of this relative conjecture, namely when the module is finitely generated and the minimax group is abelian-by-polycyclic. The proof depends on generalising results of Roseblade on group rings of polycyclic groups to group rings of soluble minimax groups. (If true in general, the above-stated conjecture would imply the truth of Lubotzky's `Gap Conjecture' for subgroup growth, in the case of soluble groups; the Gap Conjecture is known to be false for non-soluble groups.)     

-Betti numbers

A standing conjecture in -cohomology says that every finite -complex is of -determinant class. In this paper, we prove this whenever the fundamental group belongs to a large class of groups containing, e.g., all extensions of residually finite groups with amenable quotients, all residually amenable groups, and free products of these. If, in addition, is -acyclic, we also show that the -determinant is a homotopy invariant -- giving a short and easy proof independent of and encompassing all known cases. Under suitable conditions we give new approximation formulas for -Betti numbers.

     

On supports and associated primes of modules over the enveloping algebras of nilpotent Lie algebras

Let be a nilpotent Lie algebra, over a field of characteristic zero, and its universal enveloping algebra. In this paper we study: (1) the prime ideal structure of related to finitely generated -modules , and in particular the set of associated primes for such (note that now is equal to the set of annihilator primes for ); (2) the problem of nontriviality for the modules when is a (maximal) prime of , and in particular when is the augmentation ideal of . We define the support of , as a natural generalization of the same notion from commutative theory, and show that it is the object of primary interest when dealing with (2). We also introduce and study the reduced localization and the reduced support, which enables to better understand the set . We prove the following generalization of a stability result given by W. Casselman and M. S. Osborne in the case when , as in the theorem, are abelian. We also present some of its interesting consequences.

Theorem. Let be a finite-dimensional Lie algebra over a field of characteristic zero, and an ideal of ; denote by the universal enveloping algebra of . Let be a -module which is finitely generated as an -module. Then every annihilator prime of , when is regarded as a -module, is -stable for the adjoint action of on .

     

Equivariant surgery with middle dimensional singular sets. II: Equivariant framed cobordism invariance

Let be a finite group and let be a degree 1, -framed map such that and are simply connected, closed, oriented, smooth manifolds of dimension and such that the dimension of the singular set of the -space is at most . In the previous article, assuming is -connected, we defined the -equivariant surgery obstruction in a certain abelian group. There it was shown that if then is -framed cobordant to a homotopy equivalence . In the present article, we prove that the obstruction is a -framed cobordism invariant. Consequently, the -surgery obstruction is uniquely associated to above even if it is not -connected.

     

Local derivations on -algebras are derivations

Kadison has shown that local derivations from a von Neumann algebra into any dual bimodule are derivations. In this paper we extend this result to local derivations from any -algebra into any Banach -bimodule . Most of the work is involved with establishing this result when is a commutative -algebra with one self-adjoint generator. A known result of the author about Jordan derivations then completes the argument. We show that these results do not extend to the algebra of continuously differentiable functions on . We also give an automatic continuity result, that is, we show that local derivations on -algebras are continuous even if not assumed a priori to be so.

     

A monoidal approach to splitting morphisms of bialgebras

The main goal of this paper is to investigate the structure of Hopf algebras with the property that either its Jacobson radical is a Hopf ideal or its coradical is a subalgebra. Let us consider a Hopf algebra such that its Jacobson radical is a nilpotent Hopf ideal and is a semisimple algebra. We prove that the canonical projection of on has a section which is an -colinear algebra map. Furthermore, if is cosemisimple too, then we can choose this section to be an -bicolinear algebra morphism. This fact allows us to describe as a `generalized bosonization' of a certain algebra in the category of Yetter-Drinfeld modules over . As an application we give a categorical proof of Radford's result about Hopf algebras with projections. We also consider the dual situation. Let be a bialgebra such that its coradical is a Hopf sub-bialgebra with antipode. Then there is a retraction of the canonical injection of into which is an -linear coalgebra morphism. Furthermore, if is semisimple too, then we can choose this retraction to be an -bilinear coalgebra morphism. Then, also in this case, we can describe as a `generalized bosonization' of a certain coalgebra in the category of Yetter-Drinfeld modules over .

     

Simple holonomic modules over rings of differential operators with regular coefficients of Krull dimension 2

Let be an algebraically closed field of characteristic zero. Let be the ring of (-linear) differential operators with coefficients from a regular commutative affine domain of Krull dimension which is the tensor product of two regular commutative affine domains of Krull dimension . Simple holonomic -modules are described. Let a -algebra be a regular affine commutative domain of Krull dimension and be the ring of differential operators with coefficients from . We classify (up to irreducible elements of a certain Euclidean domain) simple -modules (the field is not necessarily algebraically closed).

     

Berezin transform on real bounded symmetric domains

Let be a bounded symmetric domain in a complex vector space with a real form and be the real bounded symmetric domain in the real vector space . We construct the Berezin kernel and consider the Berezin transform on the -space on . The corresponding representation of is then unitarily equivalent to the restriction to of a scalar holomorphic discrete series of holomorphic functions on and is also called the canonical representation. We find the spectral symbol of the Berezin transform under the irreducible decomposition of the -space.

     

Maximal degree subsheaves of torsion free sheaves on singular projective curves

Fix integers with k>0$"> and . Let be an integral projective curve with and a rank torsion free sheaf on which is a flat limit of a family of locally free sheaves on . Here we prove the existence of a rank subsheaf of such that . We show that for every there is an integral projective curve not Gorenstein, and a rank 2 torsion free sheaf on with no rank 1 subsheaf with . We show the existence of torsion free sheaves on non-Gorenstein projective curves with other pathological properties.

     

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 .

     

A sharp bound on the size of a connected matroid

This paper proves that a connected matroid in which a largest circuit and a largest cocircuit have and elements, respectively, has at most elements. It is also shown that if is an element of and and are the sizes of a largest circuit containing and a largest cocircuit containing , then . Both these bounds are sharp and the first is proved using the second. The second inequality is an interesting companion to Lehman's width-length inequality which asserts that the former inequality can be reversed for regular matroids when and are replaced by the sizes of a smallest circuit containing and a smallest cocircuit containing . Moreover, it follows from the second inequality that if and are distinct vertices in a -connected loopless graph , then cannot exceed the product of the length of a longest -path and the size of a largest minimal edge-cut separating from .

     

Isometries of Hilbert -modules

Let and be right, full, Hilbert -modules over the algebras and respectively and let be a linear surjective isometry. Then can be extended to an isometry of the linking algebras. then is a sum of two maps: a (bi-)module map (which is completely isometric and preserves the inner product) and a map that reverses the (bi-)module actions. If (or ) is a factor von Neumann algebra, then every isometry is either a (bi-)module map or reverses the (bi-)module actions.

     

On the invariant faces associated with a cone-preserving map

For an nonnegative matrix , an isomorphism is obtained between the lattice of initial subsets (of ) for and the lattice of -invariant faces of the nonnegative orthant . Motivated by this isomorphism, we generalize some of the known combinatorial spectral results on a nonnegative matrix that are given in terms of its classes to results for a cone-preserving map on a polyhedral cone, formulated in terms of its invariant faces. In particular, we obtain the following extension of the famous Rothblum index theorem for a nonnegative matrix: If leaves invariant a polyhedral cone , then for each distinguished eigenvalue of for , there is a chain of distinct -invariant join-irreducible faces of , each containing in its relative interior a generalized eigenvector of corresponding to (referred to as semi-distinguished -invariant faces associated with ), where is the maximal order of distinguished generalized eigenvectors of corresponding to , but there is no such chain with more than members. We introduce the important new concepts of semi-distinguished -invariant faces, and of spectral pairs of faces associated with a cone-preserving map, and obtain several properties of a cone-preserving map that mostly involve these two concepts, when the underlying cone is polyhedral, perfect, or strictly convex and/or smooth, or is the cone of all real polynomials of degree not exceeding that are nonnegative on a closed interval. Plentiful illustrative examples are provided. Some open problems are posed at the end.

     

Good ideals in Gorenstein local rings

Let be an -primary ideal in a Gorenstein local ring (, ) with , and assume that contains a parameter ideal in as a reduction. We say that is a good ideal in if is a Gorenstein ring with . The associated graded ring of is a Gorenstein ring with if and only if . Hence good ideals in our sense are good ones next to the parameter ideals in . A basic theory of good ideals is developed in this paper. We have that is a good ideal in if and only if and . First a criterion for finite-dimensional Gorenstein graded algebras over fields to have nonempty sets of good ideals will be given. Second in the case where we will give a correspondence theorem between the set and the set of certain overrings of . A characterization of good ideals in the case where will be given in terms of the goodness in their powers. Thanks to Kato's Riemann-Roch theorem, we are able to classify the good ideals in two-dimensional Gorenstein rational local rings. As a conclusion we will show that the structure of the set of good ideals in heavily depends on . The set may be empty if , while is necessarily infinite if and contains a field. To analyze this phenomenon we shall explore monomial good ideals in the polynomial ring in three variables over a field . Examples are given to illustrate the theorems.

     

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

     

Rotation topological factors of minimal -actions on the Cantor set

In this paper we study conditions under which a free minimal -action on the Cantor set is a topological extension of the action of rotations, either on the product of -tori or on a single -torus . We extend the notion of linearly recurrent systems defined for -actions on the Cantor set to -actions, and we derive in this more general setting a necessary and sufficient condition, which involves a natural combinatorial data associated with the action, allowing the existence of a rotation topological factor of one of these two types.

     

Extension theory of separable metrizable spaces with applications to dimension theory

The paper deals with generalizing several theorems of the covering dimension theory to the extension theory of separable metrizable spaces. Here are some of the main results:

Generalized Eilenberg-Borsuk Theorem. Let be a countable CW complex. If is a separable metrizable space and is an absolute extensor of for some CW complex , then for any map , closed in , there is an extension of over an open set such that .

Theorem. Let be countable CW complexes. If is a separable metrizable space and is an absolute extensor of , then there is a subset of such that and .

Theorem. Suppose are countable, non-trivial, abelian groups and 0$">. For any separable metrizable space of finite dimension 0$">, there is a closed subset of with for .

Theorem. Suppose is a separable metrizable space of finite dimension and is a compactum of finite dimension. Then, for any , , there is a closed subset of such that and .

Theorem. Suppose is a metrizable space of finite dimension and is a compactum of finite dimension. If and are connected CW complexes, then

     

On the telescopic homotopy theory of spaces

In telescopic homotopy theory, a space or spectrum is approximated by a tower of localizations , , taking account of -periodic homotopy groups for progressively higher . For each , we construct a telescopic Kuhn functor carrying a space to a spectrum with the same -periodic homotopy groups, and we construct a new functor left adjoint to . Using these functors, we show that the th stable monocular homotopy category (comprising the th fibers of stable telescopic towers) embeds as a retract of the th unstable monocular homotopy category in two ways: one giving infinite loop spaces and the other giving ``infinite -suspension spaces.' We deduce that Ravenel's stable telescope conjectures are equivalent to unstable telescope conjectures. In particular, we show that the failure of Ravenel's th stable telescope conjecture implies the existence of highly connected infinite loop spaces with trivial Johnson-Wilson -homology but nontrivial -periodic homotopy groups, showing a fundamental difference between the unstable chromatic and telescopic theories. As a stable chromatic application, we show that each spectrum is -equivalent to a suspension spectrum. As an unstable chromatic application, we determine the -localizations and -localizations of infinite loop spaces in terms of -localizations of spectra under suitable conditions. We also determine the -localizations and -localizations of arbitrary Postnikov -spaces.

     

A generalization of half-plane mappings to the ball in

Let be a normalized (, ) biholomorphic mapping of the unit ball onto a convex domain that is the union of lines parallel to some unit vector . We consider the situation in which there is one infinite singularity of on . In one case with a simple change-of-variables, we classify all convex mappings of that are half-plane mappings in the first coordinate. In the more complicated case, when is not in the span of the infinite singularity, we derive a form of the mappings in dimension .