I have an unknown function $\psi(\xi\_1,\dots,\xi\_n)$, such that
$\psi$ satisfy an (unknown) polynomial equation with coefficients polynomials in the $\xi\_i$.


The function is homogeneous, that is, $\psi(t \xi\_1,\dots, t \xi\_n) = t^c \psi(\xi\_1,\dots,\xi\_n)$. I also know that $|\psi(e^{i \theta\_1},\dots,e^{i \theta\_n})|=1$ when $\sum\_i \theta\_i =0$, 
which implies that 
$$\psi(e^{i \theta\_1},\dots,e^{i \theta\_n}) = e^{i A(\theta\_1,\dots,\theta\_n)}$$
for some real-valued function $A$.


Clearly, one option is that $\psi(\xi\_1,\dots,\xi\_n) = \xi\_1^{p\_1} \cdots \xi\_n^{p\_n}$
such that $p\_1+\cdots+p\_n = c$, but can one exclude any other form?
How do one take advantage of the fact that $\psi$ is algebraic in the $\xi\_i$?



Algebraic function with extra condition, what can it be?
So, here is my stab at a proof, which actually do not require algebraicness of $\psi$


Notice that we have $|\psi(\xi\_1, \dots \xi\_n)| = 1$ whenever $\xi\_1 \cdots \xi\_n = 1.$
Thus, using the homogeneity property, we may see that
$$\psi(t^{1-n}\xi\_1, t \xi\_2, t\xi\_3, \dots ,t\xi\_n) = \phi(\xi\_1,\dots,\xi\_n) e^{i A(t)}$$
for any $\xi\_1,\dots,\xi\_n,$ since we may normalize the $\xi\_i$:s with 
$(\xi\_1 \xi\_2 \cdots \xi\_n)^{1/n}$ and move this to the other side ($\phi$).
Now, changing $t$ will not change the modulus of the product of the parameters to the function, so it may only affect the argument, and hence the form above.


Now, using homogeneity again yields
$$t^c\psi(t^{-n}\xi\_1, \xi\_2, \xi\_3, \dots ,\xi\_n) = \phi(\xi\_1,\dots,\xi\_n) e^{i A(t)}$$
Differentiating both sides w.r.t. $t$ and then putting $t=1$ gives


$$\psi - n \xi\_1 \psi'\_1 = \psi i A'(1) $$
Now, this is a differential equation, which is easy to solve,
one sees that $\psi = \xi\_1^\beta F(\xi\_2,\dots,\xi\_n)$ for some constant $\beta$ and unknown function $F$. However, this argument can be made for any of the variables,
yielding the desired result.


We do need that $\psi$ is differentiable, but this should be true almost everywhere for algebraic functions.


