ترغب بنشر مسار تعليمي؟ اضغط هنا

The diffeomorphism group of a K3 surface and Nielsen realization

250   0   0.0 ( 0 )
 نشر من قبل Jeffrey Giansiracusa
 تاريخ النشر 2017
  مجال البحث
والبحث باللغة English




اسأل ChatGPT حول البحث

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.



قيم البحث

اقرأ أيضاً

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 automorphi sms of a complex structure)? We solve the metric and compl
136 - Jianfeng Lin 2020
Kronheimer-Mrowka recently proved that the Dehn twist along a 3-sphere in the neck of $K3#K3$ is not smoothly isotopic to the identity. This provides a new example of self-diffeomorphisms on 4-manifolds that are isotopic to the identity in the topolo gical category but not smoothly so. (The first such examples were given by Ruberman.) In this paper, we use the Pin(2)-equivariant Bauer-Furuta invariant to show that this Dehn twist is not smoothly isotopic to the identity even after a single stabilization (connected summing with the identity map on $S^{2}times S^{2}$). This gives the first example of exotic phenomena on simply connected smooth 4-manifolds that do not disappear after a single stabilization.
Let $Sigma_g$ be a compact, connected, orientable surface of genus $g geq 2$. We ask for a parametrization of the discrete, faithful, totally loxodromic representations in the deformation space ${rm Hom}(pi_1(Sigma_g), {rm SU}(3,1))/{rm SU}(3,1)$. We show that such a representation, under some hypothesis, can be determined by $30g-30$ real parameters.
We prove that the derivative map $d colon mathrm{Diff}_partial(D^k) to Omega^kSO_k$, defined by taking the derivative of a diffeomorphism, can induce a nontrivial map on homotopy groups. Specifically, for $k = 11$ we prove that the following homomorp hism is non-zero: $$ d_* colon pi_5mathrm{Diff}_partial(D^{11}) to pi_{5}Omega^{11}SO_{11} cong pi_{16}SO_{11} $$ As a consequence we give a counter-example to a conjecture of Burghelea and Lashof and so give an example of a non-trivial vector bundle $E$ over a sphere which is trivial as a topological $mathbb{R}^k$-bundle (the rank of $E$ is $k=11$ and the base sphere is $S^{17}$.) The proof relies on a recent result of Burklund and Senger which determines those homotopy 17-spheres bounding $8$-connected manifolds, the plumbing approach to the Gromoll filtration due to Antonelli, Burghelea and Kahn, and an explicit construction of low-codimension embeddings of certain homotopy spheres.
We develop a theory of equivariant group presentations and relate them to the second homology group of a group. Our main application says that the second homology group of the Torelli subgroup of the mapping class group is finitely generated as an $Sp(2g,mathbb{Z})$-module.
التعليقات
جاري جلب التعليقات جاري جلب التعليقات
سجل دخول لتتمكن من متابعة معايير البحث التي قمت باختيارها
mircosoft-partner

هل ترغب بارسال اشعارات عن اخر التحديثات في شمرا-اكاديميا