Analysis on discrete cocompact subgroups of the generic filiform Lie groups

Summary Let F_n, n≧ 1, denote the sequence of generic filiform (connected, simply connected) Lie groups. Here we study, for each F_n, the infinite dimensional simple quotients of the group C*-algebra of (the most obvious) one of its discrete cocompact subgroups D_n. For D_n, the most attractive concrete faithful representations are given in terms of Anzai flows, in analogy with the representations of the discrete Heisenberg group H₃ ⊆G₃ on L²(T) that result from the irrational rotation flows on T; the representations of D_n generate infinite-dimensional simple quotients A_n,θ of the group C*-algebra C*(D_n). For n>1, there are other infinite-dimensional simple quotients of C*(D_n) arising from non-faithful representations of D_n. Flows for these are determined, and they are also characterized and represented as matrix algebras over simple affine Furstenberg transformation group C*-algebras of the lower dimensional tori.     

Modular representations of classical groups with small weight multiplicities

Lower estimates for the maximal weight multiplicities in irreducible representations of the algebraic groups of types B _n , C _n , and D _n in positive characteristic p are found under some minor restrictions on p. If G = B _n (K), C _n (K), or D _n (K), n ≥ 8, p > 2 for types B _n and D _n and p > 7 for type C _n , then either the maximal weight multiplicity for an irreducible representation of G is at least n − 7 or all its weight multiplicities are equal to 1. Translated from Sovremennaya Matematika i Ee Prilozheniya (Contemporary Mathematics and Its Applications), Vol. 60, Algebra, 2008.     

The Multiplicity Free Permutation Representations of the Ree Groups 2 G 2(q), the Suzuki Groups 2 B 2(q), and Their Automorphism Groups

Abstract

Let G a simple group of type ² B ₂(q) or ² G ₂(q), where q is an odd power of 2 or 3, respectively. The main goal of this paper is to determine the multiplicity free permutation representations of G and A ≤ Aut(G) where A is a subgroup containing a copy of G. Let B be a Borel subgroup of G. If G = ² B ₂(q) we show that there is only one non-trivial multiplicity free permutation representation, namely the representation of G associated to the action on G/B. If G = ² G ₂(q) we show that there are exactly two such non-trivial representations, namely the representations of G associated to the action on G/B and the action on G/M, where M = UC with U the maximal unipotent subgroup of B and C the unique subgroup of index 2 in the maximal split torus of B. The multiplicity free permutation representations of A correspond to the actions on A/H where H is isomorphic to a subgroup containing B if G = ² B ₂(q), and containing M if G = ² G ₂(q). The problem of determining the multiplicity free representations of the finite simple groups is important, for example, in the classification of distance-transitive graphs.     

Reflection sieve obstructions in finite groups of type dn

In [4] we constructed certain homology representations of a finite group G of type A_n, B_n or C_n, and showed that these representations can be used to sift out the reflection compound characters of G. In the present note, we show that for a group G of type D_n, each reflection compound character π^(k), 2 k n − 2, determines a unique “obstruction” character θ^(k), which occurs with positive multiplicity in every homology representation containing π^(k).     

On the description of overgroups of E(m,R)?E(n,R)

The subgroups E(m,R) ⊗ E(n,R) ≤ H ≤ G = GL(mn,R) are studied under the assumption that the ring R is commutative and m, n ≥ 3. The group GL _m ⊗GL _n is defined by equations, the normalizer of the group E(m,R) ⊗ E(n,R) is calculated, and with each intermediate subgroup H it is associated a uniquely determined lower level (A,B,C), where A,B,C are ideals in R such that mA,A ² ≤ B ≤ A and nA,A ² ≤ C ≤ A. The lower level specifies the largest elementary subgroup satisfying the condition E(m, n,R, A,B,C) ≤ H. The standard answer to this problem asserts that H is contained in the normalizer N _G (E(m,n,R, A,B,C)). Bibliography: 46 titles.     

Schottky groups can not act on P C 2n as subgroups of PSL 2n+1(C)

In this paper we look at a special type of discrete subgroups of PSL _n+1(C) called Schottky groups. We develop some basic properties of these groups and their limit set when n > 1, and we prove that Schottky groups only occur in odd dimensions, i.e., they cannot be realized as subgroups of PSL _2n+1(C).      

Two classes of finite groups whose Chermak-Delgado lattice is a chain of length zero

It is an open question in the study of Chermak-Delgado lattices precisely which finite groups G have the property that 𝒞𝒟(G) is a chain of length 0. In this note, we determine two classes of groups with this property. We prove that if G = AB is a finite group, where A and B are abelian subgroups of relatively prime orders with A normal in G, then the Chermak-Delgado lattice of G equals {AC_B(A)}, a strengthening of earlier known results.     

