On the lifting of elliptic cusp forms to cusp forms on quaternionic unitary groups

Let H be a definite quaternion algebra over Q with discriminant DH and R a maximal order of H. We denote by Gn a quaternionic unitary group and put Γn=Gn(Q)∩GL2n(R). Let Sκ(Γn) be the space of cusp forms of weight κ with respect to Γn on the quaternion half-space of degree n. We construct a lifting from primitive forms in Sk(SL₂(Z)) to Sk+2n−2(Γn) and a lifting from primitive forms in Sk(Γ₀(d)) to Sk+2(Γ₂), where d is a factor of DH. These liftings are generalizations of the Maass lifting investigated by Krieg.     

On directed zero-divisor graphs of finite rings

For an artinian ring R, the directed zero-divisor graph Γ(R) is connected if and only if there is no proper one-sided identity element in R. Sinks and sources are characterized and clarified for a finite ring R. Especially, it is proved that for any ring R, if there exists a source y in Γ(R) with y²=0, then |R|=4 and R={0,x,y,z}, where x and z are left identity elements and yx=0=yz. Such a ring R is also the only ring such that Γ(R) has exactly one source. This shows that Γ(R) cannot be a network for any finite or infinite ring R.     

Malnormal subgroups of lattices and the Pukánszky invariant in group factors

Let G be a connected semisimple real algebraic group. Assume that G(R) has no compact factors and let Γ be a torsion-free uniform lattice subgroup of G(R). Then Γ contains a malnormal abelian subgroup A. This implies that the II₁ factor VN(Γ) contains a masa A with Pukánszky invariant {∞}.     

Constant mean curvature hypersurfaces with single valued projections on planar domains

A classical problem in constant mean curvature hypersurface theory is, for given H?0, to determine whether a compact submanifold Γn−1 of codimension two in Euclidean space , having a single valued orthogonal projection on Rn, is the boundary of a graph with constant mean curvature H over a domain in Rn. A well known result of Serrin gives a sufficient condition, namely, Γ is contained in a right cylinder C orthogonal to Rn with inner mean curvature HC?H. In this paper, we prove existence and uniqueness if the orthogonal projection Ln−1 of Γ on Rn has mean curvature and Γ is contained in a cone K with basis in Rn enclosing a domain in Rn containing Ln−1 such that the mean curvature of K satisfies HK?H. Our condition reduces to Serrin's when the vertex of the cone is infinite.     

The σ-isotypic decomposition and the σ-index of reversible-equivariant systems

This work is concerned with dynamical systems in presence of symmetries and reversing symmetries. We describe a construction process of subspaces that are invariant by linear Γ-reversible-equivariant mappings, where Γ is the compact Lie group of all the symmetries and reversing symmetries of such systems. These subspaces are the σ-isotypic components, first introduced by Lamb and Roberts in (1999) [10] and that correspond to the isotypic components for purely equivariant systems. In addition, by representation theory methods derived from the topological structure of the group Γ, two algebraic formulae are established for the computation of the σ-index of a closed subgroup of Γ. The results obtained here are to be applied to general reversible-equivariant systems, but are of particular interest for the more subtle of the two possible cases, namely the non-self-dual case. Some examples are presented.     

Universal G-spaces for proper actions of locally compact groups

We establish the existence of universal G-spaces for proper actions of locally compact groups on Tychonoff spaces. A typical result sounds as follows: for each infinite cardinal number τ every locally compact, non-compact, σ-compact group G of weight w(G)?τ, can act properly on Rτ?{0} such that Rτ?{0} contains a G-homeomorphic copy of every Tychonoff proper G-space of weight ?τ. The metric cones Cone(G/H) with H⊂G a compact subgroup such that G/H is a manifold, are the main building blocks in our approach. As a byproduct we prove that the cardinality of the set of all conjugacy classes of such subgroups H⊂G does not exceed the weight of G.     

On the geometry of stable discontinuous subgroups acting on threadlike homogeneous spaces

