Source author record

Indranil Biswas

Indranil Biswas appears in the imported research catalog. Authorship, coauthor and topic links are available while profile ownership is still unclaimed.

ResearcherUnclaimed source record

math.AG math.DG math.CV math-ph math.MP math.GT math.GR math.SG math.AT math.RT hep-th alg-geom dg-ga math.CA math.DS quant-ph

Catalog footprint

What is connected

186works

16topics

4close collaborators

Actions

Connect this record

Open graph Browse works

Inspect adjacent papers, topics, institutions and collaborators without losing the researcher page.

Building this map preview

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

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

On Lie's classification of subalgebras of vector fields on the plane

A brief proof of Lie's classification of solvable algebras of vector fields on the plane is given. The proof uses basic representation theory and PDEs.

preprint2022arXiv

Seshadri constants on Bott towers

For a positive integer $n$, let $X_n \to X_{n-1} \to \ldots \to X_2 \to X_1 \to X_0$ be a Bott tower of height $n$, and let $L$ be a nef line bundle on $X_n$. We compute Seshadri constants $\varepsilon(X_n,L,x)$ of $L$ at any point $x \in X_n$ under some conditions.

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

On vector bundles over moduli spaces trivial on Hecke curves

Let $M_X(r,ξ)$ be the moduli space of stable vector bundles, on a smooth complex projective curve $X$, of rank $r$ and fixed determinant $ξ$ such that $°(ξ)$ is coprime to $r$. If $E$ is a vector bundle $M_X(r,ξ)$ whose restriction to every Hecke curve in $M_X(r,ξ)$ is trivial, we prove that $E$ is trivial.

preprint2021arXiv

One-relator Sasakian groups

We prove that any one-relator group $G$ is the fundamental group of a compact Sasakian manifold if and only if $G$ is either finite cyclic or isomorphic to the fundamental group of a compact Riemann surface of genus g > 0 with at most one orbifold point of order $n \geq 1$. We also classify all groups of deficiency at least two that are also the fundamental group of some compact Sasakian manifold.

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's results in [Hi1], for the case $D\,=\, 0$.

preprint2020arXiv

A constructive method for decomposing real representations

A constructive method for decomposing finite dimensional representations of semisimple real Lie algebras is developed. The method is illustrated by an example. We also discuss an implementation of the algorithm in the language of the computer algebra system {\sf GAP}4.

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

Deformation theory of holomorphic Cartan geometries

Introducing the deformation theory of holomorphic Cartan geometries, we compute infinitesimal automorphisms and infinitesimal deformations. We also prove the existence of a semi-universal deformation of a holomorphic Cartan geometry.

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 "$B$" stands for "bilinear"), 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

Irreducible flat SL(2,R)-connections on the trivial holomorphic bundle

We construct an irreducible holomorphic connection with SL(2,R)-monodromy on the trivial holomorphic vector bundle of rank two over a compact Riemann surface. This answers a question of Calsamiglia, Deroin, Heu and Loray in \cite{CDHL}.

preprint2020arXiv

Poisson structure on character varieties

We show that the character variety for a $n$-punctured oriented surface has a natural Poisson structure.

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}))^*$.

preprint2020arXiv

Rationally elliptic toric varieties

We give a characterization of all complete smooth toric varieties whose rational homotopy is of elliptic type. All such toric varieties of complex dimension not more than three are explicitly described.

preprint2020arXiv

Semi-orthogonal decomposition of symmetric products of curves and canonical system

Let $C$ be a smooth complex projective curve of genus $g \,\geq\, 2$ and $C_d$ its $d$-fold symmetric product. In this paper, we study the question of semi-orthogonal decomposition of the derived category of $C_d$. This entails investigations of the canonical system on $C_d$, in particular its base locus.

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.

preprint2018arXiv

Real holomorphic sections of the Deligne-Hitchin twistor space

We study the holomorphic sections of the Deligne-Hitchin moduli space of a compact Riemann surface that are invariant under the natural anti-holomorphic involutions of the moduli space. Their relationships with the harmonic maps are established. As a bi-product, a question of Simpson on such sections, posed in \cite{Si2}, is answered.

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 criterion for a degree-one holomorphic map to be a biholomorphism

Let $X$ and $Y$ be compact connected complex manifolds of the same dimension with $b_2(X)= b_2(Y)$. We prove that any surjective holomorphic map of degree one from $X$ to $Y$ is a biholomorphism. A version of this was established by the first two authors, but under an extra assumption that $\dim H^1(X {\mathcal O}_X)\,=\,\dim H^1(Y {\mathcal O}_Y)$. We show that this condition is actually automatically satisfied.

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.

preprint2016arXiv

Abelianization of the F-divided fundamental group scheme

Let $(X ,x_0)$ be a pointed smooth proper variety defined over an algebraically closed field. The Albanese morphism for $(X ,x_0)$ produces a homomorphism from the abelianization of the $F$-divided fundamental group scheme of $X$ to the $F$-divided fundamental group of the Albanese variety of $X$. We prove that this homomorphism is surjective with finite kernel. The kernel is also described.

preprint2016arXiv

An almost complex Castelnuovo de Franchis theorem

Given an almost complex structure on a subbundle of the cotangent bundle, we prove a Castelnuovo--de Franchis type theorem for it.

preprint2016arXiv

Automorphisms of ${\mathbb C}^*$ Moduli Spaces Associated to a Riemann Surface

We compute the automorphism groups of the Dolbeault, de Rham and Betti moduli spaces for the multiplicative group ${\mathbb C}^*$ associated to a compact connected Riemann surface.

preprint2016arXiv

Automorphisms of the generalized quot schemes

Given a compact connected Riemann surface $X$ of genus $g \geq 2$, and integers $r\geq 2$, $d_p > 0$ and $d_z > 0$, in \cite{BDHW}, a generalized quot scheme ${\mathcal Q}_X(r,d_p,d_z)$ was introduced. Our aim here is to compute the holomorphic automorphism group of ${\mathcal Q}_X(r,d_p,d_z)$. It is shown that the connected component of $\text{Aut}( {\mathcal Q}_X(r,d_p,d_z))$ containing the identity automorphism is $\text{PGL}(r,{\mathbb C})$. As an application of it, we prove that if the generalized quot schemes of two Riemann surfaces are holomorphically isomorphic, then the two Riemann surfaces themselves are isomorphic.

preprint2016arXiv

Equality of the algebraic and geometric ranks of Cartan subalgebras and applications to linearization of a system of ordinary differential equations

If $L$ is a semisimple Lie algebra of vector fields on R^N with a split Cartan subalgebra C, then it is proved that the dimension of the generic orbit of C coincides with the dimension of C. As a consequence one obtains a local canonical form of L in terms of exponentials of coordinate functions and vector fields that are independent of these coordinates -- for a suitable choice of coordinates. This result is used to classify semisimple algebras of vector fields on R^3 and to determine all representations of sl(N, R) as vector fields on R^N. These representations are used to find linearizing coordinates for any second order ordinary differential equation that admits sl(3, R) as its symmetry algebra and for a system of two second order ordinary differential equations that admits sl(4, R) as its symmetry algebra.

preprint2016arXiv

Equivariant bundles and connections

Let $X$ be a connected complex manifold equipped with a holomorphic action of a complex Lie group $G$. We investigate conditions under which a principal bundle on $X$ admits a $G$--equivariance structure.

preprint2016arXiv

Fourier-Mukai transform of vector bundles on surfaces to Hilbert scheme

Let $S$ be an irreducible smooth projective surface defined over an algebraically closed field $k$. For a positive integer $d$, let ${\rm Hilb}^d(S)$ be the Hilbert scheme parametrizing the zero-dimensional subschemes of $S$ of length $d$. For a vector bundle $E$ on $S$, let ${\mathcal H}(E)\, \longrightarrow\, {\rm Hilb}^d(S)$ be its Fourier--Mukai transform constructed using the structure sheaf of the universal subscheme of $S\times {\rm Hilb}^d(S)$ as the kernel. We prove that two vector bundles $E$ and $F$ on $S$ are isomorphic if the vector bundles ${\mathcal H}(E)$ and ${\mathcal H}(F)$ are isomorphic.

preprint2016arXiv

Hermitian symmetric space, flat bundle and holomorphicity criterion

Let $K\backslash G$ be an irreducible Hermitian symmetric space of noncompact type and $Γ\,\subset\, G$ a closed torsionfree discrete subgroup. Let $X$ be a compact Kähler manifold and $ρ\, :\, π_1(X, x_0)\,\longrightarrow\, Γ$ a homomorphism such that the adjoint action of $ρ(π_1(X, x_0))$ on $\text{Lie}(G)$ is completely reducible. A theorem of Corlette associates to $ρ$ a harmonic map $X\, \longrightarrow\, K\backslash G/Γ$. We give a criterion for this harmonic map to be holomorphic. We also give a criterion for it to be anti--holomorphic.

preprint2016arXiv

Higgs bundles on Sasakian manifolds

We extend the Donaldson-Corlette-Hitchin-Simpson correspondence between Higgs bundles and flat connections on compact Kähler manifolds to compact quasi-regular Sasakian manifolds. A particular consequence is the translation of restrictions on Kähler groups proved using the Donaldson-Corlette-Hitchin-Simpson correspondence to fundamental groups of compact Sasakian manifolds.

preprint2016arXiv

Hodge locus and Brill-Noether type locus

Given a family $π:\mc{X} \rightarrow B$ of smooth projective varieties, a closed fiber $\mc{X}_o$ and an invertible sheaf $\mc{L}$ on $\mc{X}_o$, we compare the Hodge locus in $B$ corresponding to the Hodge class $c_1(\mc{L})$ with the locus of points $b\,\in\, B$ such that $\mc{L}$ deforms to an invertible sheaf $\mc{L}_b$ on $\mc{X}_b$ with at least $h^0(\mc{L})$--dimensional space of global sections (it is a Brill-Noether type locus associated to $\mc{L}$). We finally give an application by comparing the Brill-Noether locus to a family of curves on a surface passing through a fixed set of points.

preprint2016arXiv

Holomorphic affine connections on non-Kähler manifolds

Our aim here is to investigate the holomorphic geometric structures on compact complex manifolds which may not be Kähler. We prove that holomorphic geometric structures of affine type on compact Calabi-Yau manifolds with polystable tangent bundle (with respect to some Gauduchon metric on it) are locally homogeneous. In particular, if the geometric structure is rigid in Gromov's sense, then the fundamental group of the manifold must be infinite. We also prove that compact complex manifolds of algebraic dimension one bearing a holomorphic Riemannian metric must have infinite fundamental group.

preprint2016arXiv

Homogeneous holomorphic hermitian principal bundles over hermitian symmetric spaces

We give a complete characterization of invariant integrable complex structures on principal bundles defined over hermitian symmetric spaces, using the Jordan algebraic approach for the curvature computations. In view of possible generalizations, the general setup of invariant holomorphic principal fibre bundles is described in a systematic way.

preprint2016arXiv

Homotopic properties of Kähler orbifolds

We prove the formality and the evenness of odd-degree Betti numbers for compact Kähler orbifolds, by adapting the classical proofs for Kähler manifolds. As a consequence, we obtain examples of symplectic orbifolds not admitting any Kähler orbifold structure. We also review the known examples of non-formal simply connected Sasakian manifolds, and produce an example of a non-formal quasi-regular Sasakian manifold with Betti numbers $b_1=0$ and $b_2\,> 1$.

