show/hide this revision's text 5 Extra info

I've been exploring the composition of essentially the Dedekind $\eta$-function with parabolic Möbius transformations,

$$C_L(z,t)=\left(\frac{z}{-tz+1}\right)^{\frac{1}{2}}\eta\left(\frac{z}{-tz+1}\right)\circeq\exp(\frac{i2\pi t}{24})\: z^{\frac{1}{2}}\:\eta(z)=C_R(z,t),$$

where the symbol $\circeq$ is used to signify that equality holds only for integer $t$, and I came across the interesting parametric curves below for $z=-2+.3i$ and $-12 \leq t \leq 12$ :

$xL(t)=Real[C_L(z,t)]\:\:\:$ and $\:\:\:yL(t)=Imag[C_L(z,t)]$ and analogously for $C_R(z,t)$

alt text

Inverting

alt text

$C_L(z,t)$ is annihilated by $\frac{\partial }{\partial t}-z^2\frac{\partial }{\partial z}$, while $C_R(z,t)$ is not, even at integer $t$.

Letting $z \mapsto \frac{1}{z} -\frac{1}{z} $, gives $$C_L^i(z,t)=\eta(z+t)\circeq\exp(\frac{i2\pi t}{24})\: \eta(z)=C_R^i(z,t)$$

and the corresponding figure

alt text

$C_L^i(z,t)$ is annihilated by $\frac{\partial }{\partial t}-\frac{\partial }{\partial z}$, while $C_R^i(z,t)$ is not, even at integer $t$.

I've scanned through quite a lot of papers containing info on the $\eta$-function yet haven't seen similar figures, but the Dedekind $\eta$ has been pretty well explored, so I was hoping someone could direct me to some references in the vast literature that might explain the geometry of such trajectories. (Obviously, a torus is evoked, but ....)

I'm aware that E. Ghys deals with similar topics in "Knots and Dynamics" (see also Site1 and Site2), but I'm not sure (yet) how to clearly connect his arguments to the above curves.

show/hide this revision's text 4 Refined discussion

A Dedekind Eta trajectory / horocyclic flow (Reference request)

I've been exploring the composition of essentially the Dedekind $\eta$-function with parabolic Möbius transformations,

$C(z,t)=\left(\frac{z}{-tz+1}\right)^{\frac{1}{2}}\eta\left(\frac{z}{-tz+1}\right)\circeq\exp(\frac{i2\pi $C_L(z,t)=\left(\frac{z}{-tz+1}\right)^{\frac{1}{2}}\eta\left(\frac{z}{-tz+1}\right)\circeq\exp(\frac{i2\pi t}{24})\: z^{\frac{1}{2}}\:\eta(z)$,z^{\frac{1}{2}}\:\eta(z)=C_R(z,t),$$

where the last "equality" symbol $\circeq$ is used to signify that equality holds only for integer $t$, and I came across the interesting parametric curves below for $x(t)=Real[C(z,t)]\:\:\:$ z=-2+.3i$ and $\:\:\:y(t)=Imag[C(z,t)]$

For -12 \leq t \leq 12$ :

$z=-2+.2i$:

For xL(t)=Real[C_L(z,t)]\:\:\:$ and $z=-2+.3i$:\:\:\:yL(t)=Imag[C_L(z,t)]$ and analogously for $C_R(z,t)$

alt text

Inverting $z \mapsto \frac{1}{z} $, gives $$C_L^i(z,t)=\eta(z+t)\circeq\exp(\frac{i2\pi t}{24})\: \eta(z)=C_R^i(z,t)$$

and the corresponding figure

alt text

I've scanned through quite a lot of papers containing info on the $\eta$-function and yet haven't seen similar figures, but the Dedekind $\eta$ has been pretty well explored, so I was hoping someone could direct me to some references in the vast literature that might explain the geometry of such trajectories. (Obviously, a torus is evoked, but ....)

I'm aware that E. Ghys deals with similar topics in "Knots and Dynamics" (see also Site1 and Site2), but I'm not even sure (yet) how to clearly connect his arguments to the above curvecurves.

show/hide this revision's text 3 Added another figure

I've been exploring the composition of essentially the Dedekind $\eta$-function with parabolic Möbius transformations,

$C(z,t)=\left(\frac{z}{-tz+1}\right)^{\frac{1}{2}}\eta\left(\frac{z}{-tz+1}\right)\circeq\exp(\frac{i2\pi t}{24})\: z^{\frac{1}{2}}\:\eta(z)$,

where the last "equality" holds only for integer $t$, and I came across the interesting parametric curve curves below

$x(t)=Real[C(-2+.2i,t)]\:\:\:$ x(t)=Real[C(z,t)]\:\:\:$ and $\:\:\:y(t)=Imag[C(-2+.2i,t)]$ \:\:\:y(t)=Imag[C(z,t)]$

For $z=-2+.2i$:

For $z=-2+.3i$:

alt text

I've scanned through quite a lot of papers containing info on the $\eta$-function and haven't seen similar figures, but the Dedekind $\eta$ has been pretty well explored, so I was hoping someone could direct me to some references in the vast literature that might explain the geometry of such trajectories.

I'm aware that E. Ghys deals with similar topics in "Knots and Dynamics" (see also Site1 and Site2), but I'm not even sure (yet) how to clearly connect his arguments to the above curve.

show/hide this revision's text 2 Better graphics
show/hide this revision's text 1