Oligomorphic Permutation Groups

The study of permutation groups has always been closely associated with that of highly symmetric structures. The objects considered here are countably infinite, but have only finitely many different substructures of any given finite size. They are precisely those structures which are determined by first-order logical axioms together with the assumption of countability. This book concerns such structures, their substructures and their...

Operator Theory on Noncommutative Domains

In this volume the author studies noncommutative domains $\mathcal{D}_f\subset B(\mathcal{H})^n$ generated by positive regular free holomorphic functions $f$ on $B(\mathcal{H})^n$, where $B(\mathcal{H})$ is the algebra of all bounded linear operators on a Hilbert space $\mathcal{H}$. Table of Contents: Introduction; Operator algebras associated with noncommutative domains; Free holomorphic functions on noncommutative domains; Model t...

Approximate Homotopy of Homomorphisms from c(x) into a Simple c*-Algebra

In this paper the author proves Generalized Homotopy Lemmas. These type of results play an important role in the classification theory of $*$-homomorphisms up to asymptotic unitary equivalence. Table of Contents: Prelude; The basic homotopy lemma for higher dimensional spaces; Purely infinite simple $C^*$-algebras; Approximate homotopy; Super homotopy; Postlude; Bibliography. (MEMO/205/963)

The Markoff and Lagrange Spectra

This book is directed at mathematicians interested in Diophantine approximation and the theory of quadratic forms and the relationship of these subjects to Markoff and Lagrange spectra. The authors have gathered and systemized numerous results from the diverse and scattered literature, much of which has appeared in rather inaccessible Russian publications. Readers will find a comprehensive overview of the theory of the Markoff and La...

Singularity Theory for Non-Twist Kam Tori

In this monograph the authors introduce a new method to study bifurcations of KAM tori with fixed Diophantine frequency in parameter-dependent Hamiltonian systems. It is based on Singularity Theory of critical points of a real-valued function which the authors call the potential. The potential is constructed in such a way that: nondegenerate critical points of the potential correspond to twist invariant tori (i.e. with nondegenerate ...

The Shape of Congruence Lattices

This monograph is concerned with the relationships between Maltsev conditions, commutator theories and the shapes of congruence lattices in varieties of algebras. The authors develop the theories of the strong commutator, the rectangular commutator, the strong rectangular commutator, as well as a solvability theory for the nonmodular TC commutator. They prove that a residually small variety that satisfies a congruence identity is con...

The Geometry of Heisenberg Groups

The three-dimensional Heisenberg group, being a quite simple non-commutative Lie group, appears prominently in various applications of mathematics. The goal of this book is to present basic geometric and algebraic properties of the Heisenberg group and its relation to other important mathematical structures (the skew field of quaternions, symplectic structures, and representations) and to describe some of its applications. In particu...

Algebraic Design Theory

Combinatorial design theory is a source of simply stated, concrete, yet difficult discrete problems, with the Hadamard conjecture being a prime example. It has become clear that many of these problems are essentially algebraic in nature. This book provides a unified vision of the algebraic themes which have developed so far in design theory. These include the applications in design theory of matrix algebra, the automorphism group and...

Pseudo-Differential Operators With Discontinuous Symbols: Widom's Conjecture

Relying on the known two-term quasiclassical asymptotic formula for the trace of the function f(A) of a Wiener-Hopf type operator A in dimension one, in 1982 H. Widom conjectured a multi-dimensional generalisation of that formula for a pseudo-differential operator A with a symbol a(x,?) having jump discontinuities in both variables. In 1990 he proved the conjecture for the special case when the jump in any of the two variables occurs...