13 (number): Difference between revisions

Revision as of 23:51, 20 January 2014

28 year-old Painting Investments Worker Truman from Regina, usually spends time with pastimes for instance interior design, property developers in new launch ec Singapore and writing. Last month just traveled to City of the Renaissance.

In abstract algebra and algebraic geometry, the spectrum of a commutative ring R, denoted by Spec(R), is the set of all proper prime ideals of R. It is commonly augmented with the Zariski topology and with a structure sheaf, turning it into a locally ringed space.

Zariski topology

For any ideal I of R, define $V_{I}$ to be the set of prime ideals containing I. We can put a topology on Spec(R) by defining the collection of closed sets to be

{V_{I} : I is an ideal of R} .

This topology is called the Zariski topology.

A basis for the Zariski topology can be constructed as follows. For f∈R, define D_f to be the set of prime ideals of R not containing f. Then each D_f is an open subset of Spec(R), and ${D_{f} : f \in R}$ is a basis for the Zariski topology.

Spec(R) is a compact space, but almost never Hausdorff: in fact, the maximal ideals in R are precisely the closed points in this topology. However, Spec(R) is always a Kolmogorov space. It is also a spectral space.

Sheaves and schemes

Given the space X=Spec(R) with the Zariski topology, the structure sheaf O_X is defined on the D_f by setting Γ(D_f, O_X) = R_f, the localization of R at the multiplicative system {1,f,f²,f³,...}. It can be shown that this satisfies the necessary axioms to be a B-Sheaf. Next, if U is the union of {D_fi}_i∈I, we let Γ(U,O_X) = lim_i∈I R_fi, and this produces a sheaf; see the Gluing axiom article for more detail.

If R is an integral domain, with field of fractions K, then we can describe the ring Γ(U,O_X) more concretely as follows. We say that an element f in K is regular at a point P in X if it can be represented as a fraction f = a/b with b not in P. Note that this agrees with the notion of a regular function in algebraic geometry. Using this definition, we can describe Γ(U,O_X) as precisely the set of elements of K which are regular at every point P in U.

If P is a point in Spec(R), that is, a prime ideal, then the stalk at P equals the localization of R at P, and this is a local ring. Consequently, Spec(R) is a locally ringed space.

Every locally ringed space isomorphic to one of this form is called an affine scheme. General schemes are obtained by "gluing together" several affine schemes.

Functoriality

It is useful to use the language of category theory and observe that Spec is a functor. Every ring homomorphism f : R → S induces a continuous map Spec(f) : Spec(S) → Spec(R) (since the preimage of any prime ideal in S is a prime ideal in R). In this way, Spec can be seen as a contravariant functor from the category of commutative rings to the category of topological spaces. Moreover for every prime P the homomorphism f descends to homomorphisms

O_f^-1(P) → O_P

of local rings. Thus Spec even defines a contravariant functor from the category of commutative rings to the category of locally ringed spaces. In fact it is the universal such functor and this can be used to define the functor Spec up to natural isomorphism.

The functor Spec yields a contravariant equivalence between the category of commutative rings and the category of affine schemes; each of these categories is often thought of as the opposite category of the other.

Motivation from algebraic geometry

Following on from the example, in algebraic geometry one studies algebraic sets, i.e. subsets of Kⁿ (where K is an algebraically closed field) which are defined as the common zeros of a set of polynomials in n variables. If A is such an algebraic set, one considers the commutative ring R of all polynomial functions A → K. The maximal ideals of R correspond to the points of A (because K is algebraically closed), and the prime ideals of R correspond to the subvarieties of A (an algebraic set is called irreducible or a variety if it cannot be written as the union of two proper algebraic subsets).

The spectrum of R therefore consists of the points of A together with elements for all subvarieties of A. The points of A are closed in the spectrum, while the elements corresponding to subvarieties have a closure consisting of all their points and subvarieties. If one only considers the points of A, i.e. the maximal ideals in R, then the Zariski topology defined above coincides with the Zariski topology defined on algebraic sets (which has precisely the algebraic subsets as closed sets).

One can thus view the topological space Spec(R) as an "enrichment" of the topological space A (with Zariski topology): for every subvariety of A, one additional non-closed point has been introduced, and this point "keeps track" of the corresponding subvariety. One thinks of this point as the generic point for the subvariety. Furthermore, the sheaf on Spec(R) and the sheaf of polynomial functions on A are essentially identical. By studying spectra of polynomial rings instead of algebraic sets with Zariski topology, one can generalize the concepts of algebraic geometry to non-algebraically closed fields and beyond, eventually arriving at the language of schemes.

