MathOverflow is a question and answer site for professional mathematicians. It's 100% free, no registration required.

Sign up
Here's how it works:
  1. Anybody can ask a question
  2. Anybody can answer
  3. The best answers are voted up and rise to the top

Let consider a smooth projective curve $X$ over $\mathbb{C}$. We consider the scheme that classifies effective divisors of degree $d$, which is 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)$.

Is this function is upper-semicontinuous?

share|cite|improve this question
Yes, of course it is. – Dan Petersen Aug 9 '13 at 21:50
up vote 1 down vote accepted

The space $X^d/S_d$ has a stratification with strata $X_\lambda$ indexed by partitions $\lambda$ of $d$. The stratum $X_\lambda$ is in the closure of the stratum $X_\mu$ if and only if $\lambda$ is a subpartition of $\mu$ (i.e. one can split the summands of $\lambda$ into groups such that each summand of $\mu$ is a sum of summands of $\lambda$ in one of the groups). Clearly, the number of summands equal to $1$ can only decrease when one goes to a stratum in the closure. Since the function in question can be rewritten as $d$ minus the number of summands equalt to $1$, the semicontinuity follows.

share|cite|improve this answer

Your Answer


By posting your answer, you agree to the privacy policy and terms of service.

Not the answer you're looking for? Browse other questions tagged or ask your own question.