math.GT daily digest: 19 new submissions for 25 August 2026

New submissions

Trapezoidality of flat arrangement polynomials

• Authors: Yuan Gao, Tianyu Yuan
• arXiv: 2608.21855
• Subjects: Geometric Topology (math.GT)

Fox's conjecture predicts that the absolute values of the coefficients of the Alexander polynomial of an alternating link form a trapezoidal sequence. Kálmán, Mészáros, and Postnikov gave a new proof of trapezoidality for special alternating links using a polynomial associated with flat vector arrangements. We prove that the flat arrangement polynomial has trapezoidal coefficients for every full-dimensional flat vector arrangement, answering the corresponding open question. Our proof gives a geometric interpretation of this polynomial in terms of convex polytopes. As an application, we prove that the Murasugi--Stoimenow polynomial of every connected Eulerian digraph has trapezoidal coefficients.

Hopf handlebody-links: their symmetry and classification

• Authors: Yi-Sheng Wang
• arXiv: 2608.21856
• Subjects: Geometric Topology (math.GT)

We generalize the notion of the Hopf link to the context of spatial graphs and handlebody-links, and study their symmetry and classification problems.

Image of the third Johnson homomorphism

• Authors: Quentin Faes, Ricard Riba
• arXiv: 2608.21956
• Subjects: Geometric Topology (math.GT)

In this note we show that the image of the third Johnson homomorphism $tau\_3$ coincides with the kernel of Morita's trace map for the case of a surface of genus $g$ with one boundary component , when . Moreover, as a consequence, we get that the image of $tau\_3$ on the handlebody subgroups coincides with the intersection of kernels of the Morita trace map and the Lagrangian trace maps.

On the fundamental group calculation associated to reverse-engineering an exotic CP ^2 #3 \overline{CP }^2 and CP ^2 #2 \overline{CP }^2

• Authors: Paul Kirk
• arXiv: 2608.21997
• Subjects: Geometric Topology (math.GT); High Energy Physics - Phenomenology (hep-ph)

I provide a detailed exposition of the fundamental group calculations in the ``reverse engineering" construction of an exotic \\CP ^2\\#3\\overline{\\CP }^2! and of an exotic \\CP ^2\\#2\\overline{\\CP }^2!.

Relative multisections of higher-dimensional manifolds with boundary

• Authors: Rudy Dissler
• arXiv: 2608.22407
• Subjects: Geometric Topology (math.GT); Differential Geometry (math.DG)

A multisection (as defined by Ben Aribi, Courte, Golla and Moussard) is a decomposition of a closed orientable manifold into model pieces. These model pieces are top-dimensional 1-handlebodies, whose subcollections intersect along 1-handlebodies of lower dimensions, and whose global intersection is a closed surface. This concept extends the notions of Heegaard splittings and trisections to higher dimensions. In this article, we adapt multisections to compact manifolds with boundary, generalizing sutured Heegaard splittings and relative trisections to every dimension. We define the associated diagrams, which encompass sutured Heegaard diagrams and relative trisection diagrams. A relative multisection induces a particular decomposition of the boundary of the manifold, which we call a relative fibration. We show that, in dimension n greater than 3, a connected manifold which relatively fibers is necessarily either a sphere, or a connected sum of copies of the product of the circle with the sphere of dimension n-1. We prove that a compact 5-manifold whose boundary relatively fibers admits a relative multisection. We also state a gluing theorem that allows to combine suitable relatively multisected manifolds with boundary into multisected closed manifolds.

Stars at infinity in the Thurston boundary

• Authors: Meenakshy Jyothis, Jing Tao
• arXiv: 2608.22461
• Subjects: Geometric Topology (math.GT)

We study the stars at infinity in the Thurston boundary of Teichmüller space for the Thurston and Teichmüller metrics. For the Thurston metric, we prove that for every finite-type surface, the star of a projective measured lamination is exactly its zero set, extending a theorem of Liu-Shi from closed surfaces. Moreover, the based star agrees with the star. For the Teichmüller metric, we show that both the based star and the star of a projective measured lamination coincide with its two-step zero set. This set can be strictly larger than the zero set, disproving a conjecture of Karlsson.

