The reciprocal complement of a curve
Dario Spirito
TL;DR
The paper investigates the reciprocal complement $\mathcal{R}(D)$ of a finitely generated one-dimensional $k$-algebra $D$, reframing it through the geometry of an affine curve $X$ with $k[X]\cong D$. It establishes that, for realizations regular at infinity, $\mathcal{R}(D)\neq\mathcal{Q}(D)$ if and only if the projective closure satisfies $|\overline{X}\setminus X|=1$, and connects the non-field case to the Weierstrass semigroup at infinity; in the Dedekind setting, $\mathcal{R}(D)$ is a DVR precisely when $\overline{X}$ has genus $0$. The results provide a concrete geometric interpretation of the guerrieri-recip criterion and relate valuation-theoretic properties of $\mathcal{R}(D)$ to classical invariants like the Weierstrass semigroup and genus, with illustrative examples from curves $x^n+y^n-1$ and elliptic curves. This bridges algebraic properties of $D$ with the projective geometry of its associated curve.
Abstract
We give a geometric interpretation of the reciprocal complement of an integral domain $D$ in the case $D$ is a one-dimensional finitely generated algebra over an algebraically closed field.
