On finite simple groups acting on homology spheres

It is a consequence of the classical Jordan bound for finite subgroups of linear groups that in each dimension n there are only finitely many finite simple groups which admit a faithful, linear action on the n-sphere. In the present paper we prove an analogue for smooth actions on arbitrary homology n-spheres: in each dimension n there are only finitely many finite simple groups which admit a faithful, smooth action on some homology sphere of dimension n, and in particular on the n-sphere. We discuss also the finite simple groups which admit an action on a homology sphere of dimension 3, 4 or 5.     

On topological actions of finite,non-standard groups on spheres

The standard actions of finite groups on spheres \(S^d\) are linear actions, i.e. by finite subgroups of the orthogonal groups \(\mathrm{O}(d+1)\). We prove that, in each dimension \(d>5\), there is a finite group G which admits a faithful, topological action on a sphere \(S^d\) but is not isomorphic to a subgroup of \(\mathrm{O}(d+1)\). The situation remains open for smooth actions.     

Covering theory for complexes of groups

We develop an explicit covering theory for complexes of groups, parallel to that developed for graphs of groups by Bass. Given a covering of developable complexes of groups, we construct the induced monomorphism of fundamental groups and isometry of universal covers. We characterize faithful complexes of groups and prove a conjugacy theorem for groups acting freely on polyhedral complexes. We also define an equivalence relation on coverings of complexes of groups, which allows us to construct a bijection between such equivalence classes, and subgroups or overgroups of a fixed lattice Γ in the automorphism group of a locally finite polyhedral complex X.     

Transitivity degrees of countable groups and acylindrical hyperbolicity

We prove that every countable acylindrically hyperbolic group admits a highly transitive action with finite kernel. This theorem uniformly generalizes many previously known results and allows us to answer a question of Garion and Glassner on the existence of highly transitive faithful actions of mapping class groups. It also implies that in various geometric and algebraic settings, the transitivity degree of an infinite group can only take two values, namely 1 and ∞. Here, by transitivity degree of a group we mean the supremum of transitivity degrees of its faithful permutation representations. Further, for any countable group G admitting a highly transitive faithful action, we prove the following dichotomy: Either G contains a normal subgroup isomorphic to the infinite alternating group or G resembles a free product from the model theoretic point of view. We apply this theorem to obtain new results about universal theory and mixed identities of acylindrically hyperbolic groups. Finally, we discuss some open problems.     

Hopf algebra deformations of binary polyhedral groups

We show that semisimple Hopf algebras having a self-dual faithful irreducible comodule of dimension 2 are always obtained as abelian extensions with quotient Z2. We prove that nontrivial Hopf algebras arising in this way can be regarded as deformations of binary polyhedral groups and describe its category of representations. We also prove a strengthening of a result of Nichols and Richmond on cosemisimple Hopf algebras with a two-dimensional irreducible comodule in the finite-dimensional context. Finally, we give some applications to the classification of certain classes of semisimple Hopf algebras.     

Minimal length elements in some double cosets of Coxeter groups

We study the minimal length elements in some double cosets of Coxeter groups and use them to study Lusztig's G-stable pieces and the generalization of G-stable pieces introduced by Lu and Yakimov. We also use them to study the minimal length elements in a conjugacy class of a finite Coxeter group and prove a conjecture in [M. Geck, S. Kim, G. Pfeiffer, Minimal length elements in twisted conjugacy classes of finite Coxeter groups, J. Algebra 229 (2) (2000) 570-600].     

Fractal Measures for Parabolic IFS

Let h be the Hausdorff dimension of the limit set of a conformal parabolic iterated function system in dimension d?2. In case the system of maps is finite, we provide necessary and sufficient conditions for the h-dimensional Hausdorff measure to be positive and finite and also, assuming the strong open set condition holds, characterize when the h-dimensional packing measure of the limit set is positive and finite. We also prove that the upper ball (box)-counting dimension and the Hausdorff dimension of this limit set coincide. As a byproduct we include a compact analysis of the behaviour of parabolic conformal diffeomorphisms in dimension 2 and separately in any dimension greater than or equal to 3.     

