Let $M=\mathbb C^g/ \Gamma$ be a complex tori and $E$ a be a holomorphic vector bundle of rank $r$ over $M$. Then $E$ is characterised by factor of automorphy, i.e. a holomorphic map $J:\Gamma\times\mathbb C^g\to GL(r,\mathbb C)$ such that $J(\gamma'\gamma,x)=J(\gamma',\gamma x)J(\gamma,x)$. If $f:M\to M$ is a holomorphic diffeomorphism of $M$, $f^*(E)$ is the pull-back bundle. Then can we deduce that $f^*(E)$ is given by a factor of automorphy $J_f(\gamma,x)=J(\gamma,f(x))$ ?
1 Answer
I think every holomorphic map $f:\mathbb{C}^g/\Gamma\to \mathbb{C}^g/\Gamma$ lifts to a $\Gamma$-equivariant holomorphic map $\tilde{f}:\mathbb{C}^g\to \mathbb{C}^g$ (indeed, every holomorphic map is a composition of a homomorphism, that lifts, with a translation, that lifts too).
Hence a factor of automorphy giving $f^*E$ is obtained as the pull-back of $J$ by $\tilde{f}$.
I don't think that you need $f$ to be biholomorphic for this to be true.
EDIT: $\Gamma$ -equivariance shall be understood in the following sense. There exists a group morphism $\varphi:\Gamma\to\Gamma$ such that $\tilde{f}(\gamma\cdot x)=\varphi(\gamma)\cdot\tilde{f}(x)$. Then the pulled-back factor of automorphy shall be $J\big(\varphi(\gamma),\tilde{f}(x)\big)$.
EDIT2: here $\cdot$ means $+$.
-
$\begingroup$ I am not sure that whether the pull back of $J$ is given by $J(\gamma, f(x))$ or $J(f(\gamma),f(x))$. $\endgroup$– MjrCommented May 2, 2022 at 9:22
-
1$\begingroup$ If I get your means correctly, by the $\Gamma$-equivariance the pull-back of $J$ shoud be $J(\gamma,f(x))$. But I am not clear about why $f$ is equivariant, could you please give me some more explanations? $\endgroup$– MjrCommented May 2, 2022 at 11:29
-
$\begingroup$ @Mjr: You should use $\tilde{f}$ rather than $f$. $\endgroup$– DamienCCommented May 2, 2022 at 11:44
-
$\begingroup$ As for equivariant I should have been a bit more precise. $\tilde{f}$ is the composition of a homomorphism with a translation. A translation is equivariant in an obvious sense; $T(\gamma\cdot x)=\gamma\cdot T(x)$. A homomorphism $\varphi$ sends $\Gamma$ to $\Gamma$, and thus is equivariant in the following sense: $\varphi(\gamma\cdot x)=\varphi(\gamma)\cdot\varphi(x)$. $\endgroup$– DamienCCommented May 2, 2022 at 11:47
-
$\begingroup$ Hence the pull-back of $J$ shall probably be $J(\varphi(\gamma),\tilde{f}(x))$. $\endgroup$– DamienCCommented May 2, 2022 at 11:54