Presentations of the Schützenberger Product of n Groups

ABSTRACT

In this article, we first consider n × n upper-triangular matrices with entries in a given semiring k. Matrices of this form with invertible diagonal entries form a monoid B _n (k). We show that B _n (k) splits as a semidirect product of the monoid of unitriangular matrices U _n (k) by the group of diagonal matrices. When the semiring is a field, B _n (k) is actually a group and we recover a well-known result from the theory of groups and Lie algebras. Pursuing the analogy with the group case, we show that U _n (k) is the ordered set product of n(n ? 1)/2 commutative monoids (the root subgroups in the group case). Finally, we give two different presentations of the Schützenberger product of n groups G ₁,…, G _n , given a monoid presentation ?A _i  | R _i ? of each group G _i . We also obtain as a special case presentations for the monoid of all n × n unitriangular Boolean matrices.     

Purity and Self-Small Groups

Let A be an abelian group. A group B is A-solvable if the natural map Hom(A, B) ?  _E(A) A → B is an isomorphism. We study pure subgroups of A-solvable groups for a self-small group A of finite torsion-free rank. Particular attention is given to the case that A is in , the class of self-small mixed groups G with G/tG? ? ⁿ for some n < ω. We obtain a new characterization of the elements of , and demonstrate that  differs in various ways from the class  ? of torsion-free abelian groups of finite rank despite the fact that the quasi-category ?  is dual to a full subcategory of ?  ?.     

Grassmannians of 2-Sided Vector Spaces

Let k ? K be an extension of fields, and let A ? M _n (K) be a k-algebra. We study parameter spaces of m-dimensional subspaces of K ⁿ which are invariant under A. The space  _A (m, n), whose R-rational points are A-invariant, free rank m summands of R ⁿ , is well known. We construct a distinct parameter space,  _A (m, n), which is a fiber product of a Grassmannian and the projectivization of a vector space. We then study the intersection  _A (m, n) ∩  _A (m, n), which we denote by  _A (m, n). Under suitable hypotheses on A, we construct affine open subschemes of  _A (m, n) and  _A (m, n) which cover their K-rational points. We conclude by using  _A (m, n),  _A (m, n), and  _A (m, n) to construct parameter spaces of 2-sided subspaces of 2-sided vector spaces.     

On Derived Equivalences for Selfinjective Algebras

We show that if A is a representation-finite selfinjective Artin algebra, then every P ^? ? K ^b(𝒫 _A ) with Hom _K(Mod?A)(P ^?,P ^?[i]) = 0 for i ≠ 0 and add(P ^?) = add(νP ^?) is a direct summand of a tilting complex, and that if A, B are derived equivalent representation-finite selfinjective Artin algebras, then there exists a sequence of selfinjective Artin algebras A = B ₀, B ₁,…, B _m  = B such that, for any 0 ≤ i < m, B _i+1 is the endomorphism algebra of a tilting complex for B _i of length ≤ 1.     

Lie Triple Derivable Mappings on Rings

Let ? be a ring containing a nontrivial idempotent. In this article, under a mild condition on ?, we prove that if δ is a Lie triple derivable mapping from ? into ?, then there exists a Z _{A, B} (depending on A and B) in its centre 𝒵(?) such that δ(A + B) = δ(A) + δ(B) + Z _{A, B} . In particular, let ? be a prime ring of characteristic not 2 containing a nontrivial idempotent. It is shown that, under some mild conditions on ?, if δ is a Lie triple derivable mapping from ? into ?, then δ = D + τ, where D is an additive derivation from ? into its central closure T and τ is a mapping from ? into its extended centroid 𝒞 such that τ(A + B) = τ(A) + τ(B) + Z _{A, B} and τ([[A, B], C]) = 0 for all A, B, C ∈ ?.     

Minimal Blocking Sets in PG(n, 2) and Covering Groups by Subgroups

In this article we prove that a set of points B of PG(n, 2) is a minimal blocking set if and only if ?B? = PG(d, 2) with d odd and B is a set of d + 2 points of PG(d, 2) no d + 1 of them in the same hyperplane. As a corollary to the latter result we show that if G is a finite 2-group and n is a positive integer, then G admits a ? _n+1-cover if and only if n is even and G? (C ₂) ⁿ , where by a ? _m -cover for a group H we mean a set 𝒞 of size m of maximal subgroups of H whose set-theoretic union is the whole H and no proper subset of 𝒞 has the latter property and the intersection of the maximal subgroups is core-free. Also for all n < 10 we find all pairs (m,p) (m > 0 an integer and p a prime number) for which there is a blocking set B of size n in PG(m,p) such that ?B? = PG(m,p).     

Topological *-algebras withC*-enveloping algebras II

UniversalC*-algebrasC*(A) exist for certain topological *-algebras called algebras with aC*-enveloping algebra. A Frechet *-algebraA has aC*-enveloping algebra if and only if every operator representation ofA mapsA into bounded operators. This is proved by showing that every unbounded operator representation π, continuous in the uniform topology, of a topological *-algebraA, which is an inverse limit of Banach *-algebras, is a direct sum of bounded operator representations, thereby factoring through the enveloping pro-C*-algebraE(A) ofA. Given aC*-dynamical system (G,A,α), any topological *-algebraB containingC _c (G,A) as a dense *-subalgebra and contained in the crossed productC*-algebraC*(G,A,α) satisfiesE(B) =C*(G,A,α). IfG = ℝ, ifB is an α-invariant dense Frechet *-subalgebra ofA such thatE(B) =A, and if the action α onB ism-tempered, smooth and by continuous *-automorphisms: then the smooth Schwartz crossed productS(ℝ,B,α) satisfiesE(S(ℝ,B,α)) =C*(ℝ,A,α). WhenG is a Lie group, theC ^∞-elementsC ^∞(A), the analytic elementsC ^ω(A) as well as the entire analytic elementsC ^є(A) carry natural topologies making them algebras with aC*-enveloping algebra. Given a non-unitalC*-algebraA, an inductive system of idealsI _α is constructed satisfyingA =C*-ind limI _α; and the locally convex inductive limit ind limI _α is anm-convex algebra with theC*-enveloping algebraA and containing the Pedersen idealK _a ofA. Given generatorsG with weakly Banach admissible relationsR, we construct universal topological *-algebraA(G, R) and show that it has aC*-enveloping algebra if and only if (G, R) isC*-admissible.     

Generalized absolute Cesaro summability of a Fourier series

In an attempt to study the scope of a theorem due to Pati, the authors have established that φ(t) logK|t∈B _u V in (0,π)⟹ΣA _n (x) is |C, 0,β| forβ>1, at the pointt = x.     

Reducible polar representations

In this paper the reducible polar representations of the compact connected Lie groups are classified. It turns out that there only exist “interesting” reducible polar representations of Lie groups of the types A ₃, A ₃×T ¹, B ₃, B ₃×T ¹, D ₄, D ₄×T ¹ and D ₄×A ₁. Up to equivalence, there is just one such representation of the first four Lie groups, there are three reducible polar representations of D ₄ and six of D ₄×T ¹ and D ₄×A ₁, respectively. From this follows immediately the classification of the compact connected subgroups of SO(n) which act transitively on products of spheres. Received: 28 April 2000     

On the relative character correspondences

Let π(G,A):Irr_A(G)→Irr(C_G(A)) be the Glauberman–Isaacs correspondence, where G and A are finite groups with coprime orders and A acts on G by automorphisms. Let B be a subgroup of A. In this setting, we give some new conditions for the fixed-point subgroups C_G(A) and C_G(B) such that χπ(G,A) is an irreducible constituent of the restriction of χπ(G,B) to C_G(A) for all χIrr_A(G).     

Completeness of Averaged Scattering Solutions and Inverse Scattering at a Fixed Energy

We prove that the averaged scattering solutions to the Schrödinger equation with short-range electromagnetic potentials (V, A) where V(x) = O(|x|^?ρ), A(x) = O(|x|^?ρ), |x| → ∞, ρ > 1, are dense in the set of all solutions to the Schrödinger equation that are in L ²(K) where K is any connected bounded open set in ? ⁿ ,n ≥ 2, with smooth boundary. We use this result to prove that if two short-range electromagnetic potentials (V ₁, A ₁) and (V ₂, A ₂) in ? ⁿ , n ≥ 3, have the same scattering matrix at a fixed positive energy and if the electric potentials V _j and the magnetic fields F _j : = curl A _j , j = 1, 2, coincide outside of some ball they necessarily coincide everywhere. In a previous paper of Weder and Yafaev the case of electric potentials and magnetic fields that are asymptotic sums of homogeneous terms at infinity was studied. It was proven that all these terms can be uniquely reconstructed from the singularities in the forward direction of the scattering amplitude at a fixed positive energy. The combination of the new uniqueness result of this paper and the result of Weder and Yafaev implies that the scattering matrix at a fixed positive energy uniquely determines electric potentials and magnetic fields that are a finite sum of homogeneous terms at infinity, or more generally, that are asymptotic sums of homogeneous terms that actually converge, respectively, to the electric potential and to the magnetic field.     

Linear Groups Over Integral Extensions of Semilocal Commutative Rings

Let K be an associative and commutative ring with 1, k a subring of K such that 1 ∈ k, K is an integral finitely generated extension of k, the element 2 invertible in k, and k is semilocal. The paper studies subgroups of the general linear group GL _n (K) with n ≥ 2 containing the special linear group SL _n (k).