On a new Segal algebra

By means of a certain kind of atomic representation a new Segal algebraS ₀(G) of continuous functions on an arbitrary locally compact abelian groupG is defined. From various characterizations ofS ₀(G), e. g. as smallest element within the family of all strongly character invariant Segal algebras, functorial properties of the symbolS ₀ are derived, which are similar to those of the spacel (G) of Schwartz-Bruhat functions, e. g. invariance under the Fourier transform, or compatibility with restrictions to closed subgroups. The corresponding properties of its Banach dualS' ₀(G) as well as some of their applications are to be given in a subsequent paper.     

Operator space structure on Feichtinger's Segal algebra

We extend the definition, from the class of abelian groups to a general locally compact group G, of Feichtinger's remarkable Segal algebra S₀(G). In order to obtain functorial properties for non-abelian groups, in particular a tensor product formula, we endow S₀(G) with an operator space structure. With this structure S₀(G) is simultaneously an operator Segal algebra of the Fourier algebra A(G), and of the group algebra L¹(G). We show that this operator space structure is consistent with the major functorial properties: (i) completely isomorphically (operator projective tensor product), if H is another locally compact group; (ii) the restriction map is completely surjective, if H is a closed subgroup; and (iii) is completely surjective, where N is a normal subgroup and . We also show that S₀(G) is an invariant for G when it is treated simultaneously as a pointwise algebra and a convolutive algebra.     

Zur Idealtheorie in Gruppenalgebren von [FIA] B − -Gruppen

In this paper we consider closedB-invariant ideals in the group algebraL ¹(G), whereG is a locally compact group with a relatively compact groupB of topological automorphisms, which contains the set of all inner automorphisms. We study conditions when closedB-invariant ideals are completely determined by their hull. Also questions concerning the existence of approximate units in these ideals will be answered. Above all, we shall study these properties with regard to the relations between ideals inL ¹(G),L ¹ (G/N) andL ¹(N), whereN is a closedB-invariant subgroup ofG.     

Functions of translation type and functorial properties of Segal algebras II

In this paper we investigate functorial properties of the Segal algebra which consists of all functionsf in Wiener's algebra onG with Fourier transform in Wiener's algebra on the dual group . Especially may serve as a very large and natural domain for Poisson's formula. Moreover, there is introduced a Segal algebraE ₀(G) containing as a subspace, but still eachfE ₀(S) satisfies Poisson's formula.     

The algebra ofG-relations

In this paper, we study a tower {A _n ^G: n} ≥ 1 of finite-dimensional algebras; here, G represents an arbitrary finite group,d denotes a complex parameter, and the algebraA _n ^G(d) has a basis indexed by ‘G-stable equivalence relations’ on a set whereG acts freely and has 2n orbits. We show that the algebraA _n ^G(d) is semi-simple for all but a finite set of values ofd, and determine the representation theory (or, equivalently, the decomposition into simple summands) of this algebra in the ‘generic case’. Finally we determine the Bratteli diagram of the tower {A _n ^G(d): n} ≥ 1 (in the generic case).     

Bruck nets with a transitive direction

We start the systematic investigation of the geometric properties and the collineation groups of Bruck nets N with a transitive direction (i.e. with a group G of central translations acting transitively on each line of a given parallel class P). After reviewing some basic properties of such nets (in particular, their connection to difference matrices), we shall consider the problem of what can be said if either N or G admits an interesting extension. Specifically, we shall handle the following four situations: (1) there is a second transitive direction; (2) N is a translation net (w.l.o.g. with translation group K containing G); (3) the dual of NP is a translation transversal design (w.l.o.g. with translation group K containing G); (4) N admits a transversal (and can then in fact be extended by adding a further parallel class). Our study of these problems will yield interesting generalizations of known concepts (e.g. that of a fixed-point-free group automorphism) and results (for affine and projective planes). We shall also see that a wide variety of seemingly unrelated results and constructions scattered in the literature are in fact closely related and should be viewed as part of a unified whole.To Helmut Salzmann on the occasion of his 60th birthdayThe results of this paper will form part of the first author's doctoral dissertation which is being written under the supervision of the second author.     

On free quadratic extensions of rings

