Showing 1–50 of 445 results for author: Biswas, I

On a fibre bundle version of the Caporaso-Harris formula

Authors: Indranil Biswas, Apratim Choudhury, Nilkantha Das, Ritwik Mukherjee

Abstract: The Caporaso-Harris formula gives a recursive algorithm to enumerate delta nodal degree d curves in P^2. The recursion is obtained in terms of curves of lower degree that are tangent to a given divisor. This paper presents two generalizations of this method. The first result is on enumeration of one cuspidal curves on P^2, and the second result is an extension to the fiber bundle setting. We solve… ▽ More The Caporaso-Harris formula gives a recursive algorithm to enumerate delta nodal degree d curves in P^2. The recursion is obtained in terms of curves of lower degree that are tangent to a given divisor. This paper presents two generalizations of this method. The first result is on enumeration of one cuspidal curves on P^2, and the second result is an extension to the fiber bundle setting. We solve the question of counting the characteristic number planar nodal cubics in P^3 by extending the idea of Caporaso-Harris. △ Less

Submitted 20 July, 2024; originally announced July 2024.

Comments: 38 pages, 7 figures. Comments are welcome

MSC Class: 14N35; 14J45

Anti-ample bundle, nef vector bundle, big vector bundle

Authors: Indranil Biswas, Fatima Laytimi, D. S. Nagaraj, Werner Nahm

Abstract: We prove that the direct image of an anti-ample vector bundle is anti-ample under any finite flat morphism of non-singular projective varieties. In the second part we prove some properties of big and nef vector bundles. In particular it is shown that the tensor product of a nef vector bundle with a nef and big vector bundle is again nef and big. This generalizes a result of Schneider. We prove that the direct image of an anti-ample vector bundle is anti-ample under any finite flat morphism of non-singular projective varieties. In the second part we prove some properties of big and nef vector bundles. In particular it is shown that the tensor product of a nef vector bundle with a nef and big vector bundle is again nef and big. This generalizes a result of Schneider. △ Less

Submitted 1 July, 2024; originally announced July 2024.

Comments: 7 pages. To be published in Journal of Geometry and Physics

MSC Class: 14F17; 14J60

Parabolic vector bundles and Lie algebroid connections

Authors: David Alfaya, Indranil Biswas, Pradip Kumar, Anoop Singh

Abstract: 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… ▽ More 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. △ Less

Submitted 22 June, 2024; originally announced June 2024.

Comments: 23 pages

MSC Class: 14H60 (Primary) 53B15; 70G45 (Secondary)

Quot scheme and deformation quantization

Authors: Indranil Biswas

Abstract: Let $X$ be a compact connected Riemann surface, and let ${\mathcal Q}(r,d)$ denote the quot scheme parametrizing the torsion quotients of ${\mathcal O}^{\oplus r}_X$ of degree $d$. Given a projective structure $P$ on $X$, we show that the cotangent bundle $T^*{\mathcal U}$ of a certain nonempty Zariski open subset ${\mathcal U}\, \subset\, {\mathcal Q}(r,d)$, equipped with the natural Liouville sy… ▽ More Let $X$ be a compact connected Riemann surface, and let ${\mathcal Q}(r,d)$ denote the quot scheme parametrizing the torsion quotients of ${\mathcal O}^{\oplus r}_X$ of degree $d$. Given a projective structure $P$ on $X$, we show that the cotangent bundle $T^*{\mathcal U}$ of a certain nonempty Zariski open subset ${\mathcal U}\, \subset\, {\mathcal Q}(r,d)$, equipped with the natural Liouville symplectic form, admits a canonical deformation quantization. When $r\,=\,1\,=\, d$, then ${\mathcal Q}(r,d)\,=\, X$; this case was addressed earlier in \cite{BB}. △ Less

Submitted 18 June, 2024; originally announced June 2024.

Comments: Final version

Equivariant vector bundles over the complex projective line

Authors: Indranil Biswas, Francois-Xavier Machu

Abstract: Let $G$ be a finite abelian group acting faithfully on ${\mathbb C}{\mathbb P}^1$ via holomorphic automorphisms. In \cite{DF2} the $G$--equivariant algebraic vector bundles on $G$--invariant affine open subsets of ${\mathbb C}{\mathbb P}^1$ were classified. We classify the $G$--equivariant algebraic vector bundles on ${\mathbb C}{\mathbb P}^1$. Let $G$ be a finite abelian group acting faithfully on ${\mathbb C}{\mathbb P}^1$ via holomorphic automorphisms. In \cite{DF2} the $G$--equivariant algebraic vector bundles on $G$--invariant affine open subsets of ${\mathbb C}{\mathbb P}^1$ were classified. We classify the $G$--equivariant algebraic vector bundles on ${\mathbb C}{\mathbb P}^1$. △ Less

Submitted 6 June, 2024; originally announced June 2024.

Comments: Final version. To appear in "Bollettino dell'Unione Matematica Italiana (BUMI)."

MSC Class: 14H60; 14F06; 14L30

Stability of the Parabolic Picard Sheaf

Authors: C. Arusha, Indranil Biswas

Abstract: Let $X$ be a smooth irreducible complex projective curve of genus $g\,\geq\, 2$, and let $D\,=\,x_1+\dots+x_r$ be a reduced effective divisor on $X$. Denote by $U_α(L)$ the moduli space of stable parabolic bundles on $X$ of rank $n$, determinant $L$ of degree $d$ with flag type $\{k^i_j\}$ and generic parabolic weights $\{α^i_j\}$ at each $x_i$, $1\, \leq\, i\,\leq \, r$. There is a universal fami… ▽ More Let $X$ be a smooth irreducible complex projective curve of genus $g\,\geq\, 2$, and let $D\,=\,x_1+\dots+x_r$ be a reduced effective divisor on $X$. Denote by $U_α(L)$ the moduli space of stable parabolic bundles on $X$ of rank $n$, determinant $L$ of degree $d$ with flag type $\{k^i_j\}$ and generic parabolic weights $\{α^i_j\}$ at each $x_i$, $1\, \leq\, i\,\leq \, r$. There is a universal family on $X\times U_α(L)$; its direct image to $U_α(L)$ is called the parabolic Picard sheaf. We prove that the parabolic Picard sheaf is stable. △ Less

Submitted 28 May, 2024; originally announced May 2024.

MSC Class: 14F06; 14H60

A criterion for Lie algebroid connections on a compact Riemann surface

Authors: Indranil Biswas, Pradip Kumar, Anoop Singh

Abstract: Let $X$ be a compact connected Riemann surface and $(V, φ)$ a holomorphic Lie algebroid on $X$ such that the holomorphic vector bundle $V$ is stable. We give a necessary and sufficient condition on holomorphic vector bundles $E$ on $X$ to admit a Lie algebroid connection. Let $X$ be a compact connected Riemann surface and $(V, φ)$ a holomorphic Lie algebroid on $X$ such that the holomorphic vector bundle $V$ is stable. We give a necessary and sufficient condition on holomorphic vector bundles $E$ on $X$ to admit a Lie algebroid connection. △ Less

Submitted 21 June, 2024; v1 submitted 2 May, 2024; originally announced May 2024.

Comments: Final version; to appear in Geometriae Dedicata

