Math 2.0

Algebraic geometry Definition

Regular function

Builds on Affine varietyQuasi-projective varietyProjective varietyOpen setHomogeneous polynomialCoordinate ringContinuous map

Definition

Let kk be an algebraically closed field.

  1. Let XX be a quasi-affine variety, that is, a nonempty open subset of an affine variety in knk^n. A function f ⁣:X→kf \colon X \to k is regular at p∈Xp \in X if the following holds. There are an open neighbourhood U⊆XU \subseteq X of pp and polynomials g,h∈k[x1,…,xn]g, h \in k[x_1, \dots, x_n] such that hh has no zero on UU and f=g/hf = g/h on UU.
  2. Let XX be a quasi-projective variety in ℙn\mathbb{P}^n. A function f ⁣:X→kf \colon X \to k is regular at p∈Xp \in X if the following holds. There are an open neighbourhood U⊆XU \subseteq X of pp and homogeneous polynomials g,h∈k[x0,…,xn]g, h \in k[x_0, \dots, x_n] of the same degree. The polynomial hh has no zero on UU, and f=g/hf = g/h on UU.

In both cases, ff is regular on XX if it is regular at every point of XX.

Remarks

In case 2, g/hg/h is a well-defined function on UU, because gg and hh have the same degree dd and so g(λa)/h(λa)=g(a)/h(a)g(\lambda a)/h(\lambda a) = g(a)/h(a). A regular function is continuous when kk is identified with 𝔸1\mathbb{A}^1 with its Zariski topology.

Example: on X=k∖{0}X = k \setminus \set{0}, the function f(x)=1/xf(x) = 1/x is regular, with g=1g = 1 and h=xh = x on U=XU = X.

Non-example: the function on kk given by f(0)=1f(0) = 1 and f(x)=0f(x) = 0 for x≠0x \ne 0 is not regular at 00. Near 00 it would equal g/hg/h on a nonempty open set, so gg would vanish on a cofinite set and hence be 00, which contradicts f(0)=1f(0) = 1.

On an affine variety XX, the ring of regular functions on all of XX equals the coordinate ring k[X]k[X]; this uses Hilbert's Nullstellensatz. On a projective variety, every regular function on the whole variety is constant.

Reading path

To understand this page from the ground up, read these 8 pages in order. The foundations come first.

Show the path as a graph
Each page uses the pages above it. The colour of the bar on a box shows how strong the evidence is, and the box also gives it as text. The list has the same pages.
  • no evidence level
  1. Affine variety concept
  2. Continuous map concept
  3. Coordinate ring concept
  4. Homogeneous polynomial concept
  5. Open set concept
  6. Projective variety concept
  7. Quasi-projective variety concept
  8. Regular function definition

Further reading

  1. Web https://en.wikipedia.org/wiki/Morphism_of_algebraic_varieties
About this page
TagE2EM9ZYCZS
URIm2://E2EM9ZYCZS
Kinddefinition
WritingW0 stub
MSC14A10
DefinesRegular function
UsesAffine variety, Quasi-projective variety, Projective variety, Open set, Homogeneous polynomial, Coordinate ring, Continuous map
Changed2 November 2026

Markdown · JSON · Edit on GitHub

What this page needs for W1

  • an inventory row: the row of the inventory that the node accounts for (0 of 1)
  • a source with a locator (0 of 1)

The writing levels say how complete the text of a page is. They do not measure its truth.

What links here

No page links to this page yet.