Researcher profile

Indranil Biswas

Indranil Biswas contributes to research discovery and scholarly infrastructure.

ResearcherAffiliation not importedOpen to collaborate

Trust snapshot

Quick read

Trust 21 - EmergingVerification L1Unclaimed author
41works
0followers
11topics
4close collaborators

Actions

Decide how to stay connected

Follow researcher0

Identity and collaboration

How to connect with this researcher

Claiming links this public author record to a researcher profile and unlocks direct collaboration workflows.

Log in to claim

Direct collaboration

Open a focused conversation when the fit is right

Claim this author entity first to unlock direct invitations.

Research graph

See the researcher in context

Open full explorer

Inspect adjacent work, topics, institutions and collaborators without jumping out to a separate graph page.

Building this graph slice

BZPEER is loading the nearby papers, people, topics and institutions for this page.

Published work

41 published item(s)

preprint2025arXiv

Parabolic vector bundles and Lie algebroid connections

Given a holomorphic Lie algebroid on an m-pointed Riemann surface, we define parabolic Lie algebroid connections on any parabolic vector bundle equipped with parabolic structure over the marked points. An analogue of the Atiyah exact sequence for parabolic Lie algebroids is constructed. For any Lie algebroid whose underlying holomorphic vector bundle is stable, we give a complete characterization of all the parabolic vector bundles that admit a parabolic Lie algebroid connection.

preprint2024arXiv

Ramified covering maps of singular curves and stability of pulled back bundles

Let $f : X \rightarrow Y$ be a generically smooth nonconstant morphism between irreducible projective curves, defined over an algebraically closed field, which is étale on an open subset of $Y$ that contains both the singular locus of $Y$ and the image, in $Y$, of the singular locus of $X$. We prove that the following statements are equivalent: \begin{enumerate} \item The homomorphism of étale fundamental groups $$f_* : π_1^{\rm et}(X) \rightarrowπ_1^{\rm et}(Y)$$ induced by $f$ is surjective. \item There is no nontrivial étale covering $ϕ: Y' \rightarrow Y$ admitting a morphism $q: X \rightarrow Y'$ such that $ϕ\circ q = f$. \item The fiber product $X\times_Y X$ is connected. \item $\dim H^0(X, f^*f_* {\mathcal O}_X)= 1$. \item ${\mathcal O}_Y \subset f_*{\mathcal O}_X$ is the maximal semistable subsheaf. \item The pullback $f^*E$ of every stable sheaf $E$ on $Y$ is also stable. \end{enumerate}

preprint2023arXiv

Connections and genuinely ramified maps of curves

Given a singular connection $D$ on a vector bundle $E$ over an irreducible smooth projective curve $X$, defined over an algebraically closed field, we show that there is a unique maximal subsheaf of $E$ on which $D$ induces a nonsingular connection. Given a generically smooth map $ϕ: Y \rightarrow\ X$ between irreducible smooth projective curves, and a singular connection $(V, D)$ on $Y$, the direct image $ϕ_*V$ has a singular connection. Let $\textbf{R}(ϕ_*{\mathcal O}_Y)$ be the unique maximal subsheaf on which the singular connection on $ϕ_*{\mathcal O}_Y$ -- corresponding to the trivial connection on ${\mathcal O}_Y$ -- induces a nonsingular connection. We prove that the homomorphism of étale fundamental groups $ϕ_*: π_1^{\rm et}(Y, y_0) \rightarrow π_1^{\rm et}(X, ϕ(y_0))$ induced by $ϕ$ is surjective if and only if ${\mathcal O}_X \subset \textbf{R}(ϕ_*{\mathcal O}_Y)$ is the unique maximal semistable subsheaf. When the characteristic of the base field is zero, this homomorphism $ϕ_*$ is surjective if and only if ${\mathcal O}_X = \textbf{R}(ϕ_*{\mathcal O}_Y)$. For any nonsingular connection $D$ on a vector bundle $V$ over $X$, there is a natural map $V\hookrightarrow {\bf R}(ϕ_*ϕ^*V)$. When the characteristic of the base field is zero, we prove that the map $ϕ$ is genuinely ramified if and only if $V ={\bf R}(ϕ_*ϕ^*V)$.

