Question about covering map of punctured unit disk

  • Context: Graduate 
  • Thread starter Thread starter MathLearner123
  • Start date Start date
  • Tags Tags
    Complex analysis
Click For Summary
SUMMARY

The discussion centers on the covering map defined by the function \( p: \mathbb{H} \to \mathbb{D} \setminus \{0\} \), where \( p(z) = e^{\frac{2 \pi i z}{|a|}} \). The user seeks to demonstrate that \( p \) is a covering map by establishing a neighborhood around a point \( y \in \mathbb{D} \setminus \{0\} \) and utilizing a holomorphic branch of the logarithm within an open disk \( D \). Clarifications were made regarding the definitions of \( \mathbb{R}^* \) as \( \mathbb{R} \setminus \{0\} \) and \( \mathbb{H} \) as the upper half-plane, emphasizing the need to include the real line in the domain of \( p \) to adequately cover \( \mathbb{D} \setminus \{0\} \).

PREREQUISITES
  • Understanding of covering maps in topology
  • Familiarity with holomorphic functions and branches of logarithms
  • Knowledge of complex analysis, particularly the upper half-plane model
  • Concept of open and connected sets in the context of complex domains
NEXT STEPS
  • Study the properties of covering maps in topology
  • Learn about holomorphic branches of logarithms in complex analysis
  • Explore the implications of including the real line in the domain of complex functions
  • Investigate the relationship between the upper half-plane and the punctured unit disk
USEFUL FOR

Mathematicians, particularly those specializing in complex analysis and topology, as well as students seeking to understand covering maps and their applications in mathematical theory.

MathLearner123
Messages
25
Reaction score
4
Let ##\alpha \in \mathbb{R}^*,\, p:\mathbb{H} \to \mathbb{D} \setminus \{0\}, \, p(z) = e^\frac{2 \pi i z}{|a|}##. I want to show that ##p## is a covering map but I dont't know how to make this. I think I need to start with an ##y \in \mathbb{D} \setminus \{0\}## and take an open disk ##D \subset \mathbb{D} \setminus \{0\}## to be a neighbourhood of ##y##. Now, because disk is open and connected, there exists a holomorphic branch of logarithm in ##D##. It's ok this start? How I can continue? Thanks!
 
Physics news on Phys.org
Sorry for my ignorance -- What is ##\mathbb{R}^*##? Is ##\mathbb{H}## a half-plane?
 
@FactChecker ##\mathbb{R}^* = \mathbb{R} \setminus \{0\}## and ##\mathbb{H}## is the upper half-plane
 
I think you may need to include more at the branch cut. I think that ##\mathbb{H}## does not include any of the real line. Don't you need to include the real line in the domain of ##p## in addition to ##\mathbb{H}## in order to cover ##\mathbb{D} \setminus \{0\}##? And doesn't the domain need to include an open set that includes the reals?

CORRECTION: My mistake. The positive reals in ##\mathbb{D} \setminus \{0\}## will be covered by the image of ##z=x+|\alpha|i##.
 
Last edited:
  • Love
Likes   Reactions: MathLearner123

Similar threads

  • · Replies 0 ·
Replies
0
Views
2K
  • · Replies 1 ·
Replies
1
Views
1K
  • · Replies 7 ·
Replies
7
Views
2K
  • · Replies 1 ·
Replies
1
Views
2K
  • · Replies 14 ·
Replies
14
Views
4K
  • · Replies 2 ·
Replies
2
Views
2K
  • · Replies 2 ·
Replies
2
Views
2K
  • · Replies 2 ·
Replies
2
Views
2K
  • · Replies 27 ·
Replies
27
Views
4K
  • · Replies 22 ·
Replies
22
Views
4K