Torsors on moduli spaces of principal $G$-bundles

Authors: Indranil Biswas, Swarnava Mukhopadhyay

Abstract: Let $G$ be a semisimple complex algebraic group with a simple Lie algebra $\mathfrak{g}$, and let $\mathcal{M}^0_{G}$ denote the moduli stack of topologically trivial stable $G$-bundles on a smooth projective curve $C$. Fix a theta characteristic $κ$ on $C$ which is even in case $\dim{\mathfrak{g}}$ is odd. We show that there is a nonempty Zariski open substack ${\mathcal U}_κ$ of… ▽ More Let $G$ be a semisimple complex algebraic group with a simple Lie algebra $\mathfrak{g}$, and let $\mathcal{M}^0_{G}$ denote the moduli stack of topologically trivial stable $G$-bundles on a smooth projective curve $C$. Fix a theta characteristic $κ$ on $C$ which is even in case $\dim{\mathfrak{g}}$ is odd. We show that there is a nonempty Zariski open substack ${\mathcal U}_κ$ of $\mathcal{M}^0_{G}$ such that $H^i(C,\, \text{ad}(E_G)\otimesκ) \,=\, 0$, $i\,=\, 1,\, 2$, for all $E_G\,\in\, {\mathcal U}_κ$. It is shown that any such $E_G$ has a canonical connection. It is also shown that the tangent bundle $T{U}_κ$ has a natural splitting, where $U_κ$ is the restriction of $\mathcal{U}_κ$ to the semi-stable locus. We also produce an isomorphism between two naturally occurring $Ω^1_{{M}^{rs}_{G}}$--torsors on the moduli space of regularly stable ${M}^{rs}_{G}$. △ Less

Submitted 19 April, 2024; originally announced April 2024.

Comments: 16 Pages, Final version, to appear in International Journal of Mathematics

MSC Class: 14D20; 14H60; 14D21; 32G34; 17B67

Strong quantum nonlocality: Unextendible biseparability beyond unextendible product basis

Authors: Atanu Bhunia, Subrata Bera, Indranil Biswas, Indrani Chattopadhyay, Debasis Sarkar

Abstract: An unextendible biseparable basis (UBB) is a set of orthogonal pure biseparable states which span a subspace of a given Hilbert space while the complementary subspace contains only genuinely entangled states. These biseparable bases are useful to produce genuinely entangled subspace in multipartite system. Such a subspace could be more beneficial for information theoretic applications if we are ab… ▽ More An unextendible biseparable basis (UBB) is a set of orthogonal pure biseparable states which span a subspace of a given Hilbert space while the complementary subspace contains only genuinely entangled states. These biseparable bases are useful to produce genuinely entangled subspace in multipartite system. Such a subspace could be more beneficial for information theoretic applications if we are able to extract distillable entanglement across every bipartition from each state of this subspace. In this manuscript, we have derived a rule for constructing such a class of UBB which exhibits the phenomenon of strong quantum nonlocality. This result positively answers the open problem raised by Agrawal et al. [Phys. Rev. A 99, 032335 (2019)]; that there exists a UBB which can demonstrate the phenomenon of strong quantum nonlocality in the perspective of local irreducibility paradigm. △ Less

Submitted 8 April, 2024; originally announced April 2024.

Comments: 15 pages, 4 figures, latex2e, comments welcome

Semisimple Algebras of Vector Fields on $\mathbb{C}^{3}$

Authors: Sajid Ali, Hassan Azad, Indranil Biswas, Fazal M. Mahomed, Said Waqas Shah

Abstract: A local classification of semisimple algebras of vector fields on $\mathbb{C}^{3}$ is given, using the canonical forms of the Heisenberg algebra and of $sl(2,\mathbb{C})\times sl(2,\mathbb{C})$. A local classification of semisimple algebras of vector fields on $\mathbb{C}^{3}$ is given, using the canonical forms of the Heisenberg algebra and of $sl(2,\mathbb{C})\times sl(2,\mathbb{C})$. △ Less

Submitted 3 April, 2024; originally announced April 2024.

MSC Class: 17B22; 17B66

Characterization of genuine ramification using formal orbifolds

Authors: Indranil Biswas, Manish Kumar, A. J. Parameswaran

Abstract: We give a characterization of genuinely ramified maps of formal orbifolds in the Tannakian framework. In particular we show that a morphism is genuinely ramified if and only if the pullback of every stable bundle remains stable in the orbifold category. We also give some other characterizations of genuine ramification. This generalizes the results of [BKP1] and [BP1]. In fact, it is a positive cha… ▽ More We give a characterization of genuinely ramified maps of formal orbifolds in the Tannakian framework. In particular we show that a morphism is genuinely ramified if and only if the pullback of every stable bundle remains stable in the orbifold category. We also give some other characterizations of genuine ramification. This generalizes the results of [BKP1] and [BP1]. In fact, it is a positive characteristic analogue of results in [BKP2]. △ Less

Submitted 27 March, 2024; originally announced March 2024.

Comments: Final version

Pushforward of structure sheaf and virtual global generation

Authors: Indranil Biswas, Manish Kumar, A. J. Parameswaran

Abstract: Let $f:X\rightarrow Y$ be a generically smooth morphism between irreducible smooth projective curves over an algebraically closed field of arbitrary characteristic. We prove that the vector bundle $((f_*{\mathcal O}_X)/{\mathcal O}_Y)^*$ is virtually globally generated. Moreover, $((f_*{\mathcal O}_X)/{\mathcal O}_Y)^*$ is ample if and only if $f$ is genuinely ramified. Let $f:X\rightarrow Y$ be a generically smooth morphism between irreducible smooth projective curves over an algebraically closed field of arbitrary characteristic. We prove that the vector bundle $((f_*{\mathcal O}_X)/{\mathcal O}_Y)^*$ is virtually globally generated. Moreover, $((f_*{\mathcal O}_X)/{\mathcal O}_Y)^*$ is ample if and only if $f$ is genuinely ramified. △ Less

Submitted 22 March, 2024; originally announced March 2024.

Comments: Final version

Holomorphic foliations with no transversely projective structure

Authors: Indranil Biswas, Sorin Dumitrescu

Abstract: We prove that on the product of two elliptic curves a generic nonsingular turbulent foliation does not admit any transversely projective structure. We prove that on the product of two elliptic curves a generic nonsingular turbulent foliation does not admit any transversely projective structure. △ Less

Submitted 17 February, 2024; originally announced February 2024.

Holomorphic geometric structures on Oeljeklaus-Toma manifolds

Authors: Indranil Biswas, Sorin Dumitrescu

Abstract: We prove that any holomorphic geometric structure of algebraic type on an Oeljeklaus- Toma manifold is locally homogeneous. For locally conformal Kähler Oeljeklaus-Toma manifolds we prove that all holomorphic geometric structures, and also all holomorphic Cartan geometries, on them are locally homogeneous. We prove that any holomorphic geometric structure of algebraic type on an Oeljeklaus- Toma manifold is locally homogeneous. For locally conformal Kähler Oeljeklaus-Toma manifolds we prove that all holomorphic geometric structures, and also all holomorphic Cartan geometries, on them are locally homogeneous. △ Less

Submitted 14 February, 2024; originally announced February 2024.

Theta functions and projective structures

