Related papers: Explicitly combing hedgehogs over fields of Stufe …

We discuss the relationship between quaternion algebras and quadratic forms with a focus on computational aspects. Our basic motivating problem is to determine if a given algebra of rank 4 over a commutative ring R embeds in the 2x2-matrix…

This paper presents a Coq formalization of linear algebra over elementary divisor rings, that is, rings where every matrix is equivalent to a matrix in Smith normal form. The main results are the formalization that these rings support…

This monograph starts with an upper triangular matrix with integer entries and 1's on the diagonal. It develops from this a spectrum of structures, which appear in different contexts, in algebraic geometry, representation theory and the…

We study solutions of the Knizhnik-Zamolodchikov equation for discrete representations of SU(2)_k at rational level k+2=p/q using a regular basis in which the braid matrices are well defined for all spins. We show that at spin J=(j+1)p-1…

We construct K3 surfaces over number fields that have good reduction everywhere. These do not exists over the rational numbers, by results of Abrashkin and Fontaine. Our surfaces exist for three quadratic number fields, and an infinite…

We give a general framework for uniform, constant-time one-and two-dimensional scalar multiplication algorithms for elliptic curves and Jacobians of genus 2 curves that operate by projecting to the x-line or Kummer surface, where we can…

Using the properties of the ideal of the coordinate Hermite interpolation on n-dimensional grid [4], we prove that the extension k in k[x1, x2, ..., xn] / (f1(x1), ..., fn(xn)) has a primitive element if and only if at most one of the…

An abelian surface A over a field K has potential quaternionic multiplication if the ring End_\bar K (A) of geometric endomorphisms of A is an order in an indefinite rational division quaternion algebra. In this brief note, we study the…

In 1961, Gerstenhaber proved the following theorem: if k is a field and X and Y are commuting dxd matrices with entries in k, then the unital k-algebra generated by these matrices has dimension at most d. The analog of this statement for…

We prove a higher dimensional generalization of Gross and Zagier's theorem on the factorization of differences of singular moduli. Their result is proved by giving a counting formula for the number of isomorphisms between elliptic curves…

There has been a recent surge of interest on distributions of shapes of unit lattices in number fields, due to both their applications to number theory and the lack of known results. In this work we focus on $D_4$-quartic fields with…

For the irreducible holomorphic symplectic eightfold Z associated to a cubic fourfold Y not containing a plane, we show that a natural Abel-Jacobi map from H^4_prim(Y) to H^2_prim(Z) is a Hodge isometry. We describe the full H^2(Z) in terms…

Consider a field $k$ of characteristic $0$, not necessarily algebraically closed, and a fixed algebraic curve $f=0$ defined by a tame polynomial $f\in k[x,y]$ with only quasi-homogeneous singularities. We prove that the space of holomorphic…

We study points and 0-cycles on del Pezzo surfaces defined over a field K of characteristic 0, with emphasis on cubic surfaces. We prove that a cubic surface that admits a point defined over a field extension of K of degree coprime to 3…

This article is an overview of Zagier's and Kim's work on traces of singular moduli. We give more detailed or new proofs to some of their results and also describe some algorithms to compute spaces of Jacobi forms and weight $3/2$ modular…

We classify quadratic SL(2,K)- and sl(2,K)-modules by crude computation, generalizing in the first case a Theorem proved independently by F.-G. Timmesfeld and S. Smith. The paper is the first of a series dealing with linearization results…

Given an associative, not necessarily commutative, ring R with identity, a formal matrix calculus is introduced and developed for pairs of matrices over R. This calculus subsumes the theory of homogeneous systems of linear equations with…

We investigate the space $X$ of unitary hermitian matrices over $\frp$-adic fields through spherical functions. First we consider Cartan decomposition of $X$, and give precise representatives for fields with odd residual characteristic,…

Meyer showed that the signature of a closed oriented surface bundle over a surface is a multiple of $4$, and can be computed using an element of $H^2(\mathsf{Sp}(2g, \mathbb{Z}),\mathbb{Z})$. Denoting by $1 \to \mathbb{Z} \to…

In 2003, H\'{e}thelyi and K\"{u}lshammer proposed that if $G$ is a finite group and $p$ is a prime dividing the group order, then $k(G)\geq 2\sqrt{p-1}$, and they proved this conjecture for solvable $G$ and showed that it is sharp for those…