The projection theorem for spectral sets

LetG be a locally compact group with polynomial growth and symmetricL ¹-algebra andN a closed normal subgroup ofG. LetF be a closedG-invariant subset of Prim_* L ¹(N) andE={ker; with |N(k(F))=0}. We prove thatE is a spectral subset of Prim_* L ¹(G) ifF is spectral. Moreover we give the following application to the ideal theory ofL ¹(G). Suppose that, in addition,N is CCR andG/N is compact. Then all primary ideals inL ¹(G) are maximal, provided allG-orbits in Prim_* L ¹(N) are spectral.Dedicated to Professor Elmar Thoma on the occasion of his 60th birthday     

Some <Emphasis Type="Italic">L</Emphasis>-Function of a Regular Covering of a Graph

Let ₁:KH, ₂:HG and ₂₁:KG be three finite regular coverings of graphs, and let be a representation of the covering transformation group of ₁. We show that the (Bartholdi type) L-function of G associated to the representation of the covering transformation group of ₂₁ induced from is equal to that of H associated to by means of ordinary voltage assignments.Acknowledgments. We would like to thank the referee for many valuable comments and suggestions. This is partially supported by Grant-in-Aid for Science Research (C).Final version received: February 16, 2004     

A conjecture on semi-field planes. II

Conclusion The results in the previous sections lend strong support to the conjecture made in the Introduction. Furthermore, if the long-standing conjecture concerning the solvability of autotopism groups for semi-field planes is correct then the probability of our conjecture being true is greatly increased. In any case the existence of a semi-field plane for which u() = 2, 3, or 4 would provide a counterexample to the earlier conjecture.There are examples of semi-field planes with u() = %. As mentioned in Example 2 of Section 3, one of the semi-field planes of order 16 has u()-5. For that plane, the five orbits of the autotopism group G in (G) have lengths 27, 36, 54, 54, 54. The union of the orbit having length 36 and one of those having 54 is the union of the points in (G) on 6 lines through a vertex U and the union of the remaining three orbits consists of the 135 points on the remaining 9 lines through U. There are also non-Desarguesian A-planes in which u() = 5; the semi-field plane of order 3⁴ coordinatized by the twisted field of Albert has u() = 5.Supported in part by NSF Grants No. MPS 75-05260 and MPS 76-06661     

Optimal Hankel norm model reductions and Wiener-Hopf factorization II: The non-canonical case

We consider the problem of approximating a given stable rational matrix function G(s) of McMillan degree n by a function (s)+F(s), where has McMillan degree -norm of the error G––F_L, or equivalently the minimum possible Hankel norm of the stable part of the error G–_H, is equal to the (+1)-st Hankel singular value ₊₁(G(s)) of G. We give an explicit linear fractional map parametrization for the class of all functions (s)+F(s) as above which satisfy G––F_L=₊₁(G(s)). The coefficients of the linear fractional map are completely determined by the matrices A, B and C in a realization G(s)=C(sI–A)^–1B for G(s) and the unique solutions of a pair of Lyapunov equations involving these matrices. (Note that without loss of generality G()=0.) The basic idea is to use the approach of Ball and Helton to reduce the problem to a symmetric Wiener-Hopf factorization problem, which in turn can be solved by applying a result of Kaashoek and Ran. The results obtained here are equivalent to the results of Glover, but our analysis gives an alternative more geometric approach.The first author was partially supported by a grant from the National Science FoundationThe second author was partially supported by a grant from the Niels Stensen Stichting at Amsterdam     

A characterization of subgroups of the orthogonal group

LetG be a subgroup of the general linear group GL_n(K), where charK 2. Put Kⁿ =V. AssumeG is generated by the setS of all elements inG for which dimV( – 1) = 1, and suppose ²=1_V for each inS. If {V(–1)¦S} contains a simplex, if – 1_V G, and if inG is a product of dim v(–1) elements inS wheneverV(–1) is not contained in the kernel of–1, thenG is a subgroup of an orthogonal group.This research was supported in part by NSERC Canada grant A7251.To Helmut Mäurer on his 60th birthday     

On the structure of Sidon sets

LetG be any connected compact group with dual object. We give in this paper a new proof that the union of any two Sidon sets in is again a Sidon set. We also show that any Sidon subset of is the union of a set whose elements have bounded degree with a finite union of sets which satisfy a quasi-independence condition.     