Authors: Indranil Biswas, Alessandro Ghigi, Luca Vai

Abstract: Given a compact Riemann surface $X$, we consider the line, in the space of sections of $2Θ$ on $J^0(X)$, orthogonal to all the sections that vanish at the origin. This line produces a natural meromorphic bidifferential on $X\times X$ with a pole of order two on the diagonal. This bidifferential is extensively investigated. In particular we show that it produces a projective structure on $X$ which… ▽ More Given a compact Riemann surface $X$, we consider the line, in the space of sections of $2Θ$ on $J^0(X)$, orthogonal to all the sections that vanish at the origin. This line produces a natural meromorphic bidifferential on $X\times X$ with a pole of order two on the diagonal. This bidifferential is extensively investigated. In particular we show that it produces a projective structure on $X$ which is different from the standard ones. △ Less

Submitted 29 January, 2024; originally announced January 2024.

MSC Class: 14H10; 14H42; 14K25; 53B10

Genuinely ramified maps and monodromy

Authors: Indranil Biswas, Manish Kumar, A. J. Parameswaran

Abstract: For any genuinely ramified morphism $f\, :\, Y\, \longrightarrow\, X$ between irreducible smooth projective curves we prove that $\overline{(Y\times_X Y) \setminus Δ}$ is connected, where $Δ\, \subset\, Y\times_X Y$ is the diagonal. Using this result the following are proved: If $f$ is further Morse then the Galois closure is the symmetric group $S_d$, where $d\,=\, \text{degree}(f)$. The Gal… ▽ More For any genuinely ramified morphism $f\, :\, Y\, \longrightarrow\, X$ between irreducible smooth projective curves we prove that $\overline{(Y\times_X Y) \setminus Δ}$ is connected, where $Δ\, \subset\, Y\times_X Y$ is the diagonal. Using this result the following are proved: If $f$ is further Morse then the Galois closure is the symmetric group $S_d$, where $d\,=\, \text{degree}(f)$. The Galois group of the general projection, to a line, of any smooth curve $X\,\subset\, \PP^n$ of degree $d$, which is not contained in a hyperplane and contains a non-flex point, is $S_d$. △ Less

Submitted 16 January, 2024; originally announced January 2024.

Comments: Final version

MSC Class: 14H30; 14G17; 14H60

Effective cone of a Grassmann bundle over a curve defined over $\overline{\mathbb F}_p$

Authors: Indranil Biswas, Shripad M. Garge, Krishna Hanumanthu

Abstract: Let $X$ be an irreducible smooth projective curve defined over $\overline{\mathbb F}_p$ and $E$ a vector bundle on $X$ of rank at least two. For any $1\, \leq\, r\, <\, {\rm rank}(E)$, let ${\rm Gr}_r(E)$ be the Grassmann bundle over $X$ parametrizing all the $r$ dimensional quotients of the fibers of $E$. We prove that the effective cone in… ▽ More Let $X$ be an irreducible smooth projective curve defined over $\overline{\mathbb F}_p$ and $E$ a vector bundle on $X$ of rank at least two. For any $1\, \leq\, r\, <\, {\rm rank}(E)$, let ${\rm Gr}_r(E)$ be the Grassmann bundle over $X$ parametrizing all the $r$ dimensional quotients of the fibers of $E$. We prove that the effective cone in ${\rm NS}({\rm Gr}_r(E))\otimes_{\mathbb Z} {\mathbb R}$ coincides with the pseudo-effective cone in ${\rm NS}({\rm Gr}_r(E))\otimes_{\mathbb Z} {\mathbb R}$. When $r\,=\,1$ or ${\rm rank}(E)-1$, this was proved by A. Moriwaki. △ Less

Submitted 15 January, 2024; originally announced January 2024.

Comments: Final version; 5 pages; to appear in Proc. Indian Acad. Sci. Math. Sci

MSC Class: 14H60; 14G15; 11G25

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

Authors: Indranil Biswas, Manish Kumar, A. J. Parameswaran

Abstract: 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 fun… ▽ More 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} △ Less

Submitted 3 January, 2024; originally announced January 2024.

Comments: Final version

Counting curves with tangencies

Authors: Indranil Biswas, Apratim Choudhury, Ritwik Mukherjee, Anantadulal Paul

Abstract: Interpreting tangency as a limit of two transverse intersections, we obtain a concrete formula to enumerate smooth degree d plane curves tangent to a given line at multiple points with arbitrary order of tangency. One nodal curves with multiple tangencies of any order are enumerated. Also, one cuspidal curves, that are tangent to first order to a given line at multiple points, are enumerated. We… ▽ More Interpreting tangency as a limit of two transverse intersections, we obtain a concrete formula to enumerate smooth degree d plane curves tangent to a given line at multiple points with arbitrary order of tangency. One nodal curves with multiple tangencies of any order are enumerated. Also, one cuspidal curves, that are tangent to first order to a given line at multiple points, are enumerated. We also present a new way to enumerate curves with one node; it is interpreted as a degeneration of a curve tangent to a given line. That method is extended to enumerate curves with two nodes, and also curves with one tacnode are enumerated. In the final part of the paper, it is shown how this idea can be applied in the setting of stable maps and perform a concrete computation to enumerate rational curves with first order tangency. A large number of low degree cases have been worked out explicitly. △ Less

Submitted 31 March, 2024; v1 submitted 17 December, 2023; originally announced December 2023.

Comments: Changed the title of the paper. 48 pages

MSC Class: 14N35; 14J45; 53D45

The tame Nori fundamental group

Authors: Indranil Biswas, Manish Kumar, A. J. Parameswaran

Abstract: We introduce three notion of tameness of the Nori fundamental group scheme for a normal quasiprojective variety $X$ over an algebraically closed field. It is proved that these three notions agree if $X$ admits a smooth completion with strict normal crossing divisor as the complement. We also prove a Lefschetz type restriction theorem for the tame Nori fundamental group scheme for such an $X$. We introduce three notion of tameness of the Nori fundamental group scheme for a normal quasiprojective variety $X$ over an algebraically closed field. It is proved that these three notions agree if $X$ admits a smooth completion with strict normal crossing divisor as the complement. We also prove a Lefschetz type restriction theorem for the tame Nori fundamental group scheme for such an $X$. △ Less

Submitted 12 December, 2023; originally announced December 2023.

Comments: 12 pages

MSC Class: 14H30; 14J60

Principal bundles with holomorphic connections over a Kaehler Calabi-Yau manifold

Authors: Indranil Biswas, Sorin Dumitrescu

Abstract: We prove that any holomorphic vector bundle admitting a holomorphic connection, over a compact Kähler Calabi-Yau manifold, also admits a flat holomorphic connection. This addresses a particular case of a question asked by Atiyah and generalizes a result previously obtained in \cite{BD} for simply connected compact Kähler Calabi-Yau manifolds. We give some applications of it in the framework of Car… ▽ More We prove that any holomorphic vector bundle admitting a holomorphic connection, over a compact Kähler Calabi-Yau manifold, also admits a flat holomorphic connection. This addresses a particular case of a question asked by Atiyah and generalizes a result previously obtained in \cite{BD} for simply connected compact Kähler Calabi-Yau manifolds. We give some applications of it in the framework of Cartan geometries and foliated Cartan geometries on Kähler Calabi-Yau manifolds. △ Less

