Related papers: Type-amalgamation properties and polygroupoids in …

We consider algebras over a field K defined by a presentation K <x_1,..., x_n : R >, where $R$ consists of n choose 2 square-free relations of the form x_i x_j = x_k x_l with every monomial x_i x_j, i different from j, appearing in one of…

There is an axiomatic treatment of Morley rank in groups, due to Borovik and Poizat. These axioms form the basis of the algebraic treatment of groups of finite Morley rank which is common today. There are, however, ranked structures, i.e.…

Let M be an o-minimal structure with elimination of imaginaries, N an unstable structure definable in M. Then there exists X, interpretable in N, such that X with all the structure induced from N is o-minimal. In particular X is linearly…

Several structural results about permutation groups of finite rank definable in differentially closed fields of characteristic zero (and other similar theories) are obtained. In particular, it is shown that every finite rank definably…

We develop a theory of higher order structures in compact abelian groups. In the frame of this theory we prove general inverse theorems and regularity lemmas for Gowers's uniformity norms. We put forward an algebraic interpretation of the…

This is the second of two papers treating faithful actions of simple algebraic groups on irreducible modules and on the associated Grassmannian varieties; in the first paper we considered the module itself and its projective space, while…

We prove group existence and structure theorems in a general setting of tame topological theories. More precisely, we identify a linear/non-linear dividing line -- called topological 1-basedness -- among the class of t-minimal theories with…

A class of dynamical models of turbulence living on a one-dimensional dyadic-tree structure is introduced and studied. The models are obtained as a natural generalization of the popular GOY shell model of turbulence. These models are found…

We define a new class of sets -- stable sets -- of primes in number fields. For example, Chebotarev sets $P_{M/K}(\sigma)$, with $M/K$ Galois and $\sigma \in \Gal(M/K)$, are very often stable. These sets have positive (but arbitrary small)…

We introduce the universal Euler characteristic of orbit space definable groupoids, a class of groupoids containing cocompact proper Lie groupoids as well as translation groupoids associated to proper definable group actions. We show that…

We apply Nevanlinna theory for algebraic varieties to Danielewski surfaces and investigate their group of holomorphic automorphisms. Our main result states that the overshear group which is known to be dense in the identity component of the…

We consider three forms of composition of matroids, each of which extends the category of bimatroids to a rigid monoidal category. Many well-known constructions are functorial or defined by morphisms in these categories. Motivating examples…

We prove a homological stability theorem for families of discrete groups (e.g. mapping class groups, automorphism groups of free groups, braid groups) with coefficients in a sequence of irreducible algebraic representations of arithmetic…

We identify a number of decidable and undecidable fragments of first-order concatenation theory. We also give a purely universal axiomatization which is complete for the fragments we identify. Furthermore, we prove some normal-form results.

We introduce a class of inverse monoids, called Tarski monoids, that can be regarded as non-commutative generalizations of the unique countable, atomless Boolean algebra. These inverse monoids are related to a class of etale topological…

Let $H$ be a group and $E$ a set such that $H \subseteq E$. We shall describe and classify up to an isomorphism of groups that stabilizes $H$ the set of all group structures that can be defined on $E$ such that $H$ is a subgroup of $E$. A…

The orthogonal groups are a series of simple Lie groups associated to symmetric bilinear forms. There is no analogous series associated to symmetric trilinear forms. We introduce an infinite dimensional group-like object that can be viewed…

In this paper, we prove several stability theorems for multiplicities of naturally defined representations of symmetric groups. The first such theorem states that if we consider the diagonal action of the symmetric group $S_{m+r}$ on $k$…

Given a fibration over the circle, we relate the eigenspace decomposition of the algebraic monodromy, the homological finiteness properties of the fiber, and the formality properties of the total space. In the process, we prove a more…

We study the model theory of vector spaces with a bilinear form over a fixed field. For finite fields this can be, and has been, done in the classical framework of full first-order logic. For infinite fields we need different logical…