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.     

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

Clifford Algebra Unveils a Surprising Geometric Significance of Quaternionic Root Systems of Coxeter Groups

Quaternionic representations of Coxeter (reflection) groups of ranks 3 and 4, as well as those of E ₈, have been used extensively in the literature. The present paper analyses such Coxeter groups in the Clifford Geometric Algebra framework, which affords a simple way of performing reflections and rotations whilst exposing more clearly the underlying geometry. The Clifford approach shows that the quaternionic representations in fact have very simple geometric interpretations. The representations of the groups A ₁ × A ₁ × A ₁, A ₃, B ₃ and H ₃ of rank 3 in terms of pure quaternions are shown to be simply the Hodge dualised root vectors, which determine the reflection planes of the Coxeter groups. Two successive reflections result in a rotation, described by the geometric product of the two reflection vectors, giving a Clifford spinor. The spinors for the rank-3 groups A ₁ × A ₁ × A ₁, A ₃, B ₃ and H ₃ yield a new simple construction of binary polyhedral groups. These in turn generate the groups A ₁ × A ₁ × A ₁ × A ₁, D ₄, F ₄ and H ₄ of rank 4 and their widely used quaternionic representations are shown to be spinors in disguise. Therefore, the Clifford geometric product in fact induces the rank-4 groups from the rank-3 groups. In particular, the groups D ₄, F ₄ and H ₄ are exceptional structures, which our study sheds new light on. IPPP/12/26, DCPT/12/52     

The Constrained Solutions of Two Matrix Equations

We study the symmetric positive semidefinite solution of the matrix equation AX ₁ A ^T + BX ₂ B ^T = C, where A is a given real m×n matrix, B is a given real m×p matrix, and C is a given real m×m matric, with m, n, p positive integers; and the bisymmetric positive semidefinite solution of the matrix equation D ^T XD = C, where D is a given real n×m matrix, C is a given real m×m matrix, with m, n positive integers. By making use of the generalized singular value decomposition, we derive general analytic formulae, and present necessary and sufficient conditions for guaranteeing the existence of these solutions. Received December 17, 1999, Revised January 10, 2001, Accepted March 5, 2001     

Isomorphism and elementary equivalence of multilinear maps

In [14], we proved that two finitely generated finite-by-nilpotent groups G,H are elementarily equivalent if and only if Z×G and Z×H are isomorphic. In the present paper, we obtain similar characterizations of elementary equivalence for the following classes of structures:

1. the (n+2)-tuples (A ₁…,A _n+1,f),where n≥2 is an integerA ₁…,A _n+1 are disjoint finitely generated abelian groups and f A ₁×…×A _n →A _n+1: is a n-linear map;

2. the triples (A,B f), where n≥2 is an integerA,B are disjoint finitely generated abelian groups and f : A ⁿ →B is a n-linear map;

3. the couples (A,f), where n≥2 is an integerA is a finitely generated abelian group and f:A ⁿ →A is a n-linear map.

For each class, we show that elementary equivalence does not imply isomorphism. In particular, we give an example of two nonisomorphic finitely generated torsion-free Lie rings which are elementarily equivalent.     

Monomorphism Operator and Perpendicular Operator

For a quiver Q, a k-algebra A, and an additive full subcategory 𝒳 of A-mod, the monomorphism category Mon(Q, 𝒳) is introduced. The main result says that if T is an A-module such that there is an exact sequence 0 → T _m  → … → T ₀ → D(A _A ) → 0 with each T _i  ∈ add(T), then Mon(Q, ^⊥ T) =^⊥(kQ ? _k T); and if T is cotilting, then kQ ? _k T is a unique cotilting Λ-module, up to multiplicities of indecomposable direct summands, such that Mon(Q, ^⊥ T) =^⊥(kQ ? _k T).

