Take the 2-minute tour ×
MathOverflow is a question and answer site for professional mathematicians. It's 100% free, no registration required.

We need to Find a non constant map $f:\mathbb{C}^3\to \mathbb{C}$ such that for any three distinct complex numbers $z_1,z_2,z_3$ and any automorphism $\phi$ of $\mathbb{C}$, we have $f(z_1,z_2,z_3)= f(\phi(z_1),\phi(z_2),\phi(z_3))$

Thank you for help and discussion.

share|improve this question
    
Whoops, I understand now that the analytic sense of automorphism (holomorphic bijection) is meant. –  Sam Hopkins Mar 9 '13 at 6:30

1 Answer 1

up vote 1 down vote accepted

If the $z_i$s are all distinct, take

$f(z_1,z_2,z_3) = \frac{z_1-z_2}{z_3-z_2}$

This is the cross-ratio. It can take any complex value except for $0$ and $1$. It is clearly invariant. You can get many other functions by composing this with some function from $\mathbb C - \{0,1\}$ to $\mathbb C$. Indeed, these functions are all the possible functions, since if two triples have the same cross-ratio, they are the same up to an automorphism.

share|improve this answer

Your Answer

 
discard

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.