SearcharxivSearch

arXiv subjects

Ozlem Ejder

Publications and source records attributed to Ozlem Ejder.

8 recordsLinked to original sources

Iterated Monodromy Group of a PCF Quadratic Non-polynomial Map

We study the postcritically finite non-polynomial map $f(x)=\frac{1}{(x-1)^2}$ over a number field $k$ and prove various results about the geometric $G^{\text{geom}}(f)$ and arithmetic $G^{\text{arith}}(f)$ iterated monodromy groups of $f$. We show that the elements of $G^{\text{geom}}(f)$ are the ones in $G^{\text{arith}}(f)$ that are fixing the roots of unity by assuming a conjecture on the size of $G^{\text{geom}}_n(f)$. Furthermore, we describe exactly for which $a \in k$ the Arboreal Galois group $G_a(f)$ and $G^{\text{arith}}(f)$ are equal.

math.NT

Isolated Points on $X_1(\ell^n)$ with rational $j$-invariant}

Let $\ell$ be a prime and let $n\geq 1$. In this note we show that if there is a non-cuspidal, non-CM isolated point $x$ with a rational $j$-invariant on the modular curve $X_1(\ell^n)$, then $\ell=37$ and the $j$-invariant of $x$ is either $7\cdot11^3$ or $-7.137^3\cdot2083^3$. The reverse implication holds for the first j-invariant but it is currently unknown whether or not it holds for the second.

math.NT

Arithmetic Monodromy Groups of Dynamical Belyi maps

We consider a large family of dynamical Belyi maps of arbitrary degree and study the arithmetic monodromy groups attached to the iterates of such maps. Building on the results of Bouw-Ejder-Karemaker on the geometric monodromy groups of these maps, we show that the quotient of the arithmetic monodromy group by the geometric monodromy group has order either $1$ or $2$. Prior to this article, a result of this kind was only known for quadratic maps (Pink) and a few examples in degree $3$.

math.NT

Dynamical Belyi maps and arboreal Galois groups

We consider a large class of so-called dynamical Belyi maps and study the Galois groups of iterates of such maps. From the combinatorial invariants of the maps, we construct a useful presentation of their Galois groups as subgroups of automorphism groups of regular trees, in terms of iterated wreath products. This allows us to study the behavior of the monodromy groups under specialization of the maps, and to derive applications to dynamical sequences.

math.NT

On the level of modular curves that give rise to isolated $j$-invariants

We say a closed point $x$ on a curve $C$ is sporadic if $C$ has only finitely many closed points of degree at most $\operatorname{deg}(x)$ and that $x$ is isolated if it is not in a family of effective degree $d$ divisors parametrized by $\mathbb{P}^1$ or a positive rank abelian variety (see Section 4 for more precise definitions and a proof that sporadic points are isolated). Motivated by well-known classification problems concerning rational torsion of elliptic curves, we study sporadic and isolated points on the modular curves $X_1(N)$. In particular, we show that any non-cuspidal non-CM sporadic, respectively isolated, point $x \in X_1(N)$ maps down to a sporadic, respectively isolated, point on a modular curve $X_1(d)$, where $d$ is bounded by a constant depending only on $j(x)$. Conditionally, we show that $d$ is bounded by a constant depending only on the degree of $\mathbb{Q}(j(x))$, so in particular there are only finitely many $j$-invariants of bounded degree that give rise to sporadic or isolated points.

math.NT

Monodromy of Fermat Surfaces and Modular Symbols for Fermat curves

Let $F_n$ denote the Fermat curve given by $x^n+y^n=z^n$ and let $μ_n$ denote the Galois module of $n$th roots of unity. It is known that the integral homology group $H_1(F_n,\Z)$ is a cyclic $\Z[μ_n\times μ_n]$ module. In this paper, we prove this result using modular symbols and the modular description of Fermat curves; moreover we find a basis for the integral homology group $H_1(F_n,\Z)$. We also construct a family of Fermat curves using the Fermat surface and compute its monodromy.

math.NT

Dynamical Belyi maps

We study the dynamical properties of a large class of rational maps with exactly three ramification points. By constructing families of such maps, we obtain infinitely many conservative maps of degree $d$; this answers a question of Silverman. Rather precise results on the reduction of these maps yield strong information on the rational dynamics.

math.NT