Blurrings of the j-function

DOI10.1093/QMATH/HAAB037MaRDI QIDQ6341108arXivFDO

Authors V. A. Aslanyan, Jonathan Kirby

Publication date 20 May 2020

Published in arXiv

Full work available at URL https://doi.org/10.1093/QMATH/HAAB037

Mathematics Subject Classification ID

Holomorphic modular forms of integral weight (11F11) Transcendence theory of elliptic and abelian functions (11J89) Model theory (number-theoretic aspects) (11U09)

arXiv classification

math.AGmath.CVmath.LO

Abstract: 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 $m{GL}_2(mathbbC)$. For a dense subgroup (in the complex topology) we prove an Existential Closedness theorem which states that all systems of equations in terms of the corresponding blurred $j$ with derivatives have complex solutions, except where there is a functional transcendence reason why they should not. For the $j$-function without derivatives we prove a stronger theorem, namely, Existential Closedness for $j$ blurred by the action of a subgroup which is dense in $m{GL}_2^{+}(mathbbR)$, but not necessarily in $m{GL}_2(mathbbC)$. We also show that for a suitably chosen countable algebraically closed subfield $CsubseteqmathbbC$, the complex field augmented with a predicate for the blurring of the $j$-function by $m{GL}_2(C)$ is model theoretically tame, in particular, $omega$-stable and quasiminimal.

This page was built for publication: Blurrings of the $j$-function

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6341108)