Related papers: Definite orders with locally free cancellation

We introduce the notion of maximal orders over quaternion algebras with orthogonal involution and give a classification over local fields, and a partial classification over algebraic number fields.

We present an explicit basis for orders of arbitrary level N>1 in definite rational quaternion algebras. These orders have applications to computations of spaces of elliptic and quaternionic modular forms.

Let $K$ be a number field, let $A$ be a finite-dimensional semisimple $K$-algebra, and let $\Lambda$ be an $\mathcal{O}_{K}$-order in $A$. We give practical algorithms that determine whether $\Lambda$ has stably free cancellation (SFC). As…

We provide an algorithm that, given any order $O$ in a quaternion algebra over a global field, computes representatives of all right equivalence classes of right $O$-ideals, including the non-invertible ones. The theory is developed for a…

We study the cancellation property of projective modules of rank $2$ with a trivial determinant over Noetherian rings of dimension $\leq 4$. If $R$ is a smooth affine algebra of dimension $4$ over an algebraically closed field $k$ such that…

A commutative order in a quaternion algebra is called selective if it is embeds into some, but not all, the maximal orders in the algebra. It is known that a given quadratic order over a number field can be selective in at most one…

In this paper, we present an algorithm to compute a basis of the space of algebraic modular forms on the maximal order of the definite quaternion algebra of discriminant $2$, and provide a database of such bases. One of our motivations is…

We investigate the structure of the Hecke algebras related to the unimodular and modular group over hermitian fields and definite quaternion algebras. In particular we show that in general there is no decomposition into primary components.…

Let $L$ be the language of rings. We provide an axiomatization of the $L$-theories of quaternions and octonions and characterize their models: they coincide, up to isomorphism, with quaternion and octonion algebras over a real closed field,…

We study a form of refined class number formula (resp. type number formula) for maximal orders in totally definite quaternion algebras over real quadratic fields, by taking into consideration the automorphism groups of right ideal classes…

For any natural number $\ell $ and any prime $p\equiv 1 \pmod{4}$ not dividing $\ell $ there is a Hermitian modular form of arbitrary genus $n$ over $L:=\Q [\sqrt{-\ell}]$ that is congruent to 1 modulo $p$ which is a Hermitian theta series…

We show that cancellation of free modules holds in the stable class $\Omega_3(\mathbb{Z})$ over dihedral groups of order $4n$. In light of a recent result on realizing $k$-invariants for these groups, this completes the proof that all all…

We call a positive definite Hermitian lattice regular if it represents all integers which can be represented locally by the lattice. We investigate binary regular Hermitian lattices over imaginary quadratic fields $\mathbb{Q}(\sqrt{-m})$…

Let $\mathcal{O}$ be a maximal order in the quaternion algebra over $\mathbb{Q}$ ramified at $p$ and $\infty$. We prove two theorems that allow us to recover the structure of $\mathcal{O}$ from limited information. The first says that for…

Fix a quadratic order over the ring of integers. An embedding of the quadratic order into a quaternionic order naturally gives an integral binary hermitian form over the quadratic order. We show that, in certain cases, this correspondence…

We prove a capitulation result for locally free class groups of orders of group algebras over number fields. As a corollary, we obtain an "arithmetically disjoint capitulation result" for the Galois module structure of rings of integers.

We show that the deletion theorem of a free arrangement is combinatorial, i.e., whether we can delete a hyperplane from a free arrangement keeping freeness depends only on the intersection lattice. In fact, we give an explicit sufficient…

We prove new fundamental lemma and arithmetic fundamental lemma identities for general linear groups over quaternion division algebras. In particular, we verify the transfer conjeture and the arithmetic transfer conjecture from…

Let $K$ be a complete discretely valued field whose residue field has characteristic different from $2$. Let $(D,\sigma)$ be a $K-$division algebra with involution of the first kind, and $h$ be a $K-$anisotropic $\epsilon$-hermitian form…

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…