Fredholm Properties of Band-dominated Operators on Periodic Discrete Structures

Let (X, ~) be a combinatorial graph the vertex set X of which is a discrete metric space. We suppose that a discrete group G acts freely on (X, ~) and that the fundamental domain with respect to the action of G contains only a finite set of points. A graph with these properties is called periodic with respect to the group G. We examine the Fredholm property and the essential spectrum of band-dominated operators acting on the spaces l ^p (X) or c_0(X), where (X, ~) is a periodic graph. Our approach is based on the thorough use of band-dominated operators. It generalizes the necessary and sufficient results obtained in [39] in the special case and in [42] in case X = G is a general finitely generated discrete group. Submitted: May 21, 2007. Revised: September 25, 2007. Accepted: November 5, 2007.     

Characterization of Amalgamated Free Blocks of a Graph von Neumann Algebra

We identify two noncommutative structures naturally associated with countable directed graphs. They are formulated in the language of operators on Hilbert spaces. If G is a countable directed graphs with its vertex set V(G) and its edge set E(G), then we associate partial isometries to the edges in E(G) and projections to the vertices in V(G). We construct a corresponding von Neumann algebra as a groupoid crossed product algebra of an arbitrary fixed von Neumann algebra M and the graph groupoid induced by G, via a graph-representation (or a groupoid action) α. Graph groupoids are well-determined (categorial) groupoids. The graph groupoid of G has its binary operation, called admissibility. This has concrete local parts , for all e ∈ E(G). We characterize of , induced by the local parts of , for all e ∈ E(G). We then characterize all amalgamated free blocks of . They are chracterized by well-known von Neumann algebras: the classical group crossed product algebras , and certain subalgebras (M) of operator-valued matricial algebra . This shows that graph von Neumann algebras identify the key properties of graph groupoids. Received: December 20, 2006. Revised: March 07, 2007. Accepted: March 13, 2007.     

G-Perfect nonlinear functions

Perfect nonlinear functions are used to construct DES-like cryptosystems that are resistant to differential attacks. We present generalized DES-like cryptosystems where the XOR operation is replaced by a general group action. The new cryptosystems, when combined with G-perfect nonlinear functions (similar to classical perfect nonlinear functions with one XOR replaced by a general group action), allow us to construct systems resistant to modified differential attacks. The more general setting enables robust cryptosystems with parameters that would not be possible in the classical setting. We construct several examples of G-perfect nonlinear functions, both -valued and -valued. Our final constructions demonstrate G-perfect nonlinear planar permutations (from to itself), thus providing an alternative implementation to current uses of almost perfect nonlinear functions.      

Lyapunov spectra for KMS states on Cuntz-Krieger algebras

We study relations between (H,β)-KMS states on Cuntz-Krieger algebras and the dual of the Perron-Frobenius operator . Generalising the well-studied purely hyperbolic situation, we obtain under mild conditions that for an expansive dynamical system there is a one-one correspondence between (H,β)-KMS states and eigenmeasures of for the eigenvalue 1. We then apply these general results to study multifractal decompositions of limit sets of essentially free Kleinian groups G which may have parabolic elements. We show that for the Cuntz-Krieger algebra arising from G there exists an analytic family of KMS states induced by the Lyapunov spectrum of the analogue of the Bowen-Series map associated with G. Furthermore, we obtain a formula for the Hausdorff dimensions of the restrictions of these KMS states to the set of continuous functions on the limit set of G. If G has no parabolic elements, then this formula can be interpreted as the singularity spectrum of the measure of maximal entropy associated with G. The second author was supported by the DFG project “Ergodentheoretische Methoden in der hyperbolischen Geometrie”.     

On central automorphisms that fix the centre elementwise

Let G be a group and let Aut _c (G) be the group of central automorphisms of G. Let be the set of all central automorphisms of G fixing Z(G) elementwise. In this paper we prove that if G is a finite p-group, then = Inn(G) if and only if G is abelian or G is nilpotent of class 2 and Z(G) is cyclic. This work was supported in part by the Center of Excellence for Mathematics, University of Isfahan, Iran. Received: 30 October 2006     

Orthocomplemented lattices in ordered groups

