Related papers: Fundamental domains for quaternionic S-arithmetic …

Let $X$ be a finite connected graph, each of whose vertices has degree at least three. The fundamental group $\Gamma$ of $X$ is a free group and acts on the universal covering tree $\Delta$ and on its boundary $\partial \Delta$, endowed…

It is known that the groups of Euclidean rotations in dimension 3 (isometries of $S^2$), general Lorentz transformations in dimension 4 (Hyperbolic isometries in dimension 3), and screw motions in dimension 3 can be represented by the…

The present work splits in two parts: first, we perform a straightforward generalization of results from [Re], proving autoquasitriangularity of quantum groups $ U_q(\frak{g}) $ and their unrestricted specializations at roots of 1, in…

For some positive integers $g$ and $n$ we consider a subgroup $\mathbb{G}_{g,n}$ of the $2g$-dimensional modular group keeping invariant a certain locus $\mathcal{W}_{g,n}$ in the Siegel upper half plane of degree $g$. We address the…

A square complex is a 2-complex formed by gluing squares together. This article is concerned with the fundamental group $\Gamma$ of certain square complexes of nonpositive curvature, related to quaternion algebras. The abelian subgroup…

We show that all spin groups of non-definite, quinary quadratic forms over a field with characteristic 0 can be represented as 2 by 2 matrices with entries in an associated quaternion algebra. Over local and global fields, we further study…

Let $F$ be a totally real field with ring of integers $O_F$, and $D$ be a totally definite quaternion algebra over $F$. A well-known formula established by Eichler and then extended by K\"orner computes the class number of any $O_F$-order…

In this paper we enumerate nonhyperelliptic superspecial curves of genus $4$ over prime fields of characteristic $p\le 11$. Our algorithm works for nonhyperelliptic curves over an arbitrary finite field in characteristic $p \ge 5$. We…

Let $p$ be a prime number such that $p=2$ or $p\equiv 1\pmod 4$. Let $\varepsilon_p$ denote the fundamental unit of $\mathbb{Q}(\sqrt{p})$ and let $a$ be a positive square-free integer. In the present paper, we construct the Hilbert genus…

In this paper, the quadrangular genus (4-genus) of the complete graph $K_p$ is shown to be $\gamma_4 (K_p) = \lceil {p(p-5)}/{8} \rceil +1$ for orientable surfaces. This means that $K_p$ is minimally embeddable in the closed orientable…

Let $\Gamma$ be the fundamental group of a finite connected graph $\mathcal G$. Let $\mathfrak M$ be an abelian group. A {\it distribution} on the boundary $\partial\Delta$ of the universal covering tree $\Delta$ is an $\mathfrak M$-valued…

An ideal is a classical object of study in the field of algebraic number theory. In maximal quadratic orders of number fields, ideals usually represented by the $\mathbb Z$-basis. This form of representation is used in most of the…

G. Prasad and A. Rapinchuk asked if two quaternion division F -algebras that have the same subfields are necessarily isomorphic. The answer is known to be "no" for some very large fields. We prove that the answer is "yes" if F is an…

Let $E$ be a field, $p$ a prime number and $F/E$ a finitely-generated extension of transcendency degree $t$. This paper shows that if the absolute Galois group $\mathcal{G}_{E}$ is of nonzero cohomological $p$-dimension cd$_{p}(E)$, then…

Frobenius' Theorem states that the algebra of quaternions $\mathbb H$ is, besides the fields of real and complex numbers, the only finite-dimensional real division algebra. We first give a short elementary proof of this theorem, then…

Necessary and sufficient conditions are given for the completed group algebras of a compact p-adic analytic group with coefficient ring the p-adic integers or the field of p elements to be prime, semiprime and a domain. Necessary and…

The genus $gen(D)$ of a finite-dimensional central division algebra $D$ over a field $F$ is defined as the collection of classes $[D']\in Br(F)$, where $D'$ is a central division $F$-algebra having the same maximal subfields as $D$. We show…

Let $N$ be a positive integer and $\Gamma$ be a subgroup of $\mathrm{SL}_2(\mathbb{Z})$ containing $\Gamma_1(N)$. Let $K$ be an imaginary quadratic field and $\mathcal{O}$ be an order of discriminant $D_\mathcal{O}$ in $K$. Under some…

In [2], an exhaustive construction is achieved for the class of all 4-dimensional unital division algebras over finite fields of odd order, whose left nucleus is not minimal and whose automorphism group contains Klein's four-group. We…

Let $F$ be the function field of a curve over a complete discretely valued field. Let $\ell$ be a prime not equal to the characteristic of the residue field. Given a finite subgroup $B$ in the $\ell$ torsion part of the Brauer group…