ConceptComplete

Localization - Examples and Constructions

Concrete examples of localization illuminate its role in algebraic geometry and number theory, where it captures the notion of "restricting to an open set."

ExampleLocalization of Polynomial Rings

Consider R=k[x,y]R = k[x, y] and f=xf = x. The localization Rf=k[x,y]xR_f = k[x, y]_x consists of rational functions p(x,y)/xnp(x,y)/x^n where pp is a polynomial.

Geometrically, RfR_f corresponds to the complement of the variety V(x)={(0,y):yk}V(x) = \{(0, y) : y \in k\} in the affine plane. We are studying functions away from the yy-axis.

More generally, k[x1,,xn]fk[x_1, \ldots, x_n]_f corresponds to the open set D(f)=Spec(R)V(f)D(f) = \text{Spec}(R) \setminus V(f).

ExampleLocalization at Primes in $\mathbb{Z}$

For a prime pp, the localization Z(p)\mathbb{Z}_{(p)} consists of fractions a/ba/b where pbp \nmid b: Z(p)={ab:a,bZ,gcd(b,p)=1}\mathbb{Z}_{(p)} = \left\{\frac{a}{b} : a, b \in \mathbb{Z}, \gcd(b,p) = 1\right\}

This is a local ring with maximal ideal (p)=pZ(p)(p) = p\mathbb{Z}_{(p)}. The quotient Z(p)/(p)Fp\mathbb{Z}_{(p)}/(p) \cong \mathbb{F}_p is the residue field.

The localization "focuses attention" on divisibility properties related to pp, ignoring other primes.

DefinitionGeneric Point

The localization at the zero ideal, R(0)=Frac(R)R_{(0)} = \text{Frac}(R) for an integral domain RR, corresponds to the generic point of Spec(R)\text{Spec}(R). This is the "most general" point, capturing properties that hold "generically."

ExampleRational Functions on Varieties

For an affine variety VAnV \subseteq \mathbb{A}^n, the function field k(V)k(V) is the field of fractions of the coordinate ring k[V]=k[x1,,xn]/I(V)k[V] = k[x_1, \ldots, x_n]/I(V): k(V)=Frac(k[V])k(V) = \text{Frac}(k[V])

Elements are rational functions f/gf/g where f,gk[V]f, g \in k[V] and gg is not identically zero on VV. This captures the idea of "rational functions" on the variety.

Remark

The local ring at a point PP on variety VV is OV,P=k[V]mP\mathcal{O}_{V,P} = k[V]_{\mathfrak{m}_P} where mP\mathfrak{m}_P is the ideal of functions vanishing at PP. This captures the "germ of functions near PP," consisting of quotients f/gf/g where g(P)0g(P) \neq 0.

ExampleLocalization and Primary Decomposition

If I=Q1QnI = Q_1 \cap \cdots \cap Q_n is a primary decomposition with associated primes p1,,pn\mathfrak{p}_1, \ldots, \mathfrak{p}_n, then: S1I=piS=S1QiS^{-1}I = \bigcap_{\mathfrak{p}_i \cap S = \emptyset} S^{-1}Q_i

Localizing "removes" primary components whose associated primes meet SS. For instance, localizing at p\mathfrak{p} isolates the p\mathfrak{p}-primary component.

ExampleLaurent Polynomial Rings

For R=k[x]R = k[x] and S={1,x,x2,}S = \{1, x, x^2, \ldots\}, the localization: RS=k[x]x=k[x,x1]R_S = k[x]_x = k[x, x^{-1}] is the ring of Laurent polynomials, consisting of finite sums i=mnaixi\sum_{i=m}^n a_i x^i where mm can be negative.

This appears in studying functions on the punctured line A1{0}\mathbb{A}^1 \setminus \{0\}, or in algebraic contexts like quantum groups.

Remark

The sheaf of regular functions OX\mathcal{O}_X on a scheme X=Spec(R)X = \text{Spec}(R) is defined via localization: for basic open set D(f)D(f), we have OX(D(f))=Rf\mathcal{O}_X(D(f)) = R_f. Localization thus provides the foundation for the sheaf-theoretic approach to algebraic geometry.

These examples demonstrate how localization encodes geometric intuition about restricting functions to open sets, focusing on local properties, and studying generic behavior.