on the o-minimal LS-category

We introduce the o-minimal LS-category of definable sets in o-minimal expansions of ordered fields and we establish a relation with the semialgebraic and the classical one. We also study the o-minimal LS-category of definable groups. Along the way, we show that two definably connected definably compact definable groups G and H are definable homotopy equivalent if and only if L(G) and L(H) are homotopy equivalent, where L is the functor which associates to each definable group its corresponding Lie group via Pillay’s conjecture.     

Definable group extensions in semi‐bounded o‐minimal structures

In this note we show: Let R = 〈R, <, +, 0, …〉 be a semi‐bounded (respectively, linear) o‐minimal expansion of an ordered group, and G a group definable in R of linear dimension m ([2]). Then G is a definable extension of a bounded (respectively, definably compact) definable group B by 〈R^m, +〉 (© 2009 WILEY‐VCH Verlag GmbH & Co. KGaA, Weinheim)     

Fields interpretable in rosy theories

We are working in a monster model ℭ of a rosy theory T. We prove the following theorems, generalizing the appropriate results from the finite Morley rank case and o-minimal structures. If R is a ⋁-definable integral domain of positive, finite U^t-rank, then its field of fractions is interpretable in ℭ. If A and M are infinite, definable, abelian groups such that A acts definably and faithfully on M as a group of automorphisms, M is A-minimal and U^t(M) is finite, then there is an infinite field interpretable in ℭ. If G is an infinite, solvable but non nilpotent-by-finite, definable group of finite U^t-rank and T has NIP, then there is an infinite field interpretable in 〈G, ·〉.     

<Emphasis Type="Italic">G</Emphasis>-linear sets and torsion points in definably compact groups

Let G be a definably compact group in an o-minimal expansion of a real closed field. We prove that if dim(G\X) < dim G for some definable then X contains a torsion point of G. Along the way we develop a general theory for the so-called G-linear sets, and investigate definable sets which contain abstract subgroups of G. M. Otero was Partially supported by GEOR MTM2005-02568 and Grupos UCM 910444.     

On the abelianizations of congruence subgroups of Aut(<Emphasis Type="Italic">F</Emphasis><Subscript>2</Subscript>)

Let F _n be the free group of rank n, and let Aut⁺(F _n ) be its special automorphism group. For an epimorphism π : F _n → G of the free group F _n onto a finite group G we call the standard congruence subgroup of Aut⁺(F _n ) associated to G and π. In the case n = 2 we fully describe the abelianization of Γ⁺(G, π) for finite abelian groups G. Moreover, we show that if G is a finite non-perfect group, then Γ⁺(G, π) ≤ Aut⁺(F ₂) has infinite abelianization.     

Groups,group actions and fields definable in first‐order topological structures

Given a group (G, ·), G?M^m, definable in a first‐order structure $\mathcal {M}=(M,\ldots )Given a group (G, ·), G?M^m, definable in a first‐order structure $\mathcal {M}=(M,\ldots )$ equipped with a dimension function and a topology satisfying certain natural conditions, we find a large open definable subset V?G and define a new topology τ on G with which (G, ·) becomes a topological group. Moreover, τ restricted to V coincides with the topology of V inherited from M^m. Likewise we topologize transitive group actions and fields definable in $\mathcal {M}$. These results require a series of preparatory facts concerning dimension functions, some of which might be of independent interest.     

Permutation Groups in o-Minimal Structures

In this paper we develop a structure theory for transitive permutationgroups definable in o-minimal structures. We fix an o-minimalstructure M, a group G definable in M, and a set and a faithfultransitive action of G on definable in M, and talk of the permutationgroup (G, ). Often, we are concerned with definably primitivepermutation groups (G, ); this means that there is no propernon-trivial definable G-invariant equivalence relation on ,so definable primitivity is equivalent to a point stabiliserG being a maximal definable subgroup of G. Of course, sinceany group definable in an o-minimal structure has the descendingchain condition on definable subgroups [23] we expect many questionson definable transitive permutation groups to reduce to questionson definably primitive ones. Recall that a group G definable in an o-minimal structure issaid to be connected if there is no proper definable subgroupof finite index. In some places, if G is a group definable inM we must distinguish between definability in the full ambientstructure M and G-definability, which means definability inthe pure group G:= (G, .); for example, G is G-definably connectedmeans that G does not contain proper subgroups of finite indexwhich are definable in the group structure. By definable, wealways mean definability in M. In some situations, when thereis a field R definable in M, we say a set is R-semialgebraic,meaning that it is definable in (R, +, .). We call a permutationgroup (G, ) R-semialgebraic if G, and the action of G on canall be defined in the pure field structure of a real closedfield R. If R is clear from the context, we also just write‘semialgebraic’.     

