Is there anything special about the hyperelliptic curve that is obtained by gluing the same algebraic curve?

Solution 1:

Question1: "Is there any geometric way to visualise the construction? Formally, is there any embedding/immersion of this construction into R3, that helps see, atleast topologically, atleast for specific examples, what parts of genus g surface are being glued together?"

Answer: About question 1: When $E$ is an elliptic curve over the complex number field, there is a result in Hartshorne (Thm.IV.4.16) that realizes E topologically as a quotient $\mathbb{C}/\Gamma$. Maybe

"Farkas; Riemann Surfaces. Graduate Texts in Mathematics. Springer-Verlag 1980."

for the general case.

Note: Naively when an algebraic group $G$ acts on a commutative ring $A$ and an affine scheme $X:=Spec(A)$, we may construct the "quotient" $X/G:=Spec(A^G)$ using the invariant ring. The above "topological quotient" $\mathbb{C}/\Gamma$ is projective, hence we cannot naively construct $\mathbb{C}/\Gamma$ using $Spec(A^G)$ for some $G$ acting on $A$.

Question2: "What does the map $\sigma$ 'looks like' as a map on genus g surface, Σg, imagined as embedded in R3 in the standard way? Does it look like a reflection? Or maybe a 180∘ rotation?"

Answer question 2: Since $C$ is hyper-elliptic, there is a degree 2 separable map

$$\phi_K:C \rightarrow \mathbb{P}^1_{\mathbb{C}}$$

coming from the canonical divisor. You involution $\sigma$ permutes the points in a fiber: If $p,q \in \phi_K^{-1}(x)$ it follows $\sigma(p)=q, \sigma(q)=p$. You find this discussed in the same book HH Chapter IV.

Note: There is a classical result saying the following: Let $C \subseteq \mathbb{P}^n_k$ be a smooth projective curve over an algebraically closed field $k$. If $g(C)=g \geq 2$, let $K_C$ be the canonical divisor with associated morphism

$$\phi_C: C \rightarrow \mathbb{P}^{g-1}.$$

Then either $\phi$ is a closed immersion or $Im(\phi_C) \cong \mathbb{P}^1$ and $deg(\phi_C)=2$. Moreover: $C$ is hyperelliptic iff there is an element $\sigma \in Aut_k(C)$ with $\sigma^2=Id$ and $C/<\sigma> \cong \mathbb{P}^1_k$.

Being a hyper elliptic curve is an "intrinsic property" (independent of any embedding into projective space), and when the base field is algebraically closed this property is detected by the canonical divisor $K_C$. Hence if someone "gives you such a curve" that is not embedded into a projective space and asks: "Is it hyperelliptic?" you can check this using $K_C$.