Let $f$ be a Hilbert polynomial, and $X := Hilb\_h(P^d\_{F\_p})$ a Hilbert scheme defined over $F\_p$. Then there is an absolute Frobenius map $F: X \to X$. I'm even interested in the case $f \equiv 1$, so $X = P^d$.


Which of the following is a sensical question?


1. What is the family over $X$ induced by pulling back the universal family along $F$? Is there a reasonable way to think about it, that makes it clear that it's not just again the universal family?
2. If that family is just the universal family again, then in what sense is the Hilbert scheme universal? (As it seems I've obtained the same family from two different maps, which I thought wasn't supposed to happen.)



What is the family derived from the absolute Frobenius on the Hilbert scheme?
Indeed since the map on the base is not an isomorphism (apart from silly cases such as when $X$ is empty: the Frobenius endomporphism of a locally finite type $\mathbb{F}\_p$-scheme is an isomorphism if and only if the scheme is etale), the pullback cannot be universal. Functorially, $F$ carries a family of closed subschemes of projective space to the family defined (locally over the base) by the equations with coefficients raised to the $p$-power. Concretely, a hypersurface with some coefficient of 1 and another not a $p$-power in the base ring does not occur in the pullback family. 