On a partially ordered set G the orthogonality relation is defined by incomparability and is a complete orthocomplemented lattice of double orthoclosed sets. We will prove that the atom space of the lattice has the same order structure as G. Thus if G is a partially ordered set (an ordered group, or an ordered vector space), then is a canonically partially ordered set (an ordered quotient group, or an ordered quotient vector space, respectively). We will also prove: if G is an ordered group with a positive cone P, then the lattice has the covering property iff , where g is an element of G and M is the intersection of all maximal subgroups contained in . Received August 1, 2006; accepted in final form May 29, 2007.     

Normal Hopf subalgebras in cocycle deformations of finite groups

Let G be a finite group and let π : G → G′ be a surjective group homomorphism. Consider the cocycle deformation L = H ^σ of the Hopf algebra H = k ^G of k-valued linear functions on G, with respect to some convolution invertible 2-cocycle σ. The (normal) Hopf subalgebra corresponds to a Hopf subalgebra . Our main result is an explicit necessary and sufficient condition for the normality of L′ in L. This work was partially supported by CONICET, Fundación Antorchas, Agencia Córdoba Ciencia, ANPCyT and Secyt (UNC).     

On δ-permutability of maximal subgroups of Sylow subgroups of finite groups

In this paper, we get the main theorem: Let p be a prime dividing the order of G and , where and H is p ^′-Hall subgroup of G. Let δ be a complete set of Sylow subgroups of H. If G satisfies the following conditions: i) is a p-group; ii) for any maximal M of P, M is δ-permutable in H, then G is p-nilpotent. Some known results are generalized. Received: 12 September 2007, Revised: 28 February 2008     

Measures on Graphs and Groupoid Measures

The main purpose of this paper is to introduce several measures determined by a given finite directed graph. To construct σ-algebras for those measures, we consider several algebraic structures induced by G; (i) the free semigroupoid of the shadowed graph (ii) the graph groupoid of G, (iii) the disgram set and (iv) the reduced diagram set . The graph measures determined by (i) is the energy measure measuing how much energy we spent when we have some movements on G. The graph measures determined by (iii) is the diagram measure measuring how long we moved consequently from the starting positions (which are vertices) of some movements on G. The graph measures and determined by (ii) and (iv) are the (graph) groupoid measure and the (quotient-)groupoid measure, respectively. We show that above graph measurings are invariants on shadowed graphs of finite directed graphs. Also, we will consider the reduced diagram measure theory on graphs. In the final chapter, we will show that if two finite directed graphs G ₁ and G ₂ are graph-isomorphic, then the von Neumann algebras L ^∞(μ ₁) and L ^∞(μ ₂) are *-isomorphic, where μ ₁ and μ ₂ are the same kind of our graph measures of G ₁ and G ₂, respectively. Received: December 7, 2006. Revised: August 3, 2007. Accepted: August 18, 2007.     

Correspondences between constituents of projective characters

Let G be a finite p-solvable group. Let P ∈ Syl _p (G) and N = N _G (P). We prove that there exists a natural bijection between the irreducible constituents of p′-degree of the principal projective character of G and those of . Received: 2 May 2007, Revised: 17 September 2007     

Holomorphic automorphisms and collective compactness in J*-algebras of operator

Let G be the Banach-Lie group of all holomorphic automorphisms of the open unit ball in a J^*-algebra of operators. Let be the family of all collectively compact subsets W contained in . We show that the subgroup F ⊂ G of all those g ∈ G that preserve the family is a closed Lie subgroup of G and characterize its Banach-Lie algebra. We make a detailed study of F when is a Cartan factor.      

On the arc component of a locally compact Abelian group

For a topological group G, we denote by G _a the arc component of the neutral element and by the character group of G, i.e. the group of all continuous homomorphisms from G into T. We prove the following theorem: Let G be a connected locally compact abelian group and let be the embedding. Then is a topological isomorphism. In particular, the character group of the arc component of a compact abelian group is discrete. Some conclusions will be drawn.     

Positive-definite functions on infinite-dimensional groups