preprint2023arXiv

Degenerations of Bundle Moduli

Over a family $\mathbb X$ of genus $g$ complete curves, which gives the degeneration of a smooth curve into one with nodal singularities, we build a moduli space which is the moduli space of ${\rm SL}(n, \mathbb C)$ bundles over the generic smooth curve $X_t$ in the family, and is a moduli space of bundles equipped with extra structure at the nodes for the nodal curves in the family. This moduli space is a quotient by $(\mathbb C^*)^s$ of a moduli space on the desingularisation. Taking a "maximal" degeneration of the curve into a nodal curve built from the glueing of three-pointed spheres, we obtain a degeneration of the moduli space of bundles into a $(\mathbb C^*)^{(3g-3)(n-1)}$-quotient of a $(2g-2)$-th power of a space associated to the three-pointed sphere. Via the Narasimhan-Seshadri theorem, the moduli of bundles on the smooth curve is a space of representations of the fundamental group into ${\rm SU}(n)$ (the "symplectic picture"). We obtain the degenerations also in this symplectic context, in a way that is compatible with the holomorphic degeneration, so that our limit space is also a $(S^1)^{(3g-3)(n-1)}$ symplectic quotient of a $(2g-2)$-th power of a space associated to the three-pointed sphere.

preprint2022arXiv

Branched SL(r,C)-opers

We define the branched analog of SL(r,C)-opers and investigate their properties. For the usual SL(r,C)-opers, the underlying holomorphic vector bundle is independent of the opers. For the branched SL(r,C)-opers, the underlying holomorphic vector bundle depends on the oper. Given a branched SL(r,C)-oper, we associate to it another holomorphic vector bundle equipped with a logarithmic connection. This holomorphic vector bundle does not depend on the branched oper. We characterize the branched SL(r,C)-opers in terms of the logarithmic connections on this fixed holomorphic vector bundle.

preprint2022arXiv

Deformation Theory of Holomorphic Cartan Geometries, II

In this continuation of \cite{BDS}, we investigate the deformations of holomorphic Cartan geometries where the underlying complex manifold is allowed to move. The space of infinitesimal deformations of a flat holomorphic Cartan geometry is computed. We show that the natural forgetful map, from the infinitesimal deformations of a flat holomorphic Cartan geometry to the infinitesimal deformations of the underlying flat principal bundle on the topological manifold, is an isomorphism.

preprint2022arXiv

Genuinely ramified maps and stability of pulled-back parabolic bundles

Let $f : X \rightarrow Y$ be a genuinely ramified map between irreducible smooth projective curves defined over an algebraically closed field. Let $P$ be a branch data on $Y$ such that $P(y)$ and $B_f(y)$ where $B_f$ is branch data for $f$ are linearly disjoint for every $y \in, Y$. Further assume that either $P$ is tame or $f$ is Galois. Then the pullback, by $f$, of any stable parabolic bundle on $Y$ with respect to $P$ is actually a stable parabolic bundle on $X$ with respect to $f^*P$.

preprint2022arXiv

Genuinely ramified maps and stable vector bundles

Let $f : X \rightarrow Y$ be a separable finite surjective map between irreducible normal projective varieties defined over an algebraically closed field, such that the corresponding homomorphism between étale fundamental groups $f_* : π_1^{\rm et}(X)\rightarrowπ_1^{\rm et}(Y)$ is surjective. Fix a polarization on $Y$ and equip $X$ with the pullback, by $f$, of this polarization on $Y$. Given a stable vector bundle $E$ on $X$, we prove that there is a vector bundle $W$ on $Y$ with $f^*W$ isomorphic to $E$ if and only if the direct image $f_*E$ contains a stable vector bundle $F$ such that $$ \frac{{\rm degree}(F)}{{\rm rank}(F)}= \frac{1}{{\rm degree}(f)}\cdot \frac{{\rm degree}(E)}{{\rm rank}(E)} $$ We also prove that $f^*V$ is stable for every stable vector bundle $V$ on $Y$.