preprint2016arXiv

Involutions of the moduli spaces of $G$-Higgs bundles over elliptic curves

We present a systematic study of involutions on the moduli space of $G$-Higgs bundles over an elliptic curve $X$, where $G$ is complex reductive affine algebraic group. The fixed point loci in the moduli space of $G$-Higgs bundles on $X$, and in the moduli space of representations of the fundamental group of $X$ into $G$, are described. This leads to an explicit description of the moduli spaces of pseudo-real $G$-Higgs bundles over $X$.

preprint2016arXiv

Isomonodromic deformations of irregular connections and stability of bundles

Let $G$ be a reductive affine algebraic group defined over $\mathbb C$, and let $\nabla_0$ be a meromorphic $G$-connection on a holomorphic $G$-bundle $E_0$, over a smooth complex curve $X_0$, with polar locus $P_0 \subset X_0$. We assume that $\nabla_0$ is irreducible in the sense that it does not factor through some proper parabolic subgroup of $G$. We consider the universal isomonodromic deformation $(E_t\to X_t, \nabla_t, P_t)_{t\in \mathcal{T}}$ of $(E_0\to X_0, \nabla_0, P_0)$, where $\mathcal{T}$ is a certain quotient of a certain framed Teichmüller space we describe. We show that if the genus $g$ of $X_0$ satisfies $g\geq 2$, then for a general parameter $t\in \mathcal{T}$, the $G$-bundle $E_t\to X_t$ is stable. For $g\geq 1$, we are able to show that for a general parameter $t\in \mathcal{T}$, the $G$-bundle $E_t\to X_t$ is semistable.

preprint2016arXiv

M-curves and symmetric products

Let $(X , σ)$ be a geometrically irreducible smooth projective M-curve of genus $g$ defined over the field of real numbers. We prove that the $n$-th symmetric product of $(X , σ)$ is an M-variety for $n=2 ,3$ and $n\geq 2g -1$.

preprint2016arXiv

On connections on principal bundles

A new construction of a universal connection was given in \cite{BHS}. The main aim here is to explain this construction. A theorem of Atiyah and Weil says that a holomorphic vector bundle $E$ over a compact Riemann surface admits a holomorphic connection if and only if the degree of every direct summand of $E$ is degree. In \cite{AB}, this criterion was generalized to principal bundles on compact Riemann surfaces. This criterion for principal bundles is also explained.

preprint2016arXiv

