Related papers: Some quadratic equations in the free group of rank…

The equaliser of a set of homomorphisms $S: F(a, b)\rightarrow F(\Delta)$ has rank at most two if $S$ contains an injective map, and is not finitely generated otherwise. This proves a strong form of Stallings' Equaliser Conjecture for the…

We prove that the problems of deciding whether a quadratic equation over a free group has a solution is NP-complete.

In this work we present a new polynomial map $f:=(f_1,f_2):{\mathbb R}^2\to{\mathbb R}^2$ whose image is the open quadrant $\{x>0,y>0\}\subset{\mathbb R}^2$. The proof of this fact involves arguments of topological nature that avoid hard…

We show that the following problems are decidable in a rank 2 free group F_2: does a given finitely generated subgroup H contain primitive elements? and does H meet the orbit of a given word u under the action of G, the group of…

For all $k \ge 2$, we show that there exists a group $G$ and a non-free stably free $\mathbb{Z} G$-module of rank $k$. We use this to show that, for all $k \ge 2$, there exist homotopically distinct finite $2$-complexes with fundamental…

Let $F$ be a finitely generated free group. We present an algorithm such that, given a subgroup $H\leqslant F$, decides whether $H$ is the fixed subgroup of some family of automorphisms, or family of endomorphisms of $F$ and, in the…

In this paper we consider maps on the plane which are similar to quadratic maps in that they are degree 2 branched covers of the plane. In fact, consider for $\alpha$ fixed, maps $f_c$ which have the following form (in polar coordinates):…

Let $G$ be the semidirect product $\Gamma \rtimes F_2$ where $\Gamma$ is either the free group $F_n$, $n > 1$ or the fundamental group $S_g$ of a closed surface of genus $g > 1$. We prove that $G$ is incoherent, solving two problems posed…

We study solutions of a homogeneous quadratic equation $q(x_0,\dots, x_n)=0$, defined over a field $K$, where the $x_i$ are themselves homogeneous polynomials of some degree $d$ in $r+1$ variables. Equivalently, we are looking at rational…

For $g\geq1$ denote by $F_{2g}=\langle x_1, y_1,\dots,x_g,y_g\rangle$ the free group on $2g$ generators and by $B_g=[x_1,y_1]\dots[x_g,y_g]$. For $l,c\geq 1$ and elements $w_1,\dots,w_l\in F_{2g}$ we study orientable quadratic equations of…

We investigate the geometry of a family of equations in two dimensions which interpolate between the Euler equations of ideal hydrodynamics and the inviscid surface quasi-geostrophic equation. This family can be realised as geodesic…

Let K be a field of any characteristic and let R be an algebra generated by two elements satisfying quadratic equations. Then R is a homomorphic image of F=K<x,y | x^2+ax+b=0,y^2+cy+d=0> for suitable a,b,c,d in K. We establish that F can be…

We present a construction that yields infinite families of non-isomorphic semidirect products $N \rtimes F_m$ sharing a specified profinite completion. Within each family, $m \ge 2$ is constant and $N$ is a fixed group. For $m=2$ we can…

Let $f_\theta(z)=e^{2\pi i\theta}z+z^2$ be the quadratic polynomial having an indifferent fixed point at the origin. For any bounded type irrational number $\theta\in\mathbb{R}\setminus\mathbb{Q}$ and any rational number $\nu\in\mathbb{Q}$,…

The notion of quadratic maps between arbitrary groups appeared at several places in the literature on quadratic algebra. Here a unified extensive treatment of their properties is given; the relation with a relative version of Passi's…

Let $F$ be a free group of finite rank. We say that the monomorphism problem in $F$ is decidable if for any two elements $u$ and $v$ in $F$, there is an algorithm that determines whether there exists a monomorphism of $F$ that sends $u$ to…

The problem of finding perfect Euler cuboids or proving their non-existence is an old unsolved problem in mathematics. The second cuboid conjecture is one of the three propositions suggested as intermediate stages in proving the…

Exponential equations in free groups were studied initially by Lyndon and Schutzenberger and then by Comerford and Edmunds. Comerford and Edmunds showed that the problem of determining whether or not the class of quadratic exponential…

We show that the conjugacy problem is solvable in [finitely generated free]-by-cyclic groups, by using a result of O. Maslakova that one can algorithmically find generating sets for the fixed subgroups of free group automorphisms, and one…

Given a pair of elliptic curves $E_1,E_2$ over a field $k$, we have a natural map $\text{CH}^1(E_1)_0\otimes\text{CH}^1(E_2)_0\to\text{CH}^2(E_1\times E_2)$, and a conjecture due to Beilinson predicts that the image of this map is finite…