arXiv Science⌕ Search
Home/Archive/arXiv

arXiv · 2610.06442

Torus Surgery Constraints and Intermediate Covers of the Cartwright--Steger Surface

Anar Akhmedov·Sai-Kee Yeung
View original source ↗Read source document ↗Export metadata ↓

Abstract

We study torus surgery on the Cartwright--Steger surface and the degree-two cover construction proposed in \cite[Remark~1]{ASY}. Every torus in this surface is integrally nullhomologous, and surgery on a fixed disjoint collection of such tori cannot decrease the first Betti number. We then determine the nodal-curve subgroup and complete the fundamental-group calculation in the degree-two construction. The resulting minimal symplectic manifold has signature zero and fundamental group $\Z/2$; for compatible symplectic gluings, its universal cover is an exotic symplectic $31\CP^2\#31\overline{\CP}^{\,2}$. The construction on the original Cartwright--Steger surface gives a minimal symplectic manifold with signature $-1$ and fundamental group $(\Z/2)^2$.

Explore related subjects

math.SGmath.GT

Keep this discovery

Explore connections, maps & timelines

BibTeXRIS

Anar Akhmedov, Sai-Kee Yeung. 2026-10-05. Torus Surgery Constraints and Intermediate Covers of the Cartwright--Steger Surface. https://arxiv.org/abs/2610.06442

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

KEEP EXPLORING

Related papers

arXiv2026

Nearly Lefschetz fibrations, Stein structures, and regular Lagrangians

We study Stein structures on nearly Lefschetz fibrations, with applications to symplectic and Lagrangian submanifolds in Weinstein domains. We prove that, up to Weinstein deformation equivalence, all Lagrangian disks with Legendrian boundary in $4$-dimensional Weinstein domains are regular in the sense of Eliashberg-Ganatra-Lazarev. This settles a Weinstein analogue of the nearby Lagrangian conjecture for two-dimensional Lagrangian disks, and resolves part of a Lagrangian analogue of the Slice-Ribbon conjecture. Along the way, we show that positive allowable nearly Lefschetz fibrations are supported by canonical Stein structures and prove a corresponding quasiflexibility result in the planar case. This yields a generalization of work of Boileau-Orevkov which may be of independent interest. Finally, we give an explicit algorithm producing a Weinstein Kirby diagram from the nearly Lefschetz fibration structure of a multisection complement.

math.SG↗
arXiv2026

Symplectic symmetries of a hypothetical exotic $CP^2$: a potential construction or a nonexistence proof

This paper is primarily concerned with the existence of a symplectic $4$-manifold, homeomorphic but not diffeomorphic to $CP^2$, which admits a nontrivial finite order symplectomorphism. We reduced the existence of such an exotic $CP^2$ to a question in contact geometry. More concretely, we showed that there are precisely $12$ plumbed manifolds, each equipped with a canonical contact structure associated to the plumbing, such that an exotic $CP^2$ with a nontrivial finite order symplectomorphism exists if and only if one of the $12$ contact plumbed manifolds admits a certain specific symplectic filling. As the main technical result, we completely determined the order and local representations of a pseudofree symplectic $Z_p$-action for an odd prime $p$ on a rational homology $CP^2$ with positive canonical class. Our result suggests that potentially, there are symplectic $Z_p$-actions which are not finite automorphisms of a fake projective plane. Moreover, we introduced a construction, which, under the minimal assumptions on the symplectic fillings of the $12$ contact plumbed manifolds, produces a symplectic $4$-manifold on the Bogomolov-Miyaoka-Yau line via a reverse-engineering process.

math.SG↗
arXiv2026

Obstructions in Symplectic Embedding Problems for Four-Dimensional Convex Toric Domains

In Beyond ECH Capacities, Hutchings used the ECH cobordism map to produce obstructions for embedding one convex toric domain into another. We generalize the methods there to obstruct symplectic embeddings of a disjoint union of convex toric domains into another convex toric domain. We also find additional obstructions coming from intersection positivity and use similar methods to obstruct the existence of isotopies between two given symplectic embeddings.

math.SG↗