On the Kaehler metrics over ${mathrm{Sym}^{d}(X)$

Let $X$ be a compact connected Riemann surface of genus $g$, with $g \geq 2$. For each $d <η(X)$, where $η(X)$ is the gonality of $X$, the symmetric product $\text{Sym}^d(X)$ embeds into $\text{Pic}^d(X)$ by sending an effective divisor of degree $d$ to the corresponding holomorphic line bundle. Therefore, the restriction of the flat Kähler metric on $\text{Pic}^d(X)$ is a Kähler metric on $\text{Sym}^d(X)$. We investigate this Kähler metric on $\text{Sym}^d(X)$. In particular, we estimate it's Bergman kernel. We also prove that any holomorphic automorphism of $\text{Sym}^d(X)$ is an isometry.

preprint2016arXiv

On the symplectic structure over a moduli space of orbifold projective structures

Let S be a compact connected oriented orbifold surface We show that using Bers simultaneous uniformization, the moduli space of projective structure on S can be mapped biholomorphically onto the total space of the holomorphic cotangent bundle of the Teichmüller space for S. The total space of the holomorphic cotangent bundle of the Teichmüller space is equipped with the Liouville symplectic form, and the moduli space of projective structures also has a natural holomorphic symplectic form. The above identification is proved to be compatible with these symplectic structures. Similar results are obtained for biholomorphisms constructed using uniformizations provided by Schottky groups and Earle's version of simultaneous uniformization.

preprint2016arXiv

The Weil-Petersson current for moduli of vector bundles and applications to orbifolds

We investigate stable holomorphic vector bundles on a compact complex Kähler manifold and more generally on an orbifold that is equipped with a Kähler structure. We use the existence of Hermite-Einstein connections in this set-up and construct a generalized Weil-Petersson form on the moduli space of stable vector bundles with fixed determinant bundle. We show that the Weil-Petersson form extends as a (semi-)positive closed current for degenerating families that are restrictions of coherent sheaves. Such an extension will be called a Weil-Petersson current. When the orbifold is of Hodge type, there exists a determinant line bundle on the moduli space; this line bundle carries a Quillen metric, whose curvature coincides with the generalized Weil-Petersson form. As an application we show that the determinant line bundle extends to a suitable compactification of the moduli space.

preprint2016arXiv

Vector bundles over a real elliptic curve

Given a geometrically irreducible smooth projective curve of genus 1 defined over the field of real numbers, and a pair of integers r and d, we determine the isomorphism class of the moduli space of semi-stable vector bundles of rank r and degree d on the curve. When r and d are coprime, we describe the topology of the real locus and give a modular interpretation of its points. We also study, for arbitrary rank and degree, the moduli space of indecomposable vector bundles of rank r and degree d, and determine its isomorphism class as a real algebraic variety.

preprint2015arXiv

A classification of equivariant principal bundles over nonsingular toric varieties

We classify holomorphic as well as algebraic torus equivariant principal $G$-bundles over a nonsingular toric variety $X$, where $G$ is a complex linear algebraic group. It is shown that any such bundle over an affine, nonsingular toric variety admits a trivialization in equivariant sense. We also obtain some splitting results.

preprint2015arXiv

A splitting theorem for good complexifications

The purpose of this paper is to produce restrictions on fundamental groups of manifolds admitting good complexifications by proving the following Cheeger-Gromoll type splitting theorem: Any closed manifold $M$ admitting a good complexification has a finite-sheeted regular covering $M_1$ such that $M_1$ admits a fiber bundle structure with base $(S^1)^k$ and fiber $N$ that admits a good complexification and also has zero virtual first Betti number. We give several applications to manifolds of dimension at most 5.

preprint2015arXiv

A symplectic analog of the Quot scheme

We construct a symplectic analog of the Quot scheme that parametrizes the torsion quotients of a trivial vector bundle over a compact Riemann surface. Some of its properties are investigated.

preprint2015arXiv

Anti-holomorphic involutions of the moduli spaces of Higgs bundles

We study anti-holomorphic involutions of the moduli space of principal $G$-Higgs bundles over a compact Riemann surface $X$, where $G$ is a complex semisimple Lie group. These involutions are defined by fixing anti-holomorphic involutions on both $X$ and $G$. We analyze the fixed point locus in the moduli space and their relation with representations of the orbifold fundamental group of $X$ equipped with the anti-holomorphic involution. We also study the relation with branes. This generalizes work by Biswas--Garc\'ıa-Prada--Hurtubise and Baraglia--Schaposnik.

preprint2015arXiv

Automorphisms of $\overline{T}$

Let $\overline G$ be the wonderful compactification of a simple affine algebraic group $G$ defined over $\mathbb C$ such that its center is trivial and $G\not= {\rm PSL}(2,\mathbb{C})$. Take a maximal torus $T \subset G$, and denote by $\overline T$ its closure in $\overline G$. We prove that $T$ coincides with the connected component, containing the identity element, of the group of automorphisms of the variety $\overline T$.

preprint2015arXiv

Automorphisms of a symmetric product of a curve

We show that all the automorphisms of the symmetric product Sym^d(X), d>2g-2, of a smooth projective curve X of genus g>2 are induced by automorphisms of X.

preprint2015arXiv

Bohr--Sommerfeld Lagrangians of moduli spaces of Higgs bundles

Let $X$ be a compact connected Riemann surface of genus at least two. Let $M_H(r,d)$ denote the moduli space of semistable Higgs bundles on $X$ of rank $r$ and degree $d$. We prove that the compact complex Bohr-Sommerfeld Lagrangians of $M_H(r,d)$ are precisely the irreducible components of the nilpotent cone in $M_H(r,d)$. This generalizes to Higgs $G$-bundles and also to the parabolic Higgs bundles.

preprint2015arXiv

Brauer Groups of Quot Schemes

Let $X$ be an irreducible smooth complex projective curve. Let ${\mathcal Q}(r,d)$ be the Quot scheme parametrizing all coherent subsheaves of ${\mathcal O}^{\oplus r}_X$ of rank $r$ and degree $-d$. There are natural morphisms ${\mathcal Q}(r,d) \longrightarrow \text{Sym}^d(X)$ and $\text{Sym}^d(X) \longrightarrow \text{Pic}^d(X)$. We prove that both these morphisms induce isomorphism of Brauer groups if $d \geq 2$. Consequently, the Brauer group of ${\mathcal Q}(r,d)$ is identified with the Brauer group of $\text{Pic}^d(X)$ if $d \geq 2$.

preprint2015arXiv

Deligne pairing and Quillen metric

Let $X\rightarrow S$ be a smooth projective surjective morphism of relative dimension $n$, where $X$ and $S$ are integral schemes over $\mathbb C$. Let $L\rightarrow X$ be a relatively very ample line bundle. For every sufficiently large positive integer $m$, there is a canonical isomorphism of the Deligne pairing $\langle L ,\cdots , L\rangle\rightarrow S$ with the determinant line bundle ${\rm Det}((L- {\mathcal O}_{X})^{\otimes (n+1)}\otimes L^{\otimes m})$ \cite{PRS}. If we fix a hermitian structure on $L$ and a relative Kähler form on $X$, then each of the line bundles ${\rm Det}((L- {\mathcal O}_{X})^{\otimes (n+1)}\otimes L^{\otimes m})$ and $\langle L\, ,\cdots\, ,L\rangle$ carries a distinguished hermitian structure. We prove that the above mentioned isomorphism between $\langle L\, ,\cdots\, ,L\rangle\longrightarrow S$ and ${\rm Det}((L- {\mathcal O}_{X})^{\otimes (n+1)}\otimes L^{\otimes m})$ is compatible with these hermitian structures. This holds also for the isomorphism in \cite{BSW} between a Deligne paring and a certain determinant line bundle.

preprint2015arXiv

Diagonal property of the symmetric product of a smooth curve

Let $C$ be an irreducible smooth projective curve defined over an algebraically closed field. We prove that the symmetric product ${\rm Sym}^d(C)$ has the diagonal property for all $d \geq 1$. For any positive integers $n$ and $r$, let ${\mathcal Q}_{{\mathcal O}^{\oplus n}_C}(nr)$ be the Quot scheme parametrizing all the torsion quotients of ${\mathcal O}^{\oplus n}_C$ of degree $nr$. We prove that ${\mathcal Q}_{{\mathcal O}^{\oplus n}_C}(nr)$ has the weak point property.

preprint2015arXiv

Equivariant principal bundles and logarithmic connections on toric varieties

Let $M$ be a smooth complex projective toric variety equipped with an action of a torus $T$, such that the complement $D$ of the open $T$--orbit in $M$ is a simple normal crossing divisor. Let $G$ be a complex reductive affine algebraic group. We prove that an algebraic principal $G$--bundle $E_G\to M$ admits a $T$--equivariant structure if and only if $E_G$ admits a logarithmic connection singular over $D$. If $E_H\to M$ is a $T$-equivariant algebraic principal $H$--bundle, where $H$ is any complex affine algebraic group, then $E_H$ in fact has a canonical integrable logarithmic connection singular over $D$.

preprint2015arXiv

Equivariant vector bundles on complete symmetric varieties of minimal rank

Let $X$ be the wonderful compactification of a complex symmetric space $G/H$ of minimal rank. For a point $x\,\in\, G$, denote by $Z$ be the closure of $BxH/H$ in $X$, where $B$ is a Borel subgroup of $G$. The universal cover of $G$ is denoted by $\widetilde{G}$. Given a $\widetilde{G}$ equivariant vector bundle $E$ on $X,$ we prove that $E$ is nef (respectively, ample) if and only if its restriction to $Z$ is nef (respectively, ample). Similarly, $E$ is trivial if and only if its restriction to $Z$ is so.

preprint2015arXiv

Fundamental Group of Moduli Spaces of Representations

Let S be a surface of genus g with n points removed, G a connected Lie group, and X(G) the moduli space of representations of the fundamental group of S into G. We compute the fundamental group of X(G) when n>0 and G is a real or complex reductive algebraic group, or a compact Lie group; and when n=0 and G=GL(m,C), SL(m,C), U(m), or SU(m).

preprint2015arXiv

Higgs bundles and representation spaces associated to morphisms

Let $G$ be a connected reductive affine algebraic group defined over the complex numbers, and $K\subset G$ be a maximal compact subgroup. Let $X , Y$ be irreducible smooth complex projective varieties and $f: X \rightarrow Y$ an algebraic morphism, such that $π_1(Y)$ is virtually nilpotent and the homomorphism $f_* : π_1(X) \rightarrowπ_1(Y)$ is surjective. Define $$ {\mathcal R }^f(π_1(X),\, G)\,=\, \{ρ\, \in\, \text{Hom}(π_1(X),\, G)\, \mid\, A\circρ\ \text{ factors through }~ f_*\}\, , $$ $$ {\mathcal R }^f(π_1(X),\, K)\,=\, \{ρ\, \in\, \text{Hom}(π_1(X),\, K)\, \mid\, A\circρ\ \text{ factors through }~ f_*\}\, , $$ where $A: G \rightarrow \text{GL}(\text{Lie}(G))$ is the adjoint action. We prove that the geometric invariant theoretic quotient ${\mathcal R }^f(π_1(X, x_0), G)/\!\!/G$ admits a deformation retraction to ${\mathcal R }^f(π_1(X, x_0),\, K)/K$. We also show that the space of conjugacy classes of $n$ almost commuting elements in $G$ admits a deformation retraction to the space of conjugacy classes of $n$ almost commuting elements in $K$.

preprint2015arXiv

Inverses of structured vector bundles

We prove that structured vector bundles whose holonomies lie in GL(N,C), SO(N,C), or Sp(2N,C) have structured inverses. This generalizes a theorem of Simons and Sullivan.

preprint2015arXiv

Isomonodromic deformations of logarithmic connections and stability

Let X_0 be a compact connected Riemann surface of genus g with D_0\subset X_0 an ordered subset of cardinality n, and let E_G be a holomorphic principal G-bundle on X_0, where G is a complex reductive affine algebraic group, that admits a logarithmic connection \nabla_0 with polar divisor D_0. Let (\cal{E}_G, \nabla) be the universal isomonodromic deformation of (E_G,\nabla_0) over the universal Teichmüller curve (\cal{X}, \cal{D})\rightarrow {Teich}_{g,n}, where {Teich}_{g,n} is the Teichmüller space for genus g Riemann surfaces with n-marked points. We prove the following: Assume that g>1 and n= 0. Then there is a closed complex analytic subset \cal{Y} \subset {Teich}_{(g,n)}, of codimension at least $g$, such that for any t\in {Teich}_{(g,n)} \setminus \mathcal{Y}, the principal G-bundle \cal{E}_G\vert_{{\cal X}_t} is semistable, where {\cal X}_t is the compact Riemann surface over $t$. Assume that g>0, and if g= 1, then n >0. Also, assume that the monodromy representation for \nabla_0 does not factor through some proper parabolic subgroup of G. Then there is a closed complex analytic subset $\cal{Y}' \subset {Teich}_{(g,n)}, of codimension at least g, such that for any t\in {Teich}_{(g,n)} \setminus \cal{Y}', the principal G-bundle $\cal{E}_G\vert_{{\cal X}_t}$ is semistable. Assume that g>1. Assume that the monodromy representation for \nabla_0 does not factor through some proper parabolic subgroup of G. Then there is a closed complex analytic subset \cal{Y}" \subset {Teich}_{(g,n)}, of codimension at least g-1, such that for any t\in {Teich}_{(g,n)} \setminus \cal{Y}', the principal G-bundle \cal{E}_G\vert_{{\cal X}_t} is stable.

preprint2015arXiv

Kähler structure on Hurwitz spaces

The classical Hurwitz spaces, that parameterize compact Riemann surfaces equipped with covering maps to ${\mathbb P}_1$ of fixed numerical type with simple branch points, are extensively studied in the literature. We apply deformation theory, and present a study of the Kähler structure of the Hurwitz spaces, which reflects the variation of the complex structure of the Riemann surface as well as the variation of the meromorphic map. We introduce a generalized Weil-Petersson Kähler form on the Hurwitz space. This form turns out to be the curvature of a Quillen metric on a determinant line bundle. Alternatively, the generalized Weil-Petersson Kähler form can be characterized as the curvature form of the hermitian metric on the Deligne pairing of the relative canonical line bundle and the pull back of the anti-canonical line bundle on ${\mathbb P}_1$. Replacing the projective line by an arbitrary but fixed curve $Y$, we arrive at a generalized Hurwitz space with similar properties. The determinant line bundle extends to a compactification of the (generalized) Hurwitz space as a line bundle, and the Quillen metric yields a singular hermitian metric on the compactification so that a power of the determinant line bundle provides an embedding of the Hurwitz space in a projective space.

preprint2015arXiv

Moduli space of $G$-connections on an elliptic curve

Let $X$ be a smooth complex elliptic curve and $G$ a connected reductive affine algebraic group defined over $\mathbb C$. Let ${\mathcal M}_X(G)$ denote the moduli space of topologically trivial algebraic $G$--connections on $X$, that is, pairs of the form $(E_G\, , D)$, where $E_G$ is a topologically trivial algebraic principal $G$--bundle on $X$, and $D$ is an algebraic connection on $E_G$. We prove that ${\mathcal M}_X(G)$ does not admit any nonconstant algebraic function while being biholomorphic to an affine variety.

preprint2015arXiv

Moduli spaces of vector bundles on a singular rational ruled surface

We study moduli spaces $M_X(r,c_1,c_2)$ parametrizing slope semistable vector bundles of rank $r$ and fixed Chern classes $c_1, c_2$ on a ruled surface whose base is a rational nodal curve. We show that under certain conditions, these moduli spaces are irreducible, smooth and rational (when non-empty). We also prove that they are non-empty in some cases. We show that for a rational ruled surface defined over real numbers, the moduli space $M_X(r,c_1,c_2)$ is rational as a variety defined over $\mathbb R$.

preprint2015arXiv

Non-flat extension of flat vector bundles

We construct a pair (E ,F), where E is a holomorphic vector bundle over a compact Riemann surface and F a holomorphic subbundle of E, such that both F and E/F admit holomorphic connections, but E does not.

preprint2015arXiv

On a smooth compactification of PSL(n, C)/T

Let $T$ be a maximal torus of ${\rm PSL}(n, \mathbb C)$. For $n\,\geq\, 4$, we construct a smooth compactification of ${\rm PSL}(n, \mathbb C)/T$ as a geometric invariant theoretic quotient of the wonderful compactification $\overline{{\rm PSL}(n, \mathbb C)}$ for a suitable choice of $T$--linearized ample line bundle on $\overline{{\rm PSL}(n, \mathbb C)}$. We also prove that the connected component, containing the identity element, of the automorphism group of this compactification of ${\rm PSL}(n, \mathbb C)/T$ is ${\rm PSL}(n, \mathbb C)$ itself.

preprint2015arXiv

On equivariant principal bundles over wonderful compactifications

Let $G$ be a simple algebraic group of adjoint type over $\mathbb C$, and let $M$ be the wonderful compactification of a symmetric space $G/H$. Take a $\widetilde G$--equivariant principal $R$--bundle $E$ on $M$, where $R$ is a complex reductive algebraic group and $\widetilde G$ is the universal cover of $G$. If the action of the isotropy group $\widetilde H$ on the fiber of $E$ at the identity coset is irreducible, then we prove that $E$ is polystable with respect to any polarization on $M$. Further, for wonderful compactification of the quotient of $\text{PSL}(n,{\mathbb C})$, $n\,\neq\, 4$ (respectively, $\text{PSL}(2n,{\mathbb C})$, $n \geq 2$) by the normalizer of the projective orthogonal group (respectively, the projective symplectic group), we prove that the tangent bundle is stable with respect to any polarization on the wonderful compactification.

preprint2015arXiv

On the fundamental group scheme of rationally chain connected varieties

Let $k$ be an algebraically closed field. Chambert-Loir proved that the étale fundamental group of a normal rationally chain connected variety over $k$ is finite. We prove that the fundamental group scheme of a normal rationally chain connected variety over $k$ is finite and étale. In particular, the fundamental group scheme of a Fano variety is finite and étale.

preprint2015arXiv

On the Kähler structures over Quot schemes, II

Let $X$ be a compact connected Riemann surface of genus $g$, with $g \geq 2$, and let ${\mathcal O}_X$ denote the sheaf of holomorphic functions on $X$. Fix positive integers $r$ and $d$ and let ${\mathcal Q}(r,d)$ be the Quot scheme parametrizing all torsion coherent quotients of ${\mathcal O}^{\oplus r}_X$ of degree $d$. We prove that ${\mathcal Q}(r,d)$ does not admit a Kähler metric whose holomorphic bisectional curvatures are all nonnegative.

preprint2015arXiv

Pseudo-real principal $G$-bundles over a real curve

We consider stable and semistable principal bundles over a smooth projective real algebraic curve, equipped with a real or pseudo-real structure in the sense of Atiyah. After fixing suitable topological invariants, one can build a suitable gauge theory, and show that the resulting moduli spaces of pseudo-real bundles are connected. This in turn allows one to describe the various fixed point varieties on the complex moduli spaces under the action of the real involutions on the curve and the structure group.

preprint2015arXiv

The Fujiki class and positive degree maps

We show that a map between complex-analytic manifolds, at least one of which is in the Fujiki class, is a biholomorphism under a natural condition on the second cohomologies. We use this to establish that, with mild restrictions, a certain relation of "domination" introduced by Gromov is in fact a partial order.

preprint2015arXiv

The Nori fundamental gerbe of tame stacks

Given an algebraic stack, we compare its Nori fundamental group with that of its coarse moduli space. We also study conditions under which the stack can be uniformized by an algebraic space.

preprint2015arXiv

The Period-Index Problem of the Canonical Gerbe of Symplectic and Orthogonal Bundles

We consider regularly stable parabolic symplectic and orthogonal bundles over an irreducible smooth projective curve over an algebraically closed field of characteristic zero. The morphism from the moduli stack of such bundles to its coarse moduli space is a $μ_2$-gerbe. We study the period and index of this gerbe, and solve the corresponding period-index problem.

preprint2014arXiv

A generalized Quot scheme and meromorphic vortices

Let X be a compact connected Riemann surface. Fix a positive integer r and two nonnegative integers d_p and d_z. Consider all pairs of the form (F, f), where F is a holomorphic vector bundle on X of rank r and degree d_z-d_p, and f : {\mathcal O}^{\oplus r}_X \rightarrow F is a meromorphic homomorphism which an isomorphism outside a finite subset of X and has pole (respectively, zero) of total degree d_p (respectively, d_z). Two such pairs $(F_1, f_1) and $(F_2, f_2) are called isomorphic if there is a holomorphic isomorphism of F_1 with F_2 over X that takes f_1 to f_2. We construct a natural compactification of the moduli space equivalence classes pairs of the above type. The Poincaré polynomial of this compactification is computed.

preprint2014arXiv

Anti-holomorphic involutive isometry of hyper-Kähler manifolds and branes

We study complex Lagrangian submanifolds of a compact hyper-Kähler manifold and prove two results: (a) that an involution of a hyper-Kähler manifold which is antiholomorphic with respect to one complex structure and which acts non-trivially on the corresponding symplectic form always has a fixed point locus which is complex Lagrangian with respect to one of the other complex structures, and (b) there exist Lagrangian submanifolds which are complex with respect to one complex structure and are not the fixed point locus of any involution which is anti-holomorphic with respect to one of the other complex structures.

preprint2014arXiv

Fundamental group of a geometric invariant theoretic quotient

Let $M$ be an irreducible smooth projective variety, defined over an algebraically closed field, equipped with an action of a connected reductive affine algebraic group $G$, and let ${\mathcal L}$ be a $G$--equivariant very ample line bundle on $M$. Assume that the GIT quotient $M/\!\!/G$ is a nonempty set. We prove that the homomorphism of algebraic fundamental groups $π_1(M)\, \longrightarrow\, π_1(M/\!\!/G)$, induced by the rational map $M\, \longrightarrow\, M/\!\!/G$, is an isomorphism. If $k\,=\, \mathbb C$, then we show that the above rational map $M\, \longrightarrow \, M/\!\!/G$ induces an isomorphism between the topological fundamental groups.

preprint2014arXiv

Geometric prequantization on the path space of a prequantized manifold

Given a compact symplectic manifold $M$, with integral symplectic form, we prequantize a certain class of functions on the path space for $M$. The functions in question are induced by functions on $M$. We apply our construction to study the symplectic structure on the solution space of Klein-Gordon equation.

preprint2014arXiv

H_1-semistability for projective groups

We initiate the study of the asymptotic topology of groups that can be realized as fundamental groups of smooth complex projective varieties with holomorphically convex universal covers (these are called here as holomorphically convex groups). We prove the $H_1$-semistability conjecture of Geoghegan for holomorphically convex groups. In view of a theorem of Eyssidieux, Katzarkov, Pantev and Ramachandran \cite{ekpr}, this implies that linear projective groups satisfy the $H_1$-semistability conjecture.

preprint2014arXiv

Homotopical Height

Given a group $G$ and a class of manifolds $\CC$ (e.g. symplectic, contact, Kähler etc), it is an old problem to find a manifold $M_G \in \CC$ whose fundamental group is $G$. This article refines it: for a group $G$ and a positive integer $r$ find $M_G \in \CC$ such that $π_1(M_G)=G$ and $π_i(M_G)=0$ for $1<i<r$. We thus provide a unified point of view systematizing known and new results in this direction for various different classes of manifolds. The largest $r$ for which such an $M_G \in \CC$ can be found is called the homotopical height $ht_\CC(G)$. Homotopical height provides a dimensional obstruction to finding a $K(G,1)$ space within the given class $\CC$, leading to a hierarchy of these classes in terms of "softness" or "hardness" à la Gromov. We show that the classes of closed contact, CR, and almost complex manifolds as well as the class of (open) Stein manifolds are soft. The classes $\SP$ and $\CA$ of closed symplectic and complex manifolds exhibit intermediate "softness" in the sense that every finitely presented group $G$ can be realized as the fundamental group of a manifold in $\SP$ and a manifold in $\CA$. For these classes, $ht_\CC(G)$ provides a numerical invariant for finitely presented groups. We give explicit computations of these invariants for some standard finitely presented groups. We use the notion of homotopical height within the "hard" category of Kähler groups to obtain partial answers to questions of Toledo regarding second cohomology and second group cohomology of Kähler groups. We also modify and generalize a construction due to Dimca, Papadima and Suciu to give a potentially large class of projective groups violating property FP.

preprint2014arXiv

Integrable systems and Torelli theorems for the moduli spaces of parabolic bundles and parabolic Higgs bundles

We prove a Torelli theorem for the moduli space of semistable parabolic Higgs bundles over a smooth complex projective algebraic curve under the assumption that the parabolic weight system is generic. When the genus is at least two, using this result we also prove a Torelli theorem for the moduli space of semistable parabolic bundles of rank at least two with generic parabolic weights. The key input in the proofs is a method of J.C. Hurtubise, Integrable systems and algebraic surfaces, Duke Math. Jour. 83 (1996), 19--49.

preprint2014arXiv

Low dimensional projective groups

We initiate the study of holomorphically convex groups: groups that can be realized as fundamental groups of smooth complex projective varieties with holomorphically convex universal covers. If $G$ is a holomorphically convex group of cohomological dimension two, we show that $G$ is isomorphic to the fundamental group of a compact Riemann surface. As a consequence, we show that if a linear group $G$ has (rational) cohomological dimension two and is the fundamental group of a smooth complex projective variety, then $G$ is a (virtual) surface group.

preprint2014arXiv

Monopoles on Sasakian Three-folds

We consider monopoles with singularities of Dirac type on quasiregular Sasakian three-folds fibering over a compact Riemann surface $Σ$, for example the Hopf fibration $S^3\longrightarrow S^2$. We show that these correspond to holomorphic objects on $Σ$, which we call twisted bundle triples. These are somewhat similar to Murray's bundle gerbes. A spectral curve construction allows us to classify these structures, and, conjecturally, monopoles.

preprint2014arXiv

On the essential dimension of coherent sheaves

We characterize all fields of definition for a given coherent sheaf over a projective scheme in terms of projective modules over a finite-dimensional endomorphism algebra. This yields general results on the essential dimension of such sheaves. Applying them to vector bundles over a smooth projective curve C, we obtain an upper bound for the essential dimension of their moduli stack. The upper bound is sharp if the conjecture of Colliot-Thélène, Karpenko and Merkurjev holds. We find that the genericity property proved for Deligne-Mumford stacks by Brosnan, Reichstein and Vistoli still holds for this Artin stack, unless the curve C is elliptic.

preprint2014arXiv

On the Kähler structures over Quot schemes

Let $S^n(X)$ be the $n$-fold symmetric product of a compact connected Riemann surface $X$ of genus $g$ and gonality $d$. We prove that $S^n(X)$ admits a Kähler structure such that all the holomorphic bisectional curvatures are nonpositive if and only if $n < d$. Let ${\mathcal Q}_X(r,n)$ be the Quot scheme parametrizing the torsion quotients of ${\mathcal O}^{\oplus r}_X$ of degree $n$. If $g \geq 2$ and $n \leq 2g-2$, we prove that ${\mathcal Q}_X(r,n)$ does not admit a Kähler structure such that all the holomorphic bisectional curvatures are nonnegative.

preprint2014arXiv

On the Zariski-Lipman conjecture for normal algebraic surfaces

We consider the Zariski-Lipman Conjecture on free module of derivations for algebraic surfaces. Using the theory of non-complete algebraic surfaces, and some basic results about ruled surfaces, we will prove the conjecture for several classes of affine and projective surfaces.

preprint2014arXiv

Poisson surfaces and algebraically completely integrable systems

One can associate to many of the well known algebraically integrable systems of Jacobians (generalized Hitchin systems, Sklyanin) a ruled surface which encodes much of its geometry. If one looks at the classification of such surfaces, there is one case of a ruled surface that does not seem to be covered. This is the case of projective bundle associated to the first jet bundle of a topologically nontrivial line bundle. We give the integrable system corresponding to this surface; it turns out to be a deformation of the Hitchin system.

preprint2014arXiv

Quasiprojective three-manifold groups and complexification of three-manifolds

We characterize the quasiprojective groups that appear as fundamental groups of compact $3$-manifolds (with or without boundary). We also characterize all closed $3$-manifolds that admit good complexifications. These answer questions of Friedl--Suciu, \cite{fs}, and Totaro \cite{tot}

preprint2014arXiv

Realization of an equivariant holomorphic Hermitian line bundle as a Quillen determinant bundle

Let $M$ be an irreducible smooth complex projective variety equipped with an action of a compact Lie group $G$, and let $({\mathcal L},h)$ be a $G$-equivariant holomorphic Hermitian line bundle on $M$. Given a compact connected Riemann surface $X$, we construct a $G$-equivariant holomorphic Hermitian line bundle $(L\,,H)$ on $X\times M$ (the action of $G$ on $X$ is trivial), such that the corresponding Quillen determinant line bundle $({\mathcal Q}, h_Q)$, which is a $G$--equivariant holomorphic Hermitian line bundle on $M$, is isomorphic to the given $G$--equivariant holomorphic Hermitian line bundle $({\mathcal L}\,,h)$. This proves a conjecture of Dey and Mathai in \cite{DM}.

preprint2014arXiv

Semistability of Principal Bundles on a Kähler Manifold with a Non-Connected Structure Group

We investigate principal $G$-bundles on a compact Kähler manifold, where $G$ is a complex algebraic group such that the connected component of it containing the identity element is reductive. Defining (semi)stability of such bundles, it is shown that a principal $G$-bundle $E_G$ admits an Einstein-Hermitian connection if and only if $E_G$ is polystable. We give an equivalent formulation of the (semi)stability condition. A question is to compare this definition with that of math.AG/0506511.

preprint2014arXiv

Vassiliev Invariants from Symmetric Spaces

We construct a natural framed weight system on chord diagrams from the curvature tensor of any pseudo-Riemannian symmetric space. These weight systems are of Lie algebra type and realized by the action of the holonomy Lie algebra on a tangent space. Among the Lie algebra weight systems, they are exactly characterized by having the symmetries of the Riemann curvature tensor.

preprint2014arXiv

Yang-Mills connections on compact complex tori

Let $G$ be a connected reductive complex affine algebraic group and $K\subset G$ a maximal compact subgroup. Let $M$ be a compact complex torus equipped with a flat Kähler structure and $(E_G ,θ)$ a polystable Higgs $G$-bundle on $M$. Take any $C^\infty$ reduction of structure group $E_K \subset E_G$ to the subgroup $K$ that solves the Yang--Mills equation for $(E_G ,θ)$. We prove that the principal $G$-bundle $E_G$ is polystable and the above reduction $E_K$ solves the Einstein--Hermitian equation for $E_G$. We also prove that for a semistable (respectively, polystable) Higgs $G$-bundle $(E_G , θ)$ on a compact connected Calabi--Yau manifold, the underlying principal $G$-bundle $E_G$ is semistable (respectively, polystable).

preprint2013arXiv

A note on real algebraic groups

The efficacy of using complexifications to understand the structure of real algebraic groups is demonstrated. In particular the following results are proved: a) If L is an algebraic subgroup of a connected real algebraic group G such that the complexification of L contains a maximal torus of the complexification of G, then L contains a Cartan subgroup of G b) Let G be a solvable real algebraic group whose eigenvalues are all real. If the complexification of G operates algebraically on a complex variety V, and some G orbit is compact, then this orbit is a point.

