Related papers: The universal surface bundle over the Torelli spac…

Suppose that $B$ is a $G$-Banach algebra over $\mathbb{F} = \mathbb{R}$ or $\mathbb{C}$, $X$ is a finite dimensional compact metric space, $\zeta : P \to X$ is a standard principal $G$-bundle, and $A_\zeta = \Gamma (X, P \times_G B)$ is the…

Studying coverings over algebraic varieties is an effective method in algebraic geometry. By combining the technique of triple cover from Miranda and Tan, we proved that if the degree of the branch divisor of a normal triple cover over…

We compute the Szeg\"o kernels of the unit circle bundles of homogeneous negative line bundles over a compact Hermitian symmetric space. We prove that their logarithmic terms vanish in all cases and, further, that the circle bundles are not…

We consider the parameter space $\mathcal U_d$ of smooth plane curves of degree $d$. The universal smooth plane curve of degree $d$ is a fiber bundle $\mathcal E_d\to\mathcal U_d$ with fiber diffeomorphic to a surface $\Sigma_g$. This…

This is the first part of a two-part work on a unified mathematical theory of gapped and gapless edges of 2d topological orders. We analyze all the possible observables on the 1+1D world sheet of a chiral gapless edge of a 2d topological…

In this paper we study the Oort conjecture on Shimura subvarieties contained generically in the Torelli locus in the Siegel modular variety $\mathcal{A}_g$. Using the poly-stability of Higgs bundles on curves and the slope inequality of…

In this paper, we disprove the long-standing conjecture that any complete geometric graph on $2n$ vertices can be partitioned into $n$ plane spanning trees. Our construction is based on so-called bumpy wheel sets. We fully characterize…

Let Q be a finite quiver without oriented cycles. Denote by U --> M the fine moduli space of stable thin sincere representations of Q with respect to the canonical stability notion. We prove Ext^i(U,U) = 0 for all i >0 and compute the…

We compute the homotopy type of the moduli space of flat, unitary connections over aspherical surfaces, after stabilizing with respect to the rank of the underlying bundle. Over the orientable surface M^g, we show that this space has the…

Using global considerations, Mess proved that the moduli space of globally hyperbolic flat Lorentzian structures on $S\times\mathbb{R}$ is the tangent bundle of the Teichm\"uller space of $S$, if $S$ is a closed surface. One of the goals of…

In this article, we study the space of subgroups of generalized Baumslag-Solitar groups (GBS groups), that is, groups acting cocompactly on an oriented tree without inversion and with infinite cyclic vertex and edge stabilizers. Our results…

Let $S$ be a closed surface of genus at least $2$. For each maximal representation $\rho: \pi_1(S)\rightarrow\mathsf{Sp}(4,\mathbb{R})$ in one of the $2g-3$ exceptional connected components, we prove there is a unique conformal structure on…

We use the cohomological interpretation of anti-holomorphic derivatives of the isomonodromic deformation of a Higgs bundle, as established in our previous work \cite{HSZ}, to provide a short new proof of the non-existence of holomorphic…

Oort has conjectured that there do not exist Shimura curves contained generically in the Torelli locus of genus-$g$ curves when $g$ is large enough. In this paper we prove the Oort conjecture for Shimura curves of Mumford type and Shimura…

Let $\Mg$ denote the moduli space of compact Riemann surfaces of genus $g$. Mumford had proved that, for each fixed genus $g$, there are isomorphisms asserting that certain higher $DET$ bundles over $\Mg$ are certain fixed…

We show that tautological integrals on Hilbert schemes of points can be written in terms of universal polynomials in Chern numbers. The results hold in all dimensions, though they strengthen known results even for surfaces by allowing…

A bundle with base $B$ and fibre $F$ aspherical closed surfaces has a section if and only if the action $:\pi_1(B)\to{Out}(\pi_1(F))$ factors through $Aut(\pi_1(F))$ and a cohomology class is 0. We simplify and make more explicit the latter…

On a smooth $n$-manifold $M$ with $n \geq 3$, we study pairs $(g,T)$ consisting of a Riemannian metric $g$ and a unit length closed vector field $T$. Motivated by how Ricci solitons generalize Einstein metrics via a distinguished vector…

The Torelli group of $W_g = \#^g S^n \times S^n$ is the subgroup of the diffeomorphisms of $W_g$ fixing a disc which act trivially on $H_n(W_g;Z)$. The rational cohomology groups of the Torelli group are representations of an arithmetic…

Let M be an irreducible smooth projective variety defined over \bar{{\mathbb F}_p}. Let \pi(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…