Dégénérescence de sous-groupes discrets des groupes de Lie semi-simples

We prove that a sequence of faithful and discrete (but not necessarily with finite covolume) representations of a finitely generated group Γ in a semisimple Lie group, that goes to infinity, converges to an isometric action of Γ on an affine building, with controlled germ of apartment stabilizers.     

Ramsey property, ultrametric spaces, finite posets, and universal minimal flows

We introduce the class COU _S of finite ultrametric spaces with distances in the set S and with two additional linear orderings. We also introduce the class EOP of finite posets with two additional linear orderings. In this paper, we prove that COU _S and EOP are Ramsey classes. In addition, we give an application of our results to calculus of universal minimal flows.     

The Haar measure on finite quantum groups

By a finite quantum group, we will mean in this paper a finite-dimensional Hopf algebra. A left Haar measure on such a quantum group is a linear functional satisfying a certain invariance property. In the theory of Hopf algebras, this is usually called an integral. It is well-known that, for a finite quantum group, there always exists a unique left Haar measure. This result can be found in standard works on Hopf algebras. In this paper we give a direct proof of the existence and uniqueness of the left Haar measure on a finite quantum group. We introduce the notion of a faithful functional and we show that the Haar measure is faithful. We consider the special case where the underlying algebra is a -algebra with a faithful positive linear functional. Then the left and right Haar measures coincide. Finally, we treat an example of a root of unity algebra. It is an example of a finite quantum group where the left and right Haar measures are different. This note does not contain many new results but the treatment of the finite-dimensional case is very concise and instructive.

     

Minimal Lagrangian submanifolds of the complex hyperquadric

We introduce a structural approach to study Lagrangian submanifolds of the complex hyperquadric in arbitrary dimension by using its family of non-integrable almost product structures.In particular,we define local angle functions encoding the geometry of the Lagrangian submanifold at hand.We prove that these functions are constant in the special case that the Lagrangian immersion is the Gauss map of an isoparametric hypersurface of a sphere and give the relation with the constant principal curvatures of the hypersurface.We also use our techniques to classify all minimal Lagrangian submanifolds of the complex hyperquadric which have constant sectional curvatures and all minimal Lagrangian submanifolds for which all local angle functions,respectively all but one,coincide.     

RESTRICTION RESPECTUEUSE ET RECONSTRUCTION DES CHAINES ET DES RELATIONS INFINITES

We show a faithful restriction theorem among infinite chains which implies a reconstructibility conjecture of Halin. This incite us to study the reconstructibility in the sense of Fraïssé and to prove it for orders of cardinality infinite or ≥ 3 and for multirelations of cardinality infinite or ≥ 7, what improves the theory obtained by G. Lopez in the finite case. For this work we had to study the infinite classes of difference which have to be a linear order of type ω, ω* or ω* + ω; this complete the theory made by G. Lopez for the finite case ([13]). We show also Ulam-reconstructibility for linear orders which have a fixed point.     

On free $${\mathbb{Z}_{p}}$$ actions on products of spheres

In this paper we consider free actions of large prime order cyclic groups on the product of any number of spheres of the same odd dimension and on products of two spheres of differing odd dimensions. We require only that the action be free on the product as a whole and not each sphere separately. In particular we determine equivariant homotopy type, and for both linear actions and for even numbers of spheres the simple homotopy type and simple structure sets. The results are compared to the analysis and classification done for lens spaces. Similar to lens spaces, the first k-invariant generally determines the homotopy type of many of the quotient spaces, however, the Reidemeister torsion frequently vanishes and many of the homotopy equivalent spaces are also simple homotopy equivalent. Unlike lens spaces, which are determined by their ρ-invariant and Reidemeister torsion, the ρ-invariant here vanishes for even numbers of spheres and linear actions and the Pontrjagin classes become p-localized homeomorphism invariants for a given dimension. The cohomology classes, Pontrjagin classes, and sets of normal invariants are computed in the process.     

Subgroups of bounded residue in ultraproducts of finite groups

