Skip to main content
3 of 5
added 5 characters in body
Lao-tzu
  • 1.9k
  • 13
  • 16

About closed points in symmetric product schemes over a finite field

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):

  1. 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).$$
  2. 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.

Lao-tzu
  • 1.9k
  • 13
  • 16