Related papers: Definable retractions over complete fields with se…

In this paper we generalize the Deuring theorem on a reduction of elliptic curve with complex multiplication. More precisely, for an Abelian variety $A$, arising after reduction of an Abelian variety with complex multiplication by a CM…

We study the arithmetic Fourier transforms of trace functions on general connected commutative algebraic groups. To do so, we first prove a generic vanishing theorem for twists of perverse sheaves by characters, and using this tool, we…

We establish nontrivial bounds for general bilinear forms with a given periodic function, which are thought of as an analogue of van der Corput differencing for exponential sums. The proof employs Poisson summation, Cauchy-Schwarz, and the…

A torsor under a k-group scheme G on a variety X over a number field k imposes a descent obstruction against the existence of rational points on X. We discuss the finite descent obstruction, that is for all such torsors under finite…

We carry out a proof theoretic analysis of the wellfoundedness of recursive path orders in an abstract setting. We outline a very general termination principle and extract from its wellfoundedness proof subrecursive bounds on the size of…

Let $R$ be a commutative $k-$algebra over a field $k$. Assume $R$ is a noetherian, infinite, integral domain. The group of $k-$automorphisms of $R$,i.e.$Aut_k(R)$ acts in a natural way on $(R-k)$.In the first part of this article, we study…

We study the family of rational sets of words, called completely reducible and which are such that the syntactic representation of their characteristic series is completely reducible. This family contains, by a result of Reutenauer, the…

Adapting a proof of Bouscaren and Delon, we show that every type-definable connected group in a given stable theory of fields embeds into an algebraic group, under a condition on the definable closure. We also present general hypotheses…

We develop linear discretization of complex analysis, originally introduced by R. Isaacs, J. Ferrand, R. Duffin, and C. Mercat. We prove convergence of discrete period matrices and discrete Abelian integrals to their continuous…

The use of Extended Logics to replace ordinary second order definability in Kleene's {\em Ramified Analytical Hierarchy} is investigated. This mirrors a similar investigation of Kennedy, Magidor and V\"a\"an\"anen \cite{KeMaVa2016} where…

Let K \subset L be a field extension. Given K-subspaces A,B of L, we study the subspace spanned by the product set AB = {ab | a \in A, b \in B}. We obtain some lower bounds on the dimension of this subspace and on dim B^n in terms of dim A,…

Let P be a semigroup that admits an embedding into a group G. Assume that the embedding satisfies a certain Toeplitz condition and that the Baum-Connes conjecture holds for G. We prove a formula describing the K- theory of the reduced…

We prove an analogue of Morley's categoricity theorem where cardinality is replaced by the recursion-theoretic notion of arithmetic degree. We say that a complete arithmetically definable theory $T$ is $D$-categorical if any two…

Let X be a K3 surface over a number field K. We prove that there exists a finite algebraic field extension L/K such that X has ordinary reduction at every non-archimedean place of L outside a density zero set of places.

Let X be a smooth projective variety over a field k. For k separably closed, we prove that the subgroup of unramified classes in the Milnor K-group $K^M_i(k(X))$ of the function field of X is contained in the subgroup of n-divisible…

We consider the ordered field which is the completion of the Puiseux series field over \bR equipped with a ring of analytic functions on [-1,1]^n which contains the standard subanalytic functions as well as functions given by t-adically…

We study the nonlinear realization of supersymmetry in a dynamical/cosmological background in which derivative terms like kinetic terms are finite. Starting from linearly realized theories, we integrate out heavy modes without neglecting…

On a manifold or a closed subset of a Euclidean vector space, a retraction enables to move in the direction of a tangent vector while staying on the set. Retractions are a versatile tool to perform computational tasks such as optimization,…

Let $K _{m}$ be an $m$-local field with an $m$-th residue field $K _{0}$, for some integer $m > 0$, and let $K/K _{m}$ be a field extension of transcendence degree trd$(K/K _{m}) \le 1$. This paper shows that if $K _{0}$ is a field of…

Building on our previous work on rigid analytic uniformizations, we introduce Darmon points on Jacobians of Shimura curves attached to quaternion algebras over Q and formulate conjectures about their rationality properties. Moreover, if K…