Polynomial structures on polycyclic groups

We know, by recent work of Benoist and of Burde & Grunewald, that there exist polycyclic-by-finite groups , of rank (the examples given were in fact nilpotent), admitting no properly discontinuous affine action on . On the other hand, for such , it is always possible to construct a properly discontinuous smooth action of on . Our main result is that any polycyclic-by-finite group of rank contains a subgroup of finite index acting properly discontinuously and by polynomial diffeomorphisms of bounded degree on . Moreover, these polynomial representations always appear to contain pure translations and are extendable to a smooth action of the whole group .

     

Integer translation of meromorphic functions

Let be a given open set in the complex plane. We prove that there is an entire function such that its integer translations forms a normal family in a neighborhood of exactly for in if and only if is periodic with period 1, i.e., for all .

     

Subgroups of finite soluble groups inducing the same permutation character

In this paper there are found necessary and sufficient conditions that a pair of solvable finite groups, say and , must satisfy for the existence of a solvable finite group containing two isomorphic copies of and inducing the same permutation character. Also a construction of is given as an iterated wreath product, with respect to their actions on their natural modules, of finite one-dimensional affine groups.

     

Herz-Schur multipliers and weakly almost periodic functions on locally compact groups

For a locally compact group and , let be the Herz-Figà-Talamanca algebra and the Herz-Schur multipliers of , and the multipliers of . Let be the algebra of continuous weakly almost periodic functions on . In this paper, we show that (1), if is a noncompact nilpotent group or a noncompact [IN]-group, then contains a linear isometric copy of ; (2), for a noncommutative free group is a proper subset of .

     

Duality of restriction and induction for -coactions

Consider a coaction of a locally compact group on a - algebra , and a closed normal subgroup of . We prove, following results of Echterhoff for abelian , that Mansfield's imprimitivity between and implements equivalences between Mansfield induction of representations from to and restriction of representations from to , and between restriction of representations from to and Green induction of representations from to . This allows us to deduce properties of Mansfield induction from the known theory of ordinary crossed products.

     

Randomness and semigenericity

