Applications of Zariski topology outside alg. geometry - MathOverflow most recent 30 from http://mathoverflow.net 2013-05-22T09:36:15Z http://mathoverflow.net/feeds/question/90779 http://www.creativecommons.org/licenses/by-nc/2.5/rdf http://mathoverflow.net/questions/90779/applications-of-zariski-topology-outside-alg-geometry Applications of Zariski topology outside alg. geometry Todd Leason 2012-03-10T00:57:14Z 2012-03-12T10:09:47Z <p>Are there applications of the Zariski topology in mathematics that are not within the scope of algebraic geometry (including schemes and algebraic groups) ? </p> <p>There is an older question with a similar title (http://mathoverflow.net/questions/21502/what-is-the-zariski-topology-good-bad-for) but the answers given there are mainly concerned with the geometry stuff. </p> http://mathoverflow.net/questions/90779/applications-of-zariski-topology-outside-alg-geometry/90787#90787 Answer by Ralph for Applications of Zariski topology outside alg. geometry Ralph 2012-03-10T02:20:04Z 2012-03-10T02:20:04Z <p>The Zariski topology can be used to construct the Stone-Čech compactification $\beta X$ and the real compactification $\nu X$ of a topological space $X$: The Stone-Čech compactification is just the maximal ideal spectrum of $C_b(X)$ (the ring of bounded continuous functions $X \to \mathbb R$) endowed with the Zariski topology. Since there are other ways to construct these compactifications (see <a href="http://en.wikipedia.org/wiki/Stone%E2%80%93%C4%8Cech_compactification" rel="nofollow">the wiki article</a>), the appearance of the Zariski topology is not that obvious. </p> <p>The Stone-Čech compactification is used intensively in functional analysis and allows to boil down questions concerning rings of continuous functions to the case of a compact space $X$. This is used for instance in Riesz representations of linear functionals of $C_b(X)$ and related spaces.</p> http://mathoverflow.net/questions/90779/applications-of-zariski-topology-outside-alg-geometry/90791#90791 Answer by Hailong Dao for Applications of Zariski topology outside alg. geometry Hailong Dao 2012-03-10T02:47:52Z 2012-03-10T02:47:52Z <p>In modular representation theory there has been quite a bit of work on classifying certain kind of subcategories using subsets of the spectrum of the cohomology ring. For example see this <a href="http://arxiv.org/abs/0810.1339" rel="nofollow">recent paper</a> and <a href="http://arxiv.org/abs/1102.2621" rel="nofollow">survey</a> as well as the references. </p> http://mathoverflow.net/questions/90779/applications-of-zariski-topology-outside-alg-geometry/90804#90804 Answer by Georges Elencwajg for Applications of Zariski topology outside alg. geometry Georges Elencwajg 2012-03-10T09:08:49Z 2012-03-10T09:08:49Z <p>Given two $n\times n$ matrices $A,B$ over a field $k$ let's prove that the characteristic polynomials of $AB$ and $BA$ are equal: $\chi(AB)=\chi(BA)$.<br> Since the characteristic polynomial of a matrix obviously doesn't change under field extension , we may and do assume $k$ algebraically closed</p> <p>If $A$ is invertible, the result is clear because $\chi(BA)=\chi (A(BA)A^{-1})=\chi (AB)$.<br> Now fix $B$ and consider the set $F\subset M_n(k)$ of all $A$ for which $\chi(AB)=\chi(BA)$.<br> It is <strong>closed</strong> in the Zariski topology of $M_n(k)\cong \mathbb A^{n^2}(k)=k^{n^2}$ (because the characteristic polynomial of a matrix $M$ has as coefficients polynomials in the entries of $M$).<br> Since, as we have just seen,it contains the <strong>open</strong> non-empty set of invertible matrices $A$, it is <strong>dense</strong> by irreducibility of $\mathbb A^{n^2}(k)$ (which requires that $k$ be algebraically closed).<br> Since $F$ is closed and dense, we have $F=\mathbb A^{n^2}(k)$: all matrices $A$ satisfy $\chi(AB)=\chi(BA)$ </p> <p>Many theorems in elementary linear algebra can similarly be proved by using the Zariski topology on $M_n(k)$</p> http://mathoverflow.net/questions/90779/applications-of-zariski-topology-outside-alg-geometry/90810#90810 Answer by Marc Palm for Applications of Zariski topology outside alg. geometry Marc Palm 2012-03-10T12:08:40Z 2012-03-12T10:09:47Z <p>(In some sense, there is some overlap with Ralph's answer)</p> <p>Gelfand Naimark theorem.</p> <p>For a commutative $C^\star$ algebra $A$, the spectrum of $A$ is the set of primitive ideals (=kernel of functionals). With the Zariski topology ($C^\star$ algebraist prefer the notion Jacobson topology/hull-kernel topology), they become a topological space $X$ and we have $C_0(X) \cong A$. This yields an anti equivalence between locally compact Hausdorff spaces with commutative $C^\star$ algebras. This equivalence generalizes to so called to sober spaces, where the dual objects are complete Heyting algebras. So from this experience, it seems natural to topologize the dual of an algebra and see how much is encoded.</p> <p>Pontryagin duality:</p> <p>The Gelfand Naimark theorem can be enhanced to the Pontryagin duality of locally compact abelian groups.</p> <p>Note that the Gelfand Naimark theorem was first, and probably inspired some of the constructions in algebraic geometry. Similar things are happening with spectral triples in Arakelov theory now, I guess.</p>