Related papers: Uniformity in the Mordell-Lang conjecture
We give a detailed proof of Kolchin's results on differential Galois groups of strongly normal extensions, in the case where the field of constants is not necessarily algebraically closed. We closely follow former works due to Pillay and…
Fair termination is the property of programs that may diverge "in principle" but that terminate "in practice", i.e. under suitable fairness assumptions concerning the resolution of non-deterministic choices. We study a conservative…
The paper's main result is an effective uniform bound for the finiteness statement of the Shafarevich Conjecture over function fields. Several results on the projective geometry of curves are established in the course of the proof. These…
We provide a simple proof for the union-closed sets conjecture, a long-standing open problem in set theory with immediate applications to graph theory, number theory, and order-theory.
We characterise the model-theoretic algebraic closure in Zilber's exponential field. A key step involves showing that certain algebraic varieties have finite intersections with certain finite-rank subgroups of the graph of exponentiation.…
For an abelian variety over a finite field, Clozel (1999) showed that l-homological equivalence coincides with numerical equivalence for infinitely many l, and the author (1999) gave a criterion for the Tate conjecture to follow from Tate's…
We note a parallel between some ideas of stable model theory and certain topics in finite combinatorics related to the sum-product phenomenon. For a simple linear group G, we show that a finite subset X with |X X \^{-1} X |/ |X| bounded is…
We prove a relative decidability result for perfectoid fields. This applies to show that the fields $\mathbb{Q}_p(p^{1/p^{\infty}})$ and $\mathbb{Q}_p(\zeta_{p^{\infty}})$ are (existentially) decidable relative to the perfect hull of $…
We classify the stable formulas in the theory of Dense Linear Orders without endpoints, the stable formulas in the theory of Divisible Abelian Groups, and the stable formulas without parameters in the theory of Real Closed Fields. The third…
Slattery has generalized Brauer's theory of p-blocks of finite groups to pi-blocks of pi-separable groups where pi is a set of primes. In this setting we show that the order of a defect group of a pi-block B is bounded in terms of the…
In this paper, we study the Landis-type conjecture, i.e., unique continuation property from infinity, of the fractional Schr\"{o}dinger equation with drift and potential terms. We show that if any solution of the equation decays at a…
We investigate the foundations of a theory of algebraic data types with variable binding inside classical universal algebra. In the first part, a category-theoretic study of monads over the nominal sets of Gabbay and Pitts leads us to…
A group $\Gamma$ is said to be uniformly HS stable if any map $\varphi : \Gamma \to U(n)$ that is almost a unitary representation (w.r.t. the Hilbert Schmidt norm) is close to a genuine unitary representation of the same dimension. We…
The P\'{o}lya group of an algebraic number field is a particular subgroup of the ideal class group. This article provides an overview of recent results on P\'{o}lya groups of number fields, their connection with the ring of integer-valued…
We consider a family of conditional nonlinear expectations defined on the space of bounded random variables and indexed by the class of all the sub-sigma-algebras of a given underlying sigma-algebra. We show that if this family satisfies a…
In the present article, the author shows that Faltings' annihilator theorem holds for any Noetherian ring $A$ if $A$ is universally catenary; all the formal fibers of all the localizations of $A$ are Cohen-Macaulay; and the Cohen-Macaulay…
We give a criterion for two l-adic Galois representations of an algebraic number field to be isomorphic when restricted to a decomposition group, in terms of the global representations mod l. This is applied to prove a generalization of a…
The aim of this short research note is to present some results about a conjecture of Barker and Gelvin claiming that any source algebra of a block of a finite group has the unit group containing a basis stabilised by the left and right…
We consider a family of finitely presented groups, called Universal Left Invertible Element (or ULIE) groups, that are universal for existence of one--sided invertible elements in a group ring K[G], where K is a field or a division ring. We…
McGrail has shown the existence of a model completion for the universal theory of fields on which a finite number of commuting derivations act and, independently, Yaffe has shown the existence of a model completion for the univeral theory…