Questions tagged [quaternions]
The quaternions tag has no usage guidance.
127
questions
4
votes
1
answer
163
views
Abelianization of unit quaternions over a p-adic field
Suppose $p$ is a prime, that $F$ is a finite extension of the field $\mathbb{Q}_p$, $D$ is the division quaternion algebra over $F$ and $\mathcal{O}_D$ is the valuation ring of $D$. What is the ...
- 3,033
5
votes
1
answer
318
views
Motivating unpublished statements of Gauss about congruences and quaternions
Background
Modern claims that Gauss anticipated the quaternions algebra are based primarily on an unpublished fragment of Gauss dated to 1819 and entitled "rotations of space". In this ...
- 1,659
1
vote
0
answers
411
views
Heat kernel on quaternion Heisenberg group
For the n Heisenberg($\Bbb C^n\times\Bbb R$) it is known that the heat kernel $q_s(z,t)=c_n\int_{\Bbb R} e^{-i\lambda t}\Big( \frac{\lambda}{\sinh(\lambda s)}\Big)^n e^{-\frac{\lambda|z|^2\coth(\...
- 11
2
votes
4
answers
475
views
How to prove that a quaternion algebra over ℤₚ is isomorphic to Mat₂(ℤₚ) for p prime?
How to prove without using advanced theorems that quaternions algebra $H = \genfrac(){}{}{-1,-1}{\mathbb{Z}_p}$, where $p$ is prime that $H \cong\operatorname{Mat}_2({\mathbb{Z}_p})$?
My ideas: I ...
6
votes
0
answers
309
views
Is there a residue sum formula in quaternionic analysis?
In complex analysis, there is a formula involving the residues of complex functions that one can employ to find the value of certain infinite series.
If the function $f: \mathbb{C} \to \mathbb{C} $ ...
- 3,939
5
votes
1
answer
162
views
Why is $\operatorname{U}(n,\mathbb{H})\subset \operatorname{SL}(n,\mathbb{H}) $?
This question is inspired by Maximal compact subgroup of $\mathrm{SL}(2,\mathbb{H})$. Consider the embedding $\operatorname{U}(n,\mathbb{H})\subset \operatorname{GL}(n,\mathbb{H}) $. Since $\...
- 35.7k
2
votes
1
answer
88
views
Maximizing a skew-symmetric 4D cross product
How do I find two orthonormal 4D vectors, $(x_0,x_1,x_2,x_3)$ and $(y_0,y_1,y_2,y_3)$, which maximize this function:
$-19x_1y_0 - 33x_2y_0 + 11x_3y_0 + 19x_0y_1 - 21x_2y_1 - 33x_3y_1 + 33x_0y_2 + ...
- 1,527
3
votes
0
answers
80
views
Nonassociative quaternion algebras
I'm interested in nonassociative central simple algebras; I've found Lee and Waterhouse's article 'Maximal Orders in Nonassociative Quaternion Algebras', and this cites a previous article by ...
- 323
8
votes
1
answer
225
views
Covolumes of unit groups of division algebras
Let $D$ be a central division (or maybe just simple) algebra over $\mathbb{Q}$. Let $\mathcal{O} \subset \mathcal{O}_m$ be an order inside a fixed maximal order and denote by $\mathcal{O}^1$ its group ...
- 757
1
vote
0
answers
112
views
Conway's quaternion notation +1/3[C_3×C_3]∙2^(2) represent C_3h of 4d Point group?
In John Conway and Derek Smith's On Quaternions and Octonions: their Geometry, Arithmetic, and Symmetry, they introduce a way to connect quaternions to 4D Point Group.
Suppose: $[l,r]:x\to \bar lxr\;,\...
- 11
1
vote
0
answers
87
views
Sequences generated from commuted quaternions and general commuted linear transformations
Given a pair of non-commuting linear transformations, $A$ and $B$, define the "next
pair" in a sequence as $A*B$ and $B*A$. I am interested in finite cycles (i.e.,
the sequence eventually ...
- 1,527
3
votes
3
answers
514
views
Ramification of quaternion algebras over $\mathbb Q$
I'm reading on the classification of quaternion algebras over $\mathbb{Q}$. In the most common definition, we have a quaternion algebra $Q = \left(\frac{a,b}{\mathbb{Q}} \right)$ splits at a finite ...
- 831
2
votes
0
answers
65
views
Bézout theorem for complex solutions of systems of homogeneous quaternionic polynomials
Suppose that I have a system of $n$ homogeneous polynomials in $n+1$ variables $p_{1},\dots,p_{n}\in\mathbb{H}[x_{0},\dots,x_{n}]$ with coefficients at both sides in $\mathbb{H}.$ I want to know if ...
- 561
14
votes
1
answer
615
views
Why is the automorphism group of the octonions $G_2$ instead of $SO(7)$
I can calculate the derivation of the octonions and I clearly find the 14 generators that form the algebra of $G_2$. However, when I do the same calculation for the quaternions, I end up with the ...
- 323
6
votes
4
answers
456
views
Generalizing contour integration to quaternions and bicomplex numbers
I am interested in the possibility of generalizing the notion of contour integration to the quaternions or bicomplex numbers. I am aware that the Frobenius theorem prevents the construction of a true ...
- 577
3
votes
1
answer
112
views
Charaterisation of quaternion algebras
Let $k$ be a field, and $A$ an associative $k$-algebra with an identity element. Say that $A$ is quadratic if any subalgebra of $A$ generated by a single element has dimension at most two.
I am ...
- 338
10
votes
1
answer
407
views
Diagonalizing quaternionic unitary matrices
The quaternionic unitary group $\mathrm{U}(n,\mathbb{H})$, also called the compact symplectic group $\mathrm{Sp}(n)$, consists of $n \times n$ quaternionic matrices $g$ such that $gg^\ast = 1$, where
$...
- 20.6k
3
votes
1
answer
257
views
Quaternions as eigenvalues of rank 3 tensors
Let us consider a matrix $M^{(a)}$ of size $N \times N$, having $N$ eigenvalues $\lambda_i \in \mathbb{C}$.
Considering a rank-3 tensor, we can informally think of it as a sequence of $N$ matrices $M^{...
- 67
3
votes
1
answer
284
views
Norm of maximal order in quaternion algebra
Let $B$ be a quaternion algebra over $\mathbb{Q}$ that is a division algebra over $\mathbb{R}$. The theorem of Hasse-Schilling tells us that the image of the reduced norm of $B^\times$ is $\mathbb{R}^+...
- 143
2
votes
0
answers
160
views
Two generalizations of the Verblunsky Theorem
I learned from this paper about the Verblunsky theorem.
My question is that: What kind of generalizations of this theorem is availlable?
In particular I am interested in the following two possible ...
- 139
2
votes
0
answers
138
views
Sylow 2-subgroups of finite groups in which every subgroup of order 4 is cyclic
Let $G$ be a finite group. Assume that every subgroup of order 4 in $G$ is cyclic (as happens if $G$ is a cyclic group or a generalized quaternion group). It seems to me that it should follow that a ...
- 61
1
vote
0
answers
96
views
Control and observability of Clifford algebra and quaternion valued systems?
Good evening everybody, I'm asking you if there is a mathematical theory about control and observability of differential systems within the quaternionic and Clifford (geometric) algebras. And if so, ...
4
votes
1
answer
344
views
Question about the correspondence between unitary Möbius transformations and quaternions
One of the main theorems about the classification of Möbius transformations states that pure rotations of the Riemann sphere (without translation and dilatation) correspond to unitary Möbius ...
- 1,659
2
votes
1
answer
253
views
3D similarities and quaternions?
As is well-known, in dimension 2, a linear map $f : \mathbb{R}^2 \rightarrow \mathbb{R}^2$ is a direct similarity if, once we identify $\mathbb{R}^2$ with $\mathbb{C}$, $f$ is of the form
$$\forall z \...
- 2,132
1
vote
1
answer
253
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 ...
- 19
0
votes
1
answer
298
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$ ...
- 1,683
7
votes
3
answers
597
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 $C &...
- 3,455
4
votes
2
answers
587
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 ...
- 4,511
8
votes
1
answer
729
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'...
- 64.2k
6
votes
1
answer
279
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 ...
- 1,543
3
votes
1
answer
219
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.
- 1,683
3
votes
2
answers
446
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
82
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 ...
- 625
6
votes
1
answer
551
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 ...
- 517
3
votes
1
answer
304
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}$, ...
- 3,152
6
votes
1
answer
187
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{...
- 469
4
votes
2
answers
282
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 ...
- 139
9
votes
1
answer
355
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
136
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-...
- 11
5
votes
4
answers
669
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,483
1
vote
1
answer
162
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 $$\...
- 12k
2
votes
0
answers
479
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 ...
user21230
6
votes
1
answer
299
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}$ ...
- 63
5
votes
2
answers
274
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?
- 541
4
votes
1
answer
321
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+...
- 857
5
votes
1
answer
492
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 ...
- 51
3
votes
1
answer
660
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 ...
- 753
1
vote
1
answer
196
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,085
1
vote
0
answers
48
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 \\
...
- 1,085
3
votes
1
answer
213
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}
$$...
- 1,085