No Arabic abstract
We study the local invariants that a meromorphic $k$-differential on a Riemann surface of genus $ggeq0$ can have. These local invariants are the orders of zeros and poles, and the $k$-residues at the poles. We show that for a given pattern of orders of zeroes, there exists, up to a few exceptions, a primitive $k$-differential having these orders of zero. The same is true for meromorphic $k$-differentials and in this case, we describe the tuples of complex numbers that can appear as $k$-residues at their poles. For genus $ggeq2$, it turns out that every expected tuple appears as $k$-residues. On the other hand, some expected tuples are not the $k$-residues of a $k$-differential in some remaining strata. This happens in the quadratic case in genus $1$ and in genus zero for every $k$. We also give consequences of these results in algebraic and flat geometry.
The Hurwitz problem asks which ramification data are realizable, that is appear as the ramification type of a covering. We use dessins denfant to show that families of genus 1 regular ramification data with small changes are realizable with the exception of four families which were recently shown to be nonrealizable. A similar description holds in the case of genus 0 ramification data.
Given a Heegaard splitting of a three-manifold Y, we consider the SL(2,C) character variety of the Heegaard surface, and two complex Lagrangians associated to the handlebodies. We focus on the smooth open subset corresponding to irreducible representations. On that subset, the intersection of the Lagrangians is an oriented d-critical locus in the sense of Joyce. Bussi associates to such an intersection a perverse sheaf of vanishing cycles. We prove that in our setting, the perverse sheaf is an invariant of Y, i.e., it is independent of the Heegaard splitting. The hypercohomology of this sheaf can be viewed as a model for (the dual of) SL(2,C) instanton Floer homology. We also present a framed version of this construction, which takes into account reducible representations. We give explicit computations for lens spaces and Brieskorn spheres, and discuss the connection to the Kapustin-Witten equations and Khovanov homology.
A $k$-differential on a Riemann surface is a section of the $k$-th power of the canonical bundle. Loci of $k$-differentials with prescribed number and multiplicities of zeros and poles form a natural stratification for the moduli space of $k$-differentials. The classification of connected components of the strata of $k$-differentials was known for holomorphic differentials, meromorphic differentials and quadratic differentials with at worst simple poles by Kontsevich--Zorich, Boissy and Lanneau, respectively. Built on their work we develop new techniques to study connected components of the strata of $k$-differentials for general $k$. As an application, we give a complete classification of connected components of the strata of quadratic differentials with arbitrary poles. Moreover, we distinguish certain components of the strata of $k$-differentials by generalizing the hyperelliptic structure and spin parity for higher $k$. We also describe an approach to determine explicitly parities of $k$-differentials in genus zero and one, which inspires an amusing conjecture in number theory. A key viewpoint we use is the notion of multi-scale $k$-differentials introduced by Bainbridge--Chen--Gendron--Grushevsky--Moller for $k = 1$ and extended by Costantini--Moller--Zachhuber for all $k$.
In the framework of semiclassical resonances, we make more precise the link between polynomial estimates of the extension of the resolvent and propagation of the singularities through the trapped set. This approach makes it possible to eliminate infinity and to concentrate the study near the trapped set. It has allowed us in previous papers to obtain the asymptotic of resonances in various geometric situations.
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 $H_2(Gamma;Q) cong Q$ for $g geq 5$. A corollary of this is that the rational Picard groups of the associated finite covers of the moduli space of curves are equal to $Q$. We also prove analogous results for surface with punctures and boundary components.