Dimension of affine variety - MathOverflow most recent 30 from http://mathoverflow.net 2013-06-19T14:59:08Z http://mathoverflow.net/feeds/question/79281 http://www.creativecommons.org/licenses/by-nc/2.5/rdf http://mathoverflow.net/questions/79281/dimension-of-affine-variety Dimension of affine variety Klim Efremenko 2011-10-27T16:16:43Z 2011-10-27T21:02:49Z <p>Assume that I have $k$ polynomials $f_1(x_1,\ldots x_n),f_2(x_1,\ldots x_n),\ldots f_k(x_1,\ldots x_n)$ in $n>k$ variables. Is it possible to calculate, ,i.e., does there exist a fast algorithm, the dimension of the variety $Z(f_1,\ldots f_k)$? </p> <p>Does there exist a good criterion to check if the dimension of $Z(f_1,\ldots f_k)$ is $n-k$ when all $f_i$ are quadratic polynomials?</p> http://mathoverflow.net/questions/79281/dimension-of-affine-variety/79291#79291 Answer by Ariyan Javanpeykar for Dimension of affine variety Ariyan Javanpeykar 2011-10-27T17:58:42Z 2011-10-27T19:56:43Z <p>The codimension of $X=Z(f_1,\ldots,f_k)$ in $\mathbf{A}^n$ equals $k$, or equivalently, the dimension of $X$ is $n-k$, if $(f_1,\ldots,f_k)$ is a regular sequence. </p> <p>Let me explain what a regular sequence is. Sorry if I'm writing things you already know.</p> <p>Let $A$ be a noetherian ring. An element $x\in A$ is called <em>regular</em> if the multiplication by $x$ is injective. A sequence $(x_1,\ldots,x_n)$ of elements $x_1,\ldots,x_n\in A$ is said to be a <em>regular sequence</em> if $x_1$ is regular and the image of $x_i$ in $A/(x_1A+\ldots+ x_{i-1}A)$ is regular for all $i=2,\ldots,n$. </p> <p>You can use Krull's principal ideal theorem to show that any ideal $I$ of $A$ which can be generated by a regular sequence $(x_1,\ldots,x_r)$ satisfies $\textrm{ht}( I) = r$.</p> <p>So one way to find out if the dimension of $X$ is $n-k$ is to check the above condition. </p> <p>If $k=1$ and $f_1\neq 0$ we're good.</p> <p>Let's see how it goes for $k=2$. Let's suppose that $f_1\neq 0$ and that $f_2$ is not contained in the ideal $(f_1)$. Now, you have to check that the image of $f_2$ in $k[x_1,\ldots,x_n]/(f_1)$ is regular. So you compute the quotient and check if it's an integral domain. If it's an integral domain, we're good. If not, it might be a bit more difficult to check if $f_2$ is regular in $k[x_1,\ldots,x_n]/(f_1)$. I wouldn't know a fast way of checking if this element is a non-zero divisor at the moment. </p> <p>This is not a complete answer but I hope it at least helped a bit.</p> http://mathoverflow.net/questions/79281/dimension-of-affine-variety/79314#79314 Answer by Melania for Dimension of affine variety Melania 2011-10-27T21:02:49Z 2011-10-27T21:02:49Z <p>You should calculate the Poincare series $P_X(t)$ of the coordinate ring $k[X].$ The the order of the pole $t=1$ is exactly the dimension of the affine variete $X.$ Some of computer algebra systems allows a Poincare series calculation for an input set of polynomials.</p>