I Commutative algebra and differential geometry

dx
Homework Helper
Messages
2,143
Reaction score
52
In Miles Reid's book on commutative algebra, he says that, given a ring of functions on a space X, the space X can be recovered from the maximal or prime ideals of that ring. How does this work?​
 
Physics news on Phys.org
This is the subject of algebraic geometry. The basic principle is that zeros of multivariate polynomials are considered as the topological spaces and the ideals generated by those polynomials are used as their algebraic correspondence. Thus we can investigate geometric objects by algebraic methods.

A better explanation can be found on Wikipedia:
https://en.wikipedia.org/wiki/Algebraic_geometry
https://en.wikipedia.org/wiki/Affine_variety
and the correct explanation on:
http://www.math.lsa.umich.edu/~idolga/631.pdf
 
For ##p\in X##, let ##I(p)## be the ideal of functions vanishing at ##p.## These are exactly the maximal ideals of your ring of functions on ##X,## so there is a bijection between points of ##X## and maximal ideals in the ring of functions on ##X.##
 
in other words, given a maximal ideal, look at all points where all functions in that ideal vanish. if the base field is algebraically closed, there will be exactly one such point. hence a maximal ideal recovers a point of the variety. if the base field is not algebraically closed, there will be more maximal ideals than points. e.g. over the real numbers R, if m is a maximal ideal of R[X], then R[X]/M will be isomorophic either to R or to C, the complex numbers. The ones corresponding to single points of R are the ones where the quotient field is R, and those maximal ideals where the quotient field is isomorphic to C, correspond to pairs of conjugate complex points. I.e. maximal ideals of R[X] are generated by irreducible polynomials over R, and these are either linear (corresponding to a single real point), or quadratic (corresponding to a pair of conjugate complex points).
 
I asked online questions about Proposition 2.1.1: The answer I got is the following: I have some questions about the answer I got. When the person answering says: ##1.## Is the map ##\mathfrak{q}\mapsto \mathfrak{q} A _\mathfrak{p}## from ##A\setminus \mathfrak{p}\to A_\mathfrak{p}##? But I don't understand what the author meant for the rest of the sentence in mathematical notation: ##2.## In the next statement where the author says: How is ##A\to...
The following are taken from the two sources, 1) from this online page and the book An Introduction to Module Theory by: Ibrahim Assem, Flavio U. Coelho. In the Abelian Categories chapter in the module theory text on page 157, right after presenting IV.2.21 Definition, the authors states "Image and coimage may or may not exist, but if they do, then they are unique up to isomorphism (because so are kernels and cokernels). Also in the reference url page above, the authors present two...
When decomposing a representation ##\rho## of a finite group ##G## into irreducible representations, we can find the number of times the representation contains a particular irrep ##\rho_0## through the character inner product $$ \langle \chi, \chi_0\rangle = \frac{1}{|G|} \sum_{g\in G} \chi(g) \chi_0(g)^*$$ where ##\chi## and ##\chi_0## are the characters of ##\rho## and ##\rho_0##, respectively. Since all group elements in the same conjugacy class have the same characters, this may be...
Back
Top