Discrete version of Nullstellensatz? - MathOverflow most recent 30 from http://mathoverflow.net 2013-05-26T07:18:36Z http://mathoverflow.net/feeds/question/73640 http://www.creativecommons.org/licenses/by-nc/2.5/rdf http://mathoverflow.net/questions/73640/discrete-version-of-nullstellensatz Discrete version of Nullstellensatz? Camilo Sarmiento 2011-08-25T08:25:41Z 2011-10-19T15:06:32Z <p>Hi. I was reading the paper "On the foundations of combinatorial theory (VI): The idea of a generating function" by Doubilet, Rota and Stanley, and there is a relation treated which is very reminiscent of the relation between ideals in a polynomial ring and affine algebraic varieties (i won't go more specific in the definitions).</p> <p>It goes as follows (everything quoted from the above paper): Let $P$ be a finite poset (can be generalized to locally finite), and consider its incidence algebra $I(P,K)$, consisting of all the functions from the intervals in $P$ to some field $K$ (of characteristic zero). Sum and product by scalars are inherited from $K$, and product of two functions $f,g \in P$ is defined as the convolution: $$(f*g)(x,y)=\sum_{x\leq z \leq y}f(x,z)g(z,y)$$</p> <p>Some special elements in $I(P,K)$ needed to state the connection are the units:</p> <p>$$\delta_{x,y}(u,v)=\begin{cases}1&amp;\text{if u=x and v=y,}\\0&amp;\text{otherwise.}\end{cases}$$</p> <p>Now, the (two sided) ideals in this algebra and the <em>varieties</em> have a very nice relation just very similar to the one from commutative algebra and algebraic geometry. But in this case the relation is tighter, because varieties have an algebraic structure coming from a natural partial ordering.</p> <p>Define the support of and ideal $J$, $\Delta (J)$, as the set of all the units $\delta_{x,y}$ belonging to $J$. It turns out that every ideal $J$ in $I(P,K)$ consists of all the functions $f$ for which $f(x,y)=0$ whenever $\delta_{x,y}\notin \Delta(J)$. On the other hand, define $Z(J)$ as the set of all intervals $[ x,y ]$ such that $f(x,y)=0$ for all $f\in J$ (this would be the <em>variety</em>). $Z(J)$ is an order ideal of the poset of all intervals of $P$ (ordered by inclusion).</p> <p><strong>Theorem:</strong> Let $P$ be a finite poset and $S(P)$ the poset of its intervals, ordered by inclusion. Then there is a natural anti-isomorphism between the lattice of ideals of $I(P,K)$ and the lattice of order ideals of $S(P)$.</p> <p>(For more details and background, check the paper, or "Enumerative Combinatorics Vol.1" by Stanley)</p> <blockquote> <p><strong>My question is:</strong> Does anyone know if this ideal-variety duality has been exploited or studied further in the context of posets from an algebraic geometry point of view? (apart from the material in the mentioned paper). </p> </blockquote> http://mathoverflow.net/questions/73640/discrete-version-of-nullstellensatz/73643#73643 Answer by Peter Arndt for Discrete version of Nullstellensatz? Peter Arndt 2011-08-25T08:55:14Z 2011-08-25T08:55:14Z <p>Joyal and Tierney have done Algebraic Geometry with lattices (in topoi) somewhat along the lines you describe in their landmark monograph <a href="http://books.google.com/books?id=YbJmzgAACAAJ&amp;dq=joyal+tierney+galois&amp;hl=en&amp;ei=UQxWTqzgII3T4QTB4aywDA&amp;sa=X&amp;oi=book_result&amp;ct=result&amp;resnum=5&amp;ved=0CEIQ6AEwBA" rel="nofollow">An extension of the Galois Theory of Grothendieck</a></p>