preprint2013arXiv

Atiyah sequences, connections and Chern-Weil theory for algebraic and differentiable stacks

We construct connections and characteristic forms for principal bundles over groupoids and stacks in the differentiable, holomorphic and algebraic category using Atiyah sequences associated to transversal tangential distributions.

preprint2013arXiv

Grassmannian framed bundles and generalized parabolic structures

We build compact moduli spaces of Grassmannian framed bundles over a Riemann surface, essentially replacing a group by its bi-invariant compactification. We do this both in the algebraic and symplectic settings, and prove a Hitchin-Kobayashi correspondence between the two. The spaces are universal spaces for parabolic bundles, and the reduction to parabolic bundles commutes with the correspondence. An analogous correspondence is outlined for the generalized parabolic bundles of Bhosle.

preprint2013arXiv

Invariant connections and invariant holomorphic bundles on homogeneous manifolds

Let $X$ be a differentiable manifold endowed with a transitive action $α:A\times X\longrightarrow X$ of a Lie group $A$. Let $K$ be a Lie group. Under suitable technical assumptions, we give explicit classification theorems, in terms of explicit finite dimensional quotients, of three classes of objects: {enumerate} equivalence classes of $α$-invariant $K$-connections on $X$, $α$-invariant gauge classes of $K$-connections on $X$, and $α$-invariant isomorphism classes of pairs $(Q,P)$ consisting of a holomorphic $K^\C$-bundle $Q\longrightarrow X$ and a $K$-reduction $P$ of $Q$ (when $X$ has an $α$-invariant complex structure). {enumerate}