Following the notion of stability introduced by T. Kobayashi and S. Nasrin in [14], we show in the context of a threadlike Lie group G that any non-Abelian discrete subgroup is stable. One consequence is that any resulting deformation space ?(Γ,G,H) is a Hausdorff space, where Γ acts on the threadlike homogeneous space G/H as a discontinuous subgroup. Whenever k = rank(Γ) > 3, this space is also shown to be endowed with a smooth manifold structure. But if k = 3, then ?(Γ,G,H) admits a smooth manifold structure as its open dense subset. These phenomena are strongly linked to the features of adjoint orbits of the basis group G on the parameter space ?(Γ,G,H) (which is semi-algebraic in this case) and specifically to their dimensions, as it will be seen throughout the paper. This also allows to provide a proof of the Local Rigidity Conjecture in this setup.     

Boundary amenability of relatively hyperbolic groups

Let K be a fine hyperbolic graph and Γ be a group acting on K with finite quotient. We prove that Γ is exact provided that all vertex stabilizers are exact. In particular, a relatively hyperbolic group is exact if all its peripheral groups are exact. We prove this by showing that the group Γ acts amenably on a compact topological space. We include some applications to the theories of group von Neumann algebras and of measurable orbit equivalence relations.     

Tetravalent Edge-transitive Cayley Graphs of PGL （2, p）

t Let F = Cay（G, S）, R（G） be the right regular representation of G. The graph Г is called normal with respect to G, if R（G） is normal in the full automorphism group Aut（F） of F. Г is called a bi-normal with respect to G if R（G） is not normal in Aut（Г）, but R（G） contains a subgroup of index 2 which is normal in Aut（F）. In this paper, we prove that connected tetravalent edge-transitive Cayley graphs on PGL（2,p） are either normal or bi-normal when p ≠ 11 is a prime.     

On the Isomorphism Conjecture in algebraic K-theory

The Isomorphism Conjecture is a conceptional approach towards a calculation of the algebraic K-theory of a group ring RΓ, where Γ is an infinite group. In this paper we prove the conjecture in dimensions n<2 for fundamental groups of closed Riemannian manifolds with strictly negative sectional curvature and arbitrary coefficient rings R. If R is regular this leads to a concrete calculation of low dimensional K-theory groups of RΓ in terms of the K-theory of R and the homology of the group.     

Existence and Topological Uniqueness of Compact CMC Hypersurfaces with Boundary in Hyperbolic Space

It is proved that if Γ is a compact, embedded hypersurface in a totally geodesic hypersurface ? ⁿ of ? ⁿ⁺¹ satisfying the enclosing H-hypersphere condition with |H|<1, then there is one and only one (up to a reflection on ? ⁿ ) compact embedded constant mean curvature H hypersurface M such that ?M=Γ. Moreover, M is diffeomorphic to a ball.     

Generic singular configurations of linkages

We study the topological and differentiable singularities of the configuration space C(Γ) of a mechanical linkage Γ in Rd, defining an inductive sufficient condition to determine when a configuration is singular. We show that this condition holds for generic singularities, provide a mechanical interpretation, and give an example of a type of mechanism for which this criterion identifies all singularities.     

Grundy number and products of graphs

The Grundy number of a graph G, denoted by Γ(G), is the largest k such that G has a greedyk-colouring, that is a colouring with k colours obtained by applying the greedy algorithm according to some ordering of the vertices of G. In this paper, we study the Grundy number of the lexicographic and cartesian products of two graphs in terms of the Grundy numbers of these graphs.Regarding the lexicographic product, we show that Γ(G)×Γ(H)≤Γ(G[H])≤2^Γ(G)−1(Γ(H)−1)+Γ(G). In addition, we show that if G is a tree or Γ(G)=Δ(G)+1, then Γ(G[H])=Γ(G)×Γ(H). We then deduce that for every fixed c≥1, given a graph G, it is CoNP-Complete to decide if Γ(G)≤c×χ(G) and it is CoNP-Complete to decide if Γ(G)≤c×ω(G).Regarding the cartesian product, we show that there is no upper bound of Γ(G□H) as a function of Γ(G) and Γ(H). Nevertheless, we prove that Γ(G□H)≤Δ(G)⋅2^Γ(H)−1+Γ(H).     

