# Questions tagged [quaternions]

The quaternions tag has no usage guidance.

103
questions

**1**

vote

**1**answer

217 views

### Are there algorithms for deciding or solving conjugacy in integer quaternion rings?

I am doing some research on the quaternions and their role in Non-commutative cryptography. I have found a number of articles, but it is still unclear to me if there is a known solution to the ...

**0**

votes

**1**answer

149 views

### Conjugacy in the quaternion group

Let $G$ be a non-commutative group, and suppose we are given two elements $x, y \in G$ which are conjugate, i.e. we know there exists some $z \in G$ such that $zxz^{-1} = y$. Can we find $z$ given $x$ ...

**7**

votes

**2**answers

410 views

### What other lattices are obtainable from this noncommutative ring?

Here I will regard $SU(2)$ as the multiplicative group of unit quaternions.
There are just three conjugacy classes of finite subgroups $G < SU(2)$ where $[G:C] > 2$ for all cyclic subgroups $...

**4**

votes

**2**answers

485 views

### Principled construction of the quaternions

Is there a construction of the quaternions that doesn't proceed through generators and relations, and which makes the connection with 3D rotations clear?
I'm not happy with Clifford Algebra as an ...

**8**

votes

**1**answer

521 views

### Representing a number as a sum of four squares and factorization

Rabin and Shallit have a randomized polynomial-time algorithm to express an integer $n$ as a sum of four squares $n=a^2+b^2+c^2+d^2$ (in time $\log(n)^2$ assuming the Extended Riemann Hypothesis).
I'...

**6**

votes

**1**answer

253 views

### Idempotent functions on Sp(1)

The quaternion group $Sp(1)\simeq S^3$ can be understood as $(z,w)\in\mathbb {C}^2$ with $|z|^2+|w|^2=1$ where multiplication is defined by $(z,w)(t,s)=(zt-\bar{s}w,zs+\bar{t}w)$.
Question: How do ...

**3**

votes

**1**answer

203 views

### How many distinct quaternions have a given prime norm $p$?

I seem to recall that the answer is $p + 1$, but I'm not quite sure.

**2**

votes

**1**answer

214 views

### The name of special 16-dimensional hypercomplex number

Let's consider the following number:
$n = n_0 + n_1\textbf{i} + n_2\textbf{j} + n_3\textbf{k}$
Where $\{1,\textbf{i},\textbf{j},\textbf{k}\}\subset\mathbb{H}$ and in turn each component can be written ...

**3**

votes

**0**answers

57 views

### Flag variety over quaternions and its Hecke algebra

Consider cell decomposition of flag variety of $\mathbb{H}^{n}$ into orbits under the action of $B(\mathbb{H})$ - group of upper triangular matrices with coefficients in $\mathbb{H}$. I think cells ...

**6**

votes

**1**answer

446 views

### The Hilbert symbols of quaternion algebras over a totally real field

Let $k$ be a totally real number field. Every quaternion algebra $B$ over $k$ can be written as
$$B = \left(\frac{a,b}{k}\right), $$
for some constants $a,b \in k^\times$. My question is, can I always ...

**3**

votes

**1**answer

185 views

### Dimension of hermitian rank at most $k$ matrices over quaternions

In a (right) finite dimensional quaternionic Hilbert space there is an analogue of the spectral theorem (see theorem 4.6 in Farenick and Pidkowich) for normal matrices in $\mathbb{H}^{m\times m}$, ...

**6**

votes

**1**answer

155 views

### Conductor of quaternionic representation

