2
$\begingroup$

This may be a stupid question. I'm reading the paper "Automorphisms of moduli spaces of vector bundles over a curve" of Indranil Biswas, Tomas L. Gomez, V. Munoz (arXiv link). I have a problem in the proof of Theorem 5.3.

Let $X$ be a smooth projective curve over $\mathbb{C}$. $E$ and $E'$ are vector bundles of rank $r$ and degree $d$. $K_X$ is the canonical bundle. $\mathcal{N}_{E}$ is the nilponent cone bundle whose fiber is $$\mathcal{N}_{E,x}=\{A \in \operatorname{End}E \otimes K_X \mid x \mid A^r=0 \}\subset \operatorname{End}_0E \otimes K_X \mid x.$$

In the proof of Theorem 5.3, this paper says

There is an isomorphism $\mathcal{N}_E\rightarrow \mathcal{N}_{E'}$. By Lemma $5.2$, we get an isomorphism $\operatorname{Fl}(E) \rightarrow \operatorname{Fl}(E')$ of the corresponding flag variety bundles. Considering the global vertical fields, we have a Lie algebra bundle isomorphism $\operatorname{End}_0E\rightarrow \operatorname{End}_0{E'}$.

But I don't understand how I can deduce $\operatorname{End}_0E\rightarrow \operatorname{End}_0{E'}$ from $\operatorname{Fl}(E) \rightarrow \operatorname{Fl}(E')$ explicitly, and why it is an isomorphism as a Lie algebra bundle.
In addition, what is "global vertical fields"? I have no definition of it in this paper.

$\endgroup$

1 Answer 1

1
$\begingroup$

With this type of question, it is better to write to one of the authors directly.

$\DeclareMathOperator\Fl{Fl}\DeclareMathOperator\End{End}$First, a vertical vector field is given by a global vector field of the fiber $\Fl(E_x)$, for a point of $x$. These are determined by a nilpotent matrix in $\End_0 E$. Next, note that there is already an isomorphism of vector spaces $\End_0 E\rightarrow \End_0 E'$ (last line of page 10). So the vertical vector fields of $\Fl(E)$ and $\Fl(E')$ are isomorphic. The issue here is that the map on vector fields respects the Lie bracket, so the map is a Lie algebra isomorphism (at least on nilpotent matrices, but this implies for all matrices).

$\endgroup$
1
  • 1
    $\begingroup$ Why is it better to write the authors directly? I would not expect someone whom I didn't know to write to me directly as their first step if they were stuck on a proof, or didn't know a common definition, in one of my papers. $\endgroup$
    – LSpice
    May 6, 2023 at 17:33

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service and acknowledge you have read our privacy policy.

Not the answer you're looking for? Browse other questions tagged or ask your own question.