Discrete uniformization of polyhedral surfaces

• Authors: Feng Luo, Yanwen Luo, Zhenghao Rao, Xinrong Zhao
• arXiv: 2608.22491
• Subjects: Geometric Topology (math.GT); Complex Variables (math.CV); Differential Geometry (math.DG)

The main result of the paper shows that each connected polyhedral surface with a hyperbolic background metric, or a Euclidean background metric with uniform boundedness of radii of circumdisks, is discrete conformal to a complete constant-curvature Riemannian surface equipped with a non-empty closed discrete subset. We also prove a discrete Riemann mapping theorem. The proofs are based on the recent work on the discrete Schwarz lemma, the discrete Liouville theorem for polyhedral surfaces, and a Weyl-type realization theorem for hyperbolic surfaces.

Flippered hyperbolic surfaces and renormalized volumes of their moduli spaces I

• Authors: Yi Huang, Ivan Telpukhovskiy
• arXiv: 2608.22544
• Subjects: Geometric Topology (math.GT); Mathematical Physics (math-ph)

We introduce a natural class of hyperbolic surfaces called flippered surfaces that generalize crowned hyperbolic surfaces (i.e.: worldsheets for open strings). We develop their Teichmüller and moduli-space theory, construct generalized Weil-Petersson volume forms and Chekhov's action, and prove that the resulting generalized Mirzakhani volumes are finite. We establish three geometric recursion formulae-neck chopping, disk excision, and crown extraction-which express these volumes in terms of those of topologically simpler surfaces. For the fundamental polygonal and annular cases, we derive integral representations involving conical Legendre functions, as well as explicit formulae in terms of elliptic integrals and polylogarithms. We further describe the arithmetic structure of the Taylor coefficients of these volumes, show that suitable specializations are Kontsevich-Zagier periods, and prove identities at the imaginary boundary length that generalize the Do-Norbury paraphrasing of string and dilaton-type equations.

Real Floer Homotopy Types and $w$-Invariants

• Authors: Yoshihiro Fukumoto, Masaki Taniguchi
• arXiv: 2608.22865
• Subjects: Geometric Topology (math.GT)

We express the local-equivalence classes of real Seiberg--Witten Floer homotopy types for spin Seifert $3$-manifolds with certain odd involutions in terms of the Fukumoto-Furuta $w$-invariant. The proof uses real orbifold Bauer-Furuta invariant for a class of spin $4$-orbifolds constructed by Fukumoto-Furuta-Ue. For torus knots, we prove that the local-equivalence classes of real Floer homotopy types associated with their -fold cyclic branched covers are eventually periodic in $k$. Finally, we prove that the integer-valued concordance homomorphisms are linearly independent.

On Zeeman's collapsibility conjecture for non-standard polyhedra

• Authors: Ivan Dynnikov
• arXiv: 2608.23331
• Subjects: Geometric Topology (math.GT)

We prove that if Zeeman's collapsibility conjecture holds for standard polyhedra, then it holds in general.

Stably exotic fillings of 3-manifolds

• Authors: Daniel Kasprowski, Patrick Orson, Mark Powell, Arunima Ray
• arXiv: 2608.23523
• Subjects: Geometric Topology (math.GT)

We investigate which 3-manifolds bound 4-manifolds that are homeomorphic but not stably diffeomorphic, where stabilising means taking connected sum with copies of . We show that every closed, orientable 3-manifold admits such fillings, as do certain families of nonorientable 3-manifolds. In contrast we show that for a 3-manifold containing a 2-sided , any two smooth, homeomorphic fillings are stably diffeomorphic.

Cross submissions

Braids of Three Strands and Geodesics Shooting in

• Authors: Jaroslaw (Jarek) Kwapisz
• arXiv: 2608.21484
• Cross-list: math.DG
• Subjects: Differential Geometry (math.DG); Algebraic Topology (math.AT); Dynamical Systems (math.DS); Geometric Topology (math.GT); Classical Physics (physics.class-ph)