Submitted 3 December, 2023; originally announced December 2023.

Comments: Final version

On the monodromy of holomorphic differential systems

Authors: Indranil Biswas, Sorin Dumitrescu, Lynn Heller, Sebastian Heller, João Pedro dos Santos

Abstract: First we survey and explain the strategy of some recent results that construct holomorphic $\text{sl}(2, \mathbb C)$-differential systems over some Riemann surfaces $Σ_g$ of genus $g\geq 2$, satisfying the condition that the image of the associated monodromy homomorphism is (real) Fuchsian \cite{BDHH} or some cocompact Kleinian subgroup $$Γ\subset \text{SL}(2, \mathbb C)$$ as in \cite{BDHH2}. As a… ▽ More First we survey and explain the strategy of some recent results that construct holomorphic $\text{sl}(2, \mathbb C)$-differential systems over some Riemann surfaces $Σ_g$ of genus $g\geq 2$, satisfying the condition that the image of the associated monodromy homomorphism is (real) Fuchsian \cite{BDHH} or some cocompact Kleinian subgroup $$Γ\subset \text{SL}(2, \mathbb C)$$ as in \cite{BDHH2}. As a consequence, there exist holomorphic maps from $Σ_g$ to the quotient space $\text{SL}(2, \mathbb C)/ Γ$, where $Γ\subset \text{SL}(2, \mathbb C)$ is a cocompact lattice, that do not factor through any elliptic curve \cite{BDHH2}. This answers positively a question of Ghys in \cite{Gh}; the question was also raised by Huckleberry and Winkelmann in \cite{HW}. Then we prove that when $M$ is a Riemann surface, a Torelli type theorem holds for the affine group scheme over $\mathbb C$ obtained from the category of holomorphic connections on {\it étale trivial} holomorphic bundles. After that, we explain how to compute in a simple way the holonomy of a holomorphic connection on a free vector bundle. Finally, for a compact Kähler manifold $M$, we investigate the neutral Tannakian category given by the holomorphic connections on étale trivial holomorphic bundles over $M$. If $\varpi$ (respectively, $Θ$) stands for the affine group scheme over $\mathbb C$ obtained from the category of connections (respectively, connections on free (trivial) vector bundles), then the natural inclusion produces a morphism $v:{\mathcal O}(Θ)\longrightarrow {\mathcal O}(\varpi)$ of Hopf algebras. We present a description of the transpose of $v$ in terms of the iterated integrals. △ Less

Submitted 24 October, 2023; originally announced October 2023.

Comments: To appear in the Int. Jour. Math. volume in honor of Oscar Garcia-Prada

Sasakian geometry and Heisenberg groups

Authors: Indranil Biswas, Hisashi Kasuya

Abstract: We prove that a compact Sasakian manifolds whose first and second basic Chern classes vanish is locally isomorphic to the real Heisenberg group equipped with the standard left invariant Sasakian structure up to deformation associated to a basic $1$-from. We prove that a compact Sasakian manifolds whose first and second basic Chern classes vanish is locally isomorphic to the real Heisenberg group equipped with the standard left invariant Sasakian structure up to deformation associated to a basic $1$-from. △ Less

Submitted 19 October, 2023; originally announced October 2023.

Comments: 7 pages. arXiv admin note: text overlap with arXiv:2211.16713

Terrestrial Very-Long-Baseline Atom Interferometry: Workshop Summary

Authors: Sven Abend, Baptiste Allard, Iván Alonso, John Antoniadis, Henrique Araujo, Gianluigi Arduini, Aidan Arnold, Tobias Aßmann, Nadja Augst, Leonardo Badurina, Antun Balaz, Hannah Banks, Michele Barone, Michele Barsanti, Angelo Bassi, Baptiste Battelier, Charles Baynham, Beaufils Quentin, Aleksandar Belic, Ankit Beniwal, Jose Bernabeu, Francesco Bertinelli, Andrea Bertoldi, Ikbal Ahamed Biswas, Diego Blas , et al. (228 additional authors not shown)

Abstract: This document presents a summary of the 2023 Terrestrial Very-Long-Baseline Atom Interferometry Workshop hosted by CERN. The workshop brought together experts from around the world to discuss the exciting developments in large-scale atom interferometer (AI) prototypes and their potential for detecting ultralight dark matter and gravitational waves. The primary objective of the workshop was to lay… ▽ More This document presents a summary of the 2023 Terrestrial Very-Long-Baseline Atom Interferometry Workshop hosted by CERN. The workshop brought together experts from around the world to discuss the exciting developments in large-scale atom interferometer (AI) prototypes and their potential for detecting ultralight dark matter and gravitational waves. The primary objective of the workshop was to lay the groundwork for an international TVLBAI proto-collaboration. This collaboration aims to unite researchers from different institutions to strategize and secure funding for terrestrial large-scale AI projects. The ultimate goal is to create a roadmap detailing the design and technology choices for one or more km-scale detectors, which will be operational in the mid-2030s. The key sections of this report present the physics case and technical challenges, together with a comprehensive overview of the discussions at the workshop together with the main conclusions. △ Less

Submitted 12 October, 2023; originally announced October 2023.

Comments: Summary of the Terrestrial Very-Long-Baseline Atom Interferometry Workshop held at CERN: https://indico.cern.ch/event/1208783/

Torelli theorem for the moduli stack of vector bundles with fixed determinant

Authors: David Alfaya, Indranil Biswas, Tomás L. Gómez, Swarnava Mukhopadhyay

Abstract: Given any irreducible smooth complex projective curve X, of genus at least two, consider the moduli stack of vector bundles on X of fixed rank and determinant. It is proved that the isomorphism class of the stack uniquely determines the isomorphism class of the curve X and the rank of the vector bundles. Given any irreducible smooth complex projective curve X, of genus at least two, consider the moduli stack of vector bundles on X of fixed rank and determinant. It is proved that the isomorphism class of the stack uniquely determines the isomorphism class of the curve X and the rank of the vector bundles. △ Less

Submitted 11 October, 2023; originally announced October 2023.

Comments: 16 pages

MSC Class: 14C34 (Primary) 14H60; 14D23 (Secondary)

Theta bundle, Quillen connection and the Hodge theoretic projective structure

Authors: Indranil Biswas, Alessandro Ghigi, Carolina Tamborini

Abstract: There are two canonical projective structures on any compact Riemann surface of genus at least two: one coming from the uniformization theorem, and the other from Hodge theory. They produce two (different) families of projective structures over the moduli space $M_g$ of compact Riemann surfaces. A recent work of Biswas, Favale, Pirola, and Torelli shows that families of projective structures over… ▽ More There are two canonical projective structures on any compact Riemann surface of genus at least two: one coming from the uniformization theorem, and the other from Hodge theory. They produce two (different) families of projective structures over the moduli space $M_g$ of compact Riemann surfaces. A recent work of Biswas, Favale, Pirola, and Torelli shows that families of projective structures over $M_g$ admit an equivalent characterization in terms of complex connections on the dual $\mathcal{L}$ of the determinant of the Hodge line bundle over $M_g$; the same work gave the connection on $\mathcal L$ corresponding to the projective structures coming from uniformization. Here we construct the connection on $\mathcal L$ corresponding to the family of Hodge theoretic projective structures. This connection is described in three different ways: firstly as the connection induced on $\mathcal L$ by the Chern connection of the $L^2$-metric on the Hodge bundle, secondly as an appropriate root of the Quillen metric induced by the (square of the) Theta line bundle on the universal family of abelian varieties, endowed with the natural Hermitian metric given by the polarization, and finally as Quillen connection gotten using the Arakelov metric on the universal curve, modified by Faltings' delta invariant. △ Less

