Questions tagged [quaternion-algebras]

The tag has no usage guidance.

Filter by
Sorted by
Tagged with
4
votes
0answers
96 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 ...
2
votes
2answers
140 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 ...
3
votes
1answer
177 views

Possible values of symmetric functions evaluated on quaternions

Let $i,j,k$ 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 the polynomial made of the sum of monomials ...
6
votes
1answer
430 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
4answers
481 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
2answers
168 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 ...
4
votes
1answer
101 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
0answers
182 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$ ...
1
vote
0answers
34 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
1answer
94 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
0answers
82 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
0answers
110 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
1answer
196 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 ...
6
votes
2answers
378 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
1answer
193 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
1answer
147 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
1answer
233 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 $\...
1
vote
0answers
196 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 $\...
13
votes
2answers
894 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
1answer
252 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 ...