相关论文: Polynomial Trace Identities in $SL(2,{\bf C})$, Qu…

Using the rings of Lipschitz and Hurwitz integers $\mathbb{H}(\mathbb{Z})$ and $\mathbb{H}ur(\mathbb{Z})$ in the quaternion division algebra $\mathbb{H}$, we define several Kleinian discrete subgroups of $PSL(2,\mathbb{H})$

Let SL(2, $\mathbb H$) be the group of $2 \times 2$ quaternionic matrices $A=\begin{pmatrix} a & b \\ c & d \end{pmatrix}$ with quaternionic determinant $\det A=|ad-aca^{-1} b|=1$. This group acts by the orientation-preserving isometries of…

Let $L$ be the language of rings. We provide an axiomatization of the $L$-theories of quaternions and octonions and characterize their models: they coincide, up to isomorphism, with quaternion and octonion algebras over a real closed field,…

We develop further the theory of $q$-deformations of real numbers introduced by Morier-Genoud and Ovsienko, and focus in particular on the class of real quadratic irrationals. Our key tool is a $q$-deformation of the modular group…

Let $G$ be a non-elementary discrete subgroup of $\mathrm{Sp}(2,1)$. We show that if the sum of diagonal entries of each element of $G$ is a complex number, then $G$ is conjugate to a subgroup of $\mathrm{U}(2,1)$.

We show that all spin groups of non-definite, quinary quadratic forms over a field with characteristic 0 can be represented as 2 by 2 matrices with entries in an associated quaternion algebra. Over local and global fields, we further study…

There are certain families of words and word sequences (words in the generators of a two-generator group) that arise frequently in the Teichm{\"u}ller theory of hyperbolic three-manifolds and Kleinian and Fuchsian groups and in the…

The principal character of a representation of the free group of rank two into PSL(2, C) is a triple of complex numbers that determines an irreducible representation uniquely up to conjugacy. It is a central problem in the geometry of…

This work provides explicit characterizations and formulae for the minimal polynomials of a wide variety of structured $4\times 4$ matrices. These include symmetric, Hamiltonian and orthogonal matrices. Applications such as the complete…

Constructive algorithms, requiring no more than $2\times 2$ matrix manipulations, are provided for finding the entries of the positive definite factor in the polar decomposition of matrices in sixteen groups preserving a bilinear form in…

In this paper, we prove a generalization of a discreteness criteria for a large class of subgroups of PSL$_2(\mathbb{C})$. In particular, we show that for a given finitely generated, purely loxodromic, free Kleinian group…

Let $p$ be a prime and $a$ a quadratic non-residue $\bmod p$. Then the set of integral solutions of the diophantine equation $x_0^2 - ax_1^2 -px_2^2 + apx_3^2=1$ form a cocompact discrete subgroup $\Gamma_{p,a}\subset SL(2,\mathbb{R})$ and…

Let S be a basic closed semi-algebraic set in R^n and P the corresponding preordering in R[X_1,...,X_n]. We examine for which polynomials f there exist identities f+\ep q \in P for all \ep>0. These are precisely the elements of the…

We generalize an algorithm established in earlier work \cite{algebrapaper} to compute finitely many generators for a subgroup of finite index of an arithmetic group acting properly discontinuously on hyperbolic space of dimension $2$ and…

We consider non-elementary representations of two generator free groups in $PSL(2,\mathbb{C})$, not necessarily discrete or free, $G = < A, B >$. A word in $A$ and $B$, $W(A,B)$, is a palindrome if it reads the same forwards and backwards.…

Suppose that $A,B \in {\rm PSL}(2,\mathbb{R})$ generate a discrete and free group of rank 2, and let $m,n\ge 1$. We consider subgroups $\langle R,S\rangle$ of ${\rm PSL}(2,\mathbb{R})$ generated by roots of $A$ and $B$, i.e., by elements…

Quaternionic automorphic representations are one attempt to generalize to other groups the special place holomorphic modular forms have among automorphic representations of $\mathrm{GL}_2$. Here, we use "hyperendoscopy" techniques to…

We introduce the first provably efficient algorithm to check if a finitely generated subgroup of an almost simple semi-simple group over the rationals is Zariski-dense. We reduce this question to one of computing Galois groups, and to this…

We prove a higher dimensional generalization of Gross and Zagier's theorem on the factorization of differences of singular moduli. Their result is proved by giving a counting formula for the number of isomorphisms between elliptic curves…

We show that the Identity Problem is decidable in polynomial time for finitely generated sub-semigroups of the group $\mathsf{UT}(4, \mathbb{Z})$ of $4 \times 4$ unitriangular integer matrices. As a byproduct of our proof, we also show the…