ON DEFINABILITY OF NORMAL SUBGROUPS OF A SUPERSTABLE GROUP

In this note we treat maximal and minimal normal subgroups of a superstable group and prove that these groups are definable under certain conditions. Main tool is a superstable version of Zil'ber's indecomposability theorem. MSC: 03C60.     

M-gap conjecture and m-normal theories

We find a small weakly minimal theory with an isolated weakly minimal type ofM-rank ∞ and an isolated weakly minimal type of arbitrarily large finiteM-rank. These examples lead to the notion of an m-normal theory. We prove theM-gap conjecture for m-normalT. In superstable theories with few countable models we characterize traces of complete types as traces of some formulas. We prove that a 1-based theory with few countable models is m-normal. We investigate generic subgroups of small superstable groups. We compare the notions of independence induced by measure (μ-independence) and category (m-independence). Research supported by KBN grant 2 P03A 006 09.     

Isogeny in superstable groups

We study and develop a notion of isogeny for superstable groups inspired by the notion in algebraic groups and differential algebraic notions developed by Cassidy and Singer. We prove several fundamental properties of the notion. Then we use it to formulate and prove a uniqueness results for a decomposition theorem about superstable groups similar to one proved by Baudisch. Connections to existing model theoretic notions and existing differential algebraic notions are explained.     

Extending partial isometries of antipodal graphs

We prove EPPA (extension property for partial automorphisms) for all antipodal classes from Cherlin’s list of metrically homogeneous graphs, thereby answering a question of Aranda et al. This paper should be seen as the first application of a new general method for proving EPPA which can bypass the lack of automorphism-preserving completions. It is done by combining the recent strengthening of the Herwig–Lascar theorem by Hubička, Nešetřil and the author with the ideas of the proof of EPPA for two-graphs by Evans et al.     

On Preservation of Stability for Finite Extensions of Abelian Groups

We characterize preservation of superstability and ω-stability for finite extensions of abelian groups and reduce the general case to the case of p-groups. In particular we study finite extensions of divisible abelian groups. We prove that superstable abelian-by-finite groups have only finitely many conjugacy classes of Sylow p-subgroups. Mathematics Subject Classification: 03C60, 20C05.     

On the class of flat stable theories

A new notion of independence relation is given and associated to it, the class of flat theories, a subclass of strong stable theories including the superstable ones is introduced. More precisely, after introducing this independence relation, flat theories are defined as an appropriate version of superstability. It is shown that in a flat theory every type has finite weight and therefore flat theories are strong. Furthermore, it is shown that under reasonable conditions any type is non-orthogonal to a regular one. Concerning groups in flat theories, it is shown that type-definable groups behave like superstable ones, since they satisfy the same chain condition on definable subgroups and also admit a normal series of definable subgroup with semi-regular quotients.     

Superstable cycles for antiferromagnetic Q-state Potts and three-site interaction Ising models on recursive lattices

We consider the superstable cycles of the Q-state Potts (QSP) and the three-site interaction antiferromagnetic Ising (TSAI) models on recursive lattices. The rational mappings describing the models’ statistical properties are obtained via the recurrence relation technique. We provide analytical solutions for the superstable cycles of the second order for both models. A particular attention is devoted to the period three window. Here we present an exact result for the third order superstable orbit for the QSP and a numerical solution for the TSAI model. Additionally, we point out a non-trivial connection between bifurcations and superstability: in some regions of parameters a superstable cycle is not followed by a doubling bifurcation. Furthermore, we use symbolic dynamics to understand the changes taking place at points of superstability and to distinguish areas between two consecutive superstable orbits.     

Superstable groups; a partial answer to conjectures of cherlin and zil'ber

We pursue here the study of superstable groups initiated in [2] and give a partial and positive answer to the conjecture that simple superstable groups are algebraic groups.     

Higher index theory for certain expanders and Gromov monster groups,II

In this paper, the second of a series of two, we continue the study of higher index theory for expanders. We prove that if a sequence of graphs has girth tending to infinity, then the maximal coarse Baum–Connes assembly map is an isomorphism for the associated metric space X. As discussed in the first paper in this series, this has applications to the Baum–Connes conjecture for ‘Gromov monster’ groups.We also introduce a new property, ‘geometric property (T)’. For the metric space associated to a sequence of graphs, this property is an obstruction to the maximal coarse assembly map being an isomorphism. This enables us to distinguish between expanders with girth tending to infinity, and, for example, those constructed from property (T) groups.     