Global Spec

There is a relative version of the functor Spec called global Spec, or relative Spec, and denoted by Spec. For a scheme Y, and a quasi-coherent sheaf of O_Y-algebras A, there is a unique scheme SpecA, and a morphism $f : S p e c A \to Y$ such that for every open affine $U \subseteq Y$ , there is an isomorphism induced by f: $f^{- 1} (U) ≅ S p e c A (U)$ , and such that for open affines $U \subseteq V$ , the inclusion $f^{- 1} (U) \to f^{- 1} (V)$ induces the restriction map $A (V) \to A (U) .$ That is, as ring homomorphisms induce opposite maps of spectra, the restriction maps of a sheaf of algebras induce the inclusion maps of the spectra that make up the Spec of the sheaf.

Representation theory perspective

From the perspective of representation theory, a prime ideal I corresponds to a module R/I, and the spectrum of a ring corresponds to irreducible cyclic representations of R, while more general subvarieties correspond to possibly reducible representations that need not be cyclic. Recall that abstractly, the representation theory of a group is the study of modules over its group algebra.

The connection to representation theory is clearer if one considers the polynomial ring $R = K [x_{1}, \dots, x_{n}]$ or, without a basis, $R = K [V] .$ As the latter formulation makes clear, a polynomial ring is the group algebra over a vector space, and writing in terms of $x_{i}$ corresponds to choosing a basis for the vector space. Then an ideal I, or equivalently a module $R / I,$ is a cyclic representation of R (cyclic meaning generated by 1 element as an R-module; this generalizes 1-dimensional representations).

In the case that the field is closed (say, the complex numbers) and one uses a maximal ideal, which corresponds (by the nullstellensatz) to a point in n-space (the maximal ideal generated by $(x_{1} - a_{1}), (x_{2} - a_{2}), \dots, (x_{n} - a_{n})$ corresponds to the point $(a_{1}, \dots, a_{n})$ ), these representations are parametrized by the dual space $V^{*},$ (the covector is given by the $a_{i}$ ). This is precisely Fourier theory: the representations the additive group $K$ are given by the dual group Template:Disambiguation needed (simply, maps $K \to K$ are multiplication by a scalar), and thus the representations of $K^{n}$ (K-linear maps $K^{n} \to K$ ) are given by a set of n-numbers, or equivalently a covector $K^{n} \to K .$

Thus, points in n-space, thought of as the max spec of $R = K [x_{1}, \dots, x_{n}],$ correspond precisely to 1-dimensional representations of R, while finite sets of points correspond to finite-dimensional representations (which are reducible, corresponding geometrically to being a union, and algebraically to not being a prime ideal). The non-maximal ideals then correspond to infinite-dimensional representations.

Functional analysis perspective

Mining Engineer (Excluding Oil ) Truman from Alma, loves to spend time knotting, largest property developers in singapore developers in singapore and stamp collecting. Recently had a family visit to Urnes Stave Church.

The term "spectrum" comes from the use in operator theory. Given a linear operator T on a finite-dimensional vector space V, one can consider the vector space with operator as a module over the polynomial ring in one variable R=K[T], as in the structure theorem for finitely generated modules over a principal ideal domain. Then the spectrum of K[T] (as a ring) equals the spectrum of T (as an operator).

Further, the geometric structure of the spectrum of the ring (equivalently, the algebraic structure of the module) captures the behavior of the spectrum of the operator, such as algebraic multiplicity and geometric multiplicity. For instance, for the 2×2 identity matrix has corresponding module:

K [T] / (T - 1) \oplus K [T] / (T - 1)

the 2×2 zero matrix has module

K [T] / (T - 0) \oplus K [T] / (T - 0),

showing geometric multiplicity 2 for the zero eigenvalue, while a non-trivial 2×2 nilpotent matrix has module

K [T] / T^{2},

showing algebraic multiplicity 2 but geometric multiplicity 1.

In more detail:

the eigenvalues (with geometric multiplicity) of the operator correspond to the (reduced) points of the variety, with multiplicity;
the primary decomposition of the module corresponds to the unreduced points of the variety;
a diagonalizable (semisimple) operator corresponds to a reduced variety;
a cyclic module (one generator) corresponds to the operator having a cyclic vector (a vector whose orbit under T spans the space);
the first invariant factor of the module equals the minimal polynomial of the operator, and the last invariant factor equals the characteristic polynomial.

