arXiv Science⌕ Search

arXiv · 2610.05795

Instability of the Fundamental Group for Ricci-Flat Kähler 4-Manifolds

Abstract

We show that the fundamental group is not locally stable under non-collapsed Gromov--Hausdorff convergence, even among closed Ricci-flat Kähler four-manifolds. More precisely, we construct families of Ricci-flat Kähler metrics on $K3$ surfaces and Enriques surfaces that converge to the same compact flat orbifold. Using the same mechanism, we further construct two families of closed locally hyperkähler Ricci-flat four-manifolds, with fundamental groups $\mathbb Z_2$ and $\mathbb Z_2\times\mathbb Z_2$, respectively, which converge to the same compact flat orbifold.

Explore related subjects

Keep this discovery

Explore connections, maps & timelines

BibTeXRIS

Alejandro Bellati, Ignacio Bustamante. 2026-10-05. Instability of the Fundamental Group for Ricci-Flat Kähler 4-Manifolds. https://arxiv.org/abs/2610.05795

Cite the original work for its findings. Save a collection to share your selection of sources.

KEEP EXPLORING

Related papers

The Lipschitz-volume rigidity problem for metric manifolds

We prove a Lipschitz-volume rigidity result for $1$-Lipschitz maps of non-zero degree between metric manifolds (metric spaces homeomorphic to a closed oriented manifold) and Riemannian manifolds. The proof is based on degree theory and recent developments of Lipschitz-volume rigidity for integral currents.

math.DG↗

Positive sectional curvature and non-isometric circle actions on a family of eleven-spheres

We study the construction of positively curved Riemannian metrics by non-isometric circle actions. For a family of homotopy eleven-spheres whose Eells--Kuiper invariants form the even subgroup of $\mathbb{Z}/992$, we construct, on each member, a smooth background metric $q$ and three effective circle actions with generators $W_1,W_2,W_3$ such that the metric determined by $g^{-1}=q^{-1}+\sum_{a=1}^3W_a\otimes W_a$ has positive sectional curvature. Each action is non-isometric for every partial metric, including its incoming metric and the final metric. We first describe the sphere by gauge transformations of the quaternionic Hopf bundle. We then construct compatible metrics on two disks and smooth their inverse metrics while preserving the action formula. A local conjugation makes the circle actions non-isometric. For each fixed member, we obtain an explicit positive lower bound $2^{-54}(1+M_{0,k}+M_{1,k})^{-28}$, where $M_{0,k}$ and $M_{1,k}$ are norms of the curvature and its first covariant derivative for its fixed connection. The bound may depend on the member of the family.

math.DG↗

A solution to Lu's second gap conjecture

Let $M^n\to\mathbb{S}^{n+q}(1)$ be a closed connected minimal immersion, where $n\ge3$, and set $Q=S+λ_2$, with $S=|h|^2$ and $λ_2$ the second largest eigenvalue of Lu's fundamental matrix. We determine the sharp codimension range for Lu's second-gap conjecture. For every $2\le q\le n$, there exists $γ_{n,q}>0$ such that, if $Q$ is constant and $Q>n$, then $Q\ge n+γ_{n,q}$. Conversely, for every $q\ge n+1$, we construct closed connected homogeneous minimal embeddings, followed when necessary by totally geodesic inclusions, with constant scalar curvature and constant $Q$-values dense in $(n,2n)$. Thus, in every dimension $n\ge3$, Lu's conjecture holds precisely for $q\le n$. Combined with the theorem of Peng-Terng for hypersurfaces and the recent resolution of the two-dimensional case, this gives a complete resolution of Lu's second-gap conjecture: for every $n\ge2$, the conjecture holds exactly when $q\le n$ and fails when $q\ge n+1$. In codimension two we further obtain the explicit admissible gap $γ_{n,2}=\exp(-10^{16}n^2)$.

math.DG↗