Related papers: Construction of Arakelov-modular Lattices over Tot…

An Arakelov-modular lattice of level $\ell$, where $\ell$ is a positive integer, is an $\ell-$modular lattice constructed from a fractional ideal of a CM field such that the lattice can be obtained from its dual by multiplication of an…

We study well-rounded ideal lattices from totally definite quaternion algebras. We prove existence and classification results, and illustrate our methods with examples.

We review a lattice construction arising from quaternion algebras over number fields and use it to obtain some known extremal and densest lattices in dimensions 8 and 16. The benefit of using quaternion algebras over number fields is that…

Let $p$ and $q$ be two positive primes. Let $\ell$ be an odd positive prime integer and $F$ a quadratic number field. Let $K$ be an extension of $F$ such that $K$ is a dihedral extension of $\Q$ of degree $\ell$ over $F$ or $K$ is an…

Algebraic lattices are those obtained from modules in the ring of integers of algebraic number fields through the canonical or twisted embeddings. In turn, well-rounded lattices are those with maximal cardinality of linearly independent…

We relate proper isometry classes of maximal lattices in a totally definite quaternary quadratic space (V,q) with trivial discriminant to certain equivalence classes of ideals in the quaternion algebra representing the Clifford invariant of…

Let $K$ be a totally real number field and let $B$ be a totally definite quaternion algebra over $K$. In this article, given a set of representatives for ideal classes for a maximal order in $B$, we show how to construct in an efficient way…

Let A be a modular abelian variety over \Q of arbitrary even dimension. We establish criteria to prevent a given quaternion algebra over a totally real number field to be the endomorphism algebra of A over \bar\Q. We accomplish this by…

Let $\ell>0$ be a square-free integer congruent to 3 mod 4 and $\O_K$ the ring of integers of the imaginary quadratic field $K=Q(\sqrt{-\ell})$. Codes $C$ over rings $\O_K / p \O_K$ determine lattices $\Lambda_\ell (C) $ over $K$. If $ p…

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…

We propose a construction of lattices from (skew-) polynomial codes, by endowing quotients of some ideals in both number fields and cyclic algebras with a suitable trace form. We give criteria for unimodularity. This yields integral and…

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 consider a variation of Construction A of lattices from linear codes based on two classes of number fields, totally real and CM Galois number fields. We propose a generic construction with explicit generator and Gram matrices, then focus…

Let $L$ be a separable quadratic extension of either $\mathbb{Q}$ or $\mathbb{F}_q(t)$. We propose efficient algorithms for finding isomorphisms between quaternion algebras over $L$. Our techniques are based on computing maximal one-sided…

We investigate a connection between two important classes of Euclidean lattices: well-rounded and ideal lattices. A lattice of full rank in a Euclidean space is called well-rounded if its set of minimal vectors spans the whole space. We…

Perfect ideals $I$ of grade $3$ in a local ring $(R,\mathfrak{m},\Bbbk)$ can be classified based on multiplicative structures on $\text{Tor}^R_{\bullet}(R/I,\Bbbk)$. The classification is incomplete in the sense that it remains open which…

A lattice-ordered group (an $\ell$-group) $G(\oplus, \vee, \wedge)$ can be naturally viewed as a semiring $G(\vee,\oplus)$. We give a full classification of (abelian) $\ell$-groups which are finitely generated as semirings, by first showing…

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})$…

We study ideal lattices in $\mathbb{R}^2$ coming from real quadratic fields, and give an explicit method for computing all well-rounded twists of any such ideal lattice. We apply this to ideal lattices coming from Markoff numbers to…

We study well-rounded lattices which come from ideals in quadratic number fields, generalizing some recent results of the first author with K. Petersen. In particular, we give a characterization of ideal well-rounded lattices in the plane…