6
$\begingroup$

This question stems from this question on Mathematics stack exchange. The top answer there provides a geometric solution; I'm curious though about an algebro-geometric solutions.

Let me rephrase that question a bit: Let $V$ be a variety in affine $n$-space $A^n_k$, over field $k$, given by an ideal $I$. How one would derive from $I$ the subgroup $G$ of affine transformations that leave $V$ invariant?

In particular, if $V$ is a hypersurface and $I$ is a principal ideal $(f)$ what properties of $f$ determine $G$?

$\endgroup$

1 Answer 1

4
$\begingroup$

Probably, the easiest method is this (at least in characteristic zero, which I will assume henceforth): Suppose that $V\subset \mathbb{A}^n_k$ is the set of zeros of a polynomial ideal $I\subset k[x^1,\ldots,x^n]$, say, generated by some finite set $\{f_1,\ldots,f_m\}\subset k[x^1,\ldots,x^n]$. Let $\frak{a}$ be the (finite dimensional) Lie algebra of affine vector fields on $\mathbb{A}^n_k$ (i.e., the set of derivations of $k[x^1,\ldots,x^n]$ that preserve the subspace of polynomials of degree at most $1$). Consider the linear map $\Phi:{\frak{a}}\to k^m\otimes k[x^1,\ldots,x^n]/I$ defined as $$ \Phi(X) = \bigl([X(f_1)]_I,\ldots,[X(f_m)]_I\bigr). $$ The kernel of $\Phi$, say ${\frak{g}}_I\subset{\frak{a}}$, is the space of affine symmetry vector fields of the ideal $I$, and it is the Lie algebra of the connected (in the appropriate sense) subgroup $G^0_I$ of the set of affine transformations of $\mathbb{A}^n_k$ that preserve $I$, i.e., it is the irreducible component containing the identity of the algebraic group $G_I$ that consists of all affine symmetries of $I$. In particular, $G^0_I$ is an algebraic subgroup of the group of affine transformations of $\mathbb{A}^n_k$, and ${\frak{g}}_I$ is its (Zariski) tangent space at the identity. (Computing the full symmetry group $G_I$ is not a linear problem and is much harder in general, though one does know that $G^0_I$ is a normal subgroup of $G_I$ and that the quotient group $G_I/G^0_I$ is finite.)

In practice, if $I$ is complicated, computing $[X(p)]_I$ in an efficient way requires using Gröbner bases or some such tool. In all cases, though, the computation of ${\frak{g}}_I$ reduces to the computation of the kernel of a linear map between finite-dimensional vector spaces.

When $I$ is generated by a single polynomial $f$, one is just asking whether the 'remainder' of $X(f)$ 'divided by' $f$ is zero. (Here, I am intending the use of a so-called 'multivariate division algorithm' à la Buchberger's algorithm using a Gröbner basis, though a more naïve degree approach will work, too.) This is fairly easy to compute explicitly using a Gröbner basis, one, say, that uses some total order on the monomials in $k[x^1,\ldots,x^n]$, so the 'continuous' symmetries of a polynomial are not hard to compute using just about any symbolic algebra program.

For example, given $f$ of degree $d>0$, you can always choose coordinates $y^1,\ldots,y^n$ so that $$ f = (y^n)^d + c_1(y^1,\ldots,y^{n-1})(y^n)^{d-1} + \cdots + c_d(y^1,\ldots,y^{n-1}) $$ where each $c_i$ is a polynomial of degree at most $i$. Clearly, there is a unique linear map $q:{\frak{a}}\to k$ such that $$ X(f) = q(X)\,f + R(X,f) $$ where $R(X,f)$ has degree at most $d$ in the $y^i$ and at most degree $d{-}1$ in $y^n$. Now, $X(f)$ is a multiple of $f$ if and only if $R(X,f)=0$, and, for a given $f$, this is a finite number of linear equations for $X$.

$\endgroup$
2
  • 1
    $\begingroup$ What do you mean at the end by saying "$k[x^1,\dots,x^n]$ is a Euclidean ring"? The ring of polynomials in more than one variable over a field is not a Euclidean domain (i.e., no division algorithm) since it is not a PID. Maybe you just had in mind that the coefficient ring $k$ is a field (a trivial type of Euclidean domain). $\endgroup$
    – KConrad
    Commented Dec 18, 2013 at 16:48
  • 2
    $\begingroup$ @KConrad: You are right; I'm not using 'Euclidean' in its standard sense, which is not a good idea. I just meant that there is an effective (multivariate) division algorithm for this ring, using, say, a total monomial ordering, à la Buchberger's algorithm using Gröbner bases. I'll edit my answer to reflect this. $\endgroup$ Commented Dec 18, 2013 at 16:56

You must log in to answer this question.

Not the answer you're looking for? Browse other questions tagged .