Related papers: Changing the Heights of Automorphism Towers by For…
We describe maximal commutative unipotent subgroups of the automorphism group $\mathrm{Aut}(X)$ of an irreducible affine variety $X$. Further we show that a group isomorphism $\mathrm{Aut}(X) \to \mathrm{Aut}(Y)$ maps unipotent elements to…
For suitable groups G we will show that one can add a Boolean algebra B by forcing in such a way that Aut(B) is almost isomorphic to G. In particular, we will give a positive answer to the following question due to J.Roitman: Is…
We prove sharp limit theorems on random walks on graphs with values in finite groups. We then apply these results (together with some elementary algebraic geometry, number theory, and representation theory) to finite quotients of lattices…
The class of evolving groups is defined and investigated, as well as their connections to examples in the field of Galois cohomology. Evolving groups are proved to be Sylow Tower groups in a rather strong sense. In addition, evolving groups…
We prove that a "random" free group outer automorphism is an ageometric fully irreducible outer automorphism whose ideal Whitehead graph is a union of triangles. In particular, we show that its attracting (and repelling) tree is a…
Starting with a supersymmetric U(N)xU(N) gauge theory built in N=1 superspace, a nonsupersymmetric theory is obtained by ``twisting'' the gauginos into a different representation of the group than the gauge bosons. Despite the fact that…
We show: There are pairs of universes V_1 subseteq V_2 and there is a notion of forcing P in V_1 such that the change mentioned in the title occurs when going from V_1[G] to V_2[G] for a P-generic filter G over V_2. We use forcing…
We present a systematic study of the method of "norms on possibilities" of building forcing notions with keeping their properties under full control. This technique allows us to answer several open problems, but on our way to get the…
This paper further develops the theory of arbitrary semigroups acting on trees via elliptic mappings. A key tool is the Lyndon-Chiswell length function L for the semigroup S which allows one to construct a tree T and an action of S on T via…
We study the interplay between properties of measures on a Boolean algebra A and forcing names for ultrafilters on A. We show that several well known measure theoretic properties of Boolean algebras (such as supporting a strictly positive…
We give a characterisation of quantum automorphism groups of trees. In particular, for every tree, we show how to iteratively construct its quantum automorphism group using free products and free wreath products. This can be considered a…
We establish a structure theorem for the connected automorphism groups of smooth complete toroidal horospherical varieties, that is, toric fibrations over rational homogeneous spaces. The key ingredient is a characterization of the Demazure…
We investigate families of graphs and graphons (graph limits) that are defined by a finite number of prescribed subgraph densities. Our main focus is the case when the family contains only one element, i.e., a unique structure is forced by…
If totally periodic points are dense in a subshift $X$, its automorphism group is residually finite. We show a weak converse: if periodic points are not dense in a subshift $X$, then the automorphism group of $X \times Y$ is not residually…
We show how the $S$-matrix of an extended theory of gravity defined by its three-point amplitudes can be constructed by demanding factorisation. The resultant $S$-matrix has tree amplitudes obeying the same soft singularity theorems as…
Firstly, we prove that every closed subgroup $H$ of type-preserving automorphisms of a locally finite thick affine building $\Delta$ of dimension $\geq 2$ that acts strongly transitively on $\Delta$ is Moufang. If moreover $\Delta$ is…
We investigate the universality of multi-spin systems in architectures of various symmetries of coupling type and topology. Explicit reachability sets under symmetry constraints are provided. Thus for a given (possibly symmetric)…
Given a homeomorphism $T \colon X \to X$ of a compact metric space $X$, the stabilized automorphism group $\textrm{Aut}^{\infty}(T)$ of the system $(X,T)$ is the group of self-homeomorphisms of $X$ which commute with some power of $T$. We…
We give a counterexample to the following conjecture: the set of isolated periodic points of an automorphism of degree at least two on an affine space is a set of bounded height. As a positive result, we prove that any cohomologically…
We give a way to construct group of pseudo-automorphisms of rational varieties of any dimension that fix pointwise the image of a cubic hypersurface of $P^n. These group are free products of involutions, and most of their elements have…