Submitted 9 October, 2023; originally announced October 2023.

MSC Class: 14H10; 53B10; 14K10; 14K25

On the direct image of the adjoint line bundle

Authors: Indranil Biswas, Fatima Laytimi, D. S. Nagaraj, Werner Nahm

Abstract: We give an algebraic-geometric proof of the fact that for a smooth fibration $π: X \longrightarrow Y$ of projective varieties, the direct image $π_*(L\otimes K_{X/Y})$ of the adjoint line bundle of an ample (respectively, nef and $π$-strongly big) line bundle $L$ is ample (respectively, nef and big). We give an algebraic-geometric proof of the fact that for a smooth fibration $π: X \longrightarrow Y$ of projective varieties, the direct image $π_*(L\otimes K_{X/Y})$ of the adjoint line bundle of an ample (respectively, nef and $π$-strongly big) line bundle $L$ is ample (respectively, nef and big). △ Less

Submitted 4 October, 2023; originally announced October 2023.

MSC Class: 14F17; 14J60

Higher genus maxfaces with Enneper end

Authors: Rivu Bardhan, Indranil Biswas, Pradip Kumar

Abstract: We have proven the existence of new higher-genus maxfaces with Enneper end. These maxfaces are not the companions of any existing minimal surfaces, and furthermore, the singularity set is located away from the ends. The nature of the singularities is systematically investigated. We have proven the existence of new higher-genus maxfaces with Enneper end. These maxfaces are not the companions of any existing minimal surfaces, and furthermore, the singularity set is located away from the ends. The nature of the singularities is systematically investigated. △ Less

Submitted 6 April, 2024; v1 submitted 29 September, 2023; originally announced October 2023.

Comments: 27 pages, Final version. To appear in "The Journal of Geometric Analysis"

MSC Class: 53A35

Semisimple algebras of vector fields on C^N of maximal rank

Authors: Hassan Azad, Indranil Biswas, Fazal M. Mahomed

Abstract: A classification of semisimple algebras of vector fields on C^N that have a Cartan subalgebra of dimension N is given. The proof uses basic representation theory and the local canonical form of semisimple Lie algebras of vector fields. A classification of semisimple algebras of vector fields on C^N that have a Cartan subalgebra of dimension N is given. The proof uses basic representation theory and the local canonical form of semisimple Lie algebras of vector fields. △ Less

Submitted 19 September, 2023; originally announced September 2023.

On the symplectic structure over the moduli space of projective structures on a surface

Authors: Indranil Biswas

Abstract: The moduli space of projective structures on a compact oriented surface $Σ$ has a holomorphic symplectic structure, which is constructed by pulling back, using the monodromy map, the Atiyah--Bott--Goldman symplectic form on the character variety ${\rm Hom}(π_1(Σ), \text{PSL}(2, {\mathbb C}))/\!\!/\text{PSL}(2, {\mathbb C})$. We produce another construction of this symplectic form. This constructio… ▽ More The moduli space of projective structures on a compact oriented surface $Σ$ has a holomorphic symplectic structure, which is constructed by pulling back, using the monodromy map, the Atiyah--Bott--Goldman symplectic form on the character variety ${\rm Hom}(π_1(Σ), \text{PSL}(2, {\mathbb C}))/\!\!/\text{PSL}(2, {\mathbb C})$. We produce another construction of this symplectic form. This construction shows that the symplectic form on the moduli space is actually algebraic. Note that the monodromy map is only holomorphic and not algebraic, so the first construction does not give algebraicity of the pulled back form. △ Less

Submitted 12 September, 2023; originally announced September 2023.

Comments: Final version

Functions on the moduli space of projective structures on complex curves

Authors: Indranil Biswas

Abstract: We investigate the moduli space ${\mathcal P}_g$ of smooth complex projective curves of genus $g$ equipped with a projective structure. When $g\, \geq\, 3$, it is shown that this moduli space ${\mathcal P}_g$ does not admit any nonconstant algebraic function. This is in contrast with the case of ${\mathcal P}_2$ which is known to be an affine variety. We investigate the moduli space ${\mathcal P}_g$ of smooth complex projective curves of genus $g$ equipped with a projective structure. When $g\, \geq\, 3$, it is shown that this moduli space ${\mathcal P}_g$ does not admit any nonconstant algebraic function. This is in contrast with the case of ${\mathcal P}_2$ which is known to be an affine variety. △ Less

Submitted 5 September, 2023; originally announced September 2023.

Comments: Final version

Holomorphic Higgs bundles over the Teichmüller space

Authors: Indranil Biswas, Lynn Heller, Sebastian Heller

Abstract: We study which representations $ρ$ of the fundamental group of a compact oriented surface $X$ admit Higgs data that depend holomorphically on the Riemann surface $Σ\,=\, (X,\, J)$ via non-abelian Hodge correspondence. For representations $ρ$ into $\mathrm{SL}(2,\mathbb C)$ we show that holomorphic dependency is equivalent to $ρ$ being unitary. For higher ranks this equivalence fails -- we show the… ▽ More We study which representations $ρ$ of the fundamental group of a compact oriented surface $X$ admit Higgs data that depend holomorphically on the Riemann surface $Σ\,=\, (X,\, J)$ via non-abelian Hodge correspondence. For representations $ρ$ into $\mathrm{SL}(2,\mathbb C)$ we show that holomorphic dependency is equivalent to $ρ$ being unitary. For higher ranks this equivalence fails -- we show the existence of non-unitary and irreducible representations of the fundamental group into $\mathrm{SL}(n,\mathbb C)$ admitting Higgs data that are holomorphic in $Σ$, for $n$ large enough. △ Less

Submitted 26 August, 2023; originally announced August 2023.

Comments: 14 pages

MSC Class: 53C07; 14D05; 57R56; 32G15

Topology of the moduli spaces of Higgs bundles over abelian varieties

Authors: Indranil Biswas, Carlos Florentino, Azizeh Nozad

Abstract: Abstract. Let G be a complex reductive group and A be an Abelian variety of dimension d over $\mathbb{C}$. We determine the Poincaré polynomials and also the mixed Hodge polynomials of the moduli space $\mathcal{M}_{A}^{H}(G)$ of G-Higgs bundles over A. We show that these are normal varieties with symplectic singularities, when G is a classical semisimple group. For $G=GL_{n}(\mathbb{C})$, we also… ▽ More Abstract. Let G be a complex reductive group and A be an Abelian variety of dimension d over $\mathbb{C}$. We determine the Poincaré polynomials and also the mixed Hodge polynomials of the moduli space $\mathcal{M}_{A}^{H}(G)$ of G-Higgs bundles over A. We show that these are normal varieties with symplectic singularities, when G is a classical semisimple group. For $G=GL_{n}(\mathbb{C})$, we also compute Poincaré polynomials of natural desingularizations of $\mathcal{M}_{A}^{H}(G)$ and of G-character varieties of free abelian groups, in some cases. In particular, explicit formulas are obtained when dim A=d=1, and also for rank 2 and 3 Higgs bundles, for arbitrary d>1. △ Less

