4
$\begingroup$

Given a variety $V$, and a prime $p$ I want to decide if there is a free action of $\mathbb{Z}/p\mathbb{Z}$ on $V$, and to find the generator of an action if it exists. Is there a known algorithm to do it? (Assume $V$ is affine over $\mathbb{C}$, and we have a basis for the ideal of $V$.)

$\endgroup$
1
  • 2
    $\begingroup$ Well, a necessary condition is that $p$ divides the topological Euler characteristic (and also $\chi(\mathcal{O}_V)$ when $V$ is smooth and complete). So for example there is no such action on affine or projective space of any (positive) dimension. $\endgroup$ Nov 2, 2010 at 10:48

2 Answers 2

2
$\begingroup$

Suppose that $g:V\to V$ is an automorphism. We then have a ring automorphism $H^\ast(g)$ of $H^\ast(V;\mathbb{Q})$ and we can put $L(g)=\sum_i(-1)^i\text{trace}(H^i(g))$. The Lefschetz fixed point theorem relates $L(g)$ to the set of fixed points of $g$; in particular, if $g$ acts freely then $L(g)=0$. You can probably do this with the Chow ring rather than cohomology if you like that better. Alternatively, you could take coefficients in $\mathbb{Z}/p$ rather than $\mathbb{Q}$, but in that case one can show that when $g^p=1$ we have $L(g)=L(1)=\chi(V)$ so we just recover the fact that $\chi(V)=0\pmod{p}$. Depending on what kind of information you have about $V$, this might or might not be useful.

$\endgroup$
2
  • $\begingroup$ Does Lefschetz really work if V is affine (hence not compact) as in OP's question? I don't claim it doesn't, just that this point might need clarification. $\endgroup$
    – user5117
    Nov 16, 2010 at 12:51
  • $\begingroup$ I think it is OK because the group is finite and the cohomology of $V$ will have finite rank. However, I agree that this needs further argument. $\endgroup$ Nov 16, 2010 at 13:44
0
$\begingroup$

Wild-wild guess it is but hopefully it will send you on the right track: $G=Z/pZ$ is Cartier-self dual. So the action on $V$ is the same as grading on functions $A=C[V]$ for which I presume you know generators $x_i$ and relations. The grading will come with coaction $\rho : A -> A \otimes CG$ where $CG$ is the group algebra. The coaction is given explicitly by polynomials $f_{i,j}$ so that $\rho (x_i) = \sum_j f_{ij}\otimes g^j$...

You can search for coactions slowly increasing degrees of polynomials. The coaction condition is easily checked if you know Grobner basis.

When you have found a coaction, the condition of the freeness is that the map $A\otimes_{B} A -> A \otimes CG$ (geometrically $G\times V -> V\times_{V/G} V$) where $B$ is invariants is an isomorphism. Again given a Grobner basis, it is checkable on a computer.

$\endgroup$
2
  • $\begingroup$ How do you get a bound on the degrees? If I have a bound on the degrees of the polynomials appearing in the generator of the action, then I could solve for the coefficients (though it would be impractical). The problem is to get a bound on the degrees. $\endgroup$
    – Boris Bukh
    Nov 2, 2010 at 11:19
  • $\begingroup$ Sorry, I cannot think of any useful estimate. $\endgroup$
    – Bugs Bunny
    Nov 4, 2010 at 9:52

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service and acknowledge you have read our privacy policy.

Not the answer you're looking for? Browse other questions tagged or ask your own question.