As applications, the category of the Gorenstein-projective (kQ ? _k A)-modules is characterized as Mon(Q, 𝒢𝒫(A)) if A is Gorenstein; the contravariantly finiteness of Mon(Q, 𝒳) can be described; and a sufficient and necessary condition for Mon(Q, A) being of finite type is given.     

The smooth Banach submanifold B*(E, F) in B(E, F)

Let E,F be two Banach spaces,B(E,F),B+(E,F),Φ(E,F),SΦ(E,F) and R(E,F) be bounded linear,double splitting,Fredholm,semi-Frdholm and finite rank operators from E into F,respectively. Let Σ be any one of the following sets:{T ∈Φ(E,F):Index T=constant and dim N(T)=constant},{T ∈ SΦ(E,F):either dim N(T)=constant< ∞ or codim R(T)=constant< ∞} and {T ∈ R(E,F):Rank T=constant< ∞}. Then it is known that Σ is a smooth submanifold of B(E,F) with the tangent space TAΣ={B ∈ B(E,F):BN(A)-R(A) } for any A ∈Σ. However,for ...     

Twisted Weyl groups of Lie groups and nonabelian cohomology

For a cyclic group A and a connected Lie group G with an A-module structure (with the additional assumptions that G is compact and the A-module structure on G is 1-semisimple if ), we define the twisted Weyl group W = W(G,A,T), which acts on T and H ¹(A,T), where T is a maximal compact torus of , the identity component of the group of invariants G ^A . We then prove that the natural map is a bijection, reducing the calculation of H ¹(A,G) to the calculation of the action of W on T. We also prove some properties of the twisted Weyl group W, one of which is that W is a finite group. A new proof of a known result concerning the ranks of groups of invariants with respect to automorphisms of a compact Lie group is also given.      

A new approach to the representation theory of semisimple Lie algebras and quantum algebras

We propose a method for explicitly constructing the simple-root generators in an arbitrary finite-dimensional representation of a semisimple quantum algebra or Lie algebra. The method is based on general results from the global theory of representations of semisimple groups. The rank-two algebras A₂, B₂=C₂, D₂, and G₂ are considered as examples. The simple-root generators are represented as solutions of a system of finite-difference equations and are given in the form of N_l×N_l matrices, where N_l is the dimension of the representation. Translated from Teoreticheskaya i Matematicheskaya Fizika, Vol. 123, No. 2, pp. 264–284, May, 2000.     

Tensor Product Representations of the Lie Superalgebra 𝔭(n) and Their Centralizers

Abstract

We construct an associative algebra A _k and show that there is a representation of A _k on V ^?k , where V is the natural 2n-dimensional representation of the Lie superalgebra 𝔭(n). We prove that A _k is the full centralizer of 𝔭(n) on V ^?k , thereby obtaining a “Schur-Weyl duality” for the Lie superalgebra 𝔭(n). This result is used to understand the representation theory of the Lie superalgebra 𝔭(n). In particular, using A _k we decompose the tensor space V ^?k , for k = 2 or 3, and show that V ^?k is not completely reducible for any k ≥ 2.     

Backward Perturbation Analysis for the Matrix Equation A~TXA+B~TYB=D

Consider the linear matrix equation A~TXA + B~TYB = D,where A,B are n X n real matrices and D symmetric positive semi-definite matrix.In this paper,the normwise backward perturbation bounds for the solution of the equation are derived by applying the Brouwer fixed-point theorem and the singular value decomposition as well as the property of Kronecker product.The results are illustrated by two simple numerical examples.     

Density results relative to the Dirichlet energy of mappings into a manifold

Let ?? be a smooth, compact, oriented Riemannian manifold without boundary. Weak limits of graphs of smooth maps u_k:Bⁿ → ?? with an equibounded Dirichlet integral give rise to elements of the space cart^2,1 (Bⁿ × ??). Assume that ?? is 1‐connected and that its 2‐homology group has no torsion. In any dimension n we prove that every element T in cart^2,1 (Bⁿ × ??) with no singular vertical part can be approximated weakly in the sense of currents by a sequence of graphs of smooth maps u_k:Bⁿ → ?? with Dirichlet energies converging to the energy of T. © 2006 Wiley Periodicals, Inc.     

