No Arabic abstract
We define a suitably tame class of singular symplectic curves in 4-manifolds, namely those whose singularities are modeled on complex curve singularities. We study the corresponding symplectic isotopy problem, with a focus on rational curves with irreducible singularities (rational cuspidal curves) in the complex projective plane. We prove that every such curve is isotopic to a complex curve in degrees up to 5, and for curves with one singularity whose link is a torus knot. Classification results of symplectic isotopy classes rely on pseudo-holomorphic curves together with a symplectic version of birational geometry of log pairs and techniques from 4-dimensional topology.
We classify rational cuspidal curves of degrees 6 and 7 in the complex projective plane, up to symplectic isotopy. The proof uses topological tools, pseudoholomorphic techniques, and birational transformations.
We study possible configurations of singular points occuring on general algebraic curves in $mathbb{C}P^2$ via Floer theory. To achieve this, we describe a general formula for the $H_{1}$-action on the knot Floer complex of the knotification of a link in $S^3$, in terms of natural actions on the link Floer complex of the original link. This result may be interest on its own.
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.
We give characterizations of a finite group $G$ acting symplectically on a rational surface ($mathbb{C}P^2$ blown up at two or more points). In particular, we obtain a symplectic version of the dichotomy of $G$-conic bundles versus $G$-del Pezzo surfaces for the corresponding $G$-rational surfaces, analogous to a classical result in algebraic geometry. Besides the characterizations of the group $G$ (which is completely determined for the case of $mathbb{C}P^2# Noverline{mathbb{C}P^2}$, $N=2,3,4$), we also investigate the equivariant symplectic minimality and equivariant symplectic cone of a given $G$-rational surface.
For a positive integer $N$, let $mathscr{C}_N(mathbb{Q})$ be the rational cuspidal subgroup of $J_0(N)$ and $mathscr{C}(N)$ be the rational cuspidal divisor class group of $X_0(N)$, which are both subgroups of the rational torsion subgroup of $J_0(N)$. We prove that two groups $mathscr{C}_N(mathbb{Q})$ and $mathscr{C}(N)$ are equal when $N=p^2M$ for any prime $p$ and any squarefree integer $M$. To achieve this we show that all modular units on $X_0(N)$ can be written as products of certain functions $F_{m, h}$, which are constructed from generalized Dedekind eta functions. Also, we determine the necessary and sufficient conditions for such products to be modular units on $X_0(N)$ under a mild assumption.