Generalizations

The spectrum can be generalized from rings to C*-algebras in operator theory, yielding the notion of the spectrum of a C*-algebra. Notably, for a Hausdorff space, the algebra of scalars (the bounded continuous functions on the space, being analogous to regular functions) are a commutative C*-algebra, with the space being recovered as a topological space from MSpec of the algebra of scalars, indeed functorially so; this is the content of the Banach–Stone theorem. Indeed, any commutative C*-algebra can be realized as the algebra of scalars of a Hausdorff space in this way, yielding the same correspondence as between a ring and its spectrum. Generalizing to non-commutative C*-algebras yields noncommutative topology.

References

Many property agents need to declare for the PIC grant in Singapore. However, not all of them know find out how to do the correct process for getting this PIC scheme from the IRAS. There are a number of steps that you need to do before your software can be approved.

Naturally, you will have to pay a safety deposit and that is usually one month rent for annually of the settlement. That is the place your good religion deposit will likely be taken into account and will kind part or all of your security deposit. Anticipate to have a proportionate amount deducted out of your deposit if something is discovered to be damaged if you move out. It's best to you'll want to test the inventory drawn up by the owner, which can detail all objects in the property and their condition. If you happen to fail to notice any harm not already mentioned within the inventory before transferring in, you danger having to pay for it yourself.

In case you are in search of an actual estate or Singapore property agent on-line, you simply should belief your intuition. It's because you do not know which agent is nice and which agent will not be. Carry out research on several brokers by looking out the internet. As soon as if you end up positive that a selected agent is dependable and reliable, you can choose to utilize his partnerise in finding you a home in Singapore. Most of the time, a property agent is taken into account to be good if he or she locations the contact data on his website. This may mean that the agent does not mind you calling them and asking them any questions relating to new properties in singapore in Singapore. After chatting with them you too can see them in their office after taking an appointment.

Have handed an trade examination i.e Widespread Examination for House Brokers (CEHA) or Actual Property Agency (REA) examination, or equal; Exclusive brokers are extra keen to share listing information thus making certain the widest doable coverage inside the real estate community via Multiple Listings and Networking. Accepting a severe provide is simpler since your agent is totally conscious of all advertising activity related with your property. This reduces your having to check with a number of agents for some other offers. Price control is easily achieved. Paint work in good restore-discuss with your Property Marketing consultant if main works are still to be done. Softening in residential property prices proceed, led by 2.8 per cent decline within the index for Remainder of Central Region

Once you place down the one per cent choice price to carry down a non-public property, it's important to accept its situation as it is whenever you move in – faulty air-con, choked rest room and all. Get round this by asking your agent to incorporate a ultimate inspection clause within the possibility-to-buy letter. HDB flat patrons routinely take pleasure in this security net. "There's a ultimate inspection of the property two days before the completion of all HDB transactions. If the air-con is defective, you can request the seller to repair it," says Kelvin.

15.6.1 As the agent is an intermediary, generally, as soon as the principal and third party are introduced right into a contractual relationship, the agent drops out of the image, subject to any problems with remuneration or indemnification that he could have against the principal, and extra exceptionally, against the third occasion. Generally, agents are entitled to be indemnified for all liabilities reasonably incurred within the execution of the brokers´ authority.

To achieve the very best outcomes, you must be always updated on market situations, including past transaction information and reliable projections. You could review and examine comparable homes that are currently available in the market, especially these which have been sold or not bought up to now six months. You'll be able to see a pattern of such report by clicking here It's essential to defend yourself in opposition to unscrupulous patrons. They are often very skilled in using highly unethical and manipulative techniques to try and lure you into a lure. That you must also protect your self, your loved ones, and personal belongings as you'll be serving many strangers in your home. Sign a listing itemizing of all of the objects provided by the proprietor, together with their situation. HSR Prime Recruiter 2010
Many property agents need to declare for the PIC grant in Singapore. However, not all of them know find out how to do the correct process for getting this PIC scheme from the IRAS. There are a number of steps that you need to do before your software can be approved.

Naturally, you will have to pay a safety deposit and that is usually one month rent for annually of the settlement. That is the place your good religion deposit will likely be taken into account and will kind part or all of your security deposit. Anticipate to have a proportionate amount deducted out of your deposit if something is discovered to be damaged if you move out. It's best to you'll want to test the inventory drawn up by the owner, which can detail all objects in the property and their condition. If you happen to fail to notice any harm not already mentioned within the inventory before transferring in, you danger having to pay for it yourself.