preprint2022arXiv

Homotopy type of the nilpotent orbits in classical Lie algebras

In the paper "The Second cohomology of nilpotent orbits in classical Lie algebras, Kyoto J. Math. 60 (2020), no. 2, 717-799" by I. Biswas, P. Chatterjee and C. Maity homotopy types of nilpotent orbits are explicitly described in the case of real simple classical Lie algebras for which any maximal compact subgroup in the associated adjoint group is not semisimple. In this paper we extend the above description of homotopy type of nilpotent orbits to the remaining cases of real simple classical Lie algebras for which any maximal compact subgroup in the associated adjoint group is semisimple.

preprint2022arXiv

Infinitesimal deformations of parabolic connections and parabolic opers

We compute the infinitesimal deformations of quadruples of the form $$(X, S, E_*, D),$$ where $(X, S)$ is a compact Riemann surface with $n$ marked points, $E_*$ is a parabolic vector bundle on $X$ with parabolic structure over $S$, and $D$ is a parabolic connection on $E_*$. Using it we compute the infinitesimal deformations of $(X, S, D)$, where $D$ is a parabolic SL(r, C)-oper on $(X, S)$. It is shown that the monodromy map, from the moduli space of triples $(X, S, D)$, where $D$ is a parabolic SL(r, C)-oper on $(X, S)$, to the SL(r, C)-character variety of X - S, is an immersion.

preprint2022arXiv

The monodromy map from differential systems to character variety is generically immersive

Let $G$ be a connected reductive affine algebraic group defined over $\mathbb C$ and $\mathfrak g$ its Lie algebra. We study the monodromy map from the space of $\mathfrak g$-differential systems on a compact connected Riemann surface $Σ$ of genus $g \,\geq\, 2$ to the character variety of $G$-representations of the fundamental group of $Σ$. If the complex dimension of $G$ is at least three, we show that the monodromy map is an immersion at the generic point.

preprint2022arXiv

The second cohomology groups of nilpotent orbits in classical Lie algebras

The second de Rham cohomology groups of nilpotent orbits in non-compact real forms of classical complex simple Lie algebras are explicitly computed. Furthermore, the first de Rham cohomology groups of nilpotent orbits in non-compact classical simple Lie algebras are computed; they are proven to be zero for nilpotent orbits in all the complex simple Lie algebras. A key component in these computations is a description of the second and first cohomology groups of homogeneous spaces of general connected Lie groups which is obtained here. This description, which generalizes a previous theorem of the first two authors, may be of independent interest.

preprint2021arXiv

Branes and moduli spaces of Higgs bundles on smooth projective varieties

Given a smooth complex projective variety $M$ and a smooth closed curve $X \subset M$ such that the homomorphism of fundamental groups $π_1(X) \rightarrow π_1(M)$ is surjective, we study the restriction map of Higgs bundles, namely from Higgs bundles on $M$ to those on $X$. In particular, we investigate the interplay between this restriction map and various types of branes contained in the moduli spaces of Higgs bundles on $M$ and $X$. We also consider the set-up where a finite group is acting on $M$ via holomorphic automorphisms or anti-holomorphic involutions, and the curve $X$ is preserved by the action. Branes are studied in this context.

preprint2021arXiv

Higgs bundles and flat connections over compact Sasakian manifolds