preprint2013arXiv

Nef cone of flag bundles over a curve

Let $X$ be a smooth projective curve defined over an algebraically closed field $k$, and let $E$ be a vector bundle on $X$. We compute the nef cone of any flag bundle associated to $E$.

preprint2013arXiv

On the curvature of symmetric products of a compact Riemann surface

Let $X$ be a compact connected Riemann surface of genus at least two. The main theorem of arxiv:1010.1488 says that for any positive integer $n \leq 2({\rm genus}(X)-1)$, the symmetric product $S^n(X)$ does not admit any Kähler metric satisfying the condition that all the holomorphic bisectional curvatures are nonnegative. Our aim here is to give a very simple and direct proof of this result of Bökstedt and Romão.

preprint2013arXiv

On the fundamental group of a variety with quotient singularities

Let k be a field, and let π:\tilde{X} -> X be a proper birational morphism of irreducible k-varieties, where \tilde{X} is smooth and X has at worst quotient singularities. When the characteristic of k is zero, a theorem of Kollár in [Ko1] says that π induces an isomorphism of etale fundamental groups. We give a proof of this result which works for all characteristics. As an application, we prove that for a smooth projective irreducible surface X over an algebraically closed field k, the etale fundamental group of the Hilbert scheme of n points of X, where n > 1, is canonically isomorphic to the abelianization of the etale fundamental group of X. Kollár has pointed out how the proof of the first result can be extended to cover the case of quotients by finite group schemes.

preprint2013arXiv

On the vector bundles associated to irreducible representations of cocompact lattices of SL(2,C)

In this continuation of \cite{BM}, we prove the following: Let $Γ\subset \text{SL}(2,{\mathbb C})$ be a cocompact lattice, and let $ρ: Γ\rightarrow \text{GL}(r,{\mathbb C})$ be an irreducible representation. Then the holomorphic vector bundle $E_ρ\longrightarrow \text{SL}(2,{\mathbb C})/Γ$ associated to $ρ$ is polystable. The compact complex manifold $\text{SL}(2,{\mathbb C})/Γ$ has natural Hermitian structures; the polystability of $E_ρ$ is with respect to these natural Hermitian structures.

preprint2013arXiv

Rigidity of holomorphic maps between fiber spaces

In the study of holomorphic maps, the term "rigidity" refers to certain types of results that give us very specific information about a general class of holomorphic maps owing to the geometry of their domains or target spaces. Under this theme, we begin by studying when, given two compact connected complex manifolds $X$ and $Y$, a degree-one holomorphic map $f: Y\to X$ is a biholomorphism. Given that the real manifolds underlying $X$ and $Y$ are diffeomorphic, we provide a condition under which $f$ is a biholomorphism. Using this result, we deduce a rigidity result for holomorphic self-maps of the total space of a holomorphic fiber space. Lastly, we consider products $X=X_1\times X_2$ and $Y=Y_1\times Y_2$ of compact connected complex manifolds. When $X_1$ is a Riemann surface of genus $\geq 2$, we show that any non-constant holomorphic map $F:Y\to X$ is of a special form.

preprint2013arXiv

Solutions of Strominger system from unitary representations of cocompact lattices of SL(2,C)

Given an irreducible unitary representation of a cocompact lattice of SL(2,C), we explicitly write down a solution of the Strominger system of equations. These solutions satisfy the equation of motion, and the underlying holomorphic vector bundles are stable.

preprint2013arXiv

Stability of the tangent bundle of the wonderful compactification of an adjoint group

Let $G$ be a complex linear algebraic group which is simple of adjoint type. Let $\overline G$ be the wonderful compactification of $G$. We prove that the tangent bundle of $\overline G$ is stable with respect to every polarization on $\overline G$.

preprint2013arXiv

The vortex equation on affine manifolds

Let M be a compact connected special affine manifold equipped with an affine Gauduchon metric. We show that a pair (E, ϕ), consisting of a flat vector bundle E over M and a flat nonzero section ϕ of E, admits a solution to the vortex equation if and only if it is polystable. To prove this, we adapt the dimensional reduction techniques for holomorphic pairs on Kähler manifolds to the situation of flat pairs on affine manifolds.

preprint2012arXiv

A construction of Chern classes of parabolic vector bundles

Given a parabolic vector bundle, we construct for it a projectivization and tautological line bundle. These are analogs of the projectivization and tautological line bundle for an usual vector bundle. Using these we give a construction of the parabolic Chern classes.

preprint2012arXiv

Affine Yang-Mills-Higgs metrics

Let (E, φ) be a flat Higgs bundle on a compact special affine manifold M equipped with an affine Gauduchon metric. We prove that (E, φ) is polystable if and only if it admits an affine Yang-Mills-Higgs metric.

preprint2012arXiv

Automorphisms of moduli spaces of vector bundles over a curve

Let X be an irreducible smooth complex projective curve of genus g at least 4. Let M(r,Λ) be the moduli space of stable vector bundles over X or rank r and fixed determinant Λ, of degree d. We give a new proof of the fact that the automorphism group of M(r,Λ) is generated by automorphisms of the curve X, tensorization with suitable line bundles, and, if r divides 2d, also dualization of vector bundles.

preprint2012arXiv

Automorphisms of the Quot schemes associated to compact Riemann surfaces

Let X be a compact connected Riemann surface of genus at least two. Fix positive integers r and d. Let Q denote the Quot scheme that parametrizes the torsion quotients of {\mathcal O}^{\oplus r}_X of degree d. This Q is also the moduli space of vortices for the standard action of U(r) on {\mathbb C}^r. The group \text{PGL}(r, {\mathbb C}) acts on Q via the action of $\text{GL}(r, {\mathbb C})$ on ${\mathcal O}^{\oplus r}_X$. We prove that this subgroup $\text{PGL}(r, {\mathbb C})$ is the connected component, containing the identity element, of the holomorphic automorphism group Aut(\mathcal Q). As an application of it, we prove that the isomorphism class of the complex manifold Q uniquely determines the isomorphism class of the Riemann surface X.

preprint2012arXiv

Brauer group and birational type of moduli spaces of torsionfree sheaves on a nodal curve

Let U^{'s}_{L}(n,d) be the moduli space of stable vector bundles of rank $n$ and fixed determinant L of degree d on a nodal curve Y. The moduli space of semistable vector bundles of rank n and degree $d$ will be denoted by U'_Y(n,d). We calculate the Brauer groups of U^{'s}_{L}(n,d)$. We study the question of rationality of $U^{'s}_{L}(n,d)$ and $U'_Y(n,d)$.

preprint2012arXiv

Existence of approximate Hermitian-Einstein structures on semistable principal bundles

Let E_G be a principal G-bundle over a compact connected Kähler manifold, where G is a connected reductive complex linear algebraic group. We show that E_G is semistable if and only if it admits approximate Hermitian-Einstein structures.

preprint2012arXiv

Hermitian-Einstein connections on polystable orthogonal and symplectic parabolic Higgs bundles

Let X be a smooth complex projective curve and S a finite subset of X. We show that an orthogonal or symplectic parabolic Higgs bundle on X with parabolic structure over S admits a Hermitian-Einstein connection if and only if it is polystable.

preprint2012arXiv

Moduli of vortices and Grassmann manifolds

We use the framework of Quot schemes to give a novel description of the moduli spaces of stable n-pairs, also interpreted as gauged vortices on a closed Riemann surface with target Mat(r x n, C), where n >= r. We then show that these moduli spaces embed canonically into certain Grassmann manifolds, and thus obtain natural Kaehler metrics of Fubini-Study type; these spaces are smooth at least in the local case r=n. For abelian local vortices we prove that, if a certain "quantization" condition is satisfied, the embedding can be chosen in such a way that the induced Fubini-Study structure realizes the Kaehler class of the usual L^2 metric of gauged vortices.

preprint2012arXiv

On Kaehler structures over symmetric products of a Riemann surface

Given a positive integer $n$ and a compact connected Riemann surface $X$, we prove that the symmetric product $S^n(X)$ admits a Kaehler form of nonnegative holomorphic bisectional curvature if and only if $\text{genus}(X) \leq 1$. If $n$ is greater than or equal to the gonality of $X$, we prove that $S^n(X)$ does not admit any Kaehler form of nonpositive holomorphic sectional curvature.

preprint2012arXiv

On the conjugacy of maximal unipotent subgroups of real semisimple Lie groups

The existence of closed orbits of real algebraic groups on real algebraic varieties is established. As an application, it is shown that if G is a real reductive linear group with Iwasawa decomposition G= KAN, then every unipotent subgroup of G is conjugate to a subgroup of N.

preprint2012arXiv

On the exactness of Kostant-Kirillov form and the second cohomology of nilpotent orbits

We give a criterion for the Kostant-Kirillov form on an adjoint orbit in a real semisimple Lie group to be exact. We explicitly compute the second cohomology of all the nilpotent adjoint orbits in every complex simple Lie algebras.

preprint2012arXiv

On the logarithmic connections over curves

We study two different actions on the moduli spaces of logarithmic connections over smooth complex projective curves. Firstly, we establish a dictionary between logarithmic orbifold connections and parabolic logarithmic connections over the quotient curve. Secondly, we prove that fixed points on the moduli space of connections under the action of finite order line bundles are exactly the push-forward of logarithmic connections on a certain unramified Galois cover of the base curve. In the coprime case, this action of finite order line bundles on the moduli space is cohomologically trivial.

preprint2012arXiv

On the maximal solvable subgroups of semisimple algebraic groups

Let $G$ be a semisimple affine algebraic group defined over a field $k$ of characteristic zero. We describe all the maximal connected solvable subgroups of $G$, defined over $k$, up to conjugation by rational points of $G$.

preprint2012arXiv

One-relator Kaehler groups

We prove that a one-relator group $G$ is Kähler if and only if either $G$ is finite cyclic or $G$ is isomorphic to the fundamental group of a compact orbifold Riemann surface of genus $g > 0$ with at most one cone point of order $n$: $$< a_1\, b_1\, \,...\, a_g\, b_g\, \mid\, (\prod_{i=1}^g [a_i\, b_i])^n>\, .$$

preprint2012arXiv

Principal bundles over a real algebraic curve

Let X be a compact connected Riemann surface equipped with an anti-holomorphic involution σ. Let G be a connected complex reductive affine algebraic group, and let σ_G be a real form of G. We consider holomorphic principal G-bundles on X satisfying compatibility conditions with respect to σand σ_G. We prove that the points defined over $\mathbb R$ of the smooth locus of a moduli space of principal G-bundles on X are precisely these objects, under the assumption that {\rm genus}(X) > 2. Stable, semistable and polystable bundles are defined in this context. Relationship between any of these properties and the corresponding property of the underlying holomorphic principal G-bundle is explored. A bijective correspondence between unitary representations and polystable objects is established.

preprint2012arXiv

Pseudo-real principal Higgs bundles on compact Kaehler manifolds

Let $X$ be a compact connected Kähler manifold equipped with an anti-holomorphic involution which is compatible with the Kähler structure. Let $G$ be a connected complex reductive affine algebraic group equipped with a real form $σ_G$. We define pseudo-real principal $G$--bundles on $X$; these are generalizations of real algebraic principal $G$--bundles over a real algebraic variety. Next we define stable, semistable and polystable pseudo-real principal $G$--bundles. Their relationships with the usual stable, semistable and polystable principal $G$--bundles are investigated. We then prove that the following Donaldson--Uhlenbeck--Yau type correspondence holds: a pseudo-real principal $G$--bundle admits a compatible Einstein-Hermitian connection if and only if it is polystable. A bijection between the following two sets is established: 1) The isomorphism classes of polystable pseudo-real principal $G$--bundles such that all the rational characteristic classes of the underlying topological principal $G$--bundle vanish. 2) The equivalence classes of twisted representations of the extended fundamental group of $X$ in a $σ_G$--invariant maximal compact subgroup of $G$. (The twisted representations are defined using the central element in the definition of a pseudo-real principal $G$--bundle.) All these results are also generalized to the pseudo-real Higgs $G$--bundle.

