Skip to main content
1 of 2
prochet
  • 3.5k
  • 1
  • 13
  • 20

effective divisors on a curve and upper semi-continuity

Let consider a smooth projective curve over $\mathbb{C}$. We consider the scheme that classifies effective divisors of degree $d$, isomorphic to $X^{d}/S_{d}$ where $S_{d}$ is the symmetric group.

We consider the map which associates to an effective divisor D of degree $d$ the sum of its multiplicities greater than two, $\sum\limits_{x,m_{x}(D)\geq 2}m_{x}(D)$.

Does this function is upper-semicontinuous?

prochet
  • 3.5k
  • 1
  • 13
  • 20