"Algebraic" topologies like the Zariski topology? - MathOverflow most recent 30 from http://mathoverflow.net 2013-05-24T02:42:26Z http://mathoverflow.net/feeds/question/14314 http://www.creativecommons.org/licenses/by-nc/2.5/rdf http://mathoverflow.net/questions/14314/algebraic-topologies-like-the-zariski-topology "Algebraic" topologies like the Zariski topology? Harry Gindi 2010-02-05T21:24:16Z 2010-11-27T20:36:27Z <p>The fact that a commutative ring has a natural topological space associated with it is still a really interesting coincidence. The entire subject of Algebraic geometry is based on this simple fact.</p> <p>Question: Are there other categories of algebraic objects that have interesting natural topologies that carry algebraic data like the Zariski topology on a ring (spectrum)? If they exist, what are they and how are they used? </p> <p>Note: I wasn't really sure what to tag this, so I chose some general tags that seem to express the idea.</p> http://mathoverflow.net/questions/14314/algebraic-topologies-like-the-zariski-topology/14315#14315 Answer by Pete L. Clark for "Algebraic" topologies like the Zariski topology? Pete L. Clark 2010-02-05T21:42:32Z 2010-02-06T00:28:10Z <p>Yes, there are plenty of such things. </p> <p>[In the following, "compact" implies "locally compact" implies "Hausdorff".]</p> <p>1) To a Boolean algebra, one associates its Stone space, a compact totally disconnected space.</p> <p>(Via the correspondence between Boolean algebras and Boolean rings, this is a special case of the Zariski topology -- but with a distinctive flavor -- that predates it.)</p> <p>2) To a non-unital Boolean ring one associates its Stone space, a locally compact totally disconnected space.</p> <p>3) To a commutative C*-algebra with unit, one associates its Gelfand spectrum, a compact space.</p> <p>4) To a commutative C*-algebra without unit, one associates its Gelfand spectrum, a locally compact space.</p> <p>6) To a commutative Banach ring [or a scheme over a non-Archimedean field, or...] one associates its Berkovich spectrum (the bounded multiplicative seminorms). </p> <p>7) To a commutative ring R, one associates its real spectrum (prime ideals, plus orderings on the residue domain.) </p> <p>8) To a field extension K/k, one associates its Zariski Riemann surface (equivalence classes of valuations on K which are trivial on k). </p> <p>This is by no means a complete list...</p> <p><b>Addendum</b>: I hadn't addressed the second part of your question, i.e., explaining what these things are used for. Briefly, the analogy to the Zariski spectrum of a commutative ring is tight enough to give the correct impression of the usefulness of these other spectra/spaces: they are topological spaces associated (cofunctorially) to the algebraic (or algebraic-geometric, topological algebraic, etc.) objects in question. They carry enough information to be useful in the study of the algebraic objects themselves (sometimes, e.g. in the case of Stone and Gelfand spaces, they give complete information, i.e., an anti-equivalence of categories, but not always). In some further cases, one can get the anti-equivalence by adding further structure in a very familiar way: one can attach structure sheaves to these guys and thus get a class of "model spaces" for a certain species of locally ringed spaces -- e.g., Berkovich spectra glue together to give Berkovich analytic spaces. </p> http://mathoverflow.net/questions/14314/algebraic-topologies-like-the-zariski-topology/14316#14316 Answer by darij grinberg for "Algebraic" topologies like the Zariski topology? darij grinberg 2010-02-05T21:43:32Z 2010-02-05T21:43:32Z <p>The $I$-adic topology on a commutative ring $A$ (with unity), where $I$ is an ideal of $A$. The closed sets are intersections of finite unions of sets of the form $a+I^n$ with $a\in A$ and $n\in\mathbb{N}$ (where $\mathbb{N}$ includes $0$). This topology has many trivial but very useful properties such as: The ring $A$ is separated (=Hausdorff) with respect to this topology if and only if $\displaystyle\bigcap_{n\in\mathbb{N}}I^n=0$. The most important example is the polynomial ring $A=B\left[X_1,X_2,...,X_n\right]$ with the ideal $I=\left(X_1,X_2,...,X_n\right)$. This one is separated, but not complete. Its completion is the ring of power series $B\left[\left[X_1,X_2,...,X_n\right]\right]$.</p> <p>This is probably the most elementary example of a topology in algebra. I think <a href="http://www.renyi.hu/~szamuely/fg.pdf" rel="nofollow">Szamuely's book</a> has more advanced ones.</p> http://mathoverflow.net/questions/14314/algebraic-topologies-like-the-zariski-topology/14320#14320 Answer by Jack Schmidt for "Algebraic" topologies like the Zariski topology? Jack Schmidt 2010-02-05T22:15:04Z 2010-02-06T17:32:26Z <p>Interesting finite groups tend to have interesting inherent geometries (just as orbit-stabilizer turns external actions into internal actions, similar ideas turn many external geometries into coset geometries). The geometry induced by conjugation on Sylow p-subgroups is important for all finite groups, and turns out to describe the (p-completion of the) classifying space of the group.</p> <p>Geometry has always been an important part of group theory. Zassenhaus groups and sharply triply transitive groups typically have an underlying affine or projective plane they are acting on. Early investigations of these special permutation groups in the 1930s led to some of the systematic development of finite geometry over things other than fields. You can recover the algebraic structure of something like a ring just from the permutation action of the group (often on a regular subgroup). M. Hall Jr.'s textbook on the Theory of Groups has a nice exposition of these ideas.</p> <p>Of course finite groups of Lie type acting on their Borel subgroups also define important geometries, roughly called "buildings", and there are a great many references for those. This became a very popular way to understand the non-sporadic groups. These groups of Lie type have other nice actions, often on interesting finite geometries called generalized polygons.</p> <p>Equivariant homotopy people noticed that some of these geometries are nearly enough to define a classifying space of the group, along with a nice decomposition of its cohomology ring. D. Benson and S.D. Smith's book on Classifying Spaces of Sporadic Simple Groups (<a href="http://www.ams.org/mathscinet-getitem?mr=2378355" rel="nofollow">MR2378355</a>) describes these techniques with a reasonably algebraic feel. Modulo a few details, these are the fusion systems Scott Carnahan mention in a previous thread, <a href="http://mathoverflow.net/questions/5659/" rel="nofollow">MO5659</a>. These geometries were investigated in order to provide a more natural analogue of buildings for sporadic groups.</p> <p>Actually, I suppose you might feel that classifying spaces themselves are naturally associated to finite groups.</p> <p><strong>Edit:</strong> I thought it might be helpful to point out the similarities to the Zariski topology: The Zariski topology basically encodes how prime ideals intersect. The fusion of a finite group encodes how Sylow subgroups intersect. Strong fusion not only keeps track of the intersections, but also of the (G-inner) maps between those intersections, so that the fusion becomes a category. Since fusion controls cohomology, it seemed natural to look at how fusion describes the classifying space of a group. Amazingly, it does a great job of describing the p-completion of the classifying space and facilitates fairly direct calculations. In other words, the data encoded by the "prime subgroups" (Sylow p-subgroups) also encodes a natural topological space associated to the group, its (p-completed) classifying space.</p> <p>Several areas of combinatorics, like certain parts of graph theory and finite geometry, also seem to be based on the simple fact that interesting groups have interesting geometries. A recent classification of Steiner triple systems followed from detailed classifications of finite simple groups and multiply transitive permutation groups, and several families of graphs are interesting because of their automorphism groups.</p> <p>I hope it is clear too that separating a group from its actions is not sensible. The actions of a group are encoded by the conjugacy classes of its subgroups, and it is entirely internal. Most geometries associated to groups are also internal. This is basically why the classification of finite simple groups can succeed: the natural action of a group is already contained inside it in an easy to describe way, so that once the local structure of a group is sufficiently similar to a known group, the group itself is isomorphic to a known group.</p> http://mathoverflow.net/questions/14314/algebraic-topologies-like-the-zariski-topology/14322#14322 Answer by James for "Algebraic" topologies like the Zariski topology? James 2010-02-05T23:01:20Z 2010-02-05T23:12:50Z <p>Given a group theoretic class $\mathfrak{X}$ (e.g., finite groups, soluble groups, etc.), to each group $G$ one can associate the pro-$\mathfrak{X}$ topology on $G$ by taking as a basis of neighbourhoods of the identity the collection of normal subgroups $N$ of $G$ for which the quotient group $G/N$ belongs to $\mathfrak{X}$. A group is residually an $\mathfrak{X}$-group precisely when this topology is Hausdorff. (To get an actual topology, $\mathfrak{X}$ has to be hereditary and closed under (finite) direct products.)</p> http://mathoverflow.net/questions/14314/algebraic-topologies-like-the-zariski-topology/14345#14345 Answer by Shizhuo Zhang for "Algebraic" topologies like the Zariski topology? Shizhuo Zhang 2010-02-06T01:48:23Z 2010-02-07T09:57:23Z <p>Interesting questions. Actually, this is indeed related to work on defining a natural topology on categories, which is part of noncommutative algebraic geometry. </p> <p>A. Rosenberg defined the <i>left spectrum</i> for a noncommutative ring in 1981 (see <a href="http://www.jstor.org/stable/2355586?cookieSet=1" rel="nofollow">The left spectrum, the Levitzki radical, and noncommutative schemes</a>), and further generalized this spectrum to any abelian category (see <a href="http://www.mpim-bonn.mpg.de/preprints/send?bid=3948" rel="nofollow">reconstruction of schemes</a>), and proved the so called Gabriel-Rosenberg reconstruction theorem which led to the correct definition of noncommutative scheme. I might have time to talk about this later. But for now, I shall just point out some papers, such as <a href="http://www.mpim-bonn.mpg.de/preprints/send?bid=1946" rel="nofollow">Spectra of noncommutative spaces</a>.</p> <p>In this paper, Rosenberg takes an abelian category as a "noncommutative space" and defines various spectra for different goals. (<strong>ONE remarkable destination is for representation theory of Lie algebras and quantum groups.</strong>)</p> <p>One can not only define spectrum for abelian categories; <strong>this notion also makes sense in a non-abelian category and a triangulated category.</strong> In the paper <a href="http://www.mpim-bonn.mpg.de/preprints/send?bid=2280" rel="nofollow">Spectra related with localizations</a>, Rosenberg defined the spectrum directly related to localization of categories. Roughly speaking, the spectrum of a category is a family of topologizing subcategories (which by definition, are closed under direct sum, sub- and quotient; in particular, thick or Serre subcategories) satifying some additional conditions.</p> <p>There is also another paper, <a href="http://www.mpim-bonn.mpg.de/preprints/send?bid=1948" rel="nofollow">Underlying spaces of noncommutative schemes</a>, trying to investigate the underlying space of a noncommutative scheme or other noncommutative "space" in noncommutative algebraic geometry. If we want to save flat descent in general, we might lose the base change property. In this work, Rosenberg deals with the "quasi-topology" (which means dropping the base change property) and defines the <em>associative spectrum</em> of a category. Moreover: for the goals of representation theory, he built a framework <strong>relating representation theory with the spectrum of abelian category</strong> (in particular, categories of modules). Actually, in this language, irreducible representations are in one-to-one correspondence with the closed points in the spectrum; generic points in the spectrum also produce representations (not necessarily irreducible).</p> <p>The most important part in this work is that it provided a completely categorical (algebro-geometric) way to do induction in an abelian category instead of the derived category. (I will explain this later if I have time). This semester, Rosenberg gave us a lecture course, <strong>using this framework to compute all the irreducible representations</strong> for the Weyl algebra, the enveloping algebra, quantized enveloping algebras, algebras of differential operators, $SL_2({\mathbb R})$ and other algebraic groups, or related associative algebras. It works very efficiently. For example, computing irreducible representations of $U(sl_3)$ is believed to be very complicated, but using this spectrum framework, it becomes much simpler.</p> <p>The general framework for these is contained in the paper <a href="http://www.mpim-bonn.mpg.de/preprints/send?bid=3217" rel="nofollow">Spectra, associated points and representation theory</a>. If you want to see some concrete examples using this machine, you should look at Rosenberg's old book <em><a href="http://search.barnesandnoble.com/Noncommutative-Algebraic-Geometry-and-Representations-of-Quantized-Algebras/Alex-Rosenberg/e/9780792335757" rel="nofollow">Noncommutative Algebraic Geometry And Representations Of Quantized Algebras</a>.</em> There is another paper <a href="http://www.mpim-bonn.mpg.de/preprints/send?bid=2544" rel="nofollow">Spectra of spaces' represented by abelian categories</a>, providing the general theory for this machinery.</p> <p>Furthermore, we can define the spectrum for an <em>exact category</em>; even more generally, for any Grothendieck site, and so for any category (because any category has a canonical Grothendieck pretopology). Rosenberg has recent work defining the spectrum for such categories -- <a href="http://www.mpim-bonn.mpg.de/preprints/send?bid=3617" rel="nofollow">Geometry of right exact spaces'</a> -- the main motivation for this work is to provide a background for higher universal algebraic K-theory for a <em>right exact category</em> (a category with a family of strict epimorphisms can be taken as a one-sided exact category). <strong>More important motivation is to study algebraic cycles for noncommutative schemes.</strong> (Warning: this paper is very abstract and hard to read. We will go through this paper in the lecture course this semester.)</p> <p>All of these things will appear soon in his new book with Konstevich (but I am not sure of the exact time). If I have enough time to post, I will explain in more detail, how the theory of the spectrum for abelian categories comes into representation theory, and how this picture is related to the derived picture of Beilinson-Bernstein and Deligne. In fact, today we have just learned Beck's theorem for Karoubian triangulated categories and will do the DG-version of Beck's theorem later. And then he will introduce the spectrum for triangulated categories, and explain the noncommutative algebraic geometry facts behind the BBD machine and the connection with his abelian machine. </p> http://mathoverflow.net/questions/14314/algebraic-topologies-like-the-zariski-topology/28411#28411 Answer by Peter Arndt for "Algebraic" topologies like the Zariski topology? Peter Arndt 2010-06-16T16:57:49Z 2010-06-16T16:57:49Z <p>To any first order structure you can associate a Zariski-like topology, roughly by taking as closed sets the subsets definable by formulas without negation, see e.g. <a href="http://en.wikipedia.org/wiki/Zariski_geometry" rel="nofollow">here</a> and in the article linked there.</p> <p>If the first order structure is an algebraically closed field where you interpret the language of rings you get back the Zariski topology.</p> http://mathoverflow.net/questions/14314/algebraic-topologies-like-the-zariski-topology/47535#47535 Answer by mmm for "Algebraic" topologies like the Zariski topology? mmm 2010-11-27T20:36:27Z 2010-11-27T20:36:27Z <blockquote> <p>carry algebraic data like the Zariski topology on a ring (spectrum)? If they exist, what are they and how are they used? </p> </blockquote> <p>In model theory they define and study the 'algebraic data like the Zariski topology' <i>irrespectively</i> of where these data come from. These data are called <i>Zariski geometries</i>, and e.g. admit some intersection theory, can be used to prove Chow's lemma, admit some classification results in dim 1 etc. You may want to have a look on the recent book of <a href="https://people.maths.ox.ac.uk/zilber/s.pdf" rel="nofollow">Zariski geometries</a> and references therein (or the actual book Zariski Geometries : Geometry from the Logician's Point of View, by Boris Zilber). </p> <p>Also, the book has some examples which sometimes need some work.</p>