English

Blurrings of the $j$-function

Complex Variables 2021-08-17 v4 Algebraic Geometry Logic

Abstract

Inspired by the idea of blurring the exponential function, we define blurred variants of the jj-function and its derivatives, where blurring is given by the action of a subgroup of GL2(C)\rm{GL}_2(\mathbb{C}). 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 jj with derivatives have complex solutions, except where there is a functional transcendence reason why they should not. For the jj-function without derivatives we prove a stronger theorem, namely, Existential Closedness for jj blurred by the action of a subgroup which is dense in GL2+(R)\rm{GL}_2^+(\mathbb{R}), but not necessarily in GL2(C)\rm{GL}_2(\mathbb{C}). We also show that for a suitably chosen countable algebraically closed subfield CCC \subseteq \mathbb{C}, the complex field augmented with a predicate for the blurring of the jj-function by GL2(C)\rm{GL}_2(C) is model theoretically tame, in particular, ω\omega-stable and quasiminimal.

Keywords

Cite

@article{arxiv.2005.10167,
  title  = {Blurrings of the $j$-function},
  author = {Vahagn Aslanyan and Jonathan Kirby},
  journal= {arXiv preprint arXiv:2005.10167},
  year   = {2021}
}

Comments

Minor changes

R2 v1 2026-06-23T15:41:32.386Z