preprint2012arXiv

Rank one connections on abelian varieties, II

Given a holomorphic line bundle $L$ on a compact complex torus $A$, there are two naturally associated holomorphic $Ω_A$--torsors over $A$: one is constructed from the Atiyah exact sequence for $L$, and the other is constructed using the line bundle $(p^*_1 L^*)\otimes (α^*L)$, where $α$ is the addition map on $A\times A$, and $p_1$ is the projection of $A\times A$ to the first factor. In \cite{BHR}, it was shown that these two torsors are isomorphic. The aim here is to produce a canonical isomorphism between them through an explicit construction.

preprint2012arXiv

Real projective structures on a real curve

Given a compact connected Riemann surface $X$ equipped with an antiholomorphic involution $τ$, we consider the projective structures on $X$ satisfying a compatibility condition with respect to $τ$. For a projective structure $P$ on $X$, there are holomorphic connections and holomorphic differential operators on $X$ that are constructed using $P$. When the projective structure $P$ is compatible with $τ$, the relationships between $τ$ and the holomorphic connections, or the differential operators, associated to $P$ are investigated. The moduli space of projective structures on a compact oriented $C^\infty$ surface of genus $g\, \geq\, 2$ has a natural holomorphic symplectic structure. It is known that this holomorphic symplectic manifold is isomorphic to the holomorphic symplectic manifold defined by the total space of the holomorphic cotangent bundle of the Teichmüller space ${\mathcal T}_g$ equipped with the Liouville symplectic form. We show that there is an isomorphism between these two holomorphic symplectic manifolds that is compatible with $τ$.

preprint2012arXiv

Reconstructing vector bundles on curves from their direct image on symmetric powers

Let $C$ be an irreducible smooth complex projective curve, and let $E$ be an algebraic vector bundle of rank $r$ on $C$. Associated to $E$, there are vector bundles ${\mathcal F}_n(E)$ of rank $nr$ on $S^n(C)$, where $S^n(C)$ is $ $n$-th symmetric power of $C$. We prove the following: Let $E_1$ and $E_2$ be two semistable vector bundles on $C$, with ${\rm genus}(C)\, \geq\, 2$. If ${\mathcal F}_n(E_1)\,= \, {\mathcal F}_n(E_2)$ for a fixed $n$, then $E_1 \,=\, E_2$.

preprint2012arXiv

Root stacks, principal bundles and connections

We investigate principal bundles over a root stack. In case of dimension one, we generalize the criterion of Weil and Atiyah for a principal bundle to have an algebraic connection.

preprint2012arXiv

SYZ duality for parabolic Higgs moduli spaces

We prove the SYZ (Strominger-Yau-Zaslow) duality for the moduli space of full flag parabolic Higgs bundles over a compact Riemann surface.The SYZ duality was proved for moduli spaces of Higgs vector bundles over a compact Riemann surface by Hausel and Thaddeus.

preprint2012arXiv

The Brauer group of desingularization of moduli spaces of vector bundles over a curve

Let C be an irreducible smooth projective curve, of genus at least two, defined over an algebraically closed field of characteristic zero. For a fixed line bundle L on C, let M_C(r,L) be the coarse moduli space of semistable vector bundles E over C of rank r and determinant L. We show that the Brauer group of any desingularization of M_C(r, L)$ is trivial.

preprint2012arXiv

The Essential Dimension of Stacks of Parabolic Vector Bundles over Curves

We find upper bounds on the essential dimension of the moduli stack of parabolic vector bundles over a curve. When there is no parabolic structure, we improve the known upper bound on the essential dimension of the usual moduli stack. Our calculations also give lower bounds on the essential dimension of the semistable locus inside the moduli stack of vector bundles of rank $r$ and degree $d$ without parabolic structure.

preprint2012arXiv

The Topology of Parabolic Character Varieties of Free Groups

Let G be a complex affine algebraic reductive group, and let K be a maximal compact subgroup of G. Fix elements h_1,...,h_m in K. For n greater than or equal to 0, let X (respectively, Y) be the space of equivalence classes of representations of the free group of m+n generators in G (respectively, K) such that for each i between 1 and m, the image of the i-th free generator is conjugate to h_i. These spaces are parabolic analogues of character varieties of free groups. We prove that Y is a strong deformation retraction of X. In particular, X and Y are homotopy equivalent. We also describe explicit examples relating X to relative character varieties.

preprint2012arXiv

Torelli theorem for the Deligne--Hitchin moduli space, II

