Do affine schemes form a Mal'cev category? - MathOverflow most recent 30 from http://mathoverflow.net 2013-05-23T04:44:13Z http://mathoverflow.net/feeds/question/51615 http://www.creativecommons.org/licenses/by-nc/2.5/rdf http://mathoverflow.net/questions/51615/do-affine-schemes-form-a-malcev-category Do affine schemes form a Mal'cev category? David Roberts 2011-01-10T02:29:57Z 2011-10-28T13:00:08Z <p>This may be a silly question, but I have no intuition in this direction. Every category internal to a <a href="http://ncatlab.org/nlab/show/Mal%27cev+category" rel="nofollow">Mal'cev category</a> is a groupoid (this is why categories internal to $Grp$ are groupoids). If this was true it would put restrictions on generalising algebraic stacks (which are stacks of groupoids by default) to algebraic stacks <em>of categories</em>.</p> <p>So my question is:</p> <blockquote> <p>Is the opposite of the category of commutative rings (= category of affine schemes) Mal'cev?</p> </blockquote> http://mathoverflow.net/questions/51615/do-affine-schemes-form-a-malcev-category/51651#51651 Answer by Greg Muller for Do affine schemes form a Mal'cev category? Greg Muller 2011-01-10T14:15:06Z 2011-01-10T14:15:06Z <p>(This is a repeat of an above comment.) The category of affine schemes is not Mal'cev. This can be disproven by producing an reflexive, non-symmetric relation on an affine scheme $X$ whose graph is a closed subscheme of $X\times X$.</p> <p>Take $X=\mathbb{A}^1=Spec(\mathbb{C}[x])$. The relation $(x,x)$ and $(x,0)$ (as $x$ runs over all points) is reflexive and asymmetric. If we identify $X\times X$ with $$Spec(\mathbb{C}[x]\otimes \mathbb{C}[y])=Spec(\mathbb{C}[x,y]),$$ then the graph of the quotient is the union of the lines $x=y$ and $y=0$. This is a closed subscheme. In terms of rings, this looks like the quotient $\mathbb{C}[x,y]\rightarrow \mathbb{C}[x,y]/(xy-y^2)$.</p> <p>There's also a simpler and less-satisfying example. Since the category of affine schemes contains the category of finite sets (with $[n]\rightarrow Spec(\mathbb{C}^n)$, one can choose any reflexive, non-symmetric relation on a finite set (since they are all algebraic).</p> http://mathoverflow.net/questions/51615/do-affine-schemes-form-a-malcev-category/79367#79367 Answer by Dmitry Roytenberg for Do affine schemes form a Mal'cev category? Dmitry Roytenberg 2011-10-28T08:52:23Z 2011-10-28T13:00:08Z <p>Dear David, </p> <p>There's also a less direct way to see that the category of affine schemes is not Mal'cev, but one that is more in line with your motivation -- namely, by exhibiting an internal category which is not a groupoid: for instance, take the multiplicative monoid. As a functor from commutative rings to monoids, it just forgets addition, and is co-represented by the ring $\mathbb{Z}[t]$, with co-multiplication sending $t$ to $xy\in\mathbb{Z}[x,y]$ and the co-unit given by evaluating at $t=1$. </p>