Related papers: Effective results for discriminant equations over …

We study the differential identities of the algebra $M_k(F)$ of $k\times k$ matrices over a field $F$ of characteristic zero when its full Lie algebra of derivations, $L=\mbox{Der}(M_k(F))$, acts on it. We determine a set of 2 generators of…

We use a generalization of a construction by Ziegler to show that for any field $F$ and any countable collection of countable subsets $A_i \subseteq F, i \in \calI \subset \Z_{>0}$ there exist infinitely many fields $K$ of arbitrary…

Let $\alpha$ be an algebraic number of degree $d\ge 3$ having at most one real conjugate and let $K$ be the algebraic number field ${\mathbf Q}(\alpha)$. For any unit $\epsilon$ of $K$ such that ${\mathbf Q}(\alpha\epsilon)=K$, we consider…

We study the classification of $\mathbb{Z}$-DGAs with polynomial homology $\mathbb{F}_p[x]$ with $\lvert x \rvert >0$, motivated by computations in algebraic $K$-theory. This classification problem was left open in work of Dwyer, Greenlees,…

Let $F$ be a $\delta-$field (differential field) of characteristic zero with an algebraically closed field of constants $F^\delta$, $A$ be a $\delta-F-$central simple algebra, $K$ be a Picard-Vessiot extension for the $\delta-F-$module $A$…

Let $K$ be a field, let $\sigma$ be an automorphism of $K$, and let $\delta$ be a derivation of $K$. We show that if $D$ is one of $K(x;\sigma)$ or $K(x;\delta)$, then $D$ either contains a free algebra over its center on two generators, or…

Denote the set of algebraic numbers as $\overline{\mathbb{Q}}$ and the set of algebraic integers as $\overline{\mathbb{Z}}$. For $\gamma\in\overline{\mathbb{Q}}$, consider its irreducible polynomial in $\mathbb{Z}[x]$,…

We establish new explicit zero-free regions for the Dedekind zeta-function. Two key elements of our proof are a non-negative, even, trigonometric polynomial and explicit upper bounds for the explicit formula of the so-called differenced…

Let $D$ be a Dedekind domain with infinitely many maximal ideals, all of finite index, and $K$ its quotient field. Let $\operatorname{Int}(D) = \{f\in K[x] \mid f(D) \subseteq D\}$ be the ring of integer-valued polynomials on $D$. Given any…

Let $K$ be a number field of degree $n$ with ring of integers $O_K$. By means of a criterion of Gilmer for polynomially dense subsets of the ring of integers of a number field, we show that, if $h\in K[X]$ maps every element of $O_K$ of…

Let $K$ be a field of positive characteristic with no algebraically closed subfield. Let $F$ be a function field over $K$ and $t \in F$ transcendental over $K$. Refining a result of Eisentr{\"a}ger and Shlapentokh, we show that there is no…

Let D be an integral domain with quotient field K. For any set X, the ring Int(D^X) of integer-valued polynomials on D^X is the set of all polynomials f in K[X] such that f(D^X) is a subset of D. Using the t-closure operation on fractional…

What polynomial in the coefficients of a system of algebraic equations should be called its discriminant? We prove a package of facts that provide a possible answer. Let us call a system typical, if the homeomorphic type of its set of…

We develop the theory of difference algebraic groups in the case where we have finitely many pairwise commuting difference operators. We show that the defining ideal of a difference algebraic group is finitely generated as a difference…

Given an ordinary differential field $K$ of characteristic zero, it is known that if $y$ and $1/y$ satisfy linear differential equations with coefficients in $K$, then $y'/y$ is algebraic over $K$. We present a new short proof of this fact…

Let A be a commutative domain containing Z which is finitely generated as a Z-algebra, and let a,b,c be non-zero elements of A. It follows from work of Siegel, Mahler, Parry and Lang that the equation (*) ax+by=c has only finitely many…

One important question in algebraic complexity is understanding the complexity of polynomial ideals (Grochow, Bulletin of EATCS 131, 2020). Andrews and Forbes (STOC 2022) studied the determinantal ideals $I^{\det}_{n,m,r}$ generated by the…

We show that for each abelian number field $K$ of sufficiently large degree $d$ there exists an element $\alpha\in K$ with $K=\IQ(\alpha)$ and absolute Weil height $H(\alpha)\ll_d |\Delta_K|^{1/2d}$ , where $\Delta_K$ denotes the…

We provide an irreducibility test in the ring K[[x]][y] whose complexity is quasi-linear with respect to the valuation of the discriminant, assuming the input polynomial F square-free and K a perfect field of characteristic zero or greater…

Let $D$ be a domain with fraction field $K$, and let $M_n(D)$ be the ring of $n \times n$ matrices with entries in $D$. The ring of integer-valued polynomials on the matrix ring $M_n(D)$, denoted ${\rm Int}_K(M_n(D))$, consists of those…