We describe in detail and provide computer code for constructing optimal geometric braids of three strands from algebraic data encoding the braiding pattern. Our optimality criterion uses the known interpretation of braids as homotopy classes (rel endpoints) of paths in joining the identity $I$ to some , i.e., elements of the fundamental group of , a quotient equivalent to the unit tangent bundle of the classical modular surface . The main technical result finds the length minimizing geodesic in a prescribed homotopy class. From another perspective, of independent interest, this amounts to shooting the shortest geodesic that connects, with a prescribed number of spins en route, two given unit tangent vectors to the Poincaré (half-)plane $mathbbH$. The length is measured by a Riemannian metric from a family of deformed Sasaki metrics, sometimes called Kaluza-Klein metrics, whereby unit tangent vectors can be interpreted as infinitesimal rotors, called spinners, and the ratio of the mass to the moment of inertia is the deformation parameter. At the universal covering level , the geometry is one of Thurston's eight model 3D geometries. In the vanishing mass limit, it converges to the better understood Carnot-Carathéodory contact geometry, where our geodesic shooting extends known formulas. The finite mass case is more delicate, requiring numerical solution of a targeting equation. The characterization of the length minimizing geodesics (No-multiplicity Theorem) and the resulting targeting equation are the main original contribution. The exposition is complete and multi-pronged, aimed at a broad spectrum of readers. (Numerous figures are the backbone of the narrative and should be viewed in color.)

A Lean Formalization of Hamilton's Three-Manifold Theorem

• Authors: Bennett Chow, Yuan Liao, Ziyang Qin
• arXiv: 2608.21502
• Cross-list: math.DG
• Subjects: Differential Geometry (math.DG); Analysis of PDEs (math.AP); Geometric Topology (math.GT)

We describe a Lean formalization of Hamilton's 1982 theorem on closed, connected three-manifolds with positive Ricci curvature. The development contains a short-time existence theorem for Ricci flow and substantial geometric-analysis infrastructure: Riemannian tensor calculus, the Levi--Civita connection, Ricci-flow evolution equations, scalar and tensor maximum principles, three-dimensional curvature algebra, preservation of Ricci pinching, and Hamilton's improved pinching estimate. The formalization follows an alternative blow-up route, rather than Hamilton's original normalized-flow proof. Its time-uniform short-time existence, maximal continuation, no-local-collapsing, and Cheeger--Gromov--Hamilton compactness pipelines have been formalized and are included in the artifact, while we give only a brief account of these companion developments and record the interfaces and consequences used by the Hamilton argument; a detailed exposition of their full constructions is deferred to the second author's forthcoming thesis. We interweave representative Lean declarations with their mathematical meaning and record the status and provenance of every major component. All source-level status claims are tied to the source release identified below.

6-valent vertex in the web category and its categorification

• Authors: Jernej Grlj, Mikhail Khovanov, Haihan Wu, Melissa Zhang
• arXiv: 2608.21566
• Cross-list: math.QA
• Subjects: Quantum Algebra (math.QA); Geometric Topology (math.GT)

We define a $$\begin{gathered} 2 \\ pi/3 \end{gathered}$$-rotationally invariant 6-valent vertex in the web category. When , we provide a categorification of the 6-valent vertex using foams and decompose the hexagon web into a direct sum of indecomposables. A similar decomposition is conjectured for .

Improved sup-norm bounds for locally symmetric spaces

• Authors: Christopher Lutsko
• arXiv: 2608.21580
• Cross-list: math.SP
• Subjects: Spectral Theory (math.SP); Geometric Topology (math.GT)

Let be a symmetric space of noncompact type, of dimension $n$ and rank $r$, and let . Sarnak's local bound for an -normalized spherical joint eigenfunction with regular tempered parameter of size $T$ is . We prove locally uniformly on every quotient. On finite-volume real hyperbolic manifolds this is uniform in the expanding cusp range y\\leq T^\\beta!, . If the injectivity radius is bounded below, we prove the global estimate .

Aspherical -pairs

