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.
math.DG↗
arXiv subjects
Indranil Biswas
Publications and source records attributed to Indranil Biswas.
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$.
math.AG↗
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.
math.AG↗
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.
math.AG↗
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.
math.DG↗
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.
math.GT↗
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.
math.GT↗
Character varieties of virtually nilpotent Kähler groups and G-Higgs bundles
Let G be a connected complex reductive affine algebraic group, and let K be a maximal compact subgroup. Let X be a compact connected Kähler manifold whose fundamental group Gamma is virtually nilpotent. We prove that the character variety Hom(Gamma, G)/G admits a natural strong deformation retraction to the subset Hom(Gamma, K)/K. The natural action of C^* on the moduli space of G-Higgs bundles over X extends to an action of C. This produces the deformation retraction.
math.AG↗
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.
math.AG↗
Semidirect products and invariant connections
Let $S$ be a complex reductive group acting holomorphically on a complex Lie group $N$ via holomorphic automorphisms. Let $K(S)\subset S$ be a maximal compact subgroup. The semidirect product $G := N\rtimes K(S)$ acts on $N$ via biholomorphisms. We give an explicit description of the isomorphism classes of $G$-equivariant almost holomorphic hermitian principal bundles on $N$. Under the assumption that there is a central subgroup $Z= \text{U}(1)$ of $K(S)$ that acts on $\text{Lie}(N)$ as multiplication through a single nontrivial character, we give an explicit description of the isomorphism classes of $G$-equivariant holomorphic hermitian principal bundles on $N$.
math.DG↗
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.
math.CV↗
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.
math.DG↗
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).
math.AG↗
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.
math.AG↗
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.
math.AG↗
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.
math.AG↗
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.
math.AG↗
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.
math-ph↗