Skip to main content
replaced http://mathoverflow.net/ with https://mathoverflow.net/
Source Link

On the first question (the universal cover of the complement of a lattice). The missing points are in the image, so it is not the map that "behaves" but the inverse map. The inverse map behaves in a very simple way: it has infinitely many "logarithmic singularities" over each missing point. "How to think about the map" is not a well defined question. But the way I think about it is this. Consider the circular quadrilateral inscribed in the unit disc, say with vertices 1,-1,i,-i; the sides are arcs of circles orthogonal to the unit circle. All angles of this quadrilateral are 0. There is a conformal homeomorphism of this circular quadrilateral onto a (rectilinear) square with vertices 0,1,1,1+i, sending vertices to vertices. By Schwarz's symmetry principle, applied very many times, the map extends to a map from the unit disc to the plane minus the lattice. This is our universal covering map. You can make a picture. You can express it in terms of special functions (it is a ratio of two solutions of a very special Heun equation, linear differential equation of second order with regular singular points at 1,-1,i,-1.

EDIT: I am not sure what exactly you want to know, in your question you mention visualization, rather than computation, but once I computed this map, arXiv:1110.2696. It can be expressed in terms of hypergeometric functions. And I also asked a MO question related to it: Maximum of a function of one variableMaximum of a function of one variable.

On the first question (the universal cover of the complement of a lattice). The missing points are in the image, so it is not the map that "behaves" but the inverse map. The inverse map behaves in a very simple way: it has infinitely many "logarithmic singularities" over each missing point. "How to think about the map" is not a well defined question. But the way I think about it is this. Consider the circular quadrilateral inscribed in the unit disc, say with vertices 1,-1,i,-i; the sides are arcs of circles orthogonal to the unit circle. All angles of this quadrilateral are 0. There is a conformal homeomorphism of this circular quadrilateral onto a (rectilinear) square with vertices 0,1,1,1+i, sending vertices to vertices. By Schwarz's symmetry principle, applied very many times, the map extends to a map from the unit disc to the plane minus the lattice. This is our universal covering map. You can make a picture. You can express it in terms of special functions (it is a ratio of two solutions of a very special Heun equation, linear differential equation of second order with regular singular points at 1,-1,i,-1.

EDIT: I am not sure what exactly you want to know, in your question you mention visualization, rather than computation, but once I computed this map, arXiv:1110.2696. It can be expressed in terms of hypergeometric functions. And I also asked a MO question related to it: Maximum of a function of one variable.

On the first question (the universal cover of the complement of a lattice). The missing points are in the image, so it is not the map that "behaves" but the inverse map. The inverse map behaves in a very simple way: it has infinitely many "logarithmic singularities" over each missing point. "How to think about the map" is not a well defined question. But the way I think about it is this. Consider the circular quadrilateral inscribed in the unit disc, say with vertices 1,-1,i,-i; the sides are arcs of circles orthogonal to the unit circle. All angles of this quadrilateral are 0. There is a conformal homeomorphism of this circular quadrilateral onto a (rectilinear) square with vertices 0,1,1,1+i, sending vertices to vertices. By Schwarz's symmetry principle, applied very many times, the map extends to a map from the unit disc to the plane minus the lattice. This is our universal covering map. You can make a picture. You can express it in terms of special functions (it is a ratio of two solutions of a very special Heun equation, linear differential equation of second order with regular singular points at 1,-1,i,-1.

EDIT: I am not sure what exactly you want to know, in your question you mention visualization, rather than computation, but once I computed this map, arXiv:1110.2696. It can be expressed in terms of hypergeometric functions. And I also asked a MO question related to it: Maximum of a function of one variable.

added 298 characters in body
Source Link
Alexandre Eremenko
  • 91.8k
  • 9
  • 259
  • 429