• Authors: James F. Davis, J.A Hillman
• arXiv: 2608.21717
• Cross-list: math.GR
• Subjects: Group Theory (math.GR); Geometric Topology (math.GT)

This is the third of three related preprints. We consider here which groups $pi$ and $PD\_3$-complexes $Y$ are realised by $PD\_4$-pairs $(X,Y)$ with $X$ aspherical and , and show that such a pair may be assembled from and $PD\_4$-pairs of groups, by adding 1-handles and mapping cylinders of -homology equivalences over boundary components $N$, if and only if . (This includes all such pairs with $pi\_1$-injective boundary components and all with $pi$ a free group, but none with . Adding a 1-handle includes connected sum.) If there is a finite 2-dimensional -complex then $pi$ is realisable by some such pair $(X,Y)$, but there are no obvious building blocks analogous to $PD\_4$-pairs of groups, except for when $pi$ is a $PD\_2$-group.

Equations in Products of Free Groups and 3-Manifold Groups II: Olshanskii Epimorphisms

• Authors: Olga Kharlampovich, Alina Vdovina
• arXiv: 2608.22599
• Cross-list: math.GR
• Subjects: Group Theory (math.GR); Geometric Topology (math.GT)

In 1989 Olshanskii introduced a three-parameter family of coordinate-surjective homomorphisms from the genus-two surface group to a direct product of two rank-two free groups. When the common quotient of the two coordinate images is finite of order $n$, restriction to the corresponding regular cover produces an epimorphism \[ \pi_1(S_{n+1})\longrightarrow F_{n+1}\times F_{n+1}. \] We call these maps \emph{Olshanskii epimorphisms}. They form an explicit high-genus test family for the standardness problem for splitting epimorphisms. We prove that every Olshanskii epimorphism is standard. The genus-two homomorphism determines a Heegaard splitting of a Seifert fibered $3$-manifold over with at most three exceptional fibers. In the finite-quotient cases, classical Seifert theory shows that its universal cover is ; Waldhausen's theorem then implies that the lifted genus- Heegaard splitting is standard. The proof uses neither Perelman's theorem nor the general Poincaré theorem. We also give a constructive treatment of the quaternion case , whose covering surface has genus nine. A maximal tree in the quaternion Schreier graph yields the covering handlebody and explicit Schreier bases. Using geometric longitude--meridian pairs and explicit surface automorphisms supported on the nine one-holed tori, we transform the lifted meridian words into a free basis. A separate fixed-rank Andrews--Curtis certificate reduces the associated balanced presentation. This paper supplies the detailed proof of the result announced in the previous Kharlampovich, Vdovina paper.

Spin volumes of minimal strata and Chiodo integrals

• Authors: Andrei Bud, Georgios Politopoulos, Stijn Velstra
• arXiv: 2608.23334
• Cross-list: math.AG
• Subjects: Algebraic Geometry (math.AG); Geometric Topology (math.GT)

We derive a closed formula for the Masur-Veech volumes of spin-parity components of the stratum of abelian differentials with a single zero of maximal order. Our approach is based on the intersection theory of the virtual subcone of spin-parity squares inside the Hodge bundle, recently developed by Holmes-Politopoulos-Sauvaget. This is a spin refinement of a classical result of Sauvaget and agrees with the lattice-point counting technique of Chen-Möller-Sauvaget-Zagier. We further apply this theory to compute spin counterparts of virtual volumes, defined recently by Sauvaget. These virtual volumes are related to area Siegel-Veech constants and we are able to compute these invariants component-wise. In addition, by comparing our method for non-parity squares with the classical result of Sauvaget, we compute specific Chiodo integrals.

Fixed Point Homogeneous Orbifolds with Positive Sectional Curvature

• Authors: Jan Nienhaus, Dennis Wulle
• arXiv: 2608.23364
• Cross-list: math.DG
• Subjects: Differential Geometry (math.DG); Geometric Topology (math.GT)

We classify fixed point homogeneous Riemannian orbifolds with positive sectional curvature up to equivariant diffeomorphism. As a corollary we obtain a classification of positively curved orbifolds with maximal symmetry rank.