Related papers: On the representation of integers by binary quadra…

For a field $k$ of characteristic $0$, we present an algorithm for deciding if a morphism $\phi:k[X_1,...,X_m]\to k[X_1,...,X_m]$ has an inverse. The algorithm also shows how to find the inverse when it exists.

In this work, we consider rational ordinary differential equations dy/dx = Q(x,y)/P(x,y), with Q(x,y) and P(x,y) coprime polynomials with real coefficients. We give a method to construct equations of this type for which a first integral can…

The following result, a consequence of Dumas criterion for irreducibility of polynomials over integers, is generally proved using the notion of Newton diagram: Let $f(x)$ be a polynomial with integer coefficients and $k$ be a positive…

Let $\mathcal F(r, d)$ denote the moduli space of algebraic foliations of codimension one and degree $d$ in complex proyective space of dimension $r$. We show that $\mathcal F(r, d)$ may be represented as a certain linear section of a…

We prove that the automorphism group of an affine, cubic surface with equation $xyz=g(x,y)$ contains ${\mathbb Z}$ as a finite index subgroup. These equations were first studied by Mordell. v.2: small changes, references updated.

A computably presented algebraic field $F$ has a \emph{splitting algorithm} if it is decidable which polynomials in $F[X]$ are irreducible there. We prove that such a field is computably categorical iff it is decidable which pairs of…

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…

Erd\"os and Obl\'ath proved that the equation $n!\pm m!=x^p$ has only finitely many integer solutions. More general, under the ABC-conjecture, Luca showed that $P(x)=An!+Bm!$ has finitely many integer solutions for polynomials of degree…

We prove some general recursions for the numbers of representations of positive integers as a sum x+y, x in X, y in Y, where X,Y are increasing sequences. In particular, we obtain recursions for the number of the Goldbach, Lemoine-Levy,…

Let K<x,y> be the free associative algebra of rank 2 over an algebraically closed constructive field of any characteristic. We present an algorithm which decides whether or not two elements in K<x,y> are equivalent under an automorphism of…

Let $\Gamma$ be a quiver on n vertices $v_1, v_2, ..., v_n$ with $g_{ij}$ edges between $v_i$ and $v_j$, and let $\alpha \in \N^n$. Hua gave a formula for $A_{\Gamma}(\alpha, q)$, the number of isomorphism classes of absolutely…

For any fixed nonzero integer $h$, we show that a positive proportion of integral binary quartic forms $F$ do locally everywhere represent $h$, but do not globally represent $h$. We order classes of integral binary quartic forms by the two…

We give a dimension bound on the irreducible components of the characteristic variety of a system of linear partial differential equations defined from a suitable filtration of the Weyl algebra $A_{n}(k)$. This generalizes an important…

We consider Diophantine equations of the shape $ f(x) = g(y) $, where the polynomials $ f $ and $ g $ are elements of power sums. Using a finiteness criterion of Bilu and Tichy, we will prove that under suitable assumptions infinitely many…

In this paper, we obtained character formulas of irreducible unitary representations of $U(n, n+1)$ by using Howe's correspondence and the Cauchy--Harish-Chandra integral. The representations of $U(n, n+1)$ we are dealing with are obtained…

Irreducible representations of both Leavitt and Cohn path algebras of an arbitrary digraph with coefficients in a commutative field is classified. They are constructed in several ways using both infinite paths on the right as well as direct…

Using the theory developed by Olga Kharlampovich, Alexei Miasnikov, and, independently, by Zlil Sela to describe the set of homomorphisms of a f.g. group G into a free group F, we describe the solutions to equations with coefficients from F…

We establish some upper bounds for the number of integer solutions to the Thue inequality $|F(x , y)| \leq m$, where $F$ is a binary form of degree $n \geq 3$ and with non-zero discriminant $D$, and $m$ is an integer. Our upper bounds are…

Let $\Delta_x f(x,y)=f(x+1,y)-f(x,y)$ and $\Delta_y f(x,y)=f(x,y+1)-f(x,y)$ be the difference operators with respect to $x$ and $y$. A rational function $f(x,y)$ is called summable if there exist rational functions $g(x,y)$ and $h(x,y)$…

We study the structure of length three polynomial automorphisms of $R[X,Y]$ when $R$ is a UFD. These results are used to prove that if $\text{SL}_m(R[X_1,X_2,..., X_n]) = \text{E}_m(R[X_1,X_2,..., X_n])$ for all $n,\ge 0$ and for all $m \ge…