Related papers: Effective results for discriminant equations over …

We consider the problem of solvability of linear differential equations over a differential field~$K$. We introduce a class of special differential field extensions, which widely generalizes the classical class of extensions of differential…

We use weighted polynomial approximation to prove the existence of a compact set K with non-empty interior and a function f is dense in the space A(K) of all continuous functions on K that are holomorphic in the interior of K, endowed with…

Let A be a finite dimensional algebra over a field of characteristic zero graded by a finite abelian group G. Here we study a growth function related to the graded polynomial identities satisfied by A by computing the exponential rate of…

Motivated by mechanical problems where external forces are non-smooth, we consider the differential inclusion problem \[ \begin{cases} -\Delta u(x)\in \partial F(u(x))+\lambda \partial G(u(x))\ \mbox{in}\ \Omega \newline u\geq 0\ \mbox{in}\…

Let $K$ be an imaginary quadratic field and let $\mathcal{O}_K$ be the ring of algebraic integers of $K$. For $\alpha \in \mathcal{O}_K$ with $|\alpha| > 1$, define \[ \mathcal{D}_\alpha = \bigcup_{n=0}^\infty…

The class of finitely presented algebras over a field $K$ with a set of generators $a_{1},..., a_{n}$ and defined by homogeneous relations of the form $a_{1}a_{2}... a_{n} =a_{\sigma (a)} a_{\sigma (2)} ... a_{\sigma (n)}$, where $\sigma$…

This paper explores multiple closely related themes: bounding the complexity of Diophantine equations over the integers and developing mathematical proofs in parallel with formal theorem provers. Hilbert's Tenth Problem (H10) asks about the…

Let $k$ be an $F$-finite field containing an infinite perfect field of positive characteristic. Let $(X, \Delta)$ be a projective log canonical pair over $k$. In this note we show that, for a semi-ample divisor $D$ on $X$, there exists an…

Given a polynomial $f$ and a semi-algebraic set $S$, we provide a symbolic algorithm to find the equations and inequalities defining a semi-algebraic set $Q$ which is identical to the closure of the image of $S$ under $f$, i.e.,…

We show that, if a simple $C^{*}$-algebra $A$ is topologically finite-dimensional in a suitable sense, then not only $K_{0}(A)$ has certain good properties, but $A$ is even accessible to Elliott's classification program. More precisely, we…

This article concerns commutative algebras over a field $k$ of characteristic zero which are finite dimensional as vectorspaces, and particularly those of such algebras which are graded. Here the term graded is applied to non-negatively…

Let $I \subset R = \mathbb{F}[x_1,x_2]$ be a height two ideal minimally generated by three homogeneous polynomials of the same degree $d$, where $\mathbb{F}$ is a field of characteristic zero. We use the theory of $D$-modules to deduce…

Let D be a central division algebra of degree n over a field K. One defines the genus gen(D) of D as the set of classes [D'] in the Brauer group Br(K) of K represented by central division algebras D' of degree n over K having the same…

Let $K$ be a number field generated by a root $\th$ of a monic irreducible trinomial $F(x) = x^n+ax^{m}+b \in \Z[x]$. In this paper, we study the problem of $K$. More precisely, we provide some explicit conditions on $a$, $b$, $n$, and $m$…

Let R be a differential domain finitely generated over a differential field, F, with field of constants, C, of characteristic 0. Let E be the quotient field of R. The paper investigates necessary and sufficient conditions on R's…

Let $K$ be a number field, let $L$ be an algebraic (possibly infinite degree) extension of $K$, and let $O_K$ $\subset$ $O_L$ be their rings of integers. Suppose $A$ is an abelian variety defined over $K$ such that $A(K)$ is infinite and…

We prove that the genus of a finite-dimensional division algebra is finite whenever the center is a finitely generated field of any characteristic. We also discuss potential applications of our method to other problems, including the…

We consider algebraic ordinary differential equations (AODEs) and study their polynomial and rational solutions. A sufficient condition for an AODE to have a degree bound for its polynomial solutions is presented. An AODE satisfying this…

For a tuple $(\theta_1,..,\theta_M)$ of complex number, buliding on the approximation techniques in earlier papers of this series, this paper engages in deducing lower estimates on the transcendence degree of the field generated by…

Let t be any integer and fix an odd prime ell. Let Phi(x) = T_ell^n(x)-t denote the n-fold composition of the Chebyshev polynomial of degree ell shifted by t. If this polynomial is irreducible, let K = bbq(theta), where theta is a root of…