On groups of central type,non-degenerate and bijective cohomology classes

A finite group G is of central type (in the non-classical sense) if it admits a non-degenerate cohomology class [c] ∈ H ²(G, ℂ*) (G acts trivially on ℂ*). Groups of central type play a fundamental role in the classification of semisimple triangular complex Hopf algebras and can be determined by their representation-theoretical properties. Suppose that a finite group Q acts on an abelian group A so that there exists a bijective 1-cocycle π ∈ Z ¹(Q,Ǎ), where Ǎ = Hom(A, ℂ*) is endowed with the diagonal Q-action. Under this assumption, Etingof and Gelaki gave an explicit formula for a non-degenerate 2-cocycle in Z ²(G, ℂ*), where G:= A × Q. Hence, the semidirect product G is of central type. In this paper, we present a more general correspondence between bijective and non-degenerate cohomology classes. In particular, given a bijective class [π] ∈ H ¹(Q,Ǎ) as above, we construct non-degenerate classes [cπ] ∈ H ²(G,ℂ*) for certain extensions 1 → A → G → Q → 1 which are not necessarily split. We thus strictly extend the above family of central type groups.     

Unstable structures definable in o-minimal theories

Let M{\mathcal {M}} be a dense o-minimal structure, N{\mathcal {N}} an unstable structure interpretable in M{\mathcal {M}}. Then there exists X, definable in N^eq{\mathcal {N}^{eq}}, such that X, with the induced N{\mathcal {N}}-structure, is linearly ordered and o-minimal with respect to that ordering. As a consequence we obtain a classification, along the lines of Zilber’s trichotomy, of unstable t-minimal types in structures interpretable in o-minimal theories.     

A Spectral Gap Property for Random Walks Under Unitary Representations

