Subscribe to the gold package and get unlimited access to Shamra Academy
Register a new userThe Nielsen realization problem for K3 surfaces
120
0
0.0
(
0
)
Ask ChatGPT about the research
No Arabic abstract
The smooth (resp. metric and complex) Nielsen Realization Problem for K3 surfaces $M$ asks: when can a finite group $G$ of mapping classes of $M$ be realized by a finite group of diffeomorphisms (resp. isometries of a Ricci-flat metric, or automorphisms of a complex structure)? We solve the metric and compl
rate research
Read More
The Nielsen Realization problem asks when the group homomorphism from Diff(M) to pi_0 Diff(M) admits a section. For M a closed surface, Kerckhoff proved that a section exists over any finite subgroup, but Morita proved that if the genus is large enough then no section exists over the entire mapping class group. We prove the first nonexistence theorem of this type in dimension 4: if M is a smooth closed oriented 4-manifold which contains a K3 surface as a connected summand then no section exists over the whole of the mapping class group. This is done by showing that certain obstructions lying in the rational cohomology of B(pi_0 Diff(M)) are nonzero. We detect these classes by showing that they are nonzero when pulled back to the moduli space of Einstein metrics on a K3 surface.
Dilation surfaces, or twisted quadratic differentials, are variants of translation surfaces. In this paper, we study the question of what elements or subgroups of the mapping class group can be realized as affine automorphisms of dilation surfaces. We show that dilation surfaces can have exotic Dehn twists in their affine automorphism groups and will establish that only certain types of mapping class group elements can arise as affine automorphisms of dilation surfaces. We also generalize a construction of Thurston that constructs a translation surface from a pair of filling multicurves to dilation surfaces. This construction will give us dilation surfaces that realize a pair of Dehn multitwists in their affine automorphism groups.
A Riemann surface $X$ is said to be of emph{parabolic type} if it supports a Greens function. Equivalently, the geodesic flow on the unit tangent of $X$ is ergodic. Given a Riemann surface $X$ of arbitrary topological type and a hyperbolic pants decomposition of $X$ we obtain sufficient conditions for parabolicity of $X$ in terms of the Fenchel-Nielsen parameters of the decomposition. In particular, we initiate the study of the effect of twist parameters on parabolicity. A key ingredient in our work is the notion of textit{non standard half-collar} about a hyperbolic geodesic. We show that the modulus of such a half-collar is much larger than the modulus of a standard half-collar as the hyperbolic length of the core geodesic tends to infinity. Moreover, the modulus of the annulus obtained by gluing two non standard half-collars depends on the twist parameter, unlike in the case of standard collars. Our results are sharp in many cases. For instance, for zero-twist flute surfaces as well as half-twist flute surfaces with concave sequences of lengths our results provide a complete characterization of parabolicity in terms of the length parameters. It follows that parabolicity is equivalent to completeness in these cases. Applications to other topological types such as surfaces with infinite genus and one end (a.k.a. the infinite Loch-Ness monster), the ladder surface, Abelian covers of compact surfaces are also studied.
Let $k$ be a number field. We give an explicit bound, depending only on $[k:mathbf{Q}]$ and the discriminant of the N{e}ron--Severi lattice, on the size of the Brauer group of a K3 surface $X/k$ that is geometrically isomorphic to the Kummer surface attached to a product of isogenous CM elliptic curves. As an application, we show that the Brauer--Manin set for such a variety is effectively computable. Conditional on the Generalised Riemann Hypothesis, we also give an explicit bound, depending only on $[k:mathbf{Q}]$, on the size of the Brauer group of a K3 surface $X/k$ that is geometrically isomorphic to the Kummer surface attached to a product of CM elliptic curves. In addition, we show how to obtain a bound, depending only on $[k:mathbf{Q}]$, on the number of $mathbf{C}$-isomorphism classes of singular K3 surfaces defined over $k$, thus proving an effective version of the strong Shafarevich conjecture for singular K3 surfaces.
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.
Log in to be able to interact and post comments
comments
Fetching comments
Sign in to be able to follow your search criteria
