The tag has no wiki summary.

learn more… | top users | synonyms

1
vote
0answers
42 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
0answers
94 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 ...
1
vote
0answers
67 views

Representations of Hamilton's real/complex quaternions algebra

A lot of works and questions deal with classifying representations of a simple central algebra of given dimension over a non-archimedean field, for instance here. But do we know precisely such a ...
46
votes
5answers
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
1answer
149 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 ...
3
votes
0answers
98 views

Maximal compact subgroup of SL(2,|H)

The exceptional isomorphism $Spin(5,1)\simeq SL(2,\mathbb{H})$ is well-known, and I can find references that say the maximal compact of $Spin(5,1)$ is $Spin(5) \simeq Sp(2)$. So I know the answer to ...
3
votes
0answers
195 views

Is the “algebraic closure” of the quaternions, finite dimensional? [closed]

This post is a sequel of: What's the algebraic closure of the quaternions? $\mathbb{H}$ is algebraically closed for the polynomials of the form $\sum a_r x^r$, but it is not for the polynomials ...
0
votes
0answers
47 views

Canonical forms of symmetric/skewsymmetric quaternionic matrix

$A$ belongs to $n$-dimensional quaternion symmetric matrix, in the sense that $A=A^T$, where $T$ means transpose. Under transformation $U$, $A\rightarrow U\cdot A\cdot U^T$, where $U$ is $n$-dim ...
3
votes
0answers
126 views

Computing local volumes : the case of Hecke p-adic subgroups

I am quite interested in knowing how to compute some volumes of groups defined on local fields $K$, mainly in order to evaluate the identity term in trace formulas. It is something well done in the ...
6
votes
1answer
143 views

Number of orbits of $\mathrm{SL}_2(\mathcal O_A)$ on $\mathbf P^1(A)$ when $A$ is a quaternion algebra

This is a reference request. Let $A$ be an anisotropic quaternion algebra over $\mathbf Q$. Let $\mathcal O_A$ be a maximal order in $A$. Then $\mathrm{SL}_2(A)$ acts transitively on the right on ...
1
vote
1answer
55 views

How can the Cayley-table for the elements of basis of a Cayley-Dickson algebra be summarized in an algebraic expression?

One would be able to construct a Cayley table that has all $e_i$ elements of the basis of algebra $A$ where $0<i<\dim A$ such that $e_0=1$ and $e_1=i$ and $e_2=j$ and so on. I'm looking for an ...
1
vote
1answer
136 views

Factorisation of local quaternionic zeta functions

Vignéras, in her Arithmetics of quaternion algebras, begin chapter II.4 recalling that we know the number of integer ideals of fixed norm of a quaternion algebra $H$ over a local field $K$, ramified ...
1
vote
1answer
108 views

Expression and growth bound for $r_{p^m,k}(n)$

Let's define , $$R_{p^m,k}(n)=\#\{(a_1,\dots,a_k)\in\mathbb{Z}^k:\sum_{i=1}^ka_i^2\le n \ \text{and} \ p^m|\sum_{i=1}^ka_i^2\}$$ what will be growth bound of $R_{p^m,k}(n)$? This can be thought as a ...
2
votes
1answer
131 views

Why do noncocompact arithmetic Kleinian groups have quadratic trace fields?

I realize there are a few different ways of going about proving this, depending on one's background, but there's a particular number theoretic aspect that I am just blanking on, and can't seem to find ...
10
votes
2answers
294 views

Which finite nonabelian groups have all their quaternionic representations of degree one?

A finite group $G$ has a finite set of irreducible representations over the complex numbers. All of these representations are linear (that is, are maps in 1x1 complex matrices) if and only if $G$ is ...
1
vote
0answers
38 views

Find a common expression (parameterized by y = 1/2, 1 and 2) uniting three (rational) polynomials in k [closed]

