Related papers: Effective definability of Kolchin polynomials

We consider polynomial maps of affine space over an algebraically closed field of characteristic zero. We prove that every irreducible component of the zero locus of the Jacobian determinant corresponds to either a contracted divisor or a…

A novel lower bound is introduced for the full rank probability of random finite field matrices, where a number of elements with known location are identically zero, and remaining elements are chosen independently of each other, uniformly…

In the article 'Recursive queries on trees and data trees' (ICDT'13), Abiteboul et al., asked whether the containment problem for monadic datalog over unordered unranked labeled trees using the child relation and the descendant relation is…

We make further observations on the features of Galois cohomology in the general model theoretic context. We make explicit the connection between forms of definable groups and first cohomology sets with coefficients in a suitable…

An infinite family of exactly-solvable and integrable potentials on a plane is introduced. It is shown that all already known rational potentials with the above properties allowing separation of variables in polar coordinates are particular…

Let $V$ be a finite dimensional $k$-vector space, where $k$ is an algebraic closed field of characteristic zero. Let $G \subseteq \mathrm{SL}(V)$ be a finite abelian group, and denote by $S$ the $G$-invariant subring of the polynomial ring…

The module category of any artin algebra is filtered by the powers of its radical, thus defining an associated graded category. As an extension of the degree of irreducible morphisms, this text introduces the degree of morphisms in the…

We prove that the class of all ordinals Ord is not weakly compact with respect to definable classes. Specifically, in any model of ZFC, the definable tree property fails for Ord, in that there is a definable Ord tree with no definable…

We show how several results about p-adic lattices generalize easily to lattices over valuation ring of arbitrary rank having only the Henselian property for quadratic polynomial. If 2 is invertible we obtain the uniqueness of the Jordan…

We investigate Diophantine definability and decidability over some subrings of algebraic numbers contained in quadratic extensions of totally real algebraic extensions of $\mathbb Q$. Among other results we prove the following. The big…

We investigate fields of characteristic 0 and dp-rank 2. While we do not obtain a classification, we prove that any unstable field of characteristic 0 and dp-rank 2 admits a unique definable V-topology. If this statement could be…

The convolution powers of a perverse sheaf on an abelian variety define an interesting family of branched local systems whose geometry is still poorly understood. We show that the generating series for their generic rank is a rational…

We study some natural sets arising in the theory of ordinary differential equations in one variable from the point of view of descriptive set theory and in particular classify them within the Borel hierarchy. We prove that the set of Cauchy…

A new class of integrable maps, obtained as lattice versions of polynomial dynamical systems is introduced. These systems are obtained by means of a discretization procedure that preserves several analytic and algebraic properties of a…

We study two families of orthogonal polynomials. The first is a finite family related to the Askey-Wilson polynomials but the orthogonality is on the real line. A limiting case of this family is an infinite system of orthogonal polynomials…

We introduce a family of local ranks DQ depending on a finite set Q of pairs of the form (\varphi(x,y),q(y)) where \varphi(x,y) is a formula and q(y) is a global type. We prove that in any NSOP1 theory these ranks satisfy some desirable…

A new class of rings, {\em the class of weakly left localizable rings}, is introduced. A ring $R$ is called {\em weakly left localizable} if each non-nilpotent element of $R$ is invertible in some left localization $S^{-1}R$ of the ring…

In this article, we produce infinite families of non-congruent numbers in the residue class of $1,2,$ and $3$ modulo $8$ with arbitrarily many triples or quadruples prime factors. In short, we use Monsky matrix to show that the $2$-Selmer…

One interesting combinatorial feature of classical determinantal varieties is that the character of their coordinate rings give a natural truncation of the Cauchy identity in the theory of symmetric functions. Natural generalizations of…

In this article we give a general approach to the following analogue of Shafarevich's conjecture for some polarized algebraic varieties; suppose that we fix a type of an algebraic variety and look at families of such type of varieties over…