Separating semigroup of genus 4 curves

TL;DR

This paper characterizes the separating semigroups of all genus 4 real algebraic curves by analyzing their canonical embeddings and applying Abel's theorem to specific 1-forms.

Contribution

It provides a complete description of the separating semigroups for genus 4 curves using geometric and algebraic techniques.

Findings

Explicit description of separating semigroups for genus 4 curves

Use of canonical embedding into quadrics in projective space

Application of Abel's theorem to Poincaré residues

Abstract

A rational function on a real algebraic curve $C$ is called separating if it takes real values only at real points. Such a function defines a covering $\mathbb R C\to\mathbb{RP}^1$. Let $c_1,\dots,c_r$ be connected components of $\mathbb R C$. M. Kummer and K. Shaw defined the separating semigroup of $C$ as the set of all sequences $(d_1(f),\dots,d_r(f))$ where $f$ is a separating function and $d_i(f)$ is the degree of the restriction of $f$ to $c_i$. In the present paper we describe the separating semigroups of all genus 4 curves. For the proofs we consider the canonical embedding of $C$ into a quadric $X$ in $\mathbb P^3$ and apply Abel's theorem to 1-forms obtained as Poincar\'e residues at $C$ of certain meromorphic 2-forms on $X$.