Searcharxiv⌕ Search

arXiv subjects

Indranil Biswas

Publications and source records attributed to Indranil Biswas.

At least 343 records · Page 19Linked to original sources

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↗

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.

math.GT↗