Related papers: Isometries of the quaternionic hyperbolic line
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})$
We propose a geometric explanation for the observation that generic quadratic polynomials over split quaternions may have up to six different factorizations while generic polynomials over Hamiltonian quaternions only have two. Split…
A unifying overview of the ways to parameterize the linear group GL(4.C) and its subgroups is given. As parameters for this group there are taken 16 coefficients G = G(A,B,A_{k}, B_{k}, F_{kl}) in resolving matrix G in terms of 16 basic…
Let $A$ be a ring with $1\neq 0$, not necessarily finite, endowed with an involution~$*$, that is, an anti-automorphism of order $\leq 2$. Let $H_n(A)$ be the additive group of all $n\times n$ hermitian matrices over $A$ relative to $*$.…
We characterize positive definiteness for some family of matrices. As an application we derive explicit value of the quadratic embedding constants of the path graphs.
In this short note we use the presentations found in \cite{MP} and \cite{Po} to show that the Picard modular groups ${\rm PU}(2,1,\mathcal{O}_d)$ with $d=1,3,7$ (respectively the quaternion hyperbolic lattice ${\rm PSp}(2,1,\mathcal{H})$…
Let $\mathcal{M}(n,m;\F \bp^n)$ be the configuration space of $m$-tuples of pairwise distinct points in $\F \bp^n$, that is, the quotient of the set of $m$-tuples of pairwise distinct points in $\F \bp^n$ with respect to the diagonal action…
We provide a concrete criterion to determine whether or not two given elements of PU(2,1) can be written as products of real reflections, with one reflection in common. As an application, we show that the Picard modular groups ${\rm…
A real univariate polynomial of degree $n$ is called hyperbolic if all of its $n$ roots are on the real line. Such polynomials appear quite naturally in different applications, for example, in combinatorics and optimization. The focus of…
In this work, we describe the moduli of triples of points in quaternionic projective space which define uniquely the congruence classes of such triples relative to the action of the isometry group of quaternionic hyperbolic space ${\rm…
The problem of expressing a specific polynomial as the determinant of a square matrix of affine-linear forms arises from algebraic geometry, optimisation, complexity theory, and scientific computing. Motivated by recent developments in this…
It is known that the groups of Euclidean rotations in dimension 3 (isometries of $S^2$), general Lorentz transformations in dimension 4 (Hyperbolic isometries in dimension 3), and screw motions in dimension 3 can be represented by the…
In this paper, we give several matrix representations for the Horadam quaternions. We derive several identities related to these quaternions by using the matrix method. Since quaternion multiplication is not commutative, some of our results…
We study representations $G\to H$ where $G$ is either a simple Lie group with real rank at least 2 or an infinite dimensional orthogonal group of some quadratic form of finite index at least 2 and $H$ is such an orthogonal group as well.…
We classify the automorphic representations (over number fields) and the irreducible admissible representations (over local fields) of unitary groups which are not quasi-split, under the assumption that the same is known for quasi-split…
We discuss the relationship between quaternion algebras and quadratic forms with a focus on computational aspects. Our basic motivating problem is to determine if a given algebra of rank 4 over a commutative ring R embeds in the 2x2-matrix…
We compute quaisideterminants and determinants of quaternionic matrices
In this paper, hyperbolic k-Fibonacci quaternions are defined. Also, some algebraic properties of hyperbolic k-Fibonacci quaternions which are connected with hyperbolic numbers and k-Fibonacci numbers are investigated. Furthermore,…
We consider three families of groups: the Bianchi groups SL(2,O) where O is the ring of integers of an imaginary, quadratic field; the groups SL*(2,O) where O is a *-order of a definite, rational quaternion algebra with an orthogonal…
Let $L$ be a separable quadratic extension of either $\mathbb{Q}$ or $\mathbb{F}_q(t)$. We propose efficient algorithms for finding isomorphisms between quaternion algebras over $L$. Our techniques are based on computing maximal one-sided…