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."
Consider and . The localization consists of rational functions where is a polynomial.
Geometrically, corresponds to the complement of the variety in the affine plane. We are studying functions away from the -axis.
More generally, corresponds to the open set .
For a prime , the localization consists of fractions where :
This is a local ring with maximal ideal . The quotient is the residue field.
The localization "focuses attention" on divisibility properties related to , ignoring other primes.
The localization at the zero ideal, for an integral domain , corresponds to the generic point of . This is the "most general" point, capturing properties that hold "generically."
For an affine variety , the function field is the field of fractions of the coordinate ring :
Elements are rational functions where and is not identically zero on . This captures the idea of "rational functions" on the variety.
The local ring at a point on variety is where is the ideal of functions vanishing at . This captures the "germ of functions near ," consisting of quotients where .
If is a primary decomposition with associated primes , then:
Localizing "removes" primary components whose associated primes meet . For instance, localizing at isolates the -primary component.
For and , the localization: is the ring of Laurent polynomials, consisting of finite sums where can be negative.
This appears in studying functions on the punctured line , or in algebraic contexts like quantum groups.
The sheaf of regular functions on a scheme is defined via localization: for basic open set , we have . 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.