Given a compact Kähler manifold $X$, there is an equivalence of categories between the completely reducible flat vector bundles on $X$ and the polystable Higgs bundles $(E,\, θ)$ on $X$ with $c_1(E)= 0= c_2(E)$ \cite{SimC}, \cite{Cor}, \cite{UY}, \cite{DonI}. We extend this equivalence of categories to the context of compact Sasakian manifolds. We prove that on a compact Sasakian manifold, there is an equivalence between the category of semi-simple flat bundles on it and the category of polystable basic Higgs bundles on it with trivial first and second basic Chern classes. We also prove that any stable basic Higgs bundle over a compact Sasakian manifold admits a basic Hermitian metric that satisfies the Yang--Mills--Higgs equation.

preprint2021arXiv

Ramified covering maps and stability of pulled back bundles

Let $f:C\rightarrow D$ be a nonconstant separable morphism between irreducible smooth projective curves defined over an algebraically closed field. We say that $f$ is genuinely ramified if ${\mathcal O}_D$ is the maximal semistable subbundle of $f_*{\mathcal O}_C$ (equivalently, the homomorphism of etale fundamental groups is surjective). We prove that the pullback $f^*E\rightarrow C$ is stable for every stable vector bundle $E$ on $D$ if and only if $f$ is genuinely ramified.

preprint2021arXiv

Surface group representations in ${\rm SL}_2({\mathbb C})$ with finite mapping class orbits

Given an oriented surface of positive genus with finitely many punctures, we classify the finite orbits of the mapping class group action on the moduli space of semisimple complex special linear two dimensional representations of the fundamental group of the surface. For surfaces of genus at least two, such orbits correspond to homomorphisms with finite image. For genus one, they correspond to the finite or special dihedral representations. We also obtain an analogous result for bounded orbits in the moduli space.

preprint2021arXiv

Uniformization of branched surfaces and Higgs bundles

Given a compact Riemann surface $Σ$ of genus $g_Σ\, \geq\, 2$, and an effective divisor $D\, =\, \sum_i n_i x_i$ on $Σ$ with $\text{degree}(D)\, <\, 2(g_Σ-1)$, there is a unique cone metric on $Σ$ of constant negative curvature $-4$ such that the cone angle at each $x_i$ is $2πn_i$ (see McOwen and Troyanov [McO,Tr]). We describe the Higgs bundle corresponding to this uniformization associated to the above conical metric. We also give a family of Higgs bundles on $Σ$ parametrized by a nonempty open subset of $H^0(Σ,\,K_Σ^{\otimes 2}\otimes{\mathcal O}_Σ(-2D))$ that correspond to conical metrics of the above type on moving Riemann surfaces. These are inspired by Hitchin&#39;s results in [Hi1], for the case $D\,=\, 0$.

preprint2020arXiv

Abel-Jacobi map and curvature of the pulled back metric

Let $X$ be a compact connected Riemann surface of genus at least two. The Abel-Jacobi map $φ: {\rm Sym}^d(X) \rightarrow {\rm Pic}^d(X)$ is an embedding if $d$ is less than the gonality of $X$. We investigate the curvature of the pull-back, by $φ$, of the flat metric on ${\rm Pic}^d(X)$. In particular, we show that when $d=1$, the curvature is strictly negative everywhere if $X$ is not hyperelliptic, and when $X$ is hyperelliptic, the curvature is nonpositive with vanishing exactly on the points of $X$ fixed by the hyperelliptic involution.

preprint2020arXiv

Branched projective structures, branched SO(3,C)-opers and logarithmic connections on jet bundle

We study the branched holomorphic projective structures on a compact Riemann surface $X$ with a fixed branching divisor $S\, =\, \sum_{i=1}^d x_i$, where $x_i \,\in\, X$ are distinct points. After defining branched ${\rm SO}(3,{\mathbb C})$--opers, we show that the branched holomorphic projective structures on $X$ are in a natural bijection with the branched ${\rm SO}(3,{\mathbb C})$--opers singular at $S$. It is deduced that the branched holomorphic projective structures on $X$ are also identified with a subset of the space of all logarithmic connections on $J^2((TX)\otimes {\mathcal O}_X(S))$ singular over $S$, satisfying certain natural geometric conditions.

preprint2020arXiv

Etale triviality of finite vector bundles over compact complex manifolds