The quaternion algebraB[j] over a commutative ringB with 1 defined byS. Parimala andR. Sridharan is generalized in two directions: (1) the ringB may be non-commutative with 1, and (2)j ² may be any invertible element (not necessarily –1). LetG={} be an automorphism group ofB of order 2, andA={b inB| (b)=b}. LetB[j] be a generalized quaternion algebra such thataj (a) for eacha inB. It will be shown thatB is Galois (for non-commutative ring extensions) overA which is contained in the center ofB if and only ifB[j] is Azumaya overA. Also,A[j] is a splitting ring forB[j] such thatA[j] is Galois overA. Moreover, we shall determine which automorphism group ofA[j] is a Galois group.     

Banach convolution algebras of functions II

LetG be a noncompact, locally compact group. By means of generalized dyadic decompositions ofG, translation invariant Banach spacesF(B, B, X) of (classes of) measurable functions onG are constructed, e. g. certain weighted amalgams ofL ^p -spaces. Basic properties of these spaces are derived and connections with spaces considered in the literature are indicated. As a main result, sufficient conditions are given which imply that a space of this type is a Banach algebra with respect to convolution.With 1 Figure     

Prime ideals in the C*-algebra of a nilpotent group

We say that a locally compact groupG hasT ₁ primitive ideal space if the groupC ^*-algebra,C ^*(G), has the property that every primitive ideal (i.e. kernel of an irreducible representation) is closed in the hull-kernel topology on the space of primitive ideals ofC ^*(G), denoted by PrimG. This means of course that every primitive ideal inC ^*(G) is maximal. Long agoDixmier proved that every connected nilpotent Lie group hasT ₁ primitive ideal space. More recentlyPoguntke showed that discrete nilpotent groups haveT ₁ primitive ideal space and a few month agoCarey andMoran proved the same property for second countable locally compact groups having a compactly generated open normal subgroup. In this note we combine the methods used in [3] with some ideas in [9] and show that for nilpotent locally compact groupsG, having a compactly generated open normal subgroup, closed prime ideals inC ^*(G) are always maximal which implies of course that PrimG isT ₁.     

On translation planes of orderq 3 that admit a collineation group of orderq 3

Let II be a translation plane of orderq ³, with kernel GF(q) forq a prime power, that admits a collineation groupG of orderq ³ in the linear translation complement. Moreover, assume thatG fixes a point at infinity, acts transitively on the remaining points at infinity andG/E is an abelian group of orderq ², whereE is the elation group ofG.In this article, we determined all such translation planes. They are (i) elusive planes of type I or II or (ii) desirable planes.Furthermore, we completely determined the translation planes of orderp ³, forp a prime, admitting a collineation groupG of orderp ³ in the translation complement such thatG fixes a point at infinity and acts transitively on the remaining points at infinity. They are (i) semifield planes of orderp ³ or (ii) the Sherk plane of order 27.     

Cross-sections, quotients, and representation rings of semisimple algebraic groups

Let G be a connected semisimple algebraic group over an algebraically closed field k. In 1965 Steinberg proved that if G is simply connected, then in G there exists a closed irreducible cross-section of the set of closures of regular conjugacy classes. We prove that in arbitrary G such a cross-section exists if and only if the universal covering isogeny t:[^(G)] ? G \tau :\hat{G} \to G is bijective; this answers Grothendieck’s question cited in the epigraph. In particular, for char k = 0, the converse to Steinberg’s theorem holds. The existence of a cross-section in G implies, at least for char k = 0, that the algebra k[G] ^G of class functions on G is generated by rk G elements. We describe, for arbitrary G, a minimal generating set of k[G] ^G and that of the representation ring of G and answer two Grothendieck’s questions on constructing generating sets of k[G] ^G . We prove the existence of a rational (i.e., local) section of the quotient morphism for arbitrary G and the existence of a rational cross-section in G (for char k = 0, this has been proved earlier); this answers the other question cited in the epigraph. We also prove that the existence of a rational section is equivalent to the existence of a rational W-equivariant map T ⇢ G/T where T is a maximal torus of G and W the Weyl group.     

Remarks on the wonderful compactification of semisimple algebraic groups

We prove that ifG is a semisimple algebraic group of adjoint type over the field of complex numbers,H is the subgroup of all fixed points of an involution σ ofG that is induced by an involution σ of the simply connected coveringĜ ofG, then the wonderful compactification of the homogeneous spaceG/H is isomorphic to the G.I.T quotientG ^ss (L)//H of the wonderful compactificationG ofG for a suitable choice of a line bundleL onG. We also prove a functorial property of the wonderful compactifications of semisimple algebraic groups of adjoint type.     

Noncommutative interpolation and Poisson transforms