The Number of Isomorphism Classes of Finite Groups with Given Element Orders

Let G be a finite group and _e(G) the set of element orders of G. Denote by h( _e(G)) the number of isomorphism classes of finite groups H satisfying _e(H) = _e(G). We prove that if G has at least three prime graph components, then h( _e (G)){1, }.     

On π-Solvable and Locally π-Solvable Groups with Factorization

We prove that, in a locally -solvable group G = AB with locally normal subgroups A and B, there exist pairwise-permutable Sylow - and p-subgroups A , A _p and B , B _p , p , of the subgroups A and B, respectively, such that A B is a Sylow -subgroup of the group G and, for an arbitrary nonempty set ,

An ordinal analysis of stability

This paper is the first in a series of three which culminates in an ordinal analysis of ¹₂-comprehension. On the set-theoretic side ¹₂-comprehension corresponds to Kripke-Platek set theory, KP, plus ₁-separation. The strength of the latter theory is encapsulated in the fact that it proves the existence of ordinals such that, for all >, is -stable, i.e. L is a ₁-elementary substructure of L. The objective of this paper is to give an ordinal analysis of a scenario of not too complicated stability relations as experience has shown that the understanding of the ordinal analysis of ¹₂-comprehension is greatly facilitated by explicating certain simpler cases first.This paper introduces an ordinal representation system based on -indescribable cardinals which is then employed for determining an upper bound for the proof–theoretic strength of the theory KPi+ is +-stable, where KPi is KP augmented by the axiom saying that every set is contained in an admissible set.The results in this paper were obtained in 1995 when the author was a Heisenberg Fellow of the German Science Foundation, Deutsche Forschungsgemeinschaft.     

Waterman classes and triangular sums of double Fourier series

Let ^a ={nln^a (n+1)}, where a R. The following results are established: For every &fnof ^a BV ((- ]²), the triangular partial sums of its Fourier series are uniformly bounded if a = -1, and converge everywhere if a < -1.For every a>0, there exists &fnof ^a BV ((- ]²) such that the triangular partial sums of its Fourier series are unbounded at the point (0;0).     

On collineation groups of a projective plane of prime order

Towards the study of finite projective plane of prime order, the following result is proved in this paper. Let be a projective plane of prime order p and let G be a collineation group of . If p¦|G|, then either is Desarguesian or the maximal maximal normal subgroup of G is not trivial. In particular, is Desarguesian if G does not leave invariant any point or line.Partially supported by NSERC A8460.Partially supported by CNPq.     

Canonical Semigroups of States and Cocycles for the Group of Automorphisms of a Homogeneous Tree

Let G=A ut(T) be the group of automorphisms of a homogeneous tree and let d(v,gv) denote the natural tree distance. Fix a base vertex e in T. The function (g)=exp(–d(e,ge)), being positive definte on G, gives rise to a semigroup of states on G whose infinitesimal generator d/d|₌₀=log() is conditionally positive definite but not positive definite. Hence, log() corresponds to a nontrivial cocycle (g): GH in some representation space H . In contrast with the case of PGL(2,), the representation is not irreducible.Let _o (g) be the derivative of the spherical function corresponding to the complementary series of A ut(T). We show that –d(e,ge) and _o (g) come from cohomologous cocycles. Moreover, _o is associated to one of the two (irreducible) special representations of A ut(T).     

Π r P1-bundle from which a surjective morphism to Π m P1 exists

Let : X Y be a morphism of smooth projective varieties over an algebraically closed field k of characteristic not equal to 2 whose closed fibres are all isomorphic to ^r P¹ and let ': X ^r P¹ be a surjective morphism. This article gives a sufficient condition concerning ' and Y under which X is isomorphic to Y× ^r P¹.     

Complementary permutations for abelian groups

Summary LetG be an additively written abelian group and leth: G G be a given function. M. Hall Jr. (1952) and L. Fuchs (1958) already answered the following question. For what functionsh: G G does the functional equation(x) + (x) = h(x) (x G) have as its solution a pair of permutations and ofG? In this paper, we give explicit constructions of such a pair, in a number of cases, in particular whenh(x) x andG is finite. We further determine the finite groupsG where the latter, can be chosen to be automorphisms.In the case whereG is an infinite topological group, we study in how far and can be chosen as Borel measurable permutations, given thath: G G itself is Borel measurable.     

