Related papers: Trace Minimization and Roots in ${\rm PSL}(2,\math…
A completion of an m-by-n matrix A with entries in {0,1,*} is obtained by setting all *-entries to constants 0 or 1. A system of semi-linear equations over GF(2) has the form Mx=f(x), where M is a completion of A and f:{0,1}^n --> {0,1}^m…
We prove a factorization theorem for Fuchsian groups similar to those proved by Agol and Liu for 3-manifold groups. As an application, we build Makanin-Razborov diagrams, which parametrize the collection of all discrete representations from…
In this paper we obtained the formula for the number of irreducible polynomials with degree $n$ over finite fields of characteristic two with given trace and subtrace. This formula is a generalization of the result of Cattell et al.(2003)…
This paper has two parts, on Baumslag-Solitar groups and on general G-trees. In the first part we establish bounds for stable commutator length (scl) in Baumslag-Solitar groups. For a certain class of elements, we further show that scl is…
Given $F= \mathbb{F}_{p^{t}}$, a field with $p^t$ elements, where $p $ is a prime power, $t\geq 7$, $n$ are positive integers and $f=f_1/f_2$ is a rational function, where $f_1, f_2$ are relatively prime, irreducible polynomials with…
For positive integers $u$ and $v$, let $L_u=\begin{bmatrix} 1 & 0 \\ u & 1 \end{bmatrix}$ and $R_v=\begin{bmatrix} 1 & v \\ 0 & 1 \end{bmatrix}$. Let $S_{u,v}$ be the monoid generated by $L_u$ and $R_v$, and $G_{u,v}$ be the group generated…
Let $R$ be a commutative local uniserial ring of length $n$, $p$ a generator of the maximal ideal, and $k$ the radical factor field. The pairs $(B,A)$ where $B$ is a finitely generated $R$-module and $A\subset B$ a submodule of $B$ such…
We introduce a model of random f.g., torsion-free, $2$-step nilpotent groups (in short, $\tau_2$-groups). To do so, we show that these are precisely the groups that admit a presentation of the form $ \label{tau2pres_0}\langle A, C \mid…
Let \sigma be an automorphism of a commutative k-algebra R. The skew polynomial ring R[t;\sigma] is generated by R and an indeterminate t subject to the relations ta=\sigma(a)t for all a in R. For certain R and appropriate \sigma there are…
In the Coxeter group W(R) generated by the root system R, let T(R) be the number of conjugacy classes having no eigenvalue 1 and let S(R) be the number of conjugacy classes having no eigenvalue -1. The algebra H{R) of observables of the…
The discreteness problem for finitely generated subgroups of $PSL(2,\mathbb{R})$ and $PSL(2,\mathbb{C})$ is a long-standing open problem. In this paper we consider whether or not this problem is decidable by an algorithm. Our main result is…
Let $\mathcal{S}$ be the set of all positive-definite, symmetrizable integer matrices with non-zero upper and lower diagonal and $\mathcal{T}$ to be the set of all positive-definite real symmetric matrices with nonzero upper diagonal such…
Let $T$ be a maximal torus of ${\rm PSL}(n, \mathbb C)$. For $n\,\geq\, 4$, we construct a smooth compactification of ${\rm PSL}(n, \mathbb C)/T$ as a geometric invariant theoretic quotient of the wonderful compactification $\overline{{\rm…
In this paper, we extend the class of admissible functions for the trace formula of the second order in the self-adjoint, unitary, and contraction cases for a perturbation in the Hilbert-Schmidt class $\mathcal{S}^2(\mathcal{H})$ by…
The article focuses on a class of second countable groups assembled from profinite and discrete by elementary operations. We focus on a rank associated with these groups that measure their complexity, the decomposition rank. A collection of…
We give a complete list of orbifolds uniformised by discrete non-elementary two-generator subgroups of PSL(2,C) without invariant plane whose generators and their commutator have real traces.
For x,y in R (where R denotes the real numbers) and f in L^2(R), define (x,y)f(t) = e^{2 pi i yt}f(t+x) and if L is a subset of R^2, define S(f,L) = {(x,y)f | (x,y) in L}. It has been conjectured that if f is not 0, then S(f,L) is linearly…
We show that an element w of a free group F on n generators defines a surjective word map of PSL(2,C)^n onto PSL(2,C) unless w belongs to the second derived subgroup of F. We also describe certain words maps that are surjective on SL(2,C) x…
We associate a root system to a finite set in a free abelian group and prove that its irreducible subsystem is of type A, B or D. We apply this general result to a torus manifold, where a torus manifold is a $2n$-dimensional connected…
A graph is called Rank-Ramsey if (i) Its clique number is small, and (ii) The adjacency matrix of its complement has small rank. We initiate a systematic study of such graphs. Our main motivation is that their constructions, as well as…