-
A Belyi-type criterion for vector bundles on curves defined over a number field
Authors:
Indranil Biswas,
Sudarshan Gurjar
Abstract:
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…
▽ More
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}$.
△ Less
Submitted 9 January, 2025;
originally announced January 2025.
-
Criterion for existence of a logarithmic connection on a principal bundle over a smooth complex projective variety
Authors:
Sudarshan Gurjar,
Arjun Paul
Abstract:
Let $X$ be a connected smooth complex projective variety of dimension $n \geq 1$. Let $D$ be a simple normal crossing divisor on $X$. Let $G$ be a connected complex Lie group, and $E_G$ a holomorphic principal $G$-bundle on $X$. In this article, we give criterion for existence of a logarithmic connection on $E_G$ singular along $D$.
Let $X$ be a connected smooth complex projective variety of dimension $n \geq 1$. Let $D$ be a simple normal crossing divisor on $X$. Let $G$ be a connected complex Lie group, and $E_G$ a holomorphic principal $G$-bundle on $X$. In this article, we give criterion for existence of a logarithmic connection on $E_G$ singular along $D$.
△ Less
Submitted 30 June, 2020; v1 submitted 2 December, 2019;
originally announced December 2019.
-
Connections and restrictions to curves
Authors:
Indranil Biswas,
Sudarshan Gurjar
Abstract:
We construct a vector bundle $E$ on a smooth complex projective surface $X$ with the property that the restriction of $E$ to any smooth closed curve in $X$ admits an algebraic connection while $E$ does not admit any algebraic connection.
We construct a vector bundle $E$ on a smooth complex projective surface $X$ with the property that the restriction of $E$ to any smooth closed curve in $X$ admits an algebraic connection while $E$ does not admit any algebraic connection.
△ Less
Submitted 15 May, 2018;
originally announced May 2018.
-
Higgs bundles and fundamental group schemes
Authors:
Indranil Biswas,
Ugo Bruzzo,
Sudarshan Gurjar
Abstract:
Relying on a notion of "numerical effectiveness" for Higgs bundles, we show that the category of "numerically flat" Higgs vector bundles on a smooth projective variety $X$ is a Tannakian category. We introduce the associated group scheme, that we call the "Higgs fundamental group scheme of $X$," and show that its properties are related to a conjecture about the vanishing of the Chern classes of nu…
▽ More
Relying on a notion of "numerical effectiveness" for Higgs bundles, we show that the category of "numerically flat" Higgs vector bundles on a smooth projective variety $X$ is a Tannakian category. We introduce the associated group scheme, that we call the "Higgs fundamental group scheme of $X$," and show that its properties are related to a conjecture about the vanishing of the Chern classes of numerically flat Higgs vector bundles.
△ Less
Submitted 25 July, 2016;
originally announced July 2016.
-
Harder-Narasimhan stacks for principal bundles in higher dimensions and arbitrary characteristics
Authors:
Sudarshan Gurjar,
Nitin Nitsure
Abstract:
Let $G$ be a split reductive group over a field $k$ of arbitrary characteristic, chosen suitably. Let $X\to S$ be a smooth projective morphism of locally noetherian $k$-schemes, with geometrically connected fibers. We show that for each Harder-Narasimhan type $τ$ for principal $G$-bundles, all pairs consisting of a principal $G$-bundle on a fiber of $X\to S$ together with a given canonical reducti…
▽ More
Let $G$ be a split reductive group over a field $k$ of arbitrary characteristic, chosen suitably. Let $X\to S$ be a smooth projective morphism of locally noetherian $k$-schemes, with geometrically connected fibers. We show that for each Harder-Narasimhan type $τ$ for principal $G$-bundles, all pairs consisting of a principal $G$-bundle on a fiber of $X\to S$ together with a given canonical reduction of HN-type $τ$ form an algebraic stack $Bun_{X/S}^τ(G)$ over $S$. The forgetful $1$-morphism $Bun_{X/S}^τ(G) \to Bun_{X/S}(G)$ to the algebraic stack of all principal $G$-bundles on fibers of $X\to S$ is a schematic morphism, which is of finite type, separated, radicial, and induces an isomorphism on residue fields of all points of $Bun_{X/S}^τ(G)$. It factors via an open substack $Bun_{X/S}^{\ngtr τ}(G)$ of $Bun_{X/S}(G)$, inducing a finite morphism $Bun_{X/S}^τ(G) \to Bun_{X/S}^{\ngtr τ}(G)$. This is a closed embedding if the Behrend conjecture is satisfied by $G$. The results of this paper hold in arbitrary characteristic, and in fact it gives better proofs of the results of our earlier papers which had assumed the characteristic to be zero. Along the way we give a new proof of the existence of a canonical reduction over any base field in all dimensions, and we also prove openness of semistability and semicontinuity of canonical type in a family.
△ Less
Submitted 10 November, 2020; v1 submitted 29 May, 2016;
originally announced May 2016.
-
Schematic Harder-Narasimhan stratification for families of principal bundles in higher dimensions
Authors:
Sudarshan Gurjar,
Nitin Nitsure
Abstract:
For any family of principal bundles with a reductive structure group G on a family X/S of smooth projective varieties in characteristic zero, it is known that the parameter scheme S has a set theoretic stratification by locally closed subsets which correspond to the Harder-Narasimhan types of the restriction of the principal bundle to the various fibers of X/S. We show that each of these subsets h…
▽ More
For any family of principal bundles with a reductive structure group G on a family X/S of smooth projective varieties in characteristic zero, it is known that the parameter scheme S has a set theoretic stratification by locally closed subsets which correspond to the Harder-Narasimhan types of the restriction of the principal bundle to the various fibers of X/S. We show that each of these subsets has in fact the structure of a locally closed subscheme of the parameter scheme S, with the following universal property: Under any base change, the pullback family admits a relative Harder-Narasimhan filtration (defined appropriately) with a given Harder-Narasimhan type if and only if the base change factors via the schematic stratum corresponding to that Harder-Narasimhan type. It follows that principal bundles of any given Harder-Narasimhan type on X/S form an Artin algebraic stack over S, and as the Harder-Narasimhan type varies, these stacks define a stratification the stack of all principal G-bundles on X/S by locally closed substacks.
This result extends to principal bundles in higher dimensions our earlier similar results which were proved for principal bundles on families of curves. The result is new even for vector bundles, that is, for G = GL(n).
△ Less
Submitted 1 October, 2016; v1 submitted 9 May, 2015;
originally announced May 2015.
-
Restriction Theorems for Principal Bundles and Some Consequences
Authors:
Sudarshan Gurjar
Abstract:
The aim of this paper is to give a proof of the restriction theorems for principal bundles with a reductive algebraic group as structure group in arbitrary characteristic. Let $G$ be a reductive algebraic group over any field $k=\bar{k}$, let $X$ be a smooth projective variety over $k$, let $H$ be a very ample line bundle on $X$ and let $E$ be a semistable (resp. stable) principal $G$-bundle on…
▽ More
The aim of this paper is to give a proof of the restriction theorems for principal bundles with a reductive algebraic group as structure group in arbitrary characteristic. Let $G$ be a reductive algebraic group over any field $k=\bar{k}$, let $X$ be a smooth projective variety over $k$, let $H$ be a very ample line bundle on $X$ and let $E$ be a semistable (resp. stable) principal $G$-bundle on $X$ w.r.t. $H$. The main result of this paper is that the restriction of $E$ to a general smooth curve which is a complete intersection of ample hypersurfaces of sufficiently high degree's is again semistable (resp. stable).
△ Less
Submitted 28 February, 2013;
originally announced February 2013.
-
Schematic HN stratification for families of principal bundles and lambda modules
Authors:
Sudarshan Gurjar,
Nitin Nitsure
Abstract:
For a family of principal bundles with a reductive structure group on a family of curves in characteristic zero, it is known that the Harder Narasimhan type of its restriction to each fiber varies semicontinuously over the parameter scheme of the family. This defines a stratification of the parameter scheme by locally closed subsets, known as the Harder-Narasimhan stratification.
In this note, w…
▽ More
For a family of principal bundles with a reductive structure group on a family of curves in characteristic zero, it is known that the Harder Narasimhan type of its restriction to each fiber varies semicontinuously over the parameter scheme of the family. This defines a stratification of the parameter scheme by locally closed subsets, known as the Harder-Narasimhan stratification.
In this note, we show how to endow each Harder-Narasimhan stratum with the structure of a locally closed subscheme of the parameter scheme, which enjoys the universal property that under any base change the pullback family admits a relative Harder-Narasimhan reduction with a given Harder-Narasimhan type if and only if the base change factors through the schematic stratum corresponding to that Harder-Narasimhan type. This has the consequence that principal bundles of a given Harder Narasimhan type form an Artin stack.
We also prove a similar result showing the existence of a schematic Harder-Narasimhan filtration for flat families of pure sheaves of $Λ$-modules (in the sense of Simpson) in arbitrary dimensions and in mixed characteristic, generalizing the result for sheaves of ${\mathcal O}$-modules proved earlier by Nitsure. This again has the implication that $Λ$-modules of a fixed Harder-Narasimhan type form an Artin stack.
△ Less
Submitted 28 August, 2012;
originally announced August 2012.
-
Rationality of the instability parabolic and related results
Authors:
Sudarshan Gurjar,
Vikram Mehta
Abstract:
In this paper we study the extension of structure group of principal bundles with a reductive algebraic group as structure group on smooth projective varieties defined over algebraically closed field of positive characteristic. Our main result is to show that given a representation ρ of a reductive algebraic group G, there exists an integer t such that any semistable G-bundle whose first t frobeni…
▽ More
In this paper we study the extension of structure group of principal bundles with a reductive algebraic group as structure group on smooth projective varieties defined over algebraically closed field of positive characteristic. Our main result is to show that given a representation ρ of a reductive algebraic group G, there exists an integer t such that any semistable G-bundle whose first t frobenius pullbacks are semistable induces a semistable vector bundle on extension of structure group via ρ. Moreover we quantify the number of such frobenius pullbacks required.
△ Less
Submitted 11 November, 2011;
originally announced November 2011.