In case you are in search of an actual estate or Singapore property agent on-line, you simply should belief your intuition. It's because you do not know which agent is nice and which agent will not be. Carry out research on several brokers by looking out the internet. As soon as if you end up positive that a selected agent is dependable and reliable, you can choose to utilize his partnerise in finding you a home in Singapore. Most of the time, a property agent is taken into account to be good if he or she locations the contact data on his website. This may mean that the agent does not mind you calling them and asking them any questions relating to new properties in singapore in Singapore. After chatting with them you too can see them in their office after taking an appointment.

Have handed an trade examination i.e Widespread Examination for House Brokers (CEHA) or Actual Property Agency (REA) examination, or equal; Exclusive brokers are extra keen to share listing information thus making certain the widest doable coverage inside the real estate community via Multiple Listings and Networking. Accepting a severe provide is simpler since your agent is totally conscious of all advertising activity related with your property. This reduces your having to check with a number of agents for some other offers. Price control is easily achieved. Paint work in good restore-discuss with your Property Marketing consultant if main works are still to be done. Softening in residential property prices proceed, led by 2.8 per cent decline within the index for Remainder of Central Region

Once you place down the one per cent choice price to carry down a non-public property, it's important to accept its situation as it is whenever you move in – faulty air-con, choked rest room and all. Get round this by asking your agent to incorporate a ultimate inspection clause within the possibility-to-buy letter. HDB flat patrons routinely take pleasure in this security net. "There's a ultimate inspection of the property two days before the completion of all HDB transactions. If the air-con is defective, you can request the seller to repair it," says Kelvin.

15.6.1 As the agent is an intermediary, generally, as soon as the principal and third party are introduced right into a contractual relationship, the agent drops out of the image, subject to any problems with remuneration or indemnification that he could have against the principal, and extra exceptionally, against the third occasion. Generally, agents are entitled to be indemnified for all liabilities reasonably incurred within the execution of the brokers´ authority.

To achieve the very best outcomes, you must be always updated on market situations, including past transaction information and reliable projections. You could review and examine comparable homes that are currently available in the market, especially these which have been sold or not bought up to now six months. You'll be able to see a pattern of such report by clicking here It's essential to defend yourself in opposition to unscrupulous patrons. They are often very skilled in using highly unethical and manipulative techniques to try and lure you into a lure. That you must also protect your self, your loved ones, and personal belongings as you'll be serving many strangers in your home. Sign a listing itemizing of all of the objects provided by the proprietor, together with their situation. HSR Prime Recruiter 2010
Many property agents need to declare for the PIC grant in Singapore. However, not all of them know find out how to do the correct process for getting this PIC scheme from the IRAS. There are a number of steps that you need to do before your software can be approved.

Naturally, you will have to pay a safety deposit and that is usually one month rent for annually of the settlement. That is the place your good religion deposit will likely be taken into account and will kind part or all of your security deposit. Anticipate to have a proportionate amount deducted out of your deposit if something is discovered to be damaged if you move out. It's best to you'll want to test the inventory drawn up by the owner, which can detail all objects in the property and their condition. If you happen to fail to notice any harm not already mentioned within the inventory before transferring in, you danger having to pay for it yourself.

In case you are in search of an actual estate or Singapore property agent on-line, you simply should belief your intuition. It's because you do not know which agent is nice and which agent will not be. Carry out research on several brokers by looking out the internet. As soon as if you end up positive that a selected agent is dependable and reliable, you can choose to utilize his partnerise in finding you a home in Singapore. Most of the time, a property agent is taken into account to be good if he or she locations the contact data on his website. This may mean that the agent does not mind you calling them and asking them any questions relating to new properties in singapore in Singapore. After chatting with them you too can see them in their office after taking an appointment.

Have handed an trade examination i.e Widespread Examination for House Brokers (CEHA) or Actual Property Agency (REA) examination, or equal; Exclusive brokers are extra keen to share listing information thus making certain the widest doable coverage inside the real estate community via Multiple Listings and Networking. Accepting a severe provide is simpler since your agent is totally conscious of all advertising activity related with your property. This reduces your having to check with a number of agents for some other offers. Price control is easily achieved. Paint work in good restore-discuss with your Property Marketing consultant if main works are still to be done. Softening in residential property prices proceed, led by 2.8 per cent decline within the index for Remainder of Central Region