Opérateurs différentiels associés à certaines représentations unitaires d'un groupe de Lie résoluble exponentiel

Soient G = exp g un groupe de Lie résoluble exponentiel et H = exp h un sous-groupe connexe de G. Soient un caractère unitaire de H et = Ind_H ^G. Soit D(G/H) l'algèbre des opérateurs différentiels G-invariants sur G/H. Une question posée par Duflo et Corwin-Greenleaf consiste à voir si la finitude des multiplicités de est équivalente à la commutativité de D (G/H). Nous répondons positivement à cette question quand H est normal dans G. Lorsque H n'est pas normal, nous préparons le terrain pour d'espaces homogènes nilpotents et nous répondons à la question dans différents cas. Nous étudions finalement l'algèbre D (G) ^H , des opérateurs différentiels qui laissent l'espace des vecteurs C de invariant et qui commuttent avec l'action de H sur cet espace.     

The Spectral Theory of Amenable Actions and Invariants of Discrete Groups

Let G denote a semisimple group, a discrete subgroup, B=G/P the Poisson boundary. Regarding invariants of discrete subgroups we prove, in particular, the following:(1) For any -quasi-invariant measure on B, and any probablity measure on , the norm of the operator () on L ²(B,) is equal to (), where is the unitary representation in L ²(X,), and is the regular representation of .(2) In particular this estimate holds when is Lebesgue measure on B, a Patterson–Sullivan measure, or a -stationary measure, and implies explicit lower bounds for the displacement and Margulis number of (w.r.t. a finite generating set), the dimension of the conformal density, the -entropy of the measure, and Lyapunov exponents of .(3) In particular, when G=PSL₂() and is free, the new lower bound of the displacement is somewhat smaller than the Culler–Shalen bound (which requires an additional assumption) and is greater than the standard ball-packing bound.We also prove that ()=_G() for any amenable action of G and L ¹(G), and conversely, give a spectral criterion for amenability of an action of G under certain natural dynamical conditions. In addition, we establish a uniform lower bound for the -entropy of any measure quasi-invariant under the action of a group with property T, and use this fact to construct an interesting class of actions of such groups, related to 'virtual' maximal parabolic subgroups. Most of the results hold in fact in greater generality, and apply for instance when G is any semi-simple algebraic group, or when is any word-hyperbolic group, acting on their Poisson boundary, for example.     

Finite presentability of Steinberg groups over group rings

LetA be a finitely generated commutative -algebra with Krull dimensiond, and let be an arbitrary finite group. It is proved that the Steinberg groupSt _n (A) is finitely presented whenevern4. If, in addition,nd+3, andK ₁ (A) andK ₂ (A) are finitely generated, thenE _n (A) andGL _n (A) are finitely presented.The Project supported by National Natural Science Foundation of China.     

m-Systems and Partial m-Systemsof Polar Spaces

LetP be a finite classical polar space of rankr, withr 2. A partialm-systemM ofP, with 0 m r - 1, is any set (₁), ₂,..., _k ofk ( 0) totally singularm-spaces ofP such that no maximal totally singular space containing _i has a point in common with (_{1 2} ... _k) — _i,i = 1, 2,...,k. In a previous paper an upper bound for ¦M¦ was obtained (Theorem 1). If ¦M¦ = , thenM is called anm-system ofP. Form = 0 them-systems are the ovoids ofP; form =r - 1 them-systems are the spreads ofP. In this paper we improve in many cases the upper bound for the number of elements of a partialm-system, thus proving the nonexistence of several classes ofm-systems.Dedicated to Hanfried Lenz on the occasion of his 80th birthday     

On the Hantzsche-Wendt manifold

We explicitly compute the outer automorphism group Out ₁ M of the fundamental group of the Hantzsche — Wendt manifoldM. It is an extension 1(₂)³Out₁ MS ₃₂1, but not the semidirect product (₂)³(S ₃₂) as claimed in [3] (see also [4]). As a consequence, we get a quick algebraic computation of the symmetry groups of the Borromean rings and the figure-8-knot.