On entropy-preserving stochastic averages

When an n×n doubly stochastic matrix A acts on Rⁿ on the left as a linear transformation and P is an n-long probability vector, we refer to the new probability vector AP as the stochastic average of the pair (A,P). Let Γ_n denote the set of pairs (A,P) whose stochastic average preserves the entropy of P:H(AP)=H(P). Γ_n is a subset of B_n×Σ_n where B_n is the Birkhoff polytope and Σ_n is the probability simplex.We characterize Γ_n and determine its geometry, topology,and combinatorial structure. For example, we find that (A,P)∈Γ_n if and only if A^tAP=P. We show that for any n, Γ_n is a connected set, and is in fact piecewise-linearly contractible in B_n×Σ_n. We write Γ_n as a finite union of product subspaces, in two distinct ways. We derive the geometry of the fibers (A,·) and (·,P) of Γ_n. Γ₃ is worked out in detail. Our analysis exploits the convexity of xlogx and the structure of an efficiently computable bipartite graph that we associate to each ds-matrix. This graph also lets us represent such a matrix in a permutation-equivalent, block diagonal form where each block is doubly stochastic and fully indecomposable.     

Embedding Tn-like continua in Euclidean space

Many authors have been concerned with embedding ∏-like continua in Rⁿ where ∏ is some collection of polyhedra or manifolds. A similar concern has been embedding ∏-like continua in Rⁿ up to shape. In this paper we prove two main theorems. Theorem: If n ? 2 and X is Tⁿ-like, then X embeds in R²ⁿ. This result was conjectured by McCord for the case H¹(X) finitely generated and proved by McCord for the case that H¹(X) = 0 using a theorem of Isbell. The second theorem is a shape embedding theorem. Theorem: If X is Tⁿ-like, then X embeds in Rⁿ⁺² up to shape. This theorem is proved by showing that an n-dimensional compact connected abelian topological group embeds in Rⁿ⁺². Any Tⁿ-like continuum is shape equivalent to a k-dimensional compact connected abelian topological group for some 0 ? k ? n.     

Profinite groups, profinite completions and a conjecture of Moore

Let R be any ring (with 1), Γ a group and RΓ the corresponding group ring. Let H be a subgroup of Γ of finite index. Let M be an RΓ-module, whose restriction to RH is projective.Moore's conjecture (J. Pure Appl. Algebra 7(1976)287): Assume for every nontrivial element x in Γ, at least one of the following two conditions holds:

(M1)

〈x〉∩H≠{e} (in particular this holds if Γ is torsion free)

(M2)

ord(x) is finite and invertible in R.

Then M is projective as an RΓ-module.More generally, the conjecture has been formulated for crossed products R*Γ and even for strongly graded rings R(Γ). We prove the conjecture for new families of groups, in particular for groups whose profinite completion is torsion free.The conjecture can be formulated for profinite modules M over complete groups rings [[RΓ]] where R is a profinite ring and Γ a profinite group. We prove the conjecture for arbitrary profinite groups. This implies Serre's theorem on cohomological dimension of profinite groups.     

On the diameters of commuting graphs

The commuting graph of a ring R, denoted by Γ(R), is a graph whose vertices are all non-central elements of R and two distinct vertices x and y are adjacent if and only if xy = yx. Let D be a division ring and n ? 3. In this paper we investigate the diameters of Γ(M_n(D)) and determine the diameters of some induced subgraphs of Γ(M_n(D)), such as the induced subgraphs on the set of all non-scalar non-invertible, nilpotent, idempotent, and involution matrices in M_n(D). For every field F, it is shown that if Γ(M_n(F)) is a connected graph, then diam Γ(M_n(F)) ? 6. We conjecture that if Γ(M_n(F)) is a connected graph, then diam Γ(M_n(F)) ? 5. We show that if F is an algebraically closed field or n is a prime number and Γ(M_n(F)) is a connected graph, then diam Γ(M_n(F)) = 4. Finally, we present some applications to the structure of pairs of idempotents which may prove of independent interest.