Once you place down the one per cent choice price to carry down a non-public property, it's important to accept its situation as it is whenever you move in – faulty air-con, choked rest room and all. Get round this by asking your agent to incorporate a ultimate inspection clause within the possibility-to-buy letter. HDB flat patrons routinely take pleasure in this security net. "There's a ultimate inspection of the property two days before the completion of all HDB transactions. If the air-con is defective, you can request the seller to repair it," says Kelvin.

15.6.1 As the agent is an intermediary, generally, as soon as the principal and third party are introduced right into a contractual relationship, the agent drops out of the image, subject to any problems with remuneration or indemnification that he could have against the principal, and extra exceptionally, against the third occasion. Generally, agents are entitled to be indemnified for all liabilities reasonably incurred within the execution of the brokers´ authority.

To achieve the very best outcomes, you must be always updated on market situations, including past transaction information and reliable projections. You could review and examine comparable homes that are currently available in the market, especially these which have been sold or not bought up to now six months. You'll be able to see a pattern of such report by clicking here It's essential to defend yourself in opposition to unscrupulous patrons. They are often very skilled in using highly unethical and manipulative techniques to try and lure you into a lure. That you must also protect your self, your loved ones, and personal belongings as you'll be serving many strangers in your home. Sign a listing itemizing of all of the objects provided by the proprietor, together with their situation. HSR Prime Recruiter 2010

External links

Kevin R. Coombes: The Spectrum of a Ring