Submitted 4 August, 2023; originally announced August 2023.

Comments: Dedicated to Peter E. Newstead

MSC Class: Primary 14J60; 14E15; Secondary 14L30; 32S35

A parabolic analog of a theorem of Beilinson and Schechtman

Authors: Indranil Biswas, Swarnava Mukhopadhyay, Richard Wentworth

Abstract: For a simple, simply connected, complex group G, we prove an explicit formula to compute the Atiyah class of parabolic determinant of cohomology line bundle on the moduli space of parabolic $G$-bundles. This generalizes an earlier result of Beilinson-Schechtman. For a simple, simply connected, complex group G, we prove an explicit formula to compute the Atiyah class of parabolic determinant of cohomology line bundle on the moduli space of parabolic $G$-bundles. This generalizes an earlier result of Beilinson-Schechtman. △ Less

Submitted 18 July, 2023; originally announced July 2023.

Comments: Split from arXiv:2103.03792 as a separate paper based on suggestions of a referee with some additional details

MSC Class: Primary 14H60; 32G34; 53D50; Secondary: 81T40; 14F08

Quot schemes and Fourier-Mukai transformation

Authors: Indranil Biswas, Umesh V Dubey, Manish Kumar, A. J. Parameswaran

Abstract: We consider several related examples of Fourier-Mukai transformations involving the quot scheme. A method of showing conservativity of these Fourier-Mukai transformations is described. We consider several related examples of Fourier-Mukai transformations involving the quot scheme. A method of showing conservativity of these Fourier-Mukai transformations is described. △ Less

Submitted 11 July, 2023; originally announced July 2023.

Comments: Final version

Geometry of $K$-trivial Moishezon manifolds : decomposition theorem and holomorphic geometric structures

Authors: Indranil Biswas, Junyan Cao, Sorin Dumitrescu, Henri Guenancia

Abstract: Let $X$ be a compact complex manifold such that its canonical bundle $K_X$ is numerically trivial. Assume additionally that $X$ is Moishezon or $X$ is Fujiki with dimension at most four. Using the MMP and classical results in foliation theory, we prove a Beauville-Bogomolov type decomposition theorem for $X$. We deduce that holomorphic geometric structures of affine type on $X$ are in fact locally… ▽ More Let $X$ be a compact complex manifold such that its canonical bundle $K_X$ is numerically trivial. Assume additionally that $X$ is Moishezon or $X$ is Fujiki with dimension at most four. Using the MMP and classical results in foliation theory, we prove a Beauville-Bogomolov type decomposition theorem for $X$. We deduce that holomorphic geometric structures of affine type on $X$ are in fact locally homogeneous away from an analytic subset of complex codimension at least two, and that they cannot be rigid unless $X$ is an étale quotient of a compact complex torus. Moreover, we establish a characterization of torus quotients using the vanishing of the first two Chern classes which is valid for any compact complex $n$-folds of algebraic dimension at least $n-1$. Finally, we show that a compact complex manifold with trivial canonical bundle bearing a rigid geometric structure must have infinite fundamental group if either $X$ is Fujiki, $X$ is a threefold, or $X$ is of algebraic dimension at most one. △ Less

Submitted 10 July, 2023; v1 submitted 29 June, 2023; originally announced June 2023.

Comments: 38 pages, v2: examples added in Section 3.2

Hodge rank of ACM bundles and Franchetta's conjecture

Authors: Indranil Biswas, G. V. Ravindra

Abstract: We prove that on a general hypersurface in $\mathbb{P}^N$ of degree $d$ and dimension at least $2$, if an arithmetically Cohen-Macaulay (ACM) bundle $E$ and its dual have small regularity, then any non-trivial Hodge class in $H^{n}(X, E\otimesΩ^n_X)$, $n = \lfloor\frac{N-1}{2}\rfloor$, produces a trivial direct summand of $E$. As a consequence, we prove that there is no universal Ulrich bundle on… ▽ More We prove that on a general hypersurface in $\mathbb{P}^N$ of degree $d$ and dimension at least $2$, if an arithmetically Cohen-Macaulay (ACM) bundle $E$ and its dual have small regularity, then any non-trivial Hodge class in $H^{n}(X, E\otimesΩ^n_X)$, $n = \lfloor\frac{N-1}{2}\rfloor$, produces a trivial direct summand of $E$. As a consequence, we prove that there is no universal Ulrich bundle on the family of smooth hypersurfaces of degree $d\geq 3$ and dimension at least $4$. This last statement may be viewed as a Franchetta-type conjecture for Ulrich bundles on smooth hypersurfaces. △ Less

Submitted 6 June, 2023; originally announced June 2023.

Comments: 16 pages, final version, Annali della Scuola Normale Superiore di Pisa, Classe di Scienze (to appear)

MSC Class: 14J60; 14D21

On the geometry of the anti-canonical bundle of the Bott-Samelson-Demazure-Hansen varieties

Authors: Indranil Biswas, S. Senthamarai Kannan, Pinakinath Saha

Abstract: Let $G$ be a semi-simple simply connected algebraic group over the field $\mathbb{C}$ of complex numbers. Let $T$ be a maximal torus of $G,$ and let $W$ be the Weyl group of $G$ with respect to $T$. Let $Z(w,\, \underline{i})$ be the Bott-Samelson-Demazure-Hansen variety corresponding to a tuple $\underline{i}$ associated to a reduced expression of an element $w \,\in\, W.$ We prove that for the t… ▽ More Let $G$ be a semi-simple simply connected algebraic group over the field $\mathbb{C}$ of complex numbers. Let $T$ be a maximal torus of $G,$ and let $W$ be the Weyl group of $G$ with respect to $T$. Let $Z(w,\, \underline{i})$ be the Bott-Samelson-Demazure-Hansen variety corresponding to a tuple $\underline{i}$ associated to a reduced expression of an element $w \,\in\, W.$ We prove that for the tuple $\underline{i}$ associated to any reduced expression of a minuscule Weyl group element $w,$ the anti-canonical line bundle on $Z(w,\,\underline{i})$ is globally generated. As consequence, we prove that $Z(w,\,\underline{i})$ is weak Fano. Assume that $G$ is a simple algebraic group whose type is different from $A_2.$ Let $S\,=\,\{α_{1},\,\cdots,\,α_{n}\}$ be the set of simple roots. Let $w$ be such that support of $w$ is equal to $S.$ We prove that $Z(w,\,\underline{i})$ is Fano for the tuple $\underline{i}$ associated to any reduced expression of $w$ if and only if $w$ is a Coxeter element and $w^{-1}(\sum_{t=1}^{n}α_{t})\,\in\, -S$. △ Less

Submitted 18 May, 2023; originally announced May 2023.

Comments: Final version

On the third and fourth Betti numbers of a homogeneous space of a Lie group

Authors: Indranil Biswas, Pralay Chatterjee, Chandan Maity

