Related papers: The universal surface bundle over the Torelli spac…
The classifying space BDiff$(S_{g,n})$ of the orientation-preserving diffeomorphism group of the surface $S_{g,n}$ of genus $g>1$ with $n$ ordered marked points has a universal bundle \[ S_g \to…
This paper answers a basic question about the Birman exact sequence in the theory of mapping class groups. We prove that the Birman exact sequence does not admit a section over any subgroup $\Gamma$ contained in the Torelli group with…
In this paper, we study the obstruction for the sections of the universal hyperelliptic curves of genus $g\geq 3$. The obstruction of our interest comes from the relative completion of the hyperelliptic mapping class groups and the Lie…
For each circle bundle $S^1\to X\to\Sigma_g$ over a surface with genus $g\ge2$, there is a natural surjection $\pi:Homeo^+(X)\to Mod(\Sigma_g)$. When $X$ is the unit tangent bundle $U\Sigma_g$, it is well-known that $\pi$ splits. On the…
Let $G$ be $Sl_n, Sp(2n)$ or SO(2n). We consider the moduli space $M$ of semistable principal $G$-bundles over a curve $X$. Our main result is that if $U$ is a Zariski open subset of $M$ then there is no universal bundle on $U\times X$.
The article proves the Infinitesimal Torelli theorem for surfaces subject to the following conditions: 1) the canonical bundle of a surface is ample and generated by its global sections, 2)the geometric genus $p_g \geq 4$, 3) the…
Let $G$ be a simple simply-connected connected linear algebraic group over $\mathbb{C}$. We proved a $2$-birational Torelli theorem for the moduli space of semistable principal $G$-bundles over a smooth curve of genus $\geq 3$, which says…
Over any field of characteristic $0$, we prove that the homotopy exact sequence of algebraic fundamental groups for the universal curve with unordered marked points does not split. The same nonsplitting holds for the universal hyperelliptic…
We prove that for any finite index subgroup of the mapping class group containing the Johnson subgroup, the profinite Birman exact sequence does not split in genus $g\ge 3$, extending prior results of Hain and the second author for $g\ge…
We prove the infinitesimal Torelli theorem for general minimal complex surfaces X's with the first Chern number 3, the geometric genus 1, and the irregularity 0 which have non-trivial 3-torsion divisors. We also show that the coarse moduli…
For each pair of integers g at least 2 and h at least 1, we explicitly construct infinitely many fiber sum and section sum indecomposable genus g surface bundles over genus h surfaces whose total spaces are pairwise homotopy inequivalent.
The main problem addressed in the paper is the Torelli problem for n-dimensional varieties of general type, more specifically for varieties with ample canonical bundle. It asks under which geometrical condition for a variety the period map…
Let D = {D_{1},...,D_{l}} be an arrangement of smooth hypersurfaces with normal crossings on the complex projective space P^n and let \Omega^{1}_{P^n}(log D) be the logarithmic bundle attached to it. Following [1], we show that…
In order to obtain existence criteria for orthogonal instanton bundles on $\mathbb{P}^n$, we provide a bijection between equivalence classes of orthogonal instanton bundles with no global sections and symmetric forms. Using such…
Given two semistable, non potentially isotrivial elliptic surfaces over a curve $C$ defined over a field of characteristic zero or finitely generated over its prime field, we show that any compatible family of effective isometries of the…
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,\phi), where E is a vector bundle over X, of rank r and degree d, and \phi:E_x\to C^r is a non-zero homomorphism.…
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…
If $M$ is a compact 3-manifold whose first betti number is 1, and $N$ is a compact 3-manifold such that $\pi_1N$ and $\pi_1M$ have the same finite quotients, then $M$ fibres over the circle if and only if $N$ does. We prove that groups of…
We prove that, for any infinite-type surface $S$, the integral homology of the closure of the compactly-supported mapping class group $\overline{\mathrm{PMap}_c(S)}$ and of the Torelli group $\mathcal{T}(S)$ is uncountable in every positive…
Let $X$ be a smooth compact complex surface subject to the following conditions: (i) the canonical line bundle $\mathcal{O}_X(K_X) $ is very ample, (ii) the irregularity $q(X): = h^1(\mathcal{O}_X) =0$, (iii) $X$ contains no rational normal…