Model-theoretic properties of regular polygons

This work is devoted to results obtained in the model theory of regular polygons. We give a characterization of monoids with axiomatizable and model-complete class of regular polygons. We describe monoids with complete class of regular polygons that satisfy some additional conditions. We study monoids whose regular core is represented as a union of finitely many principal right ideals and all regular polygons over which have a stable and superstable theory. We prove the stability of the class of all regular polygons over a monoid provided this class is axiomatizable and model-complete. We also describe monoids for which the class of all regular polygons is superstable and ω-stable provided this class is axiomatizable and model-complete. __________ Translated from Fundamentalnaya i Prikladnaya Matematika, Vol. 10, No. 4, pp. 107–157, 2004.     

Ab initio generic structures which are superstable but not ω-stable

Let L be a countable relational language. Baldwin asked whether there is an ab initio generic L-structure which is superstable but not ω-stable. We give a positive answer to his question, and prove that there is no ab initio generic L-structure which is superstable but not ω-stable, if L is finite and the generic is saturated.     

Kirkwood–Salsburg equation for a quantum lattice system of oscillators with many-particle interaction potentials

For a Gibbs system of one-dimensional quantum oscillators on a d-dimensional hypercubic lattice interacting via superstable pair and many-particle potentials of finite range, we prove the existence of a solution of the (lattice) Kirkwood–Salsburg equation for correlation functions depending on the Wiener paths. Some many-particle potentials may be nonpositive.     

Hydrodynamic limit for interacting Ornstein–Uhlenbeck particles

We consider a system of interacting Ornstein–Uhlenbeck particles moving in a d-dimensional torus. The interaction between particles is given by a short-range superstable pair potential V. We prove that, in a diffusive scaling limit, the density of particles satisfies a non-linear partial differential equation. This generalizes to higher dimensions a result of Olla and Varadhan (cf. (Comm. Math. Phys. 125 (1993) 523)).     

On the Stability of a Sum Form Equation

In this paper we prove that an equation of sum form is stable and almost superstable.     

Local-global principle for congruence subgroups of Chevalley groups

Suslin’s local-global principle asserts that if a matrix over a polynomial ring vanishes modulo the independent variable and is locally elementary then it is elementary. In this article we prove Suslin’s local-global principle for principal congruence subgroups of Chevalley groups. This result is a common generalization of the result of Abe for the absolute case and Apte, Chattopadhyay and Rao for classical groups. For the absolute case the localglobal principle was recently obtained by Petrov and Stavrova in the more general settings of isotropic reductive groups.     

A generalization of Schmidt’s Theorem on groups with all subgroups nilpotent

According to Schmidt’s Theorem a finite group whose proper subgroups are all nilpotent (or a finite group without non-nilpotent proper subgroups) is solvable. In this paper we prove that every finite group with less than 22 non-nilpotent subgroups is solvable and that this estimate is sharp.     

Mapping tori of endomorphisms of free groups

For al large class of endomorphisms of finitely generated free groups we prove that their mapping tori groups are word-hyperbolic if and only if they don’t contain Baumslag-Solitar subgroups.     

Higher index theory for certain expanders and Gromov monster groups,I

In this paper, the first of a series of two, we continue the study of higher index theory for expanders. We prove that if a sequence of graphs is an expander and the girth of the graphs tends to infinity, then the coarse Baum–Connes assembly map is injective, but not surjective, for the associated metric space X.Expanders with this girth property are a necessary ingredient in the construction of the so-called ‘Gromov monster’ groups that (coarsely) contain expanders in their Cayley graphs. We use this connection to show that the Baum–Connes assembly map with certain coefficients is injective but not surjective for these groups. Using the results of the second paper in this series, we also show that the maximal Baum–Connes assembly map with these coefficients is an isomorphism.     

The integral Novikov conjectures for S-arithmetic groups I

We prove the integral Novikov conjecture for torsion free S-arithmetic subgroups Γ of linear reductive algebraic groups G of rank 0 over a global field k. They form a natural class of groups and are in general not discrete subgroups of Lie groups with finitely many connected components. Since many natural S-arithmetic subgroups contain torsion elements, we also prove a generalized integral Novikov conjecture for S-arithmetic subgroups of such algebraic groups, which contain torsion elements. These S-arithmetic subgroups also provide a natural class of groups with cofinite universal spaces for proper actions. Partially Supported by NSF grants DMS 0405884 and 0604878.