Mathematics Stack Exchange is a question and answer site for people studying math at any level and professionals in related fields. Join them; it only takes a minute:

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

In preparing a talk I'm having trouble with exercise 3 and 4 on page 25 of the following Lecture Notes of Crawley-Boevey (I only need the case $X=Y$ there):

$\text{3.}$ Let $X$ be a variety with a connected algebraic group $G$ acting on it. Let $X_s$ be the union of all orbits of dimension $s$ (or of dimension $\leq s$ if you prefer). Let $Z$ be a constructible subset intersecting each orbit, then for all $s$ we have $$\dim X_s-s\leq \dim Z$$ $\text{4.}$ Let $f:Z\to X$ be a morphism with inverse image of each orbit having dimension $\leq d$, then we have: $$\max_s\dim X_s-s\geq \dim Z-d$$

If someone could provide a hint, a reference, or a proof to either of the exercises, that would be great. In the notes there are not that many theorems that seem helpful to me: Maybe one could use the statement about fibre dimension of dominant morphisms or the orbit formula.

share|cite|improve this question

Your Answer


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

Browse other questions tagged or ask your own question.