General results of interpolation (e.g., Nevanlinna-Pick) by elements in the noncommutative analytic Toeplitz algebraF ^∞ (resp., noncommutative disc algebraA _n) with consequences to the interpolation by bounded operator-valued analytic functions in the unit ball of ℂⁿ are obtained. Noncommutative Poisson transforms are used to provide new von Neumann type inequalities. Completely isometric representations of the quotient algebraF ^∞/J on Hilbert spaces whereJ is anyw ^*-closed, 2-sided ideal ofF ^∞, are obtained and used to construct aw ^*-continuous,F ^∞/J-functional calculus associated to row contractionsT=[T ₁,…,T _n] whenf(T₁, …, T_n)=0 for anyf∈J. Other properties of the dual algebraF ^∞/J are considered. The second author was partially supported by NSF DMS-9531954.     

Solution of the twisting problem for skew group algebras

LetK be any field of characteristicp>0 and letG be a finite group acting onK via a map τ. The skew group algebraK _τG may be nonsemisimple (precisely whenP|(H), H=Kert). In [1] necessary conditions were given for the existence of a class α∈H ²(G,K^*) which “twists” the skew group algebraK _τG into a semisimple crossed productK _τ ^αG . The “twisting problem” asks whether these conditions are sufficient. In [1] we showed that this is indeed so in many cases. In this paper we prove it in general. During the period of this research the second author was an Associate at the Center for Advanced Study, Urbana, Illinois.     

The equivariant homotopy type of <Emphasis Type="Italic">G</Emphasis>-<Emphasis Type="Italic">ANR</Emphasis>’s for compact group actions

We prove that if G is a compact Hausdorff group then every G-ANR has the G-homotopy type of a G-CW complex. This is applied to extend the James–Segal G-homotopy equivalence theorem to the case of arbitrary compact group actions. The first author was supported in part by grant U42563-F from CONACYT (Mexico).     

Normal complements in modp-envelopes

SupposeG is a finitep-group andk is the field ofp elements, and letU be the augmentation ideal of the group algebrakG. We investigate whichp-groups,G, have normal complements in their modp-envelope,G ^*.G ^* is defined byG ^*={1−u∶u∈U}.     

On the characteristic polynomial of supermatrices

We prove that the coefficients of the so-called right 2-characteristic polynomial of a supermatrix over a Grassmann algebraG=G ₀⊕G ₁ are in the even componentG ₀ ofG. As a consequence, we obtain that the algebra ofn×n supermatrices is integral of degreen ² overG ₀. Partially supported by OTKA of Hungary, grant no. T16432.     

Continuity of operators commuting with translations for compact groups

In this note we show for certain Frechet spacesF(G) of functions (distributions) on a compact groupG that if every translation invariant linear functional onF(G) is continuous then every linear operatorT:F(G)F(G) commuting with translations is continuous. This solves partially a problem in [7] ofG. H. Meisters and improves the result [5] ofC. J. Lester. An application for compact groups which do not have the mean zero weak containment property follows by the result [10] ofG. A. Willis.     

Volterra-like Banach Algebras and their Second Duals

 This paper presents and studies a class of algebras which includes the usual Volterra algebra. Roughly speaking, they relate to the Volterra algebra in the way a general locally compact group relates to ℝ. We show that they can be viewed as quotients of some semigroup algebras introduced by Baker and Baker [1]. Their sets of nilpotent elements are dense. We investigate the second duals of these algebras and find that most of the properties found in [7] for the biduals of the group algebras L ¹(G) for compact G are retained here.     

Division algebras with a projective basis

Letk be any field andG a finite group. Given a cohomology class α∈H ²(G,k ^*), whereG acts trivially onk ^*, one constructs the twisted group algebrak ^αG. Unlike the group algebrakG, the twisted group algebra may be a division algebra (e.g. symbol algebras, whereG⋞Z _n×Z_n). This paper has two main results: First we prove that ifD=k ^α G is a division algebra central overk (equivalentyD has a projectivek-basis) thenG is nilpotent andG’ the commutator subgroup ofG, is cyclic. Next we show that unless char(k)=0 and , the division algebraD=k ^α G is a product of cyclic algebras. Furthermore, ifD _p is ap-primary factor ofD, thenD _p is a product of cyclic algebras where all but possibly one are symbol algebras. If char(k)=0 and , the same result holds forD _p, p odd. Ifp=2 we show thatD ₂ is a product of quaternion algebras with (possibly) a crossed product algebra (L/k,β), Gal(L/k)⋞Z ₂×Z₂n.