This paper concerns positive-definite functions on infinite-dimensional groups G. Our main results are as follows: first, we claim that if G has a σ-finite measure μ on the Borel field whose right admissible shifts form a dense subgroup G ₀, a unique (up to equivalence) unitary representation (H, T) with a cyclic vector corresponds to through a method similar to that used for the G–N–S construction. Second, we show that the result remains true, even if we go to the inductive limits of such groups, and we derive two kinds of theorems, those taking either G or G ₀ as a central object. Finally, we proceed to an important example of infinite-dimensional groups, the group of diffeomorphisms on smooth manifolds M, and see that the correspondence between positive-definite functions and unitary representations holds for under a fairy mild condition. For a technical reason, we impose condition (c) in Sect. 2 on the measure space throughout this paper. It is also a weak condition, and it is satified, if G is separable, or if μ is Radon. This research was partially supported by a Grant-in-Aid for Scientific Research (No.18540184), Japan Socieity of the Promotion of Science.     

A remark on the conjecture of Erdös, Faber and Lovász

The celebrated Erd?s, Faber and Lovász Conjecture may be stated as follows: Any linear hypergraph on ν points has chromatic index at most ν. We show that the conjecture is equivalent to the following assumption: For any graph , where ν(G) denotes the linear intersection number and χ(G) denotes the chromatic number of G. As we will see for any graph G = (V, E), where denotes the complement of G. Hence, at least G or fulfills the conjecture.      

Limit sets for complete minimal immersions

In this paper we study the behaviour of the limit set of complete proper compact minimal immersions in a domain with the boundary We prove that the second fundamental form of the surface ∂G is nonnegatively defined at every point of the limit set of such immersions. A. Alarcón’s research is partially supported by MEC-FEDER Grant no. MTM2004-00160.     

Group Algebras: Normal Subgroups and Ideals

The standard correspondence between the normal subgroups of the group G and some ideals of the group algebra FG is described. There is the problem of what we can say (or even prove) about a two-sided ideal of that does not contain any element of the form 1 − g ≠ 0, g ∈G of the standard basis of the augmentation ideal of . The main part of the argument of [2] yields the insight that, for such an ideal I there exists an expansion such that the ideal J of spanned by I contains an element 1 − h, h ∈ H \ G. Using the ideas of [2], we construct -thick groups H such that for every ideal J ≠ (0) of there are elements 1 − h ≠ 0 in J. This construction allows many variations. Examples of simple -thick groups were pointed out in [2]. A natural class of (in general non-simple) -full groups are the normal sections of the groups

A Note on the Green Invariants in Finite Group Modular Representative Theory

As in Finite Group Modular Representation Theory, let be a commutative complete noetherian ring with an algebraically closed residue field k. Let G be a finite group and let N be a normal subgroup of G. First suppose that V is an indecomposable -module, so that Inf ^G _G/N (V) is an indecomposable G-module. We relate the Green invariants of V as an -module to those of Inf ^G _G/N (V) as an G-module. Secondly, let V and W be indecomposable G-modules. Assume that W is an endo-permutation lattice and that is also an indecomposable G-module. We relate the Green invariants of the G-modules V and . (This situation arises under important Morita equivalences.) Received: December 11, 2006. Revised: August 22, 2007.     

Margulis lemma for compact lie groups

We improve Margulis lemma for a compact connected Lie group G: there is a neighborhood U of the identity such that for any finite subgroup , generates an abelian group. We show that for each n, there exists an integer , such that if H is a closed subgroup of a compact connected Lie group G of dimension n, then the quotient group, H/H ₀, has an abelian subgroup of index , where H ₀ is the identity component of H. As an application, we show that the fundamental group of the homogeneous space G/H has an abelian subgroup of index . We show this same property for the fundamental groups of almost non-negatively curved n-manifolds whose universal coverings are not collapsed. X. Rong: supported partially by NSF Grant DMS 0504534 and by a reach found from Beijing Normal University. Y. Wang: supported partially by LMAM of Peking University and by NSFC 10671018.     

Spherical conjugacy classes and involutions in the Weyl group

Let G be a simple algebraic group over an algebraically closed field of characteristic zero or positive odd, good characteristic. Let B be a Borel subgroup of G. We show that the spherical conjugacy classes of G intersect only the double cosets of B in G corresponding to involutions in the Weyl group of G. This result is used in order to prove that for a spherical conjugacy class with dense B-orbit v ₀ ⊂ BwB there holds extending to the case of groups over fields of odd, good characteristic a characterization of spherical conjugacy classes obtained by Cantarini, Costantini and the author. It is also shown that the weights occurring in the G-module decomposition of the ring of regular functions on are self-adjoint and they lie in the −1-eigenspace of the element w.