English
Related papers

Related papers: Differential Existential Closedness for the $j$-fu…

200 papers

In this paper we survey the history of, and recent developments on, two major conjectures originating in Zilber's model-theoretic work on complex exponentiation -- Existential Closedness and Zilber-Pink. The main focus is on the modular…

Logic · Mathematics 2024-03-15 Vahagn Aslanyan

Inspired by the idea of blurring the exponential function, we define blurred variants of the $j$-function and its derivatives, where blurring is given by the action of a subgroup of $\rm{GL}_2(\mathbb{C})$. For a dense subgroup (in the…

Complex Variables · Mathematics 2021-08-17 Vahagn Aslanyan , Jonathan Kirby

We prove some unconditional cases of the Existential Closedness problem for the modular $j$-function. For this, we show that for any finitely generated field we can find a "convenient" set of generators. This is done by showing that in any…

Logic · Mathematics 2022-10-06 Vahagn Aslanyan , Sebastian Eterović , Jonathan Kirby

In unpublished notes Pila proposed a Modular Zilber-Pink with Derivatives (MZPD) conjecture, which is a Zilber-Pink type statement for the modular $j$-function and its derivatives. In this article we define D-special varieties, then state…

Number Theory · Mathematics 2021-06-04 Vahagn Aslanyan

We consider some Diophantine problems of mixed modular-multiplicative type associated with the Zilber-Pink conjecture. In particular, we prove a finiteness statement for the number of multiplicative relations between singular moduli…

Number Theory · Mathematics 2014-12-30 Jonathan Pila , Jacob Tsimerman

Assuming a modular version of Schanuel's conjecture and the modular Zilber-Pink conjecture, we show that the existence of generic solutions of certain families of equations involving the modular $j$ function can be reduced to the problem of…

Number Theory · Mathematics 2025-02-03 Sebastian Eterović

This article establishes a complete approximate axiomatization for the real-closed field $\mathbb{R}$ expanded with all differentially-defined functions, including special functions such as $\sin(x), \cos(x), e^x, \dots$. Every true…

Logic in Computer Science · Computer Science 2025-06-11 André Platzer , Long Qian

We prove that the theory of differentially closed fields of characteristic zero in $m\geq 1$ commuting derivations DCF$_{0,m}$ satisfies the expected form of the dichotomy. Namely, any minimal type is either locally modular or nonorthogonal…

Logic · Mathematics 2024-11-08 Omar Leon Sanchez

Assuming Schanuel's conjecture, we prove that any polynomial exponential equation in one variable must have a solution that is transcendental over a given finitely generated field. With the help of some recent results in Diophantine…

Number Theory · Mathematics 2017-02-01 Vincenzo Mantova , Umberto Zannier

The Jacobian conjecture over a field of characteristic zero is considered directly in view of the nonlinear partial differential equations it is associated with. Exploring the integrals of such partial differential equations, this work…

Algebraic Geometry · Mathematics 2025-07-25 Yisong Yang

Inspired by work done for systems of polynomial exponential equations, we study systems of equations involving the modular $j$ function. We show general cases in which these systems have solutions, and then we look at certain situations in…

Number Theory · Mathematics 2020-02-14 Sebastian Eterović , Sebastián Herrero

We show that the order three algebraic differential equation over ${\mathbb Q}$ satisfied by the analytic $j$-function defines a non-$\aleph_0$-categorical strongly minimal set with trivial forking geometry relative to the theory of…

Logic · Mathematics 2014-09-30 James Freitag , Thomas Scanlon

We establish an invertibility criterion for free polynomials and free functions evaluated on some tuples of matrices. We show that if the derivative is nonsingular on some domain closed with respect to direct sums and similarity, the…

Functional Analysis · Mathematics 2014-07-01 J. E. Pascoe

Pseudoexponential fields are exponential fields similar to complex exponentiation satisfying the Schanuel Property, which is the abstract statement of Schanuel's Conjecture, and an adapted form of existential closure. Here we show that if…

Number Theory · Mathematics 2017-02-01 Vincenzo Mantova

We prove that the theories of fields with Hasse-Schmidt derivations corresponding to actions of formal groups admit model companions. We also give geometric axiomatizations of these model companions.

Logic · Mathematics 2019-05-24 Daniel Hoffmann , Piotr Kowalski

In this paper, we prove some new thickness theorems with partial derivatives. We give some applications. First, we give a simple criterion that can judge whether two scaled Cantor sets have non-empty intersection. Second, we prove under…

Dynamical Systems · Mathematics 2022-12-02 Kan Jiang

We provide new results on the existence of extremal solutions for discontinuous differential equations with a deviated argument which can be either delayed or advanced. The boundary condition is allowed to be discontinuous and to depend…

Classical Analysis and ODEs · Mathematics 2011-04-13 Rubén Figueroa

We prove, using a fixed point theorem in a Banach algebra, an existence result for a fractional functional differential equation in the Riemann-Liouville sense. Dependence of solutions with respect to initial data and an uniqueness result…

Classical Analysis and ODEs · Mathematics 2012-06-21 Moulay Rchid Sidi Ammi , El Hassan El Kinani , Delfim F. M. Torres

In this note a critical point result for differentiable functionals is exploited in order to prove that a suitable class of one-dimensional fractional problems admits at least one non-trivial solution under an asymptotical behaviour of the…

Classical Analysis and ODEs · Mathematics 2014-02-10 Marek Galewski , Giovanni Molica Bisci

Let $\mathcal{K}:=(K;+,\cdot, D, 0, 1)$ be a differentially closed field of characteristic $0$ with field of constants $C$. In the first part of the paper we explore the connection between Ax-Schanuel type theorems (predimension…

Logic · Mathematics 2020-08-10 Vahagn Aslanyan
‹ Prev 1 2 3 10 Next ›