A vector bundle $E$ over a projective variety $M$ is called finite if it satisfies a nontrivial polynomial equation with nonnegative integral coefficients. Introducing finite bundles, Nori proved that $E$ is finite if and only if the pullback of $E$ to some finite étale covering of $M$ is trivializable \cite{No1}. The definition of finite bundles extends naturally to holomorphic vector bundles over compact complex manifolds. We prove that a holomorphic vector bundle over a compact complex manifold $M$ is finite if and only if the pullback of $E$ to some finite étale covering of $M$ is holomorphically trivializable. Therefore, $E$ is finite if and only if it admits a flat holomorphic connection with finite monodromy.

preprint2020arXiv

Fourier-Mukai transformation and logarithmic Higgs bundles on punctual Hilbert schemes

Given a vector bundle $E$ on a smooth projective curve or surface $X$ carrying the structure of a $V$-twisted Hitchin pair for some vector bundle $V$, we observe that the associated tautological bundle $E^{[n]}$ on the punctual Hilbert scheme of points $X^{[n]}$ has an induced structure of a $((V^\vee)^{[n]})^\vee$-twisted Hitchin pair, where $(V^\vee)^{[n]}$ is a vector bundle on $X^{[n]}$ constructed using the dual $V^\vee$ of $V$. In particular, a Higgs bundle on $X$ induces a logarithmic Higgs bundle on the Hilbert scheme $X^{[n]}$. We then show that the known results on stability of tautological bundles and reconstruction from tautological bundles generalize to tautological Hitchin pairs.

preprint2020arXiv

Fujiki class $\mathcal C$ and holomorphic geometric structures

For compact complex manifolds with vanishing first Chern class that are compact torus principal bundles over Kähler manifolds, we prove that all holomorphic geometric structures on them, of affine type, are locally homogeneous. For a compact simply connected complex manifold in Fujiki class $\mathcal C$, whose dimension is strictly larger than the algebraic dimension, we prove that it does not admit any holomorphic rigid geometric structure, and also it does not admit any holomorphic Cartan geometry of algebraic type. We prove that compact complex simply connected manifolds in Fujiki class $\mathcal {C}$ and with vanishing first Chern class do not admit any holomorphic Cartan geometry of algebraic type.

preprint2020arXiv

Generalized B-Opers