Let X and X' be compact Riemann surfaces of genus at least three. Let G and G' be nontrivial connected semisimple linear algebraic groups over C. If some components $M_{DH}^d(X,G)$ and $M_{DH}^{d'}(X',G')$ of the associated Deligne--Hitchin moduli spaces are biholomorphic, then X' is isomorphic to X or to the conjugate Riemann surface $\bar{X}$.

preprint2012arXiv

Unitary representations of the fundamental group of Orbifolds

There is a well known bijective correspondence between isomorphism classes of polystable vector bundles $E$ with $c_i(E)=0$ for $i\geq 1$ on a smooth complex projective variety and equivalence classes of unitary representations of the fundamental group of the variety. We show that this bijective correspondence extends to smooth orbifolds.

preprint2012arXiv

Unramified Brauer group of the moduli spaces of $PGL_r({\mathbb C})$-bundles over curves

Let $X$ be an irreducible smooth complex projective curve of genus at least two. Let $N$ be a connected component of the moduli space of semistable principal ${\rm PGL}_r({\mathbb C})$- bundles over $X$; it is a normal unirational complex projective variety. We prove that the Brauer group of a desingularization of $N$ is trivial.

preprint2011arXiv

Automorphisms of moduli spaces of symplectic bundle

Let X be an irreducible smooth complex projective curve of genus at least 3. Fix a line bundle L on X. Let M_{Sp}(L) be the moduli space of symplectic bundles (E, ExE ---> L) on X, with the symplectic form taking values in L. We show that the automorphism group of M_{Sp}(L) is generated by automorphisms sending E to ExM, where M is a 2-torsion line bundle, and automorphisms induced by automorphisms of X.

preprint2011arXiv

Brauer group of moduli of principal bundles over a curve

Let $G$ be a semisimple linear algebraic group over the field $\mathbb C$, and let $C$ be an irreducible smooth complex projective curve of genus at least three. We compute the Brauer group of the smooth locus of the moduli space of semistable principal $G$--bundles over $C$. We also compute the Brauer group of the moduli stack of principal $G$--bundles over $C$.

preprint2011arXiv

Brauer group of moduli spaces of pairs

We show that the Brauer group of any moduli space of stable pairs with fixed determinant over a curve is zero.

preprint2011arXiv

Deligne pairing and determinant bundle

Let $X \rightarrow S$ be a smooth projective surjective morphism, where $X$ and $S$ are integral schemes over complex numbers. Let L_0, L_1, .... L_{n-1}, L_{n} be line bundles over $X$. There is a natural isomorphism of the Deligne pairing $<L_{0},...,L_{n}>$ with the determinant line bundle ${\rm Det}(\otimes_{i=0}^{n} (L_i- {\mathcal O}_{X}))$.

preprint2011arXiv

Hecke transformation for orthogonal bundles and stability of Picard bundles

We define Hecke transformation for orthogonal bundles over a compact Riemann surface. Using the cycles on a moduli space of orthogonal bundles given by Hecke transformations, we prove that the projectivized Picard bundle on the moduli space is stable.

preprint2011arXiv

Hermitian-Einstein connections on polystable parabolic principal Higgs bundles

Given a smooth complex projective variety X and a smooth divisor D on X, we prove the existence of Hermitian-Einstein connections, with respect to a Poincaré-type metric on X - D, on polystable parabolic principal Higgs bundles with parabolic structure over D, satisfying certain conditions on its restriction to D.

preprint2011arXiv

Hermitian-Einstein connections on principal bundles over flat affine manifolds

Let $M$ be a compact connected special flat affine manifold without boundary equipped with a Gauduchon metric $g$ and a covariant constant volume form. Let $G$ be either a connected reductive complex linear algebraic group or the real locus of a split real form of a complex reductive group. We prove that a flat principal $G$-bundle $E_G$ over $M$ admits a Hermitian-Einstein structure if and only if $E_G$ is polystable. A polystable flat principal $G$--bundle over $M$ admits a unique Hermitian-Einstein connection. We also prove the existence and uniqueness of a Harder-Narasimhan filtration for flat vector bundles over $M$.

preprint2011arXiv

Holomorphic Cartan geometry on manifolds with numerically effective tangent bundle

Let X be a compact connected Kaehler manifold such that the holomorphic tangent bundle TX is numerically effective. A theorem of Demailly, Peternell and Schenider says that there is a finite unramified Galois covering M --> X, a complex torus T, and a holomorphic surjective submersion f: M --> T, such that the fibers of f are Fano manifolds with numerically effective tangent bundle. A conjecture of Campana and Peternell says that the fibers of f are rational and homogeneous. Assume that X admits a holomorphic Cartan geometry. We prove that the fibers of f are rational homogeneous varieties. We also prove that the holomorphic principal G-bundle over T given by f, where G is the group of all holomorphic automorphisms of a fiber, admits a flat holomorphic connection.

preprint2011arXiv

On a question of Sean Keel

We answer a question of Sean Keel in the affirmative in the case of ruled surfaces

preprint2011arXiv

On moduli spaces of Hitchin pairs

Let $X$ be a compact Riemann surface $X$ of genus at--least two. Fix a holomorphic line bundle $L$ over $X$. Let $\mathcal M$ be the moduli space of Hitchin pairs $(E ,ϕ\in H^0(End(E)\otimes L))$ over $X$ of rank $r$ and fixed determinant of degree $d$. We prove that, for some numerical conditions, $\mathcal M$ is irreducible, and that the isomorphism class of the variety $\mathcal M$ uniquely determines the isomorphism class of the Riemann surface $X$.

preprint2011arXiv

Orthogonal and Symplectic Parabolic Bundles

We investigate orthogonal and symplectic bundles with parabolic structure, over a curve.

preprint2011arXiv

Parabolic k-ample bundles

We construct projectivization of a parabolic vector bundle and a tautological line bundle over it. It is shown that a parabolic vector bundle is ample if and only if the tautological line bundle is ample. This allows us to generalize the notion of a k-ample bundle, introduced by Sommese, to the context of parabolic bundles. A parabolic vector bundle $E_*$ is defined to be k-ample if the tautological line bundle ${\mathcal O}_{{\mathbb P}(E_*)}(1)$ is $k$--ample. We establish some properties of parabolic k-ample bundles.

preprint2011arXiv

Poincare sheaves on the moduli spaces of torsionfree sheaves over an irreducible curve

Let $Y$ be a geometrically irreducible reduced projective curve defined over real numbers. Let $U_Y$ (respectively, $U'_Y$) be the moduli space of geometrically stable torsionfree sheaves (respectively, locally free sheaves) on $Y$ of rank $n$ and degree $d$. Define $χ\, =\, d+n(1-\text{genus}(Y))$, where $\text{genus}(Y)$ is the arithmetic genus. If $2n$ is coprime to $χ$, then there is a Poincare sheaf over $U_Y\times Y$. If $2n$ is not coprime to $χ$, then there is no Poincare sheaf over any nonempty open subset of $U'_Y$.

preprint2011arXiv

Principal bundles on compact complex manifolds with trivial tangent bundle

Let $G$ be a connected complex Lie group and $Γ\subset G$ a cocompact lattice. Let $H$ be a complex Lie group. We prove that a holomorphic principal $H$-bundle $E_H$ over $G/Γ$ admits a holomorphic connection if and only if $E_H$ is invariant. If $G$ is simply connected, we show that a holomorphic principal $H$-bundle $E_H$ over $G/Γ$ admits a flat holomorphic connection if and only if $E_H$ is homogeneous.

preprint2011arXiv

Rank one connections on abelian varieties

Let A be a complex abelian variety. The moduli space ${\mathcal M}_C$ of rank one algebraic connections on $A$ is a principal bundle over the dual abelian variety $A^\vee=\text{Pic}^0(A)$ for the group $H^0(A, Ω^1_A)$. Take any line bundle $L$ on $A^\vee$; let ${\mathcal C}(L)$ be the algebraic principal $H^0(A^\vee, Ω^1_{A^\vee})$-bundle over $A^\vee$ given by the sheaf of connections on $L$. The line bundle $L$ produces a homomorphism $H^0(A, Ω^1_A) \rightarrow H^0(A^\vee,\, Ω^1_{A^\vee})$. We prove that ${\mathcal C}(L)$ is isomorphic to the principal $H^0(A^\vee, Ω^1_{A^\vee})$-bundle obtained by extending the structure group of the principal $H^0(A,\, Ω^1_A)$-bundle ${\mathcal M}_C$ using this homomorphism given by $L$. We compute the ring of algebraic functions on ${\mathcal C}(L)$.

preprint2011arXiv

Semistability criterion for parabolic vector bundles on curves

We give a cohomological criterion for a parabolic vector bundle on a curve to be semistable. It says that a parabolic vector bundle $E$ with rational parabolic weights is semistable if and only if there is another parabolic vector bundle $F$ with rational parabolic weights such that the cohomologies of the vector bundle underlying the para- bolic tensor product $E \otimes F$ vanish. This criterion generalizes the known semistability criterion of Faltings for vector bundles on curves and significantly improves the result in [Bis07].

preprint2011arXiv

Semistability of invariant bundles over $G/Γ$

Let $G$ be a connected reductive affine algebraic group defined over $\mathbb C$, and let $Γ$ be a cocompact lattice in $G$. We prove that any invariant bundle on $G/Γ$ is semistable.

preprint2011arXiv

Three manifold groups, Kaehler groups and complex surfaces

Let $ 1 \rightarrow N \rightarrow G \rightarrow Q \rightarrow 1$ be an exact sequence of finitely presented groups where Q is infinite and not virtually cyclic, and is the fundamental group of some closed 3-manifold. If G is Kaehler, we show that Q is either the 3-dimensional Heisenberg group or the fundamental group of the Cartesian product of a closed oriented surface of positive genus and the circle. As a corollary, we obtain a new proof of a theorem of Dimca and Suciu by taking N to be the trivial group, If G is the fundamental group of a compact complex surface, we show that Q must be the fundamental group of a Seifert-fibered space and G the fundamental group of an elliptic fibration. We also give an example showing that the relation of quasi-isometry does not preserve Kaehler groups. This gives a negative answer to a question of Gromov which asks whether Kaehler groups can be characterized by their asymptotic geometry.

preprint2011arXiv

Vector bundles trivialized by proper morphisms and the fundamental group scheme, II

Let $X$ be a projective and smooth variety over an algebraically closed field $k$. Let $f:Y\rightarrow X$ be a proper and surjective morphism of $k$-varieties. Assuming that $f$ is separable, we prove that the Tannakian category associated to the vector bundles $E$ on $X$ such that $f^*E$ is trivial is equivalent to the category of representations of a finite and etale group scheme. We give a counterexample to this conclusion in the absence of separability.

preprint2011arXiv

Vortex equation and reflexive sheaves

It is known that given a stable holomorphic pair $(E ,ϕ)$, where $E$ is a holomorphic vector bundle on a compact Kähler manifold $X$ and $ϕ$ is a holomorphic section of $E$, the vector bundle $E$ admits a Hermitian metric solving the vortex equation. We generalize this to pairs $(\E ,ϕ)$, where $\E$ is a reflexive sheaf on $X$.

preprint2010arXiv

Brauer group of a moduli space of parabolic vector bundles over a curve

Let ${\mathcal P}{\mathcal M}^α_s$ be a moduli space of stable parabolic vector bundles of rank $n \geq 2$ and fixed determinant of degree $d$ over a compact connected Riemann surface $X$ of genus $g(X) \geq 2$. If $g(X) = 2$, then we assume that $n > 2$. Let $m$ denote the greatest common divisor of $d$, $n$ and the dimensions of all the successive quotients of the quasi-parabolic filtrations. We prove that the cohomological Brauer group ${\rm Br}({\mathcal P}{\mathcal M}^α_s)$ is isomorphic to the cyclic group ${\mathbb Z}/ m{\mathbb Z}$. We also show that ${\rm Br}({\mathcal P}{\mathcal M}^α_s)$ is generated by the Brauer class of the projective bundle over ${\mathcal P}{\mathcal M}^α_s$ obtained by restricting the universal projective bundle over $X\times {\mathcal P}{\mathcal M}^α_s$. We also prove that there is a universal vector bundle over $X\times {\mathcal P}{\mathcal M}^α_s$ if and only if $m=1$.

preprint2010arXiv

Brauer Group of Moduli Spaces of PGL(r)-Bundles over a curve

We compute the Brauer group of the moduli stack of stable PGL(r)-bundles on a curve $X$ over an algebraically closed field of characteristic zero. We also show that the Brauer group of such a moduli stack coincides with the Brauer group of the smooth locus of the corresponding coarse moduli space of stable PGL(r)-bundles on $X$.

preprint2010arXiv

Chen-Ruan cohomology of some moduli spaces, II

Let X be a compact connected Riemann surface of genus at least two. Let r be a prime number and ξa holomorphic line bundle on it such that r is not a divisor of degree(ξ). Let {\mathcal M}_ξ(r) denote the moduli space of stable vector bundles over X of rank r and determinant ξ. By Γwe will denote the group of line bundles L over X such that $L^{\otimes r}$ is trivial. This group Γacts on {\mathcal M}_ξ(r). We compute the Chen-Ruan cohomology of the corresponding orbifold.

preprint2010arXiv

Determinant line bundle on moduli space of parabolic bundles

In \cite{BR1}, \cite{BR2}, a parabolic determinant line bundle on a moduli space of stable parabolic bundles was constructed, along with a Hermitian structure on it. The construction of the Hermitian structure was indirect: The parabolic determinant line bundle was identified with the pullback of the determinant line bundle on a moduli space of usual vector bundles over a covering curve. The Hermitian structure on the parabolic determinant bundle was taken to be the pullback of the Quillen metric on the determinant line bundle on the moduli space of usual vector bundles. Here a direct construction of the Hermitian structure is given. For that we need to establish a version of the correspondence between the stable parabolic bundles and the Hermitian--Einstein connections in the context of conical metrics. Also, a recently obtained parabolic analog of Faltings' criterion of semistability plays a crucial role.

preprint2010arXiv

Einstein-Hermitian connection on twisted Higgs bundles

Let $X$ be a smooth projective variety over $\mathbb C$. We prove that a twisted Higgs vector bundle $(\calE\, ,θ)$ on $X$ admits an Einstein--Hermitian connection if and only if $(\calE\, ,θ)$ is polystable. A similar result for twisted vector bundles (no Higgs fields) was proved by S. Wang in \cite{Wa}. Our approach is simpler.

preprint2010arXiv

Holomorphic Cartan geometries, Calabi--Yau manifolds and rational curves

We prove that if a Calabi--Yau manifold $M$ admits a holomorphic Cartan geometry, then $M$ is covered by a complex torus. This is done by establishing the Bogomolov inequality for semistable sheaves on compact Kähler manifolds. We also classify all holomorphic Cartan geometries on rationally connected complex projective manifolds.

preprint2010arXiv

Morse theory for the space of Higgs G-bundles

Fix a $C^\infty$ principal $G$--bundle $E^0_G$ on a compact connected Riemann surface $X$, where $G$ is a connected complex reductive linear algebraic group. We consider the gradient flow of the Yang--Mills--Higgs functional on the cotangent bundle of the space of all smooth connections on $E^0_G$. We prove that this flow preserves the subset of Higgs $G$--bundles, and, furthermore, the flow emanating from any point of this subset has a limit. Given a Higgs $G$--bundle, we identify the limit point of the integral curve passing through it. These generalize the results of the second named author on Higgs vector bundles.

preprint2010arXiv

On the algebraic holonomy of stable principal bundles

Apart from math.AG/0608569, it contains the following applications of it. Let M be a simply connected, irreducible smooth complex projective variety of dimension $n$ such that the Picard number of $M$ is one. If the canonical line bundle $K_M$ is ample, then the algebraic holonomy of $TM$ is $\text{GL}(n, {\mathbb C})$. If $K^{-1}_M$ is ample, $\text{rank}(\text{NS}(M)) = 1$, the biholomorphic automorphism group of $M$ is finite, and $M$ admits a Kähler--Einstein metric, then the algebraic holonomy of $TM$ is ${\rm GL}(n, {\mathbb C})$.

preprint2010arXiv

Poincaré families of G-bundles on a curve

Let G be a reductive group over an algebraically closed field k. Consider the moduli space of stable principal G-bundles on a smooth projective curve C over k. We give necessary and sufficient conditions for the existence of Poincaré bundles over open subsets of this moduli space, and compute the orders of the corresponding obstruction classes. This generalizes the previous results of Newstead, Ramanan and Balaji-Biswas-Nagaraj-Newstead to all reductive groups, to all topological types of bundles, and also to all characteristics.

preprint2010arXiv

Principal bundles over finite fields

Let M be an irreducible smooth projective variety defined over \bar{{\mathbb F}_p}. Let π(M, x_0) be the fundamental group scheme of M with respect to a base point x_0. Let G be a connected semisimple linear algebraic group over \bar{{\mathbb F}_p}. Fix a parabolic subgroup P \subsetneq G, and also fix a strictly anti-dominant character χof P. Let E_G \to M be a principal G-bundle such that the associated line bundle E_G(χ) \to E_G/P is numerically effective. We prove that E_G is given by a homomorphism π(M, x_0)\to G. As a consequence, there is no principal G-bundle E_G \to M such that degree(ϕ^*E_G(χ)) > 0 for every pair (Y ,ϕ), where Y is an irreducible smooth projective curve, and ϕ: Y\to E_G/P is a nonconstant morphism.

preprint2010arXiv

Stable Higgs bundles on compact Gauduchon manifolds

Let $M$ be a compact complex manifold equipped with a Gauduchon metric. If $TM$ is holomorphically trivial, and (V, θ) is a stable SL(r,{\mathbb C})-Higgs bundle on $M$, then we show that $θ= 0$. We show that the correspondence between Higgs bundles and representations of the fundamental group for a compact Kaehler manifold does not extend to compact Gauduchon manifolds. This is done by applying the above result to G/Γ, where $Γ$ is a discrete torsionfree cocompact subgroup of a complex semisimple group $G$.

preprint2010arXiv

Universal vector bundle over the reals

Let X_R be a geometrically irreducible smooth projective curve, defined over R, such that X_R does not have any real points. Let X= X_R\times_R C be the complex curve. We show that there is a universal real algebraic line bundle over X_R x Pic^d(X_R)$ if and only if $χ(L)$ is odd for L in Pic^d(X_R)$. There is a universal quaternionic algebraic line bundle over X x Pic^d(X) if and only if the degree d is odd. Take integers r and d such that r > 1, and d is coprime to r. Let M_{X_R}(r,d) (respectively, M_X(r,d)$) be the moduli space of stable vector bundles over X_R (respectively, X) of rank r and degree d. We prove that there is a universal real algebraic vector bundle over X_R x M_{X_R}(r,d) if and only if χ(E) is odd for E in M_{X_R}(r,d). There is a universal quaternionic vector bundle over X x M_X(r,d) if and only if the degree d is odd. The cases where X_R is geometrically reducible or X_R has real points are also investigated.

preprint2009arXiv

On semistable principal bundles over a complex projective manifold, II

Let (X, ω) be a compact connected Kaehler manifold of complex dimension d and E_G a holomorphic principal G-bundle on X, where G is a connected reductive linear algebraic group defined over C. Let Z (G) denote the center of G. We prove that the following three statements are equivalent: (1) There is a parabolic subgroup P of G and a holomorphic reduction of the structure group of E_G to P (say, E_P) such that the bundle obtained by extending the structure group of E_P to L(P)/Z(G) (where L(P) is the Levi quotient of P) admits a flat connection; (2) The adjoint vector bundle ad(E_G) is numerically flat; (3) The principal G-bundle E_G is pseudostable, and the degree of the charateristic class c_2(ad(E_G) is zero.

preprint2008arXiv

Holomorphic Cartan geometries and Calabi--Yau manifolds

We prove that the only Calabi--Yau projective manifolds which bear holomorphic Cartan geometries are precisely the abelian varieties. (Nous démontrons que les seules variétés projectives de Calabi--Yau qui possèdent des géométrie holomorphes de Cartan sont les variétés abéliennes.)

preprint2008arXiv

Torelli theorem for the Deligne--Hitchin moduli space

Fix integers $g\geq 3$ and $r\geq 2$, with $r\geq 3$ if $g=3$. Given a compact connected Riemann surface $X$ of genus $g$, let $\MDH(X)$ denote the corresponding $\text{SL}(r, {\mathbb C})$ Deligne--Hitchin moduli space. We prove that the complex analytic space $\MDH(X)$ determines (up to an isomorphism) the unordered pair $\{X, \overline{X}\}$, where $\overline{X}$ is the Riemann surface defined by the opposite almost complex structure on $X$.

preprint2008arXiv

Torelli theorem for the moduli space of framed bundles

Let X be an irreducible smooth complex projective curve of genus g>2, and let x be a fixed point. A framed bundle is a pair (E,ϕ), where E is a vector bundle over X, of rank r and degree d, and ϕ:E_x\to C^r is a non-zero homomorphism. There is a notion of (semi)stability for framed bundles depending on a parameter τ>0, which gives rise to the moduli space of τ-semistable framed bundles M^τ. We prove a Torelli theorem for M^τ, for τ>0 small enough, meaning, the isomorphism class of the one-pointed curve (X,x), and also the integer r, are uniquely determined by the isomorphism class of the variety M^τ.

preprint1999arXiv

Thurston boundary of Teichmüller spaces and the commensurability modular group

If $p : Y \to X$ is an unramified covering map between two compact oriented surfaces of genus at least two, then it is proved that the embedding map, corresponding to $p$, from the Teichmüller space ${\cal T}(X)$, for $X$, to ${\cal T}(Y)$ actually extends to an embedding between the Thurston compactification of the two Teichmüller spaces. Using this result, an inductive limit of Thurston compactified Teichmüller spaces has been constructed, where the index for the inductive limit runs over all possible finite unramified coverings of a fixed compact oriented surface of genus at least two. This inductive limit contains the inductive limit of Teichmüller spaces, constructed in \cite{BNS}, as a subset. The universal commensurability modular group, which was constructed in \cite{BNS}, has a natural action on the inductive limit of Teichmüller spaces. It is proved here that this action of the universal commensurability modular group extends continuously to the inductive limit of Thurston compactified Teichmüller spaces.

preprint1996arXiv

Weil-Petersson geometry and determinant bundles on inductive limits of moduli spaces

In an earlier paper [Acta Mathematica, v. 176, 1996, 145-169, alg-geom/9505024 ] the present authors and Dennis Sullivan constructed the universal direct system of the classical Teichmüller spaces of Riemann surfaces of varying genus. The direct limit, which we called the universal commensurability Teichmüller space, $T_{infty}$, was shown to carry on it a natural action of the universal commensurability mapping class group, $MC_{\infty}$. In this paper we identify an interesting cofinal sub-system corresponding to the tower of finite-sheeted characteristic coverings over any fixed base surface. Utilizing a certain subgroup inside $MC_{\infty}$, (associated intimately to the inverse system of characteristic coverings), we can now descend to an inductive system of moduli spaces, and construct the direct limit ind-variety $M_{\infty}$. Invoking curvature properties of Quillen metrics on determinant bundles, and naturality under finite coverings of Weil-Petersson forms, we are able to construct on $M_{\infty}$ the natural sequence of determinant of cohomology line bundles, as well as the Mumford isomorphisms connecting these.

Indranil Biswas

What is connected

Connect this record

See the researcher in context

Building this map preview

186 published item(s)

Parabolic vector bundles and Lie algebroid connections

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

Connections and genuinely ramified maps of curves

Degenerations of Bundle Moduli

Branched SL(r,C)-opers

Deformation Theory of Holomorphic Cartan Geometries, II

Genuinely ramified maps and stability of pulled-back parabolic bundles

Genuinely ramified maps and stable vector bundles

Homotopy type of the nilpotent orbits in classical Lie algebras

Infinitesimal deformations of parabolic connections and parabolic opers

On Lie's classification of subalgebras of vector fields on the plane

Seshadri constants on Bott towers

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

The second cohomology groups of nilpotent orbits in classical Lie algebras

Branes and moduli spaces of Higgs bundles on smooth projective varieties

Higgs bundles and flat connections over compact Sasakian manifolds

On vector bundles over moduli spaces trivial on Hecke curves

One-relator Sasakian groups

Ramified covering maps and stability of pulled back bundles

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

Uniformization of branched surfaces and Higgs bundles

A constructive method for decomposing real representations

Abel-Jacobi map and curvature of the pulled back metric

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

Deformation theory of holomorphic Cartan geometries

Etale triviality of finite vector bundles over compact complex manifolds

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

Fujiki class $\mathcal C$ and holomorphic geometric structures

Generalized B-Opers

Holomorphic bundles trivializable by proper surjective holomorphic map

Holomorphic GL(2)-geometry on compact complex manifolds

Irreducible flat SL(2,R)-connections on the trivial holomorphic bundle

Poisson structure on character varieties

Positivity of vector bundles on homogeneous varieties

Projective structures on Riemann surface and natural differential operators

Rationally elliptic toric varieties

Semi-orthogonal decomposition of symmetric products of curves and canonical system

Logarithmic Cartan geometry on complex manifolds

Real holomorphic sections of the Deligne-Hitchin twistor space

Logarithmic connections on principal bundles over a Riemann surface

A criterion for a degree-one holomorphic map to be a biholomorphism

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

Abelianization of the F-divided fundamental group scheme

An almost complex Castelnuovo de Franchis theorem

Automorphisms of ${\mathbb C}^*$ Moduli Spaces Associated to a Riemann Surface

Automorphisms of the generalized quot schemes

Equality of the algebraic and geometric ranks of Cartan subalgebras and applications to linearization of a system of ordinary differential equations

Equivariant bundles and connections

Fourier-Mukai transform of vector bundles on surfaces to Hilbert scheme

Hermitian symmetric space, flat bundle and holomorphicity criterion

Higgs bundles on Sasakian manifolds

Hodge locus and Brill-Noether type locus

Holomorphic affine connections on non-Kähler manifolds

Homogeneous holomorphic hermitian principal bundles over hermitian symmetric spaces

Homotopic properties of Kähler orbifolds

Involutions of the moduli spaces of $G$-Higgs bundles over elliptic curves

Isomonodromic deformations of irregular connections and stability of bundles

M-curves and symmetric products

On connections on principal bundles

On the Kaehler metrics over ${mathrm{Sym}^{d}(X)$

On the symplectic structure over a moduli space of orbifold projective structures

The Weil-Petersson current for moduli of vector bundles and applications to orbifolds

Vector bundles over a real elliptic curve

A classification of equivariant principal bundles over nonsingular toric varieties

A splitting theorem for good complexifications

A symplectic analog of the Quot scheme

Anti-holomorphic involutions of the moduli spaces of Higgs bundles

Automorphisms of $\overline{T}$

Automorphisms of a symmetric product of a curve

Bohr--Sommerfeld Lagrangians of moduli spaces of Higgs bundles

Brauer Groups of Quot Schemes

Deligne pairing and Quillen metric

Diagonal property of the symmetric product of a smooth curve

Equivariant principal bundles and logarithmic connections on toric varieties