Related papers: Tautological characteristic classes II: the Witt c…

After a short exposition of the basic properties of the tautological ring of the moduli space of genus g Deligne-Mumford stable curves with n markings, we explain three methods of detecting non-tautological classes in cohomology. The first…

In a previous paper [CG], we showed how one could generalize Taylor-Wiles modularity lifting theorems [Wil95, TW95] to contexts beyond those in which the automorphic forms in question arose from the middle degree cohomology of Shimura…

We prove geometric and cohomological stabilization results for the universal smooth degree $d$ hypersurface section of a fixed smooth projective variety as $d$ goes to infinity. We show that relative configuration spaces of the universal…

Let $\Gamma$ be a finite-index subgroup of the mapping class group of a closed genus $g$ surface that contains the Torelli group. For instance, $\Gamma$ can be the level $L$ subgroup or the spin mapping class group. We show that…

We prove the vanishing of a certain characteristic class of flat vector bundles when the structure groups of the bundles are contained in GL(N,Z). We do so by explicitly writing the characteristic class as an exact form on the base of the…

We study relations among characteristic classes of smooth manifold bundles with highly-connected fibers. For bundles with fiber the connected sum of $g$ copies of a product of spheres $S^d \times S^d$ and an odd $d$, we find numerous…

In this paper, we discuss the cycle theory on moduli spaces $\cF_h$ of $h$-polarized hyperk\"ahler manifolds. Firstly, we construct the tautological ring on $\cF_h$ following the work of Marian, Oprea and Pandharipande on the tautological…

For any infinite-type surface $S$, a natural question is whether the homology of its mapping class group contains any non-trivial classes that are supported on (i) a compact subsurface or (ii) a finite-type subsurface. Our purpose here is…

The odd character variety of a Riemann surface is a moduli space of SO(3) representations of the fundamental group which can be interpreted as the moduli space of stable holomorphic rank 2 bundles of odd degree and fixed determinant. This…

As for the theory of maximal representations, we introduce the volume of a Zimmer's cocycle $\Gamma \times X \rightarrow \mbox{PO}^\circ(n, 1)$, where $\Gamma$ is a torsion-free (non-)uniform lattice in $\mbox{PO}^\circ(n, 1)$, with $n \geq…

We study the moduli space of congruence classes of isometric surfaces with the same mean curvature in 4-dimensional space forms. Having the same mean curvature means that there exists a parallel vector bundle isometry between the normal…

We extend the Siu--Beauville theorem to a certain class of compact Kaehler--Weyl manifolds, proving that they fiber holomorphically over hyperbolic Riemannian surfaces whenever they satisfy the necessary topological hypotheses. As…

In this paper, we study an analogue of the Tate conjecture for $K_2$ of U, the complement of split multiplicative fibers in an elliptic surface. A main result is to give an upper bound of the rank of the Galois fixed part of the etale…

The local $SL(2N,C)$ symmetry is shown to provide, when appropriately constrained, a viable framework for a consistent unification of the known elementary forces, including gravity. Such a covariant constraint implies that an actual gauge…

We give a constructive proof of the Hodge conjecture for complex $K3$ surfaces that does not rely on Torelli-type results. Starting with an arbitrary rational $(1,1)$-class $\alpha\in H^{1,1}(X,\mathbb{Q})$, we algorithmically build a…

Let $T$ be a maximal torus of a semisimple complex algebraic group, $\mathrm{BS}(s)$ be the Bott-Samelson variety for a sequence of simple reflections $s$ and $\mathrm{BS}(s)^T$ be the set of $T$-fixed points of $\mathrm{BS}(s)$. We prove…

We first give a relative flexible process to construct torsion cohomology classes for Shimura varieties of Kottwitz-Harris-Taylor type with coefficient in a non too regular local system. We then prove that associated to each torsion…

We prove the vanishing modulo torsion of the higher direct images of the sheaf of Witt vectors (and the Witt canonical sheaf) for a purely inseparable projective alteration between normal finite quotients over a perfect field. For this, we…

We prove that group homology of the diffeomorphism group of $\#^g S^n \times S^n$ as a discrete group is independent of $g$ in a range, provided that $n>2$. This answers the high dimensional version of a question posed by Morita about…

In this paper, we show that the (admissible) character stack, which is a stack version of the character variety, is an open substack of the Teichm\"uller stack of homogeneous spaces of SL(2,C). We show that the tautological family over the…