On the first question (the universal cover of the complement of a lattice). The missing points are in the image, so it is not the map that "behaves" but the inverse map. The inverse map behaves in a very simple way: it has infinitely many "logarithmic singularities" over each missing point. "How to think about the map" is not a well defined question. But the way I think about it is this. Consider the circular quadrilateral inscribed in the unit disc, say with vertices 1,-1,i,-i; the sides are arcs of circles orthogonal to the unit circle. All angles of this quadrilateral are 0. There is a conformal homeomorphism of this circular quadrilateral onto a (rectilinear) square with vertices 0,1,1,1+i, sending vertices to vertices. By Schwarz's symmetry principle, applied very many times, the map extends to a map from the unit disc to the plane minus the lattice. This is our universal covering map. You can make a picture. You can express it in terms of special functions (it is a ratio of two solutions of a very special Heun equation, linear differential equation of second order with regular singular points at 1,-1,i,-1.

EDIT: I am not sure what exactly you want to know, in your question you mention visualization, rather than computation, but once I computed this map, arXiv:1110.2696. It can be expressed in terms of hypergeometric functions. And I also asked a MO question related to it: Maximum of a function of one variable.

On the first question (the universal cover of the complement of a lattice). The missing points are in the image, so it is not the map that "behaves" but the inverse map. The inverse map behaves in a very simple way: it has infinitely many "logarithmic singularities" over each missing point. "How to think about the map" is not a well defined question. But the way I think about it is this. Consider the circular quadrilateral inscribed in the unit disc, say with vertices 1,-1,i,-i; the sides are arcs of circles orthogonal to the unit circle. All angles of this quadrilateral are 0. There is a conformal homeomorphism of this circular quadrilateral onto a (rectilinear) square with vertices 0,1,1,1+i, sending vertices to vertices. By Schwarz's symmetry principle, applied very many times, the map extends to a map from the unit disc to the plane minus the lattice. This is our universal covering map. You can make a picture. You can express it in terms of special functions (it is a ratio of two solutions of a very special Heun equation, linear differential equation of second order with regular singular points at 1,-1,i,-1.

On the first question (the universal cover of the complement of a lattice). The missing points are in the image, so it is not the map that "behaves" but the inverse map. The inverse map behaves in a very simple way: it has infinitely many "logarithmic singularities" over each missing point. "How to think about the map" is not a well defined question. But the way I think about it is this. Consider the circular quadrilateral inscribed in the unit disc, say with vertices 1,-1,i,-i; the sides are arcs of circles orthogonal to the unit circle. All angles of this quadrilateral are 0. There is a conformal homeomorphism of this circular quadrilateral onto a (rectilinear) square with vertices 0,1,1,1+i, sending vertices to vertices. By Schwarz's symmetry principle, applied very many times, the map extends to a map from the unit disc to the plane minus the lattice. This is our universal covering map. You can make a picture. You can express it in terms of special functions (it is a ratio of two solutions of a very special Heun equation, linear differential equation of second order with regular singular points at 1,-1,i,-1.

EDIT: I am not sure what exactly you want to know, in your question you mention visualization, rather than computation, but once I computed this map, arXiv:1110.2696. It can be expressed in terms of hypergeometric functions. And I also asked a MO question related to it: Maximum of a function of one variable.

Source Link
Alexandre Eremenko
  • 91.8k
  • 9
  • 259
  • 429

On the first question (the universal cover of the complement of a lattice). The missing points are in the image, so it is not the map that "behaves" but the inverse map. The inverse map behaves in a very simple way: it has infinitely many "logarithmic singularities" over each missing point. "How to think about the map" is not a well defined question. But the way I think about it is this. Consider the circular quadrilateral inscribed in the unit disc, say with vertices 1,-1,i,-i; the sides are arcs of circles orthogonal to the unit circle. All angles of this quadrilateral are 0. There is a conformal homeomorphism of this circular quadrilateral onto a (rectilinear) square with vertices 0,1,1,1+i, sending vertices to vertices. By Schwarz's symmetry principle, applied very many times, the map extends to a map from the unit disc to the plane minus the lattice. This is our universal covering map. You can make a picture. You can express it in terms of special functions (it is a ratio of two solutions of a very special Heun equation, linear differential equation of second order with regular singular points at 1,-1,i,-1.