A Belyi-type criterion for vector bundles on curves defined over a number field

Fuente: arXiv
Saved in:
Bibliographic Details
Main Authors: Biswas, Indranil, Gurjar, Sudarshan
Format: Preprint
Published: 2025
Subjects:
Online Access:
Tags: Add Tag
No Tags, Be the first to tag this record!
_version_ 1866909453532528640
author Biswas, Indranil
Gurjar, Sudarshan
author_facet Biswas, Indranil
Gurjar, Sudarshan
contents Let $X_0$ be an irreducible smooth projective curve defined over $\overline{\mathbb Q}$ and $f_0 : X_0 \rightarrow \mathbb{P}^1_{\overline{\mathbb Q}}$ a nonconstant morphism whose branch locus is contained in the subset $\{0,1, \infty\} \subset \mathbb{P}^1_{\overline{\mathbb Q}}$. For any vector bundle $E$ on $X = X_0\times_{{\rm Spec}\,\overline{\mathbb Q}} {\rm Spec} \mathbb{C}$, consider the direct image $f_*E$ on $\mathbb{P}^1_{\mathbb C}$, where $f= (f_0)_{\mathbb C}$. It decomposes into a direct sum of line bundles and also it has a natural parabolic structure. We prove that $E$ is the base change, to $\mathbb C$, of a vector bundle on $X_0$ if and only if there is an isomorphism $f_*E \stackrel{\sim}{\rightarrow} \bigoplus_{i=1}^r {\mathcal O}_{{\mathbb P}^1_{\mathbb C}}(m_i)$, where $r = {\rm rank}(f_*E)$, that takes the parabolic structure on $f_*E$ to a parabolic structure on $\bigoplus_{i=1}^r {\mathcal O}_{{\mathbb P}^1_{\mathbb C}}(m_i)$ defined over $\overline{\mathbb Q}$.
format Preprint
id arxiv_https___arxiv_org_abs_2501_05681
institution arXiv
publishDate 2025
record_format arxiv
spellingShingle A Belyi-type criterion for vector bundles on curves defined over a number field
Biswas, Indranil
Gurjar, Sudarshan
Algebraic Geometry
Number Theory
Let $X_0$ be an irreducible smooth projective curve defined over $\overline{\mathbb Q}$ and $f_0 : X_0 \rightarrow \mathbb{P}^1_{\overline{\mathbb Q}}$ a nonconstant morphism whose branch locus is contained in the subset $\{0,1, \infty\} \subset \mathbb{P}^1_{\overline{\mathbb Q}}$. For any vector bundle $E$ on $X = X_0\times_{{\rm Spec}\,\overline{\mathbb Q}} {\rm Spec} \mathbb{C}$, consider the direct image $f_*E$ on $\mathbb{P}^1_{\mathbb C}$, where $f= (f_0)_{\mathbb C}$. It decomposes into a direct sum of line bundles and also it has a natural parabolic structure. We prove that $E$ is the base change, to $\mathbb C$, of a vector bundle on $X_0$ if and only if there is an isomorphism $f_*E \stackrel{\sim}{\rightarrow} \bigoplus_{i=1}^r {\mathcal O}_{{\mathbb P}^1_{\mathbb C}}(m_i)$, where $r = {\rm rank}(f_*E)$, that takes the parabolic structure on $f_*E$ to a parabolic structure on $\bigoplus_{i=1}^r {\mathcal O}_{{\mathbb P}^1_{\mathbb C}}(m_i)$ defined over $\overline{\mathbb Q}$.
title A Belyi-type criterion for vector bundles on curves defined over a number field
topic Algebraic Geometry
Number Theory
url https://arxiv.org/abs/2501.05681