Let contain only the equality symbol and let be an arbitrary finite symmetric relational language containing . Suppose probabilities are defined on finite structures with `edge probability' . By , the almost sure theory of random -structures we mean the collection of -sentences which have limit probability 1. denotes the theory of the generic structures for (the collection of finite graphs with hereditarily nonnegative). . , the almost sure theory of random -structures, is the same as the theory of the -generic model. This theory is complete, stable, and nearly model complete. Moreover, it has the finite model property and has only infinite models so is not finitely axiomatizable.

     

Group actions on arrangements of linear subspaces and applications to configuration spaces

For an arrangement of linear subspaces in that is invariant under a finite subgroup of the general linear group we develop a formula for the -module structure of the cohomology of the complement . Our formula specializes to the well known Goresky-MacPherson theorem in case , but for the formula shows that the -module structure of the complement is not a combinatorial invariant. As an application we are able to describe the free part of the cohomology of the quotient space . Our motivating examples are arrangements in that are invariant under the action of by permuting coordinates. A particular case is the ``-equal' arrangement, first studied by Björner, Lovász, and Yao motivated by questions in complexity theory. In these cases and are spaces of ordered and unordered point configurations in many of whose properties are reduced by our formulas to combinatorial questions in partition lattices. More generally, we treat point configurations in and provide explicit results for the ``-equal' and the ``-divisible' cases.

     

Linear isometries between subspaces of continuous functions

We say that a linear subspace of is strongly separating if given any pair of distinct points of the locally compact space , then there exists such that . In this paper we prove that a linear isometry of onto such a subspace of induces a homeomorphism between two certain singular subspaces of the Shilov boundaries of and , sending the Choquet boundary of onto the Choquet boundary of . We also provide an example which shows that the above result is no longer true if we do not assume to be strongly separating. Furthermore we obtain the following multiplicative representation of : for all and all , where is a unimodular scalar-valued continuous function on . These results contain and extend some others by Amir and Arbel, Holszty\'{n}ski, Myers and Novinger. Some applications to isometries involving commutative Banach algebras without unit are announced.

     

On The Homotopy Type of

We consider the homotopy type of classifying spaces , where is a finite -group, and we study the question whether or not the mod cohomology of , as an algebra over the Steenrod algebra together with the associated Bockstein spectral sequence, determine the homotopy type of . This article is devoted to producing some families of finite 2-groups where cohomological information determines the homotopy type of .

     

Only single twists on unknots can produce composite knots

Let be a knot in the -sphere , and a disc in meeting transversely more than once in the interior. For non-triviality we assume that over all isotopy of . Let () be a knot obtained from by cutting and -twisting along the disc (or equivalently, performing -Dehn surgery on ). Then we prove the following: (1) If is a trivial knot and is a composite knot, then ; (2) if is a composite knot without locally knotted arc in and is also a composite knot, then . We exhibit some examples which demonstrate that both results are sharp. Independently Chaim Goodman-Strauss has obtained similar results in a quite different method.

     

Generalized Weil's reciprocity law and multiplicativity theorems

Fix a one-dimensional group variety with Euler-characteristic , and a quasi-projective variety , both defined over . For any and constructible sheaf on , we construct an invariant , which provides substantial information about the topology of the fiber-structure of and the structure of along the fibers of . Moreover, is a group homomorphism.

     

Asymptotic behaviour of reproducing kernels of weighted Bergman spaces

Let be a domain in , a nonnegative and a positive function on such that is locally bounded, the space of all holomorphic functions on square-integrable with respect to the measure , where is the -dimensional Lebesgue measure, and the reproducing kernel for . It has been known for a long time that in some special situations (such as on bounded symmetric domains with and the Bergman kernel function) the formula

holds true. [This fact even plays a crucial role in Berezin's theory of quantization on curved phase spaces.] In this paper we discuss the validity of this formula in the general case. The answer turns out to depend on, loosely speaking, how well the function can be approximated by certain pluriharmonic functions lying below it. For instance, () holds if is convex (and, hence, can be approximated from below by linear functions), for any function . Counterexamples are also given to show that in general () may fail drastically, or even be true for some and fail for the remaining ones. Finally, we also consider the question of convergence of for , which leads to an unexpected result showing that the zeroes of the reproducing kernels are affected by the smoothness of : for instance, if is not real-analytic at some point, then must have zeroes for all sufficiently large.

     

Isomorphism of lattices of recursively enumerable sets

Let , and for , let be the lattice of subsets of which are recursively enumerable relative to the ``oracle' . Let be , where is the ideal of finite subsets of . It is established that for any , is effectively isomorphic to if and only if , where is the Turing jump of . A consequence is that if , then . A second consequence is that can be effectively embedded into preserving least and greatest elements if and only if .

     

Cohomological construction of quantized universal enveloping algebras

Given an associative algebra and the category of its finite dimensional modules, additional structures on the algebra induce corresponding ones on the category . Thus, the structure of a rigid quasi-tensor (braided monoidal) category on is induced by an algebra homomorphism (comultiplication), coassociative up to conjugation by (associativity constraint) and cocommutative up to conjugation by (commutativity constraint), together with an antiautomorphism (antipode) of satisfying the compatibility conditions. A morphism of quasi-tensor structures is given by an element with suitable induced actions on , and . Drinfeld defined such a structure on for any semisimple Lie algebra with the usual comultiplication and antipode but nontrivial and , and proved that the corresponding quasi-tensor category is isomomorphic to the category of representations of the Drinfeld-Jimbo (DJ) quantum universal enveloping algebra (QUE), .

In the paper we give a direct cohomological construction of the which reduces to the trivial associativity constraint, without any assumption on the prior existence of a strictly coassociative QUE. Thus we get a new approach to the DJ quantization. We prove that can be chosen to satisfy some additional invariance conditions under (anti)automorphisms of , in particular, gives an isomorphism of rigid quasi-tensor categories. Moreover, we prove that for pure imaginary values of the deformation parameter, the elements , and can be chosen to be formal unitary operators on the second and third tensor powers of the regular representation of the Lie group associated to with depending only on even powers of the deformation parameter. In addition, we consider some extra properties of these elements and give their interpretation in terms of additional structures on the relevant categories.

     

Kaehler structures on

Let be a compact connected semi-simple Lie group, let , and let be an Iwasawa decomposition. To a given -invariant Kaehler structure on , there corresponds a pre-quantum line bundle on . Following a suggestion of A.S. Schwarz, in a joint paper with V. Guillemin, we studied its holomorphic sections as a -representation space. We defined a -invariant -structure on , and let denote the space of square-integrable holomorphic sections. Then is a unitary -representation space, but not all unitary irreducible -representations occur as subrepresentations of . This paper serves as a continuation of that work, by generalizing the space considered. Let be a Borel subgroup containing , with commutator subgroup . Instead of working with , we consider , for all parabolic subgroups containing . We carry out a similar construction, and recover in the unitary irreducible -representations previously missing. As a result, we use these holomorphic sections to construct a model for : a unitary -representation in which every irreducible -representation occurs with multiplicity one.

     

homology over traced *-algebras

Given a unital complex *-algebra , a tracial positive linear functional on that factors through a *-representation of on Hilbert space, and an -module possessing a resolution by finitely generated projective -modules, we construct homology spaces for . Each is a Hilbert space equipped with a *-representation of , independent (up to unitary equivalence) of the given resolution of . A short exact sequence of -modules gives rise to a long weakly exact sequence of homology spaces. There is a Künneth formula for tensor products. The von Neumann dimension which is defined for -invariant subspaces of gives well-behaved Betti numbers and an Euler characteristic for with respect to and .

     

Approximation by harmonic functions

For a compact set we construct a restoring covering for the space of real-valued functions on which can be uniformly approximated by harmonic functions. Functions from restricted to an element of this covering possess some analytic properties. In particular, every nonnegative function , equal to 0 on an open non-void set, is equal to 0 on . Moreover, when , the algebra of complex-valued functions on which can be uniformly approximated by holomorphic functions is analytic. These theorems allow us to prove that if a compact set has a nontrivial Jensen measure, then contains a nontrivial compact set with analytic algebra .

     

Symmetric powers of complete modules over a two-dimensional regular local ring

Let be a two-dimensional regular local ring with infinite residue field. For a finitely generated, torsion-free -module , write for the th symmetric power of , mod torsion. We study the modules , , when is complete (i.e., integrally closed). In particular, we show that , for any minimal reduction and that the ring is Cohen-Macaulay.