Opers were introduced by Beilinson-Drinfeld [arXiv:math.AG/0501398]. In [J. Math. Pures Appl. 82 (2003), 1-42] a higher rank analog was considered, where the successive quotients of the oper filtration are allowed to have higher rank. We dedicate this paper to introducing and studying generalized $B$-opers (where &#34;$B$&#34; stands for &#34;bilinear&#34;), obtained by endowing the underlying vector bundle with a bilinear form which is compatible with both the filtration and the connection. In particular, we study the structure of these $B$-opers, by considering the relationship of these structures with jet bundles and with geometric structures on a Riemann surface.

preprint2020arXiv

Holomorphic bundles trivializable by proper surjective holomorphic map

Given a compact complex manifold $M$, we investigate the holomorphic vector bundles $E$ on $M$ such that $φ^* E$ is trivial for some surjective holomorphic map $φ$, to $M$, from some compact complex manifold. We prove that these are exactly those holomorphic vector bundles that admit a flat holomorphic connection with finite monodromy homomorphism. A similar result is proved for holomorphic principal $G$-bundles, where $G$ is a connected reductive complex affine algebraic group.

preprint2020arXiv

Holomorphic GL(2)-geometry on compact complex manifolds

We study holomorphic GL(2) and SL(2) geometries on compact complex manifolds. We show that a compact Kähler manifold of complex even dimension higher than two admitting a holomorphic GL(2)-geometry is covered by a compact complex torus. We classify compact Kähler-Einstein manifolds and Fano manifolds bearing holomorphic GL(2)-geometries. Among the compact Kähler-Einstein manifolds we prove that the only examples bearing holomorphic GL(2)-geometry are those covered by compact complex tori, the three dimensional quadric and those covered by the three dimensional Lie ball (the non compact dual of the quadric).

preprint2020arXiv

Positivity of vector bundles on homogeneous varieties

We study the following question: Given a vector bundle on a projective variety $X$ such that the restriction of $E$ to every closed curve $C \,\subset\, X$ is ample, under what conditions $E$ is ample? We first consider the case of an abelian variety $X$. If $E$ is a line bundle on $X$, then we answer the question in the affirmative. When $E$ is of higher rank, we show that the answer is affirmative under some conditions on $E$. We then study the case of $X \,=\, G/P$, where $G$ is a reductive complex affine algebraic group, and $P$ is a parabolic subgroup of $G$. In this case, we show that the answer to our question is affirmative if $E$ is $T$--equivariant, where $T\, \subset\, P$ is a fixed maximal torus. Finally, we compute the Seshadri constant for such vector bundles defined on $G/P$.

preprint2020arXiv

Projective structures on Riemann surface and natural differential operators

We investigate the holomorphic differential operators on a Riemann surface $M$. This is done by endowing $M$ with a projective structure. Let $\mathcal L$ be a theta characteristic on $M$. We explicitly describe the jet bundle $J^k(E\otimes {\mathcal L}^{\otimes n})$, where $E$ is a holomorphic vector bundle on $M$ equipped with a holomorphic connection, for all $k$ and $n$. This provides a description of holomorphic differential operators from $E\otimes {\mathcal L}^{\otimes n}$ to another holomorphic vector bundle $F$ using the natural isomorphism $\text{Diff}^k(E\otimes {\mathcal L}^{\otimes n}, F)= F\otimes (J^k(E\otimes {\mathcal L}^{\otimes n}))^*$.

preprint2019arXiv

Logarithmic Cartan geometry on complex manifolds

We pursue the study of holomorphic Cartan geometry with singularities. We introduce the notion of logarithmic Cartan geometry on a complex manifold, with polar part supported on a normal crossing divisor. In particular, we show that the push-forward of a Cartan geometry constructed using a finite Galois ramified covering is a logarithmic Cartan geometry (the polar part is supported on the ramification locus). We also study the specific case of the logarithmic Cartan geometry with the model being the complex affine space.

preprint2017arXiv

Logarithmic connections on principal bundles over a Riemann surface

Let $E_G$ be a holomorphic principal $G$-bundle on a compact connected Riemann surface $X$, where $G$ is a connected reductive complex affine algebraic group. Fix a finite subset $D \subset X$, and for each $x\in D$ fix $w_x \in \text{ad}(E_G)_x$. Let $T$ be a maximal torus in the group of all holomorphic automorphisms of $E_G$. We give a necessary and sufficient condition for the existence of a $T$-invariant logarithmic connection on $E_G$ singular over $D$ such that the residue over each $x \in D$ is $w_x$. We also give a necessary and sufficient condition for the existence of a logarithmic connection on $E_G$ singular over $D$ such that the residue over each $x \in D$ is $w_x$, under the assumption that each $w_x$ is $T$-rigid.

preprint2016arXiv

A no-go theorem for nonabelionic statistics in gauged linear sigma-models

Gauged linear sigma-models at critical coupling on Riemann surfaces yield self-dual field theories, their classical vacua being described by the vortex equations. For local models with structure group ${\rm U}(r)$, we give a description of the vortex moduli spaces in terms of a fibration over symmetric products of the base surface $Σ$, which we assume to be compact. Then we show that all these fibrations induce isomorphisms of fundamental groups. A consequence is that all the moduli spaces of multivortices in this class of models have abelian fundamental groups. We give an interpretation of this fact as a no-go theorem for the realization of nonabelions through the ground states of a supersymmetric version (topological via an A-twist) of these gauged sigma-models. This analysis is based on a semi-classical approximation of the QFTs via supersymmetric quantum mechanics on their classical moduli spaces.