Let G be a locally compact group and μ a probability measure on G, which is not assumed to be absolutely continuous with respect to Haar measure. Given a unitary representation $\pi ,\mathcal{H}Let G be a locally compact group and μ a probability measure on G, which is not assumed to be absolutely continuous with respect to Haar measure. Given a unitary representation p,H\pi ,\mathcal{H} of G, we study spectral properties of the operator π(μ) acting on H\mathcal{H} Assume that μ is adapted and that the trivial representation 1 _G is not weakly contained in the tensor product p?[`(p)]\pi\otimes \overline\pi We show that π(μ) has a spectral gap, that is, for the spectral radius r_spec(p(m))r_{\rm spec}(\pi(\mu)) of π(μ), we have r_spec(p(m)) < 1.r_{\rm spec}(\pi(\mu))< 1. This provides a common generalization of several previously known results. Another consequence is that, if G has Kazhdan’s Property (T), then r_spec(p(m)) < 1r_{\rm spec}(\pi(\mu))< 1 for every unitary representation π of G without finite dimensional subrepresentations. Moreover, we give new examples of so-called identity excluding groups.     

Block separation in solvable groups

If π is a set of primes, a finite group G is block π-separated if for every two distinct irreducible complex characters α, β ∈ Irr(G) there exists a prime p ∈ π such that α and β lie in different Brauer p-blocks. A group G is block separated if it is separated by the set of prime divisors of |G|. Given a set π with n different primes, we construct an example of a solvable π-group G which is block separated but it is not separated by every proper subset of π. Received: 22 December 2004     

Smooth roots of hyperbolic polynomials with definable coefficients

We prove that the roots of a definable C ^∞ curve of monic hyperbolic polynomials admit a definable C ^∞ parameterization, where ‘definable’ refers to any fixed o-minimal structure on (ℝ,+, ·). Moreover, we provide sufficient conditions, in terms of the differentiability of the coefficients and the order of contact of the roots, for the existence of C ^p (for p ∈ ℕ) arrangements of the roots in both the definable and the non-definable case. These conditions are sharp in the definable and, under an additional assumption, also in the non-definable case. In particular, we obtain a simple proof of Bronshtein’s theorem in the definable setting. We prove that the roots of definable C ^∞ curves of complex polynomials can be desingularized by means of local power substitutions t ↦ ±t ^N . For a definable continuous curve of complex polynomials we show that any continuous choice of roots is actually locally absolutely continuous.     

Some results on the majorization theorem of connected graphs

Let π = (d ₁, d ₂, ..., d _n ) and π′ = (d′ ₁, d′ ₂, ..., d′ _n ) be two non-increasing degree sequences. We say π is majorizated by π′, denoted by π ⊲ π′, if and only if π ≠ π′, Σ _i=1 ⁿ d _i = Σ _i=1 ⁿ d′ _i , and Σ _i=1 ^j d _i ≤ Σ _i=1 ^j d′ _i for all j = 1, 2, ..., n. Weuse C _π to denote the class of connected graphs with degree sequence π. Let ρ(G) be the spectral radius, i.e., the largest eigenvalue of the adjacent matrix of G. In this paper, we extend the main results of [Liu, M. H., Liu, B. L., You, Z. F.: The majorization theorem of connected graphs. Linear Algebra Appl., 431(1), 553–557 (2009)] and [Bıyıkoğlu, T., Leydold, J.: Graphs with given degree sequence and maximal spectral radius. Electron. J. Combin., 15(1), R119 (2008)]. Moreover, we prove that if π and π′ are two different non-increasing degree sequences of unicyclic graphs with π ⊲ π′, G and G′ are the unicyclic graphs with the greatest spectral radii in C _π and C′ _π , respectively, then ρ(G) < ρ(G′).     

Commuting elements and spaces of homomorphisms

This article records basic topological, as well as homological properties of the space of homomorphisms Hom(π,G) where π is a finitely generated discrete group, and G is a Lie group, possibly non-compact. If π is a free abelian group of rank equal to n, then Hom(π, G) is the space of ordered n–tuples of commuting elements in G. If G = SU(2), a complete calculation of the cohomology of these spaces is given for n = 2, 3. An explicit stable splitting of these spaces is also obtained, as a special case of a more general splitting. Alejandro Adem was partially supported by the NSF and NSERC. Frederick R. Cohen was partially supported by the NSF, grant number 0340575.     

A conjugacy criterion for Hall subgroups in finite groups

A finite group G is said to satisfy C _π for a set of primes π, if G possesses exactly one class of conjugate π-Hall subgroups. We obtain a criterion for a finite group G to satisfy C _π in terms of a normal series of the group.     

Confined subgroups in periodic simple finitary linear groups

A subgroupX of the locally finite groupG is said to beconfined, if there exists a finite subgroupF≤G such thatX ^g∩F≠1 for allg∈G. Since there seems to be a certain correspondence between proper confined subgroups inG and non-trivial ideals in the complex group algebra ℂG, we determine the confined subgroups of periodic simple finitary linear groups in this paper. Dedicated to the memory of our friend and collaborator Richard E. Phillips     

Equipartition of a continuous mass distribution

Here are three samples of results. (1) Let m be a finite (absolutely) continuous mass distribution in ℝ², and let ℓ = {ℓ₁, ..., ℓ₅ ⊂ ℝ²} be a quintuple of rays with common origin such that any two adjacent angles between them make a sum of at most π. Then an affine image of ℓ subdivides m into five parts with any prescribed ratios. (2) For each finite continuous mass distribution m in ℝⁿ, there exist n mutually orthogonal hyperplanes any two of which quarter m. (3) Let m and m′ be two finite continuous mass distributions in ℝRⁿ with common center of symmetry O. Then there exist n hyperplanes through O any two of which quarter both m and m′. Bibliography: 9 titles. __________ Translated from Zapiski Nauchnykh Seminarov POMI, Vol. 329, 2005, pp. 92–106.     

Affinely equivalent complete flat manifolds

Let E _Aff(Γ,G, m) be the set of affine equivalence classes of m-dimensional complete flat manifolds with a fixed fundamental group Γ and a fixed holonomy group G. Let n be the dimension of a closed flat manifold whose fundamental group is isomorphic to Γ. We describe E _Aff(Γ,G, m) in terms of equivalence classes of pairs (ε, ρ), consisting of epimorphisms of Γ onto G and representations of G in ℝ ^m-n . As an application we give some estimates of card E _Aff(Γ,G, m).     

Finite solvable groups in which the Sylow <Emphasis Type="Italic">p</Emphasis>-subgroups are either bicyclic or of order <Emphasis Type="Italic">p</Emphasis><Superscript>3</Superscript>

All groups considered in this paper will be finite. Our main result here is the following theorem. Let G be a solvable group in which the Sylow p-subgroups are either bicyclic or of order p ³ for any p ∈ π(G). Then the derived length of G is at most 6. In particular, if G is an A₄-free group, then the following statements are true: (1) G is a dispersive group; (2) if no prime q ∈ π(G) divides p ² + p + 1 for any prime p ∈ π(G), then G is Ore dispersive; (3) the derived length of G is at most 4.