1
$\begingroup$

Is there a good reference for the theory of symmetric product schemes? (I only need a few basic things, the construction, etc.)

Googling it turned up a lot of papers which use it as if it's common knowledge, so I suspect there should be a reference somewhere, but I can't find any.

  • 0
    Do you know how to construct products of schemes? Do you know how to quotient schemes by the action of a finite group?2012-08-03
  • 0
    I didn't know that you could quotient schemes by the action of a finite group. How would you do that?2012-08-03
  • 0
    If $R$ is a commutative ring, then an action of $G$ on $\text{Spec } R$ by scheme automorphisms is equivalent to an action of $G$ on $R$ by ring automorphisms, and $\text{Spec } R^G$ is a sensible model of the quotient scheme (where $R^G$ denotes the invariant subring of $R$). The inclusion $R^G \to R$ dualizes to the quotient map $\text{Spec } R \to \text{Spec } R^G$. To extend this to schemes it suffices to find a covering by $G$-invariant affine opens; unfortunately I am not sure if this is always possible...2012-08-03
  • 0
    Hmm, the answers to http://mathoverflow.net/questions/1558/quotients-of-schemes-by-free-group-actions seem to suggest that it's not always possible to quotient by a finite group...2012-08-03
  • 0
    Yes, okay, the issue is that orbits may not be contained in affine opens. For any scheme $S$ such that a finite subset of $S$ is contained in an affine open this is not a problem for the action of the symmetric group on $S \times S \times ... \times S$.2012-08-03
  • 0
    Oops, I missed an answer to that question further down, by David Speyer, which states that a quotient always exists if the scheme is quasi-projective, which suffices for my purposes. The argument requires Hilbert schemes though, and I'm not familiar with their machinery; My question is mainly motivated by Fulton's intersection theory, which doesn't mention Hilbert schemes (judging by the index). I was hoping that symmetric product schemes would be a simpler example.2012-08-03

1 Answers 1