I am seeking a common "simple" expression (preferably/presumably a sum of products of linear factors, or sum of products of low-degree factors) uniting the three polynomials (parameterized by ...
3
votes
0answers
84 views

Grunsky-Motzkin-Schoenberg formula

I found this formula in Brian McCartin's interesting book "Mysteries of the equilateral triangle" http://www.kettering.edu/news/mysteries-equilateral-triangle and it looks as follows: Suppose that ...
8
votes
1answer
369 views

Explicit isomorphism for quaternion algebras over $\mathbb{Q}$?

It is known that the isomorphism class of a quaternion algebra $A=\binom{a,b}{K}$ over a number field $K$ is determined by the finite set of places $v$ of $K$ where $A\otimes_K K_v$ is a division ...
1
vote
1answer
70 views

Integral elements of quaternion algebras with predescribed properties

In the course of doing some calculations I have found myself wanting to answer the following question: Let $D/\mathbb{Q}$ be a quaternion algebra ramified at a prime $p$ and at $\infty$ and let ...
16
votes
1answer
983 views

history of quaternion algebras

Who is responsible for the generalization of Hamilton's quaternions to other types of quaternion algebras, and when did this occur? In particular, Hamilton's quaternions are the 4-dimensional algebra ...
3
votes
1answer
186 views

The de Rham complex of a quaternion-Kahler manifold

As we all know, for a complex manifold $M$, its de Rham complex admits a decomposition into a double complex called the Dolbeault complex. If $M$ also admits a Kahler metric, then we get the wonderful ...
5
votes
1answer
117 views

riemann mapping theorem for skew-fields of quaternions and beyond

Is there any known generalization of the riemann mapping theorem over skew-fields of quaternions and beyond or at least a conjectured formulation of it? In a less focused way, how far does the main ...
2
votes
1answer
264 views

Distance measure for noisy $SE(3)$ transforms

I have a transformation $T \in SE(3)$ parameterized by a mean quaternion $q$ with covariance matrix $\Sigma_q \in R^{4\times4}$ and a mean translation $t \in R^3$ with covariance matrix $\Sigma_t \in ...
-1
votes
1answer
456 views

Can any quaternion be written in exponential form? [closed]

I am new to the topic of quaternions, but I have an excellent understanding of complex numbers and linear algebra. I read that unitary quaternions (or versors) can be written in the form: $q = ...
6
votes
2answers
503 views

Hurwitz integers represented as sums of two squares of Hurwitz integers

I wonder if there exists a characterisation of Hurwitz integers which are represented as sums of two squares of Hurwitz integers, up to multiplication by a unit. And if so, could you please point to a ...
3
votes
1answer
372 views

What does the Jacquet-Langlands correspondence say about quaternion algebras of class number one?

If F is a totally real number field of degree n, and A is a definite quaternion algebra over F, I understand (not really) the Jacquet Langlands correspondence to construct a modular form in n ...
8
votes
2answers
496 views

Which quaternion algebras have class number one?

Over Q, the definite quaternion algebras with a unique conjugacy class of maximal orders, i.e. "with class number one", are those with discriminant 2,3,5,7, and 13. Three questions: What is a ...
5
votes
2answers
459 views

How do you find maximal orders in quaternion algebras?

Let A be the 4-dimensional algebra over Q with basis 1,i,j,k, and multiplication table $$ i^2 = -1 \quad j^2 = -11 \quad k^2 = -11 \quad ij = k \quad jk = 11i \quad ki = j $$ So, A is the unique ...
4
votes
1answer
177 views

Finding Finite Generators of a Subset of a Quaternion Algebra/Cocompact Lattices

I was wondering if anyone had some ideas (books, papers, experience) on how to explicitly compute generators for the elements of a quaternion algebra, $Q$, with reduced norm $1$. I'm trying to ...
1
vote
1answer
109 views

How to calculate $(A^{-1})_{ii}$ for an invertible hyperhermitian quaternionic matrix $A$?

The article Alesker, S. (2003). Quaternionic Monge-Ampere equations. The Journal of Geometric Analysis, 13(2), 205-238. has the following CLAIM: Claim. Let $A$ be an invertible hyperhermitian ...
3
votes
1answer
224 views

Question about the definition of the genus 0 curves in Gross' paper “Heights and the Special values of L-series”

Let $N \in \mathbb{Z}$ be a prime number, and let $B = \left( \dfrac{a, b}{\mathbb{Q}} \right)$ be the unique quaternion algebra over $\mathbb{Q}$ ramified at $N$ and at $\infty$. Then, in section 3 ...
1
vote
1answer
310 views

Diagonalization of Quaternion Hermitian matrices

How do I go about diagonalizing such a matrix. I ask because I need to sort out the following problem: Let $D$ be the quaternion algebra over $\mathbb{Q}$ with $i^2 = -1, j^2 = -11, ij=-ji=k$. ...
0
votes
1answer
131 views

Reference for compact operators in quaternionic Hilbert spaces

Have they been studied? In particular, what is the analogue of the Schmidt theorem for compact operators in Hilbert spaces? Helemskii A. Ya., Lectures and Exercises on Functional Analysis, Ch. 3, ...
-4
votes
2answers
243 views

Representing quaternions as matrices [closed]

Assume F is a field of characteristic different than 2. Let a, b be invertible elements in F, and let A(a,b) be the generalised quaternions. Using the Artin–Wedderburn theorem, there is a ...
5
votes
1answer
223 views

Filling in a rational orthogonal matrix given one row

Quick version: given natural $n$ and a row of $n$ integers such that the sum of the squares is another square, call it $m^2.$ For $n=5,6,7$ is it always possible to fill in the rest of an $n$ by $n$ ...
3
votes
2answers
223 views

3D Rotation Representation for Multiple Turns

Is there a rotation representation that can also represent "turns", instead of collapsing coincident rotations into the same representation? In 2D, a simple angle satisfies this, as it can have ...
2
votes
2answers
408 views

ramified quaternion algebras

I'm trying to better understand the connection between the concepts of ramification of a field extension, and ramification of a quaternion algebra. I'm also trying to build a better understanding of ...
3
votes
2answers
696 views

Skew fields inside quaternion division algebras

Suppose that $Q$ is a quaternion division algebra with center $k$, where $k$ is an arbitrary commutative field (let's say with $\operatorname{char}(k) \neq 2$ if necessary). Assume that $D$ is an ...
6
votes
3answers
1k views

Realizing proper pure octonions as conjugates

Let us take the octonions as having all integer coefficients and the multiplication table at BAEZ We have a standard conjugation operator with $\bar{1} = 1$ and $\bar{e_i}= - e_i,$ extend by ...
5
votes
2answers
307 views

Volumes of fundamental domains of maximal orders in definite quaternion algebras over Q

I'm looking for an explanation of the following result: If D is a maximal order in a definite (i.e. ramified at infinity) quaternion algebra B over $\mathbb{Q}$, and $\phi : ...
11
votes
0answers
359 views

Nullstellensatz for quaternionic plane curves?

By a quaternionic plane curve I mean the zero locus of a noncommutative polynomial in two variables, $x$ and $y$ say, over ${\Bbb H}$, Hamilton's quaternions. It is evidently well-known that, after ...
5
votes
2answers
430 views

Book on ideal theory in Hurwitz quaternions

Hello, I am looking for a book that studies the set of Hurwitz quaternions (HQ). In particular, I am interested in a connection between HQ and imaginary quadratic fields (IQF); quaternion orders ...
5
votes
2answers
643 views

Explicit description of a quaternion algebra with a prescribed set of ramified places

Let $k$ be an algebraic number field. I understand that given a finite set of non-complex places $S\subset V(k)$ of even cardinality, there exists a unique quaternion algebra $Q$ over $k$ such that ...
1
vote
1answer
173 views

regular quaternion functions of form f(q) =c + a*q*b + …

Hello, is it possible do somehow define regular function(in the way that some analogy to Cauchy integral formula would hold) over quaternions that function of form $$f(q)= \sum_{n=0}^\inf a_n q^n ...
10
votes
1answer
2k views

The gimbal lock shows up in my quaternions

I suspect this is a bit basic for mathoverflow, seeing I'm still just an undergraduate I've been playing around with quaternions as means to eliminate the gimbal lock. From what I understand, one ...
13
votes
1answer
435 views

Is the ring of quaternionic polynomials factorial?

Denote by $\mathbb{H}[x_1,\dots,x_n]$ the ring of polynomials in $n$ variables with quaternionic coefficients, where the variables commute with each other and with the coefficients. Two polynomials ...
3
votes
4answers
554 views

Polar decomposition for quaternionic matrices?

A non-zero complex number can be uniquely written in polar form as $re^{i\theta}$. There is an analogous result for complex matrices: any invertible complex matrix can be uniquely written as $UP$, ...
9
votes
0answers
376 views

Polynomial function from $S^3$ to $S^3$ and quaternions

I am searching the polynomial functions from $S^3$ to $S^3$. ($S^3$ is the set of vectors $x$ in $\mathbb{R}^4$ such that $\|x\|=1$) We say $g$ is a polynomial function from $S^3$ to $S^3$, if there ...
9
votes
2answers
1k views

When the determinant of a 2x2 polynomial matrix is a square?

Consider a 2x2 matrix $A$ with entries from $\mathbb{C}[x,y]$. Assume that $\mathrm{det} A$ is a square. Is it true that then $A$ can be represented as a noncomuting product $A=A_1 A_2 … A_{2n}$, in ...
19
votes
1answer
1k views

The Quaternion Moat Problem

"One cannot walk to infinity on the real line if one uses steps of bounded length and steps on the prime numbers. This is simply a restatement of the classic result that there are arbitrarily large ...