Let $k=\mathbb{F}_q$ be a finite field with $q$ elements and let $X$ be a quasi-projective $k$-scheme. I saw somewhere claims the following results (without explanation):
- Let $N$ be a positive integer and let $i: Z\hookrightarrow X$ be the closed immersion of the disjoint union of all the closed points $x\in X$ of degree $[\kappa(x):k]<N$ in $X$. For $n< N$, we have a bijection $${\rm Sym}^ni: {\rm Sym}^nZ(k)\xrightarrow{\cong}{\rm Sym}^nX(k).$$
- Suppose $X={\rm Spec}(L)$ for a finite extension $L/k$ of degree $d$. Then ${\rm Sym}^nX(k)$ is empty if $d\nmid n$, and is a singleton if $d\mid n$.
I don't have any idea with them. Can anyone help me to prove these results? Thanks also for any idea/hint/reference!
For the construction of symmetric products of varieties, one can see Section 3.1 in the paper here.