Related papers: Representation of two by two matrices over perfect…
In order to find a suitable expression of an arbitrary square matrix over an arbitrary finite commutative ring, we prove that every such a matrix is always representable as a sum of a potent matrix and a nilpotent matrix of order at most…
In this paper, we prove that a binary definite quadratic form over F_q[t], where q is odd, is completely determined up to equivalence by the polynomials it represents up to degree 3m-2, where m is the degree of its discriminant. We also…
A square matrix is said to be circular bidiagonal whenever (i) each nonzero entry is on the diagonal, or the subdiagonal, or in the top-right corner; (ii) each subdiagonal entry is nonzero, and the entry in the top-right corner is nonzero.…
Let A be a basic finite dimensional and connected algebra over an algebraically closed field k with zero characteristic. If the ordinary quiver of A has no double bypasses, we show that A admits a Galois covering which satisfies a universal…
For a vector field $X$ on a smooth manifold $M$ there exists a smooth but not necessarily Hausdorff manifold $M_\Bbb R$ and a complete vector field $X_\Bbb R$ on it which is the universal completion of $(M,X)$.
We study quadratic forms over totally real number fields by using an associated ring of quaternions. We examine some properties of residue class rings of these quaternions and use geometry of numbers to prove that certain ideals of the ring…
Let ${\mathbb F}_q$ be a finite field of characteristic two and ${\mathbb F}_q(X_1,...,X_n)$ a rational function field. We use matrix methods to obtain explicit transcendental bases of the invariant subfields of orthogonal groups and…
We prove that the set of anisotropic quadratic forms over global fields of characteristic different from 2 is a diophantine set. Our proof builds upon and extends the method of Koenigsmann, using tools from class field theory, the…
In this paper we prove a correspondence between a canonical degree six covariant of binary quartic forms $F$ and a cubic covariant of a pair of ternary quadratic forms $(f_A, f_B)$. In the process we obtain a canonical way to diagonalize a…
We show that if a universal quadratic form exists over an infinite degree, totally real extension of the field of rationals $\mathbb{Q}$, then the set of totally positive integers in the extension does not have the Northcott property. In…
Perfect quadratic forms give a toroidal compactification of the moduli space of principally polarized abelian g-folds that is Q-factorial and whose ample classes are characterized, over any base. In characteristic zero it has canonical…
Let $a,b,c,d,e,f\in\mathbb N$ with $a\ge c\ge e>0$, $b\le a$ and $b\equiv a\pmod2$, $d\le c$ and $d\equiv c\pmod2$, $f\le e$ and $f\equiv e\pmod2$. If any nonnegative integer can be written as $x(ax+b)/2+y(cy+d)/2+z(ez+f)/2$ with…
Let $\mathbb{F}$ be a field of characteristic different from $2$ and $3$, and let $V$ be a vector space of dimension $2$ over $\mathbb{F}$. The generic classification of homogeneous quadratic maps $f\colon V\to V$ under the action of the…
In this note, we give a necessary and sufficient condition for a matrix A in M to be finitely G-determined, where M is the ring of 2 x 2 matrices whose entries are formal power series over an infinite field, and G is a group acting on M by…
We consider the problem of characterizing upper-triangular matrices $M=\begin{pmatrix}p&r\\0&q\end{pmatrix}\in M_2(\mathbb Z)$ which can be represented in the form $A^2-B^2$ with upper-triangular integer matrices $A$ and $B$ and give a…
Recently the author used certain quaternion orders to demonstrate the universality of some quaternary quadratic forms. Here a further study is done on one of these orders analogous to Hurwitz's proof of the formula for the number of…
A theorem of Albert-Draxl states that if a tensor product of two quaternion division algebras $Q_1$, $Q_2$ over a field $F$ is not a division algebra, then there exists a separable quadratic extension of $F$ that embeds as a subfield in…
Over the finite field with two elements, we present a method for obtaining explicit expressions for the number of rank i matrices of the form A above B, where A is persymmetric (A matrix [a(i,j)] is persymmetric if a(i,j) = a(r,s) for i+j =…
In a previous article, a universal linear algebraic model was proposed for describing homogeneous conformal geometries, such as the spherical, Euclidean, hyperbolic, Minkowski, anti-de Sitter and Galilei planes. This formalism was…
Let $\mathfrak o$ be the ring of integers of a totally real number field. If $f$ is a quadratic form over $\mathfrak o$ and $g$ is another quadratic form over $\mathfrak o$ which represents all proper subforms of $f$, does $g$ represent…