Abstract: 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, computable explicit descriptions of the second and first cohomology groups of a general homogeneous space of a Lie group are given, extending an earlier result in "On the exactness of Kostant-Kirillov form and the second cohomology… ▽ More 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, computable explicit descriptions of the second and first cohomology groups of a general homogeneous space of a Lie group are given, extending an earlier result in "On the exactness of Kostant-Kirillov form and the second cohomology of nilpotent orbits, Internat. J. Math. 23 (2012), no. 8, 1250086" by I. Biswas and P. Chatterjee. They turned out to be crucial in our computations related to the cohomology of nilpotent orbits, as done in the above two papers. Here we describe the third and fourth cohomologies of a general homogeneous space along the line mentioned above. We also draw various consequences of our main results in numerous special settings. In particular, we obtain an interesting invariant by showing that for a large class of homogeneous spaces, the difference between the third and fourth Betti numbers coincides with the difference in the numbers of simple factors of the ambient group and the associated closed subgroup. △ Less

Submitted 10 May, 2023; originally announced May 2023.

Comments: 43 pages

MSC Class: 57T15

On some natural torsors over moduli spaces of parabolic bundles

Authors: Indranil Biswas

Abstract: A moduli space ${\mathcal N}$ of stable parabolic vector bundles, of rank $r$ and parabolic degree zero, on a $n$-pointed curve has two naturally occurring holomorphic $T^*{\mathcal N}$--torsors over it. One of them is given by the moduli space of pairs of the form $(E_*, D)$, where $E_* \in {\mathcal N}$ and $D$ is a connection on $E_*$. This $T^*{\mathcal N}$--torsor has a $C^\infty$ section tha… ▽ More A moduli space ${\mathcal N}$ of stable parabolic vector bundles, of rank $r$ and parabolic degree zero, on a $n$-pointed curve has two naturally occurring holomorphic $T^*{\mathcal N}$--torsors over it. One of them is given by the moduli space of pairs of the form $(E_*, D)$, where $E_* \in {\mathcal N}$ and $D$ is a connection on $E_*$. This $T^*{\mathcal N}$--torsor has a $C^\infty$ section that sends any $E_* \in {\mathcal N}$ to the unique connection on it with unitary monodromy. The other $T^*{\mathcal N}$--torsor is given by the sheaf of holomorphic connections on a theta line bundle over ${\mathcal N}$. This $T^*{\mathcal N}$--torsor also has a $C^\infty$ section given by the Hermitian structure on the theta bundle constructed by Quillen. We prove that these two $T^*{\mathcal N}$--torsors are isomorphic by a canonical holomorphic map. This holomorphic isomorphism interchanges the above two $C^\infty$ sections. △ Less

Submitted 24 April, 2023; originally announced April 2023.

Comments: Final version; to appear in Journal of Algebra

Some results on Seshadri constants of vector bundles

Authors: Indranil Biswas, Krishna Hanumanthu, Snehajit Misra

Abstract: We study Seshadri constants of certain ample vector bundles on projective varieties. Our main motivation is the following question: Under what conditions are the Seshadri constants of ample vector bundles at least 1 at all points of the variety. We exhibit some conditions under which this question has an affirmative answer. We primarily consider ample bundles on projective spaces and Hirzebruch su… ▽ More We study Seshadri constants of certain ample vector bundles on projective varieties. Our main motivation is the following question: Under what conditions are the Seshadri constants of ample vector bundles at least 1 at all points of the variety. We exhibit some conditions under which this question has an affirmative answer. We primarily consider ample bundles on projective spaces and Hirzebruch surfaces. We also show that Seshadri constants of ample vector bundles can be arbitrarily small. △ Less

Submitted 8 August, 2023; v1 submitted 28 March, 2023; originally announced March 2023.

Comments: 18 pages; minor changes to the previous version; final version; to appear in Forum Mathematicum

MSC Class: 14C20; 14J60

More assistance of entanglement, less rounds of classical communication

Authors: Atanu Bhunia, Indranil Biswas, Indrani Chattopadhyay, Debasis Sarkar

Abstract: Classical communication plays a crucial role to distinguish locally a class of quantum states. Despite considerable advances, we have very little knowledge about the number of measurement and communication rounds needed to implement a discrimination task by local quantum operations and classical communications (in short, LOCC). In this letter, we are able to show the relation between round numbers… ▽ More Classical communication plays a crucial role to distinguish locally a class of quantum states. Despite considerable advances, we have very little knowledge about the number of measurement and communication rounds needed to implement a discrimination task by local quantum operations and classical communications (in short, LOCC). In this letter, we are able to show the relation between round numbers with the local discrimination of a set of pure bipartite orthogonal quantum states. To demonstrate the possible strong dependence on the round numbers, we consider a class of orthogonal product states in $d\otimes d$, which require at least $2d-2$ round of classical communications. Curiously the round number can be reduced to $d$ by the assistance of one-ebit of entanglement as resource and can be reduced further by assistance of more entanglement. We are also able to show that the number of LOCC rounds needed for a discrimination task may depend on the amount of entanglement assistances. △ Less

Submitted 23 March, 2023; originally announced March 2023.

Comments: 11 pages, 3 figures, revtex, comments welcome

Moduli spaces of vector bundles on a curve and opers

Authors: Indranil Biswas, Jacques Hurtubise, Vladimir Roubtsov

Abstract: Let $X$ be a compact connected Riemann surface of genus $g$, with $g\, \geq\,2$, and let $ξ$ be a holomorphic line bundle on $X$ with $ξ^{\otimes 2}\,=\, {\mathcal O}_X$. Fix a theta characteristic $\mathbb L$ on $X$. Let ${\mathcal M}_X(r,ξ)$ be the moduli space of stable vector bundles $E$ on $X$ of rank $r$ such that $\bigwedge^r E\,=\, ξ$ and $H^0(X,\, E\otimes{\mathbb L})\,=\, 0$. Consider th… ▽ More Let $X$ be a compact connected Riemann surface of genus $g$, with $g\, \geq\,2$, and let $ξ$ be a holomorphic line bundle on $X$ with $ξ^{\otimes 2}\,=\, {\mathcal O}_X$. Fix a theta characteristic $\mathbb L$ on $X$. Let ${\mathcal M}_X(r,ξ)$ be the moduli space of stable vector bundles $E$ on $X$ of rank $r$ such that $\bigwedge^r E\,=\, ξ$ and $H^0(X,\, E\otimes{\mathbb L})\,=\, 0$. Consider the quotient of ${\mathcal M}_X(r,ξ)$ by the involution given by $E\, \longmapsto\, E^*$. We construct an algebraic morphism from this quotient to the moduli space of ${\rm SL}(r,{\mathbb C})$ opers on $X$. Since $\dim {\mathcal M}_X(r,ξ)$ coincides with the dimension of the moduli space of ${\rm SL}(r,{\mathbb C})$ opers, it is natural to ask about the injectivity and surjectivity of this map. △ Less

Submitted 16 March, 2023; originally announced March 2023.

Comments: Final version

Pullback of principal bundles along proper morphisms

Authors: Indranil Biswas, Peter O'Sullivan

Abstract: We study the behaviour of principal bundles under pullback along proper surjective morphisms of either schemes over an algebraically closed field of characteristic 0 or complex analytic spaces. We study the behaviour of principal bundles under pullback along proper surjective morphisms of either schemes over an algebraically closed field of characteristic 0 or complex analytic spaces. △ Less

