# Questions tagged [quaternion-algebras]

The quaternion-algebras tag has no usage guidance.

37
questions

2
votes

0
answers

56
views

### Maximal orders and surface subgroups of even genus

Let $A$ be a quaternion algebra over a totally real number field $k$. Suppose that $A$ splits at exactly one real place of $A$. Let $\mathcal{O}$ be a maximal order in $A$. Then $\mathcal{O}$ contains ...

5
votes

1
answer

314
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 ...

3
votes

1
answer

188
views

### Abelianizations of arithmetic Fuchsian groups

Let $a,b$ be positive integers with $x^2-ay^2-bz^2+abv^2=0$ having only the zero solution over $\mathbb Z$ and consider the Fuchsian group
\begin{equation*}
\Gamma=\left\{\begin{bmatrix}
k+\sqrt{a}l &...

4
votes

0
answers

53
views

### Number of cosets by quaternion order

Let $D$ be a quaternion division algebra over $\mathbb Q$ and let $\Lambda\subset D$ be a maximal order.
For $n\in\mathbb Z$ let $\Lambda^{(n)}$ denote the set of all $\lambda\in\Lambda$ with reduced ...

1
vote

0
answers

42
views

### Is the isomorphism class of Eichler order with prime level in $B_{p,\infty}$ with extra units at most unique?

Let $B_{p, \infty}$ be the quaternion algebra over $\mathbb{Q}$ ramified exactly at $p$ and $\infty$. Let $\mathcal{O}$ be an order in $B_{p, \infty}$. As we know, if $\mathcal{O}$ is maximal, then ...

2
votes

4
answers

457
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 ...

0
votes

2
answers

176
views

### Are there any central simple algebras admitting a standard basis?

Are there any central simple algebras admitting a standard basis?
By a standard basis I mean a normal basis that has a cyclic property generalizing that of the familiar basis $1, i, j, k$ for ...

3
votes

3
answers

479
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 ...

2
votes

0
answers

63
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 ...

2
votes

1
answer

144
views

### Does a quaternion algebra exist over a number field that is split over some infinite real places, but not others?

Let $F$ be a totally real number field having at least two different real embeddings $\sigma_1 : F \hookrightarrow \mathbb{R}$ and $\sigma_2 : F \hookrightarrow \mathbb{R}$.
Does a quaternion algebra $...

3
votes

0
answers

58
views

### Conceptual meaning of the Dickson construction

The Cayley-Dickson construction (a.k.a. Dickson construction or Dickson doubling) constructs a new *-algebra $A'$ out of a given *-algebra $A$. As a vector space $A' = A \oplus A$, and the ...

2
votes

1
answer

120
views

### Quaternions algebras whose class groupoid is actually a class group

Let $A$ be a finite-dimensional $\mathbb{Q}$-algebra, and let $\mathcal{O}$ be a maximal order in $A$. Like the case of number fields, we can define an equivalence relation to define something similar ...

34
votes

1
answer

954
views

### Quaternionic and octonionic analogues of the Basel problem

I asked this question in MSE around 3 months ago but I have received no answer yet, so following the suggestion in the comments I decided to post it here.
It is a well-known fact that
$$\sum_{0\neq n\...

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 ...

3
votes

1
answer

198
views

### Subring of quaternion algebra

I am following the book Introduction to Quadratic Forms over Fields by T. Y. Lam. In section VI.2, the author proves that, over an arbitrary local field $F$, there is a unique quaternion division ...

1
vote

0
answers

122
views

### Octonion algebras over number fields [closed]

Is there any textbook or paper about Arithmetic of Octonion Algebras or Octonion Algebras constructed over number fields? I know J. Voight book and K. Martin notes about quaternion algebras but I was ...

1
vote

1
answer

170
views

### Lattices from quaternion algebras (MAGMA software)

I am studying the paper "Lattice Packing from Quaternion Algebras" from 2012 about the construction of ideal lattices.
In Section 3.3 the authors construct very interesting examples of lattices using ...

4
votes

0
answers

124
views

### System of eigenvalues of partial Laplacians and the Jacquet Langlands correspondence

I'm looking for a precise reference. I could not dig it up in the original paper of Jacquet-Langlands.
Let $F$ be a totally real number field with $[F:\mathbb{Q}]=r$, let $B_1=M_2(F)$ be the split ...

3
votes

2
answers

568
views

### How can I find explicit examples of maximal orders of quaternion algebras that are not isomorphic?

I know that there exist algorithms that will construct maximal orders of a quaternion algebra over, say, $\mathbb{Q}$. However, the implemented algorithms that I know of require that you input an ...

4
votes

1
answer

360
views

### Possible values of symmetric functions evaluated on quaternions

$\DeclareMathOperator\sym{sym}$Let $i$, $j$, $k$ be the units of quaternions, in particular $i^2=j^2=k^2=-1$, $ijk=-1$.
We will use non commutative variables $x$, $y$, $z$. Define $\sym_{a,b,c}$ to be ...

6
votes

1
answer

545
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 ...

5
votes

4
answers

663
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 ...

2
votes

2
answers

192
views

### Involution on false elliptic curve

Let B be a indefinite quaternion algebra with discriminant $d>1$, maximal order $\mathcal{O}$ and standard involution $'$, then there exists $t\in{B}$ such that $t^2=-d$ and a new involution on B ...

5
votes

1
answer

164
views

### A generalization of Witt's theorem for quaternion algebra isomorphism

Let $Q$ be a quaternion $k$-algebra (namely, a dimension 4 $k$-central simple algebra).
Then it is possible to (canonically) attach a smooth projective conic $C_Q\subseteq \mathbf{P}_k^2$ to $Q$: if ...

4
votes

0
answers

350
views

### Quaternion algebras in characteristic 2

Let $k$ be a field and let $Q$ be a quaternion algebra over $k$.
It is well known that, if $\mathrm{char}\,k\neq 2$, one can define $Q$ as the $k$-algebra of dimension $4$ generated by elements $x,y$ ...

3
votes

1
answer

165
views

### Fractional ideals of maximal orders in quaternion algebras

Let D be a skew field that is central and finite-dimensional over a number field F (in particular: a quaternion algebra over F). Let $\Delta$ $\subseteq$ D be a maximal $\mathcal{O}$$_{F}$-order. Let $...

4
votes

1
answer

117
views

### Integrality of the support of matrix coefficients?

Consider a division quaternion algebra $D$ over a number field $F$. For an automorphic representation $\pi$ of $D$, I am interested in the associated matrix coefficients
$$f : \gamma \in G \longmapsto ...

3
votes

0
answers

87
views

### Length of $\mathbb{Z}_p$-modules for quaternion algebras

Consider $G$ the group of units of a division quaternion algebra $D$ over a number field $F$, say $\mathbb{Q}$ for simplicity. Consider a non-central element $x \in G(\mathbb{Z}_p)$: hence, it is ...

2
votes

0
answers

128
views

### When is $SL_1$ of a quaternion division algebra perfect?

Let $F$ be a field, let $a,b \in F$ and let $\mathcal A:= \left(\frac{a,b}{F}\right)$ be the quaternion algebra over $F$ determined by the relations
$$
i^2 = a, \quad j^2 = b, \quad k = ij = -ji.
$$
...

4
votes

1
answer

246
views

### Fuchsian group which is derived from a division quaternion algebra, Mixing flows on the quotient space

Suppose a Fuchsian group $\Gamma$ is derived from a division
quaternion algebra. Then the quotient space $\Gamma\backslash \mathcal{H}$ is compact.
I am reading the book "Fuchsian Groups" of ...

5
votes

2
answers

519
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?

2
votes

1
answer

271
views

### What is the effect of imaginary quadratic extension on a quaternion algebra's ramified primes

A smart man once explained to me how to solve the following problem, then I forgot.
Let $F\subset\mathbb{R}$
be a number field,
let $d\in F^+$,
and let $K=F(\sqrt{-d})$.
Denote the rings of integers ...

0
votes

1
answer

178
views

### Units in indefinite quaternionic algebra

This is the opposite to my last question case.
Let $F$ be a totally real number field, $R$ is a quaternion algebra over $F$ unramified in at least one infinite place of $F$. Let $\mathcal{O}⊂R$ be an ...

2
votes

1
answer

398
views

### Finite group of units in quaternion orders

Let $F$ be a totally real number field, $R$ is a quaternion algebra over $F$ ramified in all infinite places of $F$. Let $\mathcal{O}\subset R$ be an order. By assumption on $R$ its group of units $\...

2
votes

0
answers

221
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 $\...

15
votes

2
answers

1k
views

### Computing endomorphism rings of supersingular elliptic curves

I would like to know what algorithms there are to compute the linearly independent generators $(1,i,j,k)$ for quaternion algebra containing the endomorphism ring of a supersingular curve. The curve in ...

6
votes

1
answer

314
views

### Compact hyperbolic 3-manifolds with prescribed quaternion algebra, quaternion parameters as ramification condition

What is an interesting class of examples of hyperbolic 3-manifolds,
each of which satisfies the following conditions?
1. It is compact
2. Its trace field contains a unique imaginary quadratic ...