Classical work by Casselman shows that for an irreducible admissible representation $\rho$ of $GL_2$ over a non-archimedean field $k$, there is a minimal power $n\geq 0$ of the prime ideal $\mathfrak{...

**3**

votes

**2**answers

250 views

### Quaternion holomorphic maps via certain elliptic operator instead of immediate generalization of complex differentiability

We identify $\mathbb{R}^4$ with the quaternions $\mathbb{H}=\{t=x+yi+zj+wk\mid x,y,z,w\in \mathbb{R}\}$. We define the differential operator $D$ on $C^{\infty}(\mathbb{R}^4)$, the space of smooth ...

**9**

votes

**1**answer

229 views

### Existence of certain endomorphism of supersingular elliptic curve

Let $E$ be a supersingular elliptic curve over an algebraically closed field $K$ of characteristic $p$. Let $R = \operatorname{End}(E)$ be its ring of endomorphisms. Then, it is known $R \otimes_{\...

**1**

vote

**0**answers

64 views

### Is it possible to prevent gimbal lock on a 2 axis gimble by adding a 3rd axis treating it as an “2d” quaternion? [closed]

If I have a 2 axis gimbal, that functions similar to a theodolite, that rotates the pitch and yaw axis. If I were to add an axis to make it a traditional gimbal, would I be able to prevent the gimbal-...

**5**

votes

**4**answers

500 views

### Solutions to the Diophantine equation $x^2+3y^2+3z^2=n$

For a fixed positive integer $n$, the Diophantine equation
$$x^2 + y^2 + z^2 = n$$
was studied by Gauss in Disquisitiones Arithmeticae. As is known, this equation is intimately connected to the ...

**1**

vote

**1**answer

109 views

### Name and Properties of Quaternions Related to 3D Differential Geometry

In 3D differential geometry there are canonical local coordinate systems associated with each point of sufficiently smooth curves and surfaces:
in the case of curves there are the Frenet frames $$\...

**2**

votes

**0**answers

331 views

### Symplectic group over finite field and quaternions

Symplectic group over finite field is defined as group preserving non-degenerate antisymmetric bilinear form on $\mathbb F_q^{2n}$. How could we define this group using quaternions ? This should be ...

**6**

votes

**1**answer

230 views

### Computing Tamagawa number of torus in Quaternion algebra

Consider a rational Quaternion algebra $M$ over $\mathbb{Q}$ that does not split at $\infty$. For example take the rational Hamilton quaternions $M=\mathbb{Q}(-1,-1)$.
For the adele ring $\mathbb{A}$ ...

**5**

votes

**2**answers

213 views

### Automorphic quotient for quaternion algebras

Are automorphic quotient for quaternion algebras always compact (safe the totally split case)?
Is there any good reference for proof of this fact, or easy arguments to say do?

**4**

votes

**1**answer

233 views

### Why is this mapping surjective?

It is mentioned in wikipedia that every single orthogonal $3 \times 3$ rational matrix is of the form
$$\dfrac{1}{m^2+n^2+p^2+q^2}\begin{pmatrix} m^2+n^2-p^2-q^2 & 2np-2mq & 2mp+2nq \\ 2mq+...

**4**

votes

**1**answer

255 views

### Inner forms of $GL(2)$

I know that inner forms of $GL(2)$ are quaternion algebras. However, I cannot find the proof myself.
First, since quaternion algebras are forms of $GL(2)$ by the usual embedding in matrices, they ...

**3**

votes

**1**answer

402 views

### English translation of M.-F. Vigneras “Arithmétique des algèbres de quaternions”

I am looking to understand a citation about the connection of quaternion algebra over number fields which when embedded into $\mathbb{C}$, leads to a discrete subgroup of $SL_2(\mathbb{C})$ which ...

**1**

vote

**1**answer

166 views

### Do these definitions of integrable quaternionic structure agree?

I have found two different definitions for integrable quaternionic structure in the literature, and I need to know if they agree with one another.
One definition that I have found (from Differential ...

**1**

vote

**0**answers

46 views

### Which hyperkaehler manifolds admit an atlas with affine overlap maps?

In order for the quaternionic structure on a hyperkahler manifold to take the canonical form
$$
J_1= \left[\begin{array}{cccc}
0 & -1 & 0 & 0 \\
1 & 0 & 0 & 0 \\
...

**3**

votes

**1**answer

183 views

### How does the concept of a hermitian metric generalize to a hyperkahler manifold?

A complex manifold admits an almost complex structure, $J$, which satisfies
$$
{J^i}_j{J^j}_k=-{\delta^i}_k,
$$
and a Hermitian metric, $g$, which satisfies
$$
g_{st}{J^s}_i{J^t}_j=g_{ij}. \tag{1}
$$...

**2**

votes

**0**answers

115 views

### Terminology: Almost hyper-Hermitian vs Almost hyper-Kähler vs

After non-thorough literature search, it seems to me that there is no consensus on the usage of the terminology "(almost) hyper-Hermitian" vs "almost hyper-Kähler" vs "almost quaternion-Hermitian" etc....

**2**

votes

**2**answers

134 views

### Matrix expression for elements of $\text{SO}_0(1,4)$

Denote by $\text{SO}_0(1,4)$ the identity component of the special linear isometry group $\mathrm{SO}(1,4)$ of the Lorentz-Minkowski space $\mathbb{R}_1^5$, that is, of
$$\text{SO}(1,4)=\left\{X\in\...

**4**

votes

**1**answer

578 views

### Spherical Harmonics on $S^3$ [closed]

My understanding is that harmonic analysis on the circle ($S^1$) leads to Fourier Series/Integrals whereas harmonic analysis on the sphere ($S^2$) leads to Spherical Harmonics. If we take the next ...

**7**

votes

**2**answers

1k views

### Automorphisms and isometries of the quaternions

Each automorphism of the quaternion algebra is inner and it is an orthogonal mapping with the determinant 1.
Let $f: \mathbb H \rightarrow \mathbb H$ be in $SO(4)$. Does there exists a quaternion $q$...

**5**

votes

**2**answers

414 views

### About some property of automorphism of octonions

Let $f$ be an automorphism of the algebra of octonions. Is it true that $f$ preserves some quaternionic subalgebra? Has the statement an elementary proof?

**3**

votes

**1**answer

208 views

### Computing the Cartan1-form for $Sp(2)$

Context:
I must find the Cartan 1-form for $Sp(2)$ before I start dealing with the natural connection of the Hopf fibration $S^3 \hookrightarrow S^7 \overset{\mathcal P}\to S^4$. To do so, the idea ...

**21**

votes

**1**answer

466 views

### A symmetric-like group and the quaternion group $Q_8$

It is well known that the symmetric group $S_n$ admits presentation with
$\{(ij) \mid i\neq j\}$ as the set of generators and the following list of relations
(in every formula distinct letters denote ...

**4**

votes

**0**answers

122 views

### Exceptional symmetric spaces with quaternionic structure

Following this and this question I found following chain of exceptional symmetric spaces being quaternionic manifolds. I listed dimensions as superscripts for reader convenience.
$F_{I}^{28}\subset ...

**5**

votes

**1**answer

265 views

### Exceptional isomorphism with Spin(6,2)?

There are all sorts of curios in low-dimensional Lie groups and Lie algebras, many of them due to the presence of the quaternions. There is, I have recently learned, an isomorphism $SO(6,2) \simeq SO(...

**4**

votes

**1**answer

336 views

### Left- and right-sided principal ideals of quaternions have same index?

One fact about the Lipschitz integers (quaternions of the form $a + bi + cj + dk$ where $a, b, c, d$ are integers) is that the left-sided ideal generated by any element $Q$ has the same index in the ...

**1**

vote

**0**answers

62 views

### 4-D lattices and quaternion

It is easy to prove that there are only 2 extensions $\mathbb{Q}(a)$, with $|a|=1$, of $\mathbb{Q}$ where $\mathbb{Z}[a]$ becomes a lattice(discrete free abelian subgroup of rank 2) in the complex ...

**2**

votes

**0**answers

203 views

### A Quaternions version of the Gauss Lucas theorem

Edit: My serious thanks to Christian, Todd and Yemon for their comments to the previous version.
The derivative is the same as Todd says: $(az^{n})'=naz^{n-1}$.
The polynomial is in the form of $\...

**11**

votes

**1**answer

501 views

### Determinants of octonionic hermitian matrices

For quaternionic hermitian matrices (i.e. quaternionic square matrices $(a_{ij})$ satisfying
$a_{ji}=\bar a_{ij}$) there is a nice notion of (Moore) determinant which can be defined as follows.
...

**8**

votes

**2**answers

739 views

### Circle Action on Quaternionic Projective Space

Quoting from Wikipedia article on quaternionic projective space:
Therefore the quotient manifold
$$
\mathbb{HP}^{2}/\mathrm{U}(1)
$$
may be taken, writing $U(1)$ for the circle group. It has ...

**1**

vote

**0**answers

123 views

### Does Feuter regularity imply derivability in all directions?

The standard type of regularity in Clifford Calculus is the one introduced by Feuter, namely:
a function is Feuter regular iff it is in the zero set of the Clifford-Dirac
operator $D= \partial ...

**4**

votes

**1**answer

122 views

### Quaternion orders such that every proper ideal is invertible

Let $B$ be a quaternion algebra over $\mathbb{Q}$ and let $\mathcal{O} \subset B$ be an order.
A lattice in $B$ is (left) proper over $\mathcal{O}$ if its left order is equal to $\mathcal{O}$. We ...

**0**

votes

**1**answer

266 views

### 4th Order Floretions: Floret's Equation [closed]

Update: I've marked this question as answered. If you are thinking "What the heck are floretions?", go right to the answer provided by the Grinch. I definitely should have added clearer information on ...

**5**

votes

**0**answers

233 views

### Hochschild cohomology of SU(2)

I have a question about the computation of an Hochschild Cohomology. Or at least about a space which really looks like a cohomology space. All the functions i consider are assumed to be smooth.
Let's ...

**10**

votes

**0**answers

592 views

### Quaternions: ellipse effect

I would be interested in an explanation of the "six ellipse effect" produced by the pseudocode below (I also wonder how close are these to being actual ellipses). Note the code is somewhat similar to ...

**4**

votes

**3**answers

224 views

### Is an associative division algebra required for this phenomenon?

For which integers $d \geq 1$ can we find real matrices $R_1, \dotsc, R_d$ of size $d \times d$ such that for any unit vector $v \in \mathbb{R}^d$, $$R_1 v, \dotsc, R_d v$$ is an orthonormal basis? ...

**1**

vote

**0**answers

128 views

### Factoring quaternion into three parts [closed]

I am faced with a problem where I have a quaternion which represents rotation and three arbitrary axis about which I can make rotations, thus three unit vectors.
What I would like to know is angles (...

**2**

votes

**0**answers

136 views

### Classification of symplectic representations of quaternion division algebras

I would like to know the classification of representations of the form $\rho:B^{\times}\to Sp(V,F)$ or ($Gsp(V)$), where $B$ is a quaternion division algebra over a number field $F$ (or $F=\mathbb{Q}$)...

**53**

votes

**5**answers

2k views

### Do unit quaternions at vertices of a regular 4-simplex, one being 1, generate a free group?

Choose unit quaternions $q_0, q_1, q_2, q_3, q_4$ that form the vertices of a regular 4-simplex in the quaternions. Assume $q_0 = 1$. Let the other four generate a group via quaternion ...

**3**

votes

**1**answer

243 views

### On conductors, levels and traces on quaternion algebras

I am currently working on level issues in the division central simple algebra case, say $D$ over a local non-archimedean field $F$ (e.g. $\mathbf{Q}_p$). Let say that $\mathcal{O}_D$ and $\mathcal{O}...