Submitted 3 April, 2024; v1 submitted 15 March, 2023; originally announced March 2023.

Comments: Final version; to appear in the Tohoku Mathematical Journal

Brauer and Picard groups of moduli spaces of parabolic vector bundles on a real curve

Authors: Usha N. Bhosle, Indranil Biswas

Abstract: We determine the Brauer group and Picard group of the moduli space $U^{' s}_{L,par}$ of stable parabolic vector bundles of rank $r$ with determinant $L$ on a real curve $Y$ of arithmetic genus $g \,\ge\, 2$ with at most nodes as singularities. We determine the Brauer group and Picard group of the moduli space $U^{' s}_{L,par}$ of stable parabolic vector bundles of rank $r$ with determinant $L$ on a real curve $Y$ of arithmetic genus $g \,\ge\, 2$ with at most nodes as singularities. △ Less

Submitted 9 March, 2023; originally announced March 2023.

Comments: Final version; Communications in Algebra (to appear)

Pullback and direct image of parabolic connections and parabolic Higgs bundles

Authors: David Alfaya, Indranil Biswas

Abstract: We provide an explicit algebraic construction for the pullback and direct image of parabolic bundles, parabolic Higgs bundles and parabolic connections through maps between Riemann surfaces. We show that these constructions preserve semistability and polystability, and we prove that they are compatible with the nonabelian Hodge correspondence. We provide an explicit algebraic construction for the pullback and direct image of parabolic bundles, parabolic Higgs bundles and parabolic connections through maps between Riemann surfaces. We show that these constructions preserve semistability and polystability, and we prove that they are compatible with the nonabelian Hodge correspondence. △ Less

Submitted 1 March, 2023; originally announced March 2023.

Comments: 28 pages

MSC Class: 14H30 (Primary) 14H60; 14E20 (Secondary)

Journal ref: International Mathematics Research Notices 2023 (2023) 19546-19591

Locally Homogeneous Holomorphic Geometric Structures on Projective Varieties

Authors: Indranil Biswas, Benjamin McKay

Abstract: For any smooth projective variety with holomorphic locally homogeneous structure modelled on a homogeneous algebraic variety, we determine all the subvarieties of it which develop to the model. For any smooth projective variety with holomorphic locally homogeneous structure modelled on a homogeneous algebraic variety, we determine all the subvarieties of it which develop to the model. △ Less

Submitted 8 April, 2024; v1 submitted 27 February, 2023; originally announced February 2023.

MSC Class: 57N16; 32Q57; 53A55

Journal ref: SIGMA 20 (2024), 030, 33 pages

Parabolic opers and differential operators

Authors: Indranil Biswas, Niels Borne, Sorin Dumitrescu, Sebastian Heller, Christian Pauly

Abstract: Parabolic SL(r,C)-opers were defined and investigated in [BDP] in the set-up of vector bundles on curves with a parabolic structure over a divisor. Here we introduce and study holomorphic differential operators between parabolic vector bundles over curves. We consider the parabolic SL(r,C)-opers on a Riemann surface X with given singular divisor S and with fixed parabolic weights satisfying the co… ▽ More Parabolic SL(r,C)-opers were defined and investigated in [BDP] in the set-up of vector bundles on curves with a parabolic structure over a divisor. Here we introduce and study holomorphic differential operators between parabolic vector bundles over curves. We consider the parabolic SL(r,C)-opers on a Riemann surface X with given singular divisor S and with fixed parabolic weights satisfying the condition that all parabolic weights at any point $x_i$ in S are integral multiples of $\frac{1}{2N_i+1}$, where $N_i > 1$ are fixed integers. We prove that this space of opers is canonically identified with the affine space of holomorphic differential operators of order r between two natural parabolic line bundles on X (depending only on the divisor S and the weights $N_i$) satisfying the conditions that the principal symbol of the differential operators is the constant function 1 and the sub-principal symbol vanishes identically. The vanishing of the sub-principal symbol ensures that the logarithmic connection on the rank r bundle is actually a logarithmic SL(r, C)-connection. △ Less

Submitted 16 February, 2023; originally announced February 2023.

Comments: Final version accepted for publication in Journal of Geometry and Physics

Genuinely ramified maps and pseudo-stable vector bundles

Authors: Indranil Biswas, A. J. Parameswaran

Abstract: Let $X$ and $Y$ be irreducible normal projective varieties, of same dimension, defined over an algebraically closed field, and let $f : Y \rightarrow X$ be a finite generically smooth morphism such that the corresponding homomorphism between the étale fundamental groups $f_*:π^{\rm et}_{1}(Y) \rightarrowπ^{\rm et}_{1}(X)$ is surjective. Fix a polarization on $X$ and equip $Y$ with the pulled back… ▽ More Let $X$ and $Y$ be irreducible normal projective varieties, of same dimension, defined over an algebraically closed field, and let $f : Y \rightarrow X$ be a finite generically smooth morphism such that the corresponding homomorphism between the étale fundamental groups $f_*:π^{\rm et}_{1}(Y) \rightarrowπ^{\rm et}_{1}(X)$ is surjective. Fix a polarization on $X$ and equip $Y$ with the pulled back polarization. For a point $y_0\in Y$, let $\varpi(Y, y_0)$ (respectively, $\varpi(X, f(y_0))$) be the affine group scheme given by the neutral Tannakian category defined by the strongly pseudo-stable vector bundles of degree zero on $Y$ (respectively, $X$). We prove that the homomorphism $\varpi(Y, y_0) \rightarrow \varpi(X, f(y_0))$ induced by $f$ is surjective. Let $E$ be a pseudo-stable vector bundle on $X$ and $F \subset f^*E$ a pseudo-stable subbundle with $μ(F)= μ(f^*E)$. We prove that $f^*E$ is pseudo-stable and there is a pseudo-stable subbundle $W \subset E$ such that $f^*W = F$ as subbundles of $f^*E$. △ Less

Submitted 11 May, 2023; v1 submitted 14 February, 2023; originally announced February 2023.

Comments: Final version; to appear in the Illinois Journal of Mathematics

MSC Class: 14J60; 14E20; 13D07; 14F06

Bertini type results and their applications

Authors: Indranil Biswas, Manish Kumar, A. J. Parameswaran

Abstract: We prove Bertini type theorems and give some applications of them. The applications are in the context of Lefschetz theorem for Nori fundamental group for normal varieties as well as for geometric formal orbifolds. In another application, it is shown that certain class of a smooth quasi-projective variety contains a smooth curve such that irreducible lisse \ell-adic sheaves on the variety with "ra… ▽ More We prove Bertini type theorems and give some applications of them. The applications are in the context of Lefschetz theorem for Nori fundamental group for normal varieties as well as for geometric formal orbifolds. In another application, it is shown that certain class of a smooth quasi-projective variety contains a smooth curve such that irreducible lisse \ell-adic sheaves on the variety with "ramification bounded by a branch data" remains irreducible when restricted to the curve. △ Less

Submitted 19 April, 2024; v1 submitted 14 February, 2023; originally announced February 2023.

Comments: Final Version. The proof of Theorem 3.5 is fixed