Smooth completion
title: "Smooth completion" type: doc version: 1 created: 2026-02-28 author: "Wikipedia contributors" status: active scope: public tags: ["algebraic-geometry", "riemann-surfaces", "algebraic-curves", "birational-geometry"] topic_path: "science/mathematics" source: "https://en.wikipedia.org/wiki/Smooth_completion" license: "CC BY-SA 4.0" wikipedia_page_id: 0 wikipedia_revision_id: 0
In algebraic geometry, the smooth completion (or smooth compactification) of a smooth affine algebraic curve X is a complete smooth algebraic curve which contains X as an open subset. Smooth completions exist and are unique over a perfect field.
Examples
An affine form of a hyperelliptic curve may be presented as y^2=P(x) where (x, y)\in\mathbb{C}^2 and P(x) has distinct roots and has degree at least 5. The Zariski closure of the affine curve in \mathbb{C}\mathbb{P}^2 is singular at the unique infinite point added. Nonetheless, the affine curve can be embedded in a unique compact Riemann surface called its smooth completion. The projection of the Riemann surface to \mathbb{C}\mathbb{P}^1 is 2-to-1 over the singular point at infinity if P(x) has even degree, and 1-to-1 (but ramified) otherwise.
This smooth completion can also be obtained as follows. Project the affine curve to the affine line using the x-coordinate. Embed the affine line into the projective line, then take the normalization of the projective line in the function field of the affine curve.
Applications
A smooth connected curve over an algebraically closed field is called hyperbolic if 2g-2+r0 where g is the genus of the smooth completion and r is the number of added points.
Over an algebraically closed field of characteristic 0, the fundamental group of X is free with 2g+r-1 generators if r0.
(Analogue of Dirichlet's unit theorem) Let X be a smooth connected curve over a finite field. Then the units of the ring of regular functions O(X) on X is a finitely generated abelian group of rank r -1.
Construction
Suppose the base field is perfect. Any affine curve X is isomorphic to an open subset of an integral projective (hence complete) curve. Taking the normalization (or blowing up the singularities) of the projective curve then gives a smooth completion of X. Their points correspond to the discrete valuations of the function field that are trivial on the base field.
By construction, the smooth completion is a projective curve which contains the given curve as an everywhere dense open subset, and the added new points are smooth. Such a (projective) completion always exists and is unique.
If the base field is not perfect, a smooth completion of a smooth affine curve doesn't always exist. But the above process always produces a regular completion if we start with a regular affine curve (smooth varieties are regular, and the converse is true over perfect fields). A regular completion is unique and, by the valuative criterion of properness, any morphism from the affine curve to a complete algebraic variety extends uniquely to the regular completion.
Generalization
If X is a separated algebraic variety, a theorem of Nagata{{cite journal | last = Conrad | first = Brian | author-link = Brian Conrad | issue = 3 | journal = Journal of the Ramanujan Mathematical Society | mr = 2356346 | pages = 205–257 | title = Deligne's notes on Nagata compactifications | url = https://math.stanford.edu/~conrad/papers/nagatafinal.pdf | volume = 22 | year = 2007}} says that X can be embedded as an open subset of a complete algebraic variety. If X is moreover smooth and the base field has characteristic 0, then by Hironaka's theorem X can even be embedded as an open subset of a complete smooth algebraic variety, with boundary a normal crossing divisor. If X is quasi-projective, the smooth completion can be chosen to be projective.
However, contrary to the one-dimensional case, there is no uniqueness of the smooth completion, nor is it canonical.
References
Bibliography
- (see chapter 4).
References
- Griffiths, 1972, p. 286.
::callout[type=info title="Wikipedia Source"] This article was imported from Wikipedia and is available under the Creative Commons Attribution-ShareAlike 4.0 License. Content has been adapted to SurfDoc format. Original contributors can be found on the article history page. ::