Take the 2-minute tour ×
Mathematics Stack Exchange is a question and answer site for people studying math at any level and professionals in related fields. It's 100% free, no registration required.

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|improve this question
add comment

Your Answer

 
discard

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

Browse other questions tagged or ask your own question.