@@ Line 1: / Line 1: @@
+{{for|the concept of ring spectrum in homotopy theory|Ring spectrum}}
+In [[abstract algebra]] and [[algebraic geometry]], the '''spectrum''' of a [[commutative ring]] ''R'', denoted by Spec(''R''), is the set of all proper [[prime ideal]]s of ''R''. It is commonly augmented with the [[Zariski topology]] and with a structure [[sheaf (mathematics)|sheaf]], turning it into a [[locally ringed space]].
-[google.com google.com]<br><br>For men and women that are functioning it is also a way that they can get all the items completed and nevertheless have the absolutely free time they commonly would have if they have been not going. There are a lot of pros around that have discovered that leaving the go to the persons that are professionals at doing this undertaking is the most straightforward route that they have with no dropping out on any of the absolutely free time they have to get other factors completed.<br><br>You can take into account introducing them to your Insurance firms simply because that is a single of the finest inexpensive car [http://reports.elvissightingbulletinboard.com reports.elvissightingbulletinboard.com] policies for teenagers. This permits you to help you save a few bucks. This is a universal way for a mother or father to give insurance for the teenager and at the very same time, conserve money.<br><br>Do you have to study the little print. However sure, I know it`s unexciting and that existence is to limited, but by paying out 10 to 20 minutes finding out it, you might help you save on your own from a lot of disappointment in the foreseeable future.<br><br>Ever surprise how all that fast foods truly has an effect on your human body? Morgan Spurlock gets an reply when he goes 30 days of taking in nothing at all but food from McDonalds. View as his all round well being requires a downward spiral. You need to see the documentary that solitary handedly transformed fast meals menus.<br><br>For these people that have modest kids to contend with it is also a big help. It can let for them to have the time to commit with the [http://data.Gov.uk/data/search?q=children children] as they know that all of the transferring wants will be appeared after by the corporation they hire.<br><br>While you really should possibly paying attention during conferences, low cost tablets are a great way to acquire notes unobtrusively and, when issues get unexciting, enjoy Angry Birds on mute.<br><br>Document Losses - The police will obvious your household to make sure it is safe in advance of they leave. Later on you will need to get hectic appropriate absent documenting your losses. You can do so by making use of a digital camera and pen and paper. You will need to have this info for the final action.
+==Zariski topology==
+For any [[ideal (ring theory)|ideal]] ''I'' of ''R'', define <math>V_I</math> to be the set of prime ideals containing ''I''. We can put a topology on Spec(''R'') by defining the [[Characterizations of the category of topological spaces#Definition via closed sets|collection of closed sets]] to be
+:<math>\{ V_I \colon I \text{ is an ideal of } R \}.</math>
+This topology is called the [[Zariski topology]].
+A [[Base (topology)|basis]] for the Zariski topology can be constructed as follows.  For ''f''∈''R'', define ''D''<sub>''f''</sub> to be the set of prime ideals of ''R'' not containing ''f''.  Then each ''D''<sub>''f''</sub> is an open subset of Spec(''R''), and <math>\{D_f:f\in R\}</math> is a basis for the Zariski topology.
+Spec(''R'') is a [[compact space]], but almost never [[Hausdorff space|Hausdorff]]: in fact, the [[maximal ideal]]s in ''R'' are precisely the closed points in this topology. However, Spec(''R'') is always a [[Kolmogorov space]]. It is also a [[spectral space]].
+==Sheaves and schemes==
+Given the space ''X''=Spec(''R'') with the Zariski topology, the structure sheaf ''O''<sub>''X''</sub> is defined on the ''D''<sub>''f''</sub> by setting Γ(''D''<sub>''f''</sub>, ''O''<sub>''X''</sub>) = ''R''<sub>''f''</sub>, the [[localization of a ring|localization]] of ''R'' at the multiplicative system {1,''f'',''f''<sup>2</sup>,''f''<sup>3</sup>,...}.  It can be shown that this satisfies the necessary axioms to be a [[B-Sheaf#Sheaves on a basis of open sets|B-Sheaf]].  Next, if ''U'' is the union of {''D''<sub>''fi''</sub>}<sub>''i''∈''I''</sub>, we let Γ(''U'',''O''<sub>''X''</sub>) = lim<sub>''i''∈''I''</sub> ''R''<sub>''fi''</sub>, and this produces a sheaf; see the [[Gluing axiom#Sheaves on a basis of open sets|Gluing axiom]] article for more detail.
+If ''R'' is an integral domain, with field of fractions ''K'', then we can describe the ring Γ(''U'',''O''<sub>''X''</sub>) more concretely as follows.  We say that an element ''f'' in ''K'' is regular at a point ''P'' in ''X'' if it can be represented as a fraction ''f'' = a/b with ''b'' not in ''P''.  Note that this agrees with the notion of a [[regular function]] in algebraic geometry.  Using this definition, we can describe Γ(''U'',''O''<sub>''X''</sub>) as precisely the set of elements of ''K'' which are regular at every point ''P'' in ''U''.
+If ''P'' is a point in Spec(''R''), that is, a prime ideal, then the stalk at ''P'' equals the [[localization of a ring|localization]] of ''R'' at ''P'', and this is a [[local ring]].  Consequently, Spec(''R'') is a [[locally ringed space]].
+Every locally ringed space isomorphic to one of this form is called an ''affine scheme''.
+General [[scheme (mathematics)|schemes]] are obtained by "gluing together" several affine schemes.
+==Functoriality==
+It is useful to use the language of [[category theory]] and observe that Spec is a [[functor]].
+Every [[ring homomorphism]] ''f'' : ''R'' → ''S'' induces a [[continuous function (topology)|continuous]] map Spec(''f'') : Spec(''S'') → Spec(''R'') (since the preimage of any prime ideal in ''S'' is a prime ideal in ''R''). In this way, Spec can be seen as a contravariant functor from the category of commutative rings to the category of topological spaces. Moreover for every prime ''P'' the homomorphism ''f'' descends to homomorphisms
+:''O''<sub>''f''<sup>&nbsp;-1</sup>(''P'')</sub> → ''O''<sub>''P''</sub>
+of local rings. Thus Spec even defines a contravariant functor from the category of commutative rings to the category of [[locally ringed space]]s. In fact it is the universal such functor and this can be used to define the functor Spec up to natural isomorphism.
+The functor Spec yields a contravariant equivalence between the '''[[category of commutative rings]]''' and the '''category of affine schemes'''; each of these categories is often thought of as the [[opposite category]] of the other.
+==Motivation from algebraic geometry==
+Following on from the example, in [[algebraic geometry]] one studies ''algebraic sets'', i.e. subsets of ''K''<sup>''n''</sup> (where ''K'' is an [[algebraically closed field]]) which are defined as the common zeros of a set of [[polynomial]]s in ''n'' variables. If ''A'' is such an algebraic set, one considers the commutative ring ''R'' of all polynomial functions ''A'' → ''K''. The ''maximal ideals'' of ''R'' correspond to the points of ''A'' (because ''K'' is algebraically closed), and the ''prime ideals'' of ''R'' correspond to the ''subvarieties'' of ''A'' (an algebraic set is called [[irreducible component|irreducible]] or a variety if it cannot be written as the union of two proper algebraic subsets).
+The spectrum of ''R'' therefore consists of the points of ''A'' together with elements for all subvarieties of ''A''. The points of ''A'' are closed in the spectrum, while the elements corresponding to subvarieties have a closure consisting of all their points and subvarieties. If one only considers the points of ''A'', i.e. the maximal ideals in ''R'', then the Zariski topology defined above coincides with the Zariski topology defined on algebraic sets (which has precisely the algebraic subsets as closed sets).
+One can thus view the topological space Spec(''R'') as an "enrichment" of the topological space ''A'' (with Zariski topology): for every subvariety of ''A'', one additional non-closed point has been introduced, and this point "keeps track" of the corresponding subvariety. One thinks of this point as the [[generic point]] for the subvariety. Furthermore, the sheaf on Spec(''R'') and the sheaf of polynomial functions on ''A'' are essentially identical. By studying spectra of polynomial rings instead of algebraic sets with Zariski topology, one can generalize the concepts of algebraic geometry to non-algebraically closed fields and beyond, eventually arriving at the language of [[scheme (mathematics)|scheme]]s.
+==Global Spec==
+There is a relative version of the functor Spec called global Spec, or relative Spec, and denoted by '''Spec'''. For a scheme ''Y'', and a quasi-coherent sheaf of ''O<sub>Y</sub>''-algebras ''A'', there is a unique scheme '''Spec'''''A'', and a morphism <math>f \colon \bold{Spec} \ A \to Y</math>  such that for every open affine <math>U \subseteq Y</math>, there is an isomorphism induced by ''f'': <math>f^{-1}(U) \cong \mathrm{Spec} \  A(U)</math>, and such that for open affines <math>U \subseteq V</math>, the inclusion <math>f^{-1}(U) \to f^{-1}(V)</math> induces the restriction map <math>A(V) \to A(U).</math> That is, as ring homomorphisms induce opposite maps of spectra, the restriction maps of a sheaf of algebras induce the inclusion maps of the spectra that make up the '''Spec''' of the sheaf.
+==Representation theory perspective==
+From the perspective of [[representation theory]], a prime ideal ''I'' corresponds to a module ''R''/''I'', and the spectrum of a ring corresponds to irreducible cyclic representations of ''R,'' while more general subvarieties correspond to possibly reducible representations that need not be cyclic. Recall that abstractly, the representation theory of a group is the study of modules over its [[group algebra]].
+The connection to representation theory is clearer if one considers the [[polynomial ring]] <math>R=K[x_1,\dots,x_n]</math> or, without a basis, <math>R=K[V].</math> As the latter formulation makes clear, a polynomial ring is the group algebra over a [[vector space]], and writing in terms of <math>x_i</math> corresponds to choosing a basis for the vector space. Then an ideal ''I,'' or equivalently a module <math>R/I,</math> is a cyclic representation of ''R'' (cyclic meaning generated by 1 element as an ''R''-module; this generalizes 1-dimensional representations).
+In the case that the field is closed (say, the complex numbers) and one uses a maximal ideal, which corresponds (by the [[nullstellensatz]]) to a point in ''n''-space (the maximal ideal generated by <math>(x_1-a_1), (x_2-a_2),\ldots,(x_n-a_n)</math> corresponds to the point <math>(a_1,\ldots,a_n)</math>), these representations are parametrized by the dual space <math>V^*,</math> (the covector is given by the <math>a_i</math>). This is precisely [[Fourier theory]]: the representations the additive group <math>K</math> are given by the [[dual group]]{{disambiguation needed|date=July 2011}} (simply, maps <math>K \to K</math> are multiplication by a scalar), and thus the representations of <math>K^n</math> (''K''-linear maps <math>K^n \to K</math>) are given by a set of ''n''-numbers, or equivalently a covector <math>K^n \to K.</math>
+Thus, points in ''n''-space, thought of as the max spec of <math>R=K[x_1,\dots,x_n],</math> correspond precisely to 1-dimensional representations of ''R,'' while finite sets of points correspond to finite-dimensional representations (which are reducible, corresponding geometrically to being a union, and algebraically to not being a prime ideal). The non-maximal ideals then correspond to ''infinite''-dimensional representations.
+==Functional analysis perspective==
+{{main|Spectrum (functional analysis)}}
+The term "spectrum" comes from the use in [[operator theory]].
+Given a linear operator ''T'' on a finite-dimensional vector space ''V'', one can consider the vector space with operator as a module over the polynomial ring in one variable ''R''=''K''[''T''], as in the [[structure theorem for finitely generated modules over a principal ideal domain]]. Then the spectrum of ''K''[''T''] (as a ring) equals the spectrum of ''T'' (as an operator).
+Further, the geometric structure of the spectrum of the ring (equivalently, the algebraic structure of the module) captures the behavior of the spectrum of the operator, such as algebraic multiplicity and geometric multiplicity. For instance, for the 2×2 identity matrix has corresponding module:
+:<math>K[T]/(T-1) \oplus K[T]/(T-1)</math>
+the 2×2 zero matrix has module
+:<math>K[T]/(T-0) \oplus K[T]/(T-0),</math>
+showing geometric multiplicity 2 for the zero eigenvalue,
+while a non-trivial 2×2 nilpotent matrix has module
+:<math>K[T]/T^2,</math>
+showing algebraic multiplicity 2 but geometric multiplicity 1.
+In more detail:
+* the eigenvalues (with geometric multiplicity) of the operator correspond to the (reduced) points of the variety, with multiplicity;
+* the primary decomposition of the module corresponds to the unreduced points of the variety;
+* a diagonalizable (semisimple) operator corresponds to a reduced variety;
+* a cyclic module (one generator) corresponds to the operator having a [[cyclic vector]] (a vector whose orbit under ''T'' spans the space);
+* the first [[invariant factor]] of the module equals the [[Minimal polynomial (linear algebra)|minimal polynomial]] of the operator, and the last invariant factor equals the [[characteristic polynomial]].
+==Generalizations==
+The spectrum can be generalized from rings to [[C*-algebra]]s in [[operator theory]], yielding the notion of the [[spectrum of a C*-algebra]]. Notably, for a [[Hausdorff space]], the [[algebra of scalars]] (the bounded continuous functions on the space, being analogous to regular functions) are a ''commutative'' C*-algebra, with the space being recovered as a topological space from MSpec of the algebra of scalars, indeed functorially so; this is the content of the [[Banach–Stone theorem]]. Indeed, any commutative C*-algebra can be realized as the algebra of scalars of a Hausdorff space in this way, yielding the same correspondence as between a ring and its spectrum. Generalizing to ''non''-commutative C*-algebras yields [[noncommutative topology]].
+==See also==
+*[[Spectrum of a matrix]]
+*[[Constructible topology]]
+==References==
+* {{Citation | last1=Cox | first1=David | author1-link=David Cox (mathematician) | last2=O'Shea | first2=Donal | last3=Little | first3=John | title=Ideals, Varieties, and Algorithms | publisher=[[Springer-Verlag]] | location=Berlin, New York | isbn=978-0-387-94680-1 | year=1997}}
+* {{Citation | last1=Eisenbud | first1=David | author1-link = David Eisenbud | last2=Harris | first2=Joe | author2-link = Joe Harris (mathematician) | title=The geometry of schemes | publisher=[[Springer-Verlag]] | location=Berlin, New York | series=Graduate Texts in Mathematics | isbn=978-0-387-98638-8; 978-0-387-98637-1 | mr=1730819  | year=2000 | volume=197}}
+* {{Citation | last1=Hartshorne | first1=Robin | author1-link = Robin Hartshorne | title=[[Algebraic Geometry (book)|Algebraic Geometry]] | publisher=[[Springer-Verlag]] | location=Berlin, New York | isbn=978-0-387-90244-9 | mr=0463157  | year=1977}}
+==External links==
+* Kevin R. Coombes: [http://odin.mdacc.tmc.edu/~krcoombes/agathos/spec.html ''The Spectrum of a Ring'']
+[[Category:Commutative algebra]]
+[[Category:Scheme theory]]
+[[Category:Prime ideals]]

13 (number): Difference between revisions

Revision as of 23:51, 20 January 2014

Contents

Zariski topology

Sheaves and schemes

Functoriality

Motivation from algebraic geometry

Global Spec

Representation theory perspective

Functional analysis perspective

Generalizations

See also

References

External links

Navigation menu

13 (number): Difference between revisions

Revision as of 23:51, 20 January 2014

Zariski topology

Sheaves and schemes

Functoriality

Motivation from algebraic geometry

Global Spec

Representation theory perspective

Functional analysis perspective

Generalizations

See also

References

External links

Navigation menu

Search