We consider a variety of linearity generalizations: finitary linearizability, local linearizability, and so on. The natural partial ordering on the set of classes of generalized linear groups under examination is described in full. Criteria for abstract groups to be finitary linearized in terms of ultraproducts of linear and finite groups are proven. Examples of nilpotent groups are given which have not faithful finitary linear representations by automorphisms of vector spaces over a field. Translated fromAlgebra i Logika, Vol. 36, No. 5, pp. 531–542, September–October, 1997.     

Existence and regularity of maximal metrics for the first Laplace eigenvalue on surfaces

We investigate in this paper the existence of a metric which maximizes the first eigenvalue of the Laplacian on Riemannian surfaces. We first prove that, in a given conformal class, there always exists such a maximizing metric which is smooth except at a finite set of conical singularities. This result is similar to the beautiful result concerning Steklov eigenvalues recently obtained by Fraser and Schoen (Sharp eigenvalue bounds and minimal surfaces in the ball, 2013). Then we get existence results among all metrics on surfaces of a given genus, leading to the existence of minimal isometric immersions of smooth compact Riemannian manifold (M, g) of dimension 2 into some k-sphere by first eigenfunctions. At last, we also answer a conjecture of Friedlander and Nadirashvili (Int Math Res Not 17:939–952, 1999) which asserts that the supremum of the first eigenvalue of the Laplacian on a conformal class can be taken as close as we want of its value on the sphere on any orientable surface.     

On Weyl groups in minimal simple groups of finite Morley rank

We prove that generous non-nilpotent Borel subgroups of connected minimal simple groups of finite Morley rank are self-normalizing. We use this to introduce a uniform approach to the analysis of connected minimal simple groups of finite Morley rank through a case division incorporating four mutually exclusive classes of groups. We use these to analyze Carter subgroups and Weyl groups in connected minimal simple groups of finite Morley rank. Finally, the self-normalization theorem is applied to give a new proof of an important step in the classification of simple groups of finite Morley rank of odd type.     

Minimal balanced sets and finite geometries

A balanced set is a collection of subsets of a finite set that can be weighted so as to cover the whole set uniformly. Minimal balanced sets are of interest in the theory of n-person games, in particular for the existence of outcomes that cannot be improved upon by any coalition (core of the game).The object of this paper is to determine the finite geometries which are minimal balanced sets. We prove that the dual of any t-design with t ? 2 is a minimal balanced set. In particular symmetrical 2-designs (as projective spaces, biplanes, etc.) are always minimal balanced sets. For 1-designs the problem becomes much more difficult, but it is for instance easy to prove that any partial geometry which is not the dual of a 2-Steiner system is never a minimal balanced set; in particular generalized quadrangles are never minimal balanced sets. For linear graphs the problem is completely solved: the dual of a connected linear graph is a minimal balanced set if and only if this linear graph is not bichromatic.     

Minimal stabilizers with arbitrary spectrum for SIMO and MISO systems

We consider two classes of linear dynamical systems, single-input-many-output (SIMO) systems and many-input-single-output (MISO) systems. For both classes, we consider the problem of synthesizing a stabilizer of minimum dimension providing pole assignment in the closed-loop system. We show that, for these classes, a minimal stabilizer providing pole assignment has dimension k _min = min{ν ? 1, µ ? 1}, where ν and µ are the controllability and observability indices of the original (SIMO or MISO) dynamical system.     

Quelques remarques sur les actions analytiques des réseaux des groupes de Lie de rang supérieur

All the actions considered here are (real) analytic. Let г be a subgroup of finite index of SL(n,). We prove, in particular, the (global) homotopical rigidity, for both its standard affine action on the torus T^a (n ≥ 3), and its standard projective action on the sphere Sⁿ⁻¹ (n, ≥ 4).     

Radical embeddings and representation dimension

Given a representation-finite algebra B and a subalgebra A of B such that the Jacobson radicals of A and B coincide, we prove that the representation dimension of A is at most three. By a result of Igusa and Todorov, this implies that the finitistic dimension of A is finite.