Related papers: Reconstructing Structures with the Strong Small In…
Let $\mathscr{S}$ be the class of all structures whose growth rate on orbits of subsets of size $n$ is not faster than $\frac{2^n}{p(n)}$ for any polynomial $p$. In this article we give a complete classification of all structures in…
We show that the automorphism group of affine n-space $A^n$ determines $A^n$ up to isomorphism: If $X$ is a connected affine variety such that $Aut(X)$ is isomorphic to $Aut(A^n)$ as ind-groups, then $X$ is isomorphic to $A^n$ as a variety.…
We show that if a field k contains sufficiently many elements(for instance, if k is infinite), and K is an algebraically closed field containing k, then every linear algebraic k-group over K is k-isomorphic to Aut(A\otimes_kK), where A is a…
Generalizing the $\omega$-categorical context, we introduce a notion, which we call the Lascar Property, that allows for a fine analysis of the topological isomorphisms between automorphism groups of countable structures satisfying this…
Adapting a result of Bazhenov, Kalimullin, and Yamaleev, we show that if a Turing degree $\textbf{d}$ is the degree of categoricity of a computable structure $\mathcal{M}$ and is not the strong degree of categoricity of any computable…
This paper proves a commutative algebraic extension of a generalized Skolem-Mahler-Lech theorem due to the first author. Let $A$ be a finitely generated commutative $K$-algebra over a field of characteristic $0$, and let $\sigma$ be a…
In \cite[Section 5, p.32]{Arnold-1998}, Arnold writes: "Classification of singularities of curves can be interpreted in dual terms as a description of 'co-artin' subalgebras of finite co-dimension in the algebra of formal series in a single…
A countable graph is ultrahomogeneous if every isomorphism between finite induced subgraphs can be extended to an automorphism. Woodrow and Lachlan showed that there are essentially four types of such countably infinite graphs: the random…
We investigate the possible structures imposed on a finite group by its possession of an automorphism sending a large fraction of the group elements to their cubes, the philosophy being that this should force the group to be, in some sense,…
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 sufficient condition on a finite $p$-group $G$ of nilpotency class 2 so that $\Aut_c(G) = \Inn(G)$, where $\Aut_c(G)$ and $\Inn(G)$ denote the group of all class preserving automorphisms and inner automorphisms of $G$…
An irreducible algebraic variety $X$ is rigid if it admits no nontrivial action of the additive group of the ground field. We prove that the automorphism group $\text{Aut}(X)$ of a rigid affine variety contains a unique maximal torus…
Let $X$ be a variety of dimension $n$, and let $\mathrm{Aut}(X)$ be its automorphism group. When $X$ is quasi-affine, we prove that a solvable subgroup of $\mathrm{Aut}(X)$ that is generated by an irreducible family of automorphisms…
If an automorphism f of a structure M is such that fix(f^k) = fix(f) for all positive k, then M|fix(f) is a substructure of M. The possible isomorphism types of such M|fix(f) are characterized when M is countable and arithmetically…
Let $G$ be a topological group and let $\mu$ be the Lebesgue measure on the interval $[0,1]$. We let $L_0(G)$ to be the topological group of all $\mu$-equivalence classes of $\mu$-measurable functions defined on [0,1] with values in $G$,…
This research was motivated by universal algebraic geometry. One of the central questions of universal algebraic geometry is: when two algebras have the same algebraic geometry? For answer of this question (see [Pl],[Ts]) we must consider…
We study II_1 factors M and N associated with good generalized Bernoulli actions of groups having an infinite almost normal subgroup with the relative property (T). We prove the following rigidity result: every finite index M-N-bimodule (in…
For a real, non-singular, 2-step nilpotent Lie algebra $\mathfrak{n}$, the group \Aut(\mathfrak{n})/\Aut_0(\mathfrak{n})$, where $\Aut_0(\mathfrak{n})$ is the group of automorphisms which act trivially on the center, is the direct product…
We prove that for a suitably nice class of random substitutions, their corresponding subshifts have automorphism groups that contain an infinite simple subgroup and a copy of the automorphism group of a full shift. Hence, they are…
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…