Refined generic level-curve contact conjecture

About 8 years old · traced to

Let ϕ\phi satisfy condition (A1). For λ∈T\lambda\in\mathbb{T}, let Lλ(ϕ)\mathcal{L}_{\lambda}(\phi) have LλL_{\lambda} components near (1,1)(1,1), and let Zp~\mathcal{Z}_{\tilde{p}} have L0L_0 branches there. Write the corresponding components as z1=ψℓλ(z2)z_1=\psi^\lambda_\ell(z_2) and the components for the exceptional value as z1=ψℓ0(z2)z_1=\psi^0_\ell(z_2). Refined generic level-curve contact conjecture. For almost every pair λ,μ∈T\lambda,\mu\in\mathbb{T},

Lλ=L0=Lμ.L_{\lambda}=L_0=L_{\mu}.

After reordering the components of Lλ(ϕ)\mathcal{L}_{\lambda}(\phi) and Lμ(ϕ)\mathcal{L}_{\mu}(\phi) near (1,1)(1,1), the contact order of z1=ψℓ0(z2)z_1=\psi^0_\ell(z_2) at (1,1)(1,1) equals the contact order between z1=ψℓμ(z2)z_1=\psi^\mu_\ell(z_2) and z1=ψℓλ(z2)z_1=\psi^\lambda_\ell(z_2) at (1,1)(1,1) for 1≤ℓ≤L01\leq\ell\leq L_0. The preceding argument establishes the analogous lower-bound statement, while this equality and the exact component count remain conjectural.

References

Primary source

Kelly Bickel, James Eldred Pascoe and Alan Sola, “Level curve portraits of rational inner functions”, arXiv:1803.04666 (2018).

Progress summary

Never refreshed

Nothing recorded yet. Refresh searches the literature and the public web for attempts on this problem, and writes the first summary here.

Solutions 0

No solutions have been posted yet.