Related papers: Universal sequences for the order-automorphisms of…

Orbit-finite models of computation generalise the standard models of computation, to allow computation over infinite objects that are finite up to symmetries on atoms, denoted by $\mathbb{A}$. Set theory with atoms is used to reason about…

Let $K$ be a field, and let $\Aut \,K^2$ be the group of polynomial automorphisms of $K^2$. If $K$ is infinite, this group is nonlinear. Moreover it contains nonlinear FG subgroups when $\ch\,K=0$. On the opposite, it contains some linear…

Given a regular covering map $\varphi:\Lambda \to \Gamma$ of graphs, we investigate the subgroup $\operatorname{LAut}(\varphi)$ of the automorphism group $\operatorname{Aut}(A_\Gamma)$ of the right-angled Artin group $A_\Gamma$. This…

Let $k$ be an algebraically closed field, $G$ a linear algebraic group over $k$ and $\varphi\in Aut(G)$, the group of all algebraic group automorphisms of $G$. Two elements $x, y$ of $G$ are said to be $\varphi$-twisted conjugate if…

We consider homogeneous varieties of linear algebras over an associative-commutative ring K with 1, i.e., the varieties in which free algebras are graded. Let F be a free algebra of some variety A of linear algebras over K freely generated…

We prove that the group of automorphisms of the Lie algebra $\Der_K (Q_n)$ of derivations of the field of rational functions $Q_n=K(x_1,..., x_n)$ over a field of characteristic zero is canonically isomorphic to the group of automorphisms…

We prove analogs of A.~Selberg's result for finitely generated subgroups of $\text{Aut}(A)$ and of Engel's theorem for subalgebras of $\text{Der}(A)$ for a finitely generated associative commutative algebra $A$ over an associative…

Let $X$ be a (projective, geometrically irreducible, nonsingular) algebraic curve of genus $g \ge 2$ defined over an algebraically closed field $K$ of odd characteristic $p$. Let $Aut(X)$ be the group of all automorphisms of $X$ which fix…

Automorphisms of the quantum Schubert cell algebras ${\mathcal U}_q^\pm[w]$ of De Concini, Kac, Procesi and Lusztig and their restrictions to some key invariant subalgebras are studied. We develop some general rigidity results and apply…

We complete the classification of quantum subgroups of $SL_q(2)$ with $q$ a root of unity of arbitrary order, that is, Hopf algebra quotients of the quantum function algebras $\mathcal{O}_{q} (SL_2(\mathbb{C}))$.

We study the group of automorphisms of Shimura curves $X_0(D, N)$ attached to an Eichler order of square-free level $N$ in an indefinite rational quaternion algebra of discriminant $D>1$. We prove that, when the genus $g$ of the curve is…

For a locally compact group G and a compact subgroup K, the corresponding Hecke algebra consists of all continuous compactly supported complex functions on G that are K-bi-invariant. There are many examples of totally disconnected locally…

Let $k$ be an algebraically-closed field, and $B$ a unital, associative $k$-algebra with $n := \dim_kB < \infty$. For each $1 \le m \le n$, the collection of all $m$-dimensional subalgebras of $B$ carries the structure of a projective…

It is a theorem of Artin, Tits et al. that a finite simple group is determined by its order, with the exception of the groups (A_3(2), A_2(4)) and (B_n(q), C_n(q)) for n > 2, q odd. We investigate the situation for finite semisimple groups…

Fix an equilateral triangle group $T_i=\langle a, b; a^i, b^i, (ab)^i\rangle$ with $i\geq6$ arbitrary. Our main result is: for every presentation $\mathcal{P}$ of every countable group $Q$ there exists an HNN-extension $T_{\mathcal{P}}$ of…

Let $F_n$ be the free group of rank $n$, and let $\rho_{ab}:\mathrm{Aut}(F_n)\to \mathrm{GL}_n(\mathbb Z)$ be the map induced by the natural projection $F_n\to\mathbb Z^n$. It is a long-standing open problem whether the subgroup of…

We show that for any integer $N$, there are only finitely many cuspidal algebraic automorphic representations of ${\rm GL}_n$ over $\mathbb{Q}$, with $n$ varying, whose conductor is $N$ and whose weights are in the interval…

We explore countable ordered Archimedean groups from the point of view of descriptive set theory. We introduce the space of Archimedean left-orderings $\mathrm{Ar}(G)$ for a given countable group $G$, and prove that the equivalence relation…

We consider the Macdonald group $\langle x,y\,|\, x^{[x,y]}=x^{1+2^m\ell},\, y^{[y,x]}=y^{1+2^m\ell}\rangle$ and its Sylow 2-subgroup $J=\langle x,y\,|\, x^{[x,y]}=x^{1+2^m\ell},\, y^{[y,x]}=y^{1+2^m\ell},…

We define a simple criterion for a homogeneous, complete metric structure $X$ that implies that the automorphism group $\mbox{Aut}(X)$ satisfies all the main consequences of the existence of ample generics: it has the small index property,…