Uniform and minimal {0,1} – cp matrices

Let A be an n?×?n real matrix. A is called {0,1}-cp if it can be factorized as A?=?BB ^T with b_ij =0 or 1. The smallest possible number of columns of B in such a factorization is called the {0,1}-rank of A. A {0,1}-cp matrix A is called minimal if for every nonzero nonnegative n?×?n diagonal matrix D, A-D is not {0,1}-cp, and r-uniform if it can be factorized as A=BB ^T, where B is a (0,?1) matrix with r 1s in each column. In this article, we first present a necessary condition for a nonsingular matrix to be {0,1}-cp. Then we characterize r-uniform {0,1}-cp matrices. We also obtain some necessary conditions and sufficient conditions for a matrix to be minimal {0,1}-cp, and present some bounds for {0,1}-ranks.     

The periodicity in stable equivariant surgery

The classical surgery theory (see [5] and [23]) computes the structure set S_m (M, rel ?) of manifolds homotopy equivalent to M relative to the boundary. Siebenmann showed that in topological category, the structure set is 4-periodic: S_m(M, rel ?) ? S_m+4(M × D⁴, rel ?) up to a copy of ?; see [12]. Cappell and Weinberger gave a geometric interpretation of this periodicity in [8]. By using Weinberger's stratified surgery theory (see [24]), we extend this to an equivariant periodicity result for topological manifolds with homotopically stratified actions by compact Lie groups, with D⁴ replaced by the unit ball of certain group representations. In particular, if G is an odd order group acting on a topological manifold M, then the equivariant stable structure sets satisfy S (M, rel ?) ? S(M × D(?⁴ ? ?G), rel ?) up to copies of ?. © 1993 John Wiley & Sons, Inc.     

The spectrum of the Laplace operator on connected compact simple Lie groups of rank four

In the present article, we explicitly compute the spectrum of the Laplace operator on smooth real-valued and complex-valued functions on connected compact simple Lie groups of rank four with a bi-invariant Riemannian metrics that correspond to the root systems B ₄, C ₄, and D ₄. We also find a connection between the obtained formulas, number theory, and integral quadratic forms in two, three, and four variables.     

The least squares problem of the matrix equation A1X1B1^T ＋ A2X2B2^T = T

The matrix least squares （LS） problem minx ｜｜AXB^T--T｜｜F is trivial and its solution can be simply formulated in terms of the generalized inverse of A and B. Its generalized problem minx1,x2 ｜｜A1X1B1^T ＋ A2X2B2^T - T｜｜F can also be regarded as the constrained LS problem minx=diag（x1,x2） ｜｜AXB^T -T｜｜F with A = [A1, A2] and B = [B1, B2]. The authors transform T to T such that min x1,x2 ｜｜A1X1B1^T＋A2X2B2^T -T｜｜F is equivalent to min x=diag（x1 ,x2） ｜｜AXB^T - T｜｜F whose solutions are included in the solution set of unconstrained problem minx ｜｜AXB^T - T｜｜F. So the general solutions of min x1,x2 ｜｜A1X1B^T ＋ A2X2B2^T -T｜｜F are reconstructed by selecting the parameter matrix in that of minx ｜｜AXB^T - T｜｜F.     

On Lebesgue Measure of Integral Self-Affine Sets

Let A be an expanding integer n×n matrix and D be a finite subset of ? ⁿ . The self-affine set T=T(A,D) is the unique compact set satisfying the equality \(A(T)=\bigcup_{d\in D}(T+d)\). We present an effective algorithm to compute the Lebesgue measure of the self-affine set T, the measure of the intersection T∩(T+u) for u∈? ⁿ , and the measure of the intersection of self-affine sets T(A,D ₁)∩T(A,D ₂) for different sets D ₁, D ₂?? ⁿ .     

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.