an independent field guide to 23 million papers from arXiv & OpenAlex — not affiliated with arXiv.org
New this week
54 papers in math.GT from 6 November to 12 November 2026.
Includes papers cross-listed here; the counts on the field chips are by primary category.
showing 1–25 of 54, newest first RSS
These are notes to supplement my talks at the Current Developments in Mathematics Conference in 2026. They are an expository account of recent work in the study of braid varieties and their relation to low-dimensional contact and symplectic topology. A driving theme is the development and use of Demazure weaves to construct cluster algebra structures on the coordinate rings of such braid varieties.
We study quasi-isometry classes of automorphism groups of K3 surfaces using Sierpiński spaces. We introduce K3 surfaces of Sierpiński type and prove that their limit sets are round Sierpiński spaces. For such K3 surfaces, the quasi-isometry class of the automorphism group is equivalent to the rational isometry class of the Néron--Severi lattice together with its integral roots. As an application of this rigidity, we construct infinitely many quasi-isometry classes of hyperbolic automorphism groups in Picard rank 4. This reveals a new phenomenon in Picard rank 4, sharply contrasting with the finiteness of quasi-isometry classes in Picard ranks at most 3 and at least 6.
Daciberg Lima Gonçalves, John Guaschi
In this paper we study the structure of the finite subgroups of the braid groups $B_n(RP^2)$ of the real projective plane $RP^2$. It is known that the isomorphism classes of these subgroups are comprised of cyclic, dicyclic and binary polyhedral groups. Using specific elements of $B_n(RP^2)$, we construct embeddings of the cyclic and dicyclic subgroups, we show that there is a single conjugacy class of the maximal dicyclic groups, and for small values of n, we also construct embeddings of the bin- ary tetrahedral and octahedral groups. One interesting phenomenon that occurs is the existence of isomorphism classes of finite subgroups that admit embeddings in $B_n(RP^2)$ as both maximal finite and non-maximal subgroups. Up to conjugacy, we describe completely the lattice of the finite subgroups of $B_n(RP^2)$ for n = 3, 4, 5. Some of our results regarding the number of conjugacy classes…
While studying the chiral Potts model Baxter discovered a cyclic analogue of Ramanujan's ${}_1ψ_{1}$ summation identity. This identity was subsequently interpreted by Faddeev and Kashaev as a pentagon relation for the quantum dilogarithm function, a key ingredient in cyclic quantizations of Teichmüller theory. Existing forms of the identity involve multivalued functions so one must either accept overall phase ambiguities or keep track of branches on a complicated covering space. In this paper we show how to remove the phase ambiguities with a much simpler choice of covering space. As an application we compute the Fourier transform of the holonomy $R$-matrices of the author and Reshetikhin. A corollary is a simpler proof that Kashaev's $R$-matrix is a specialization of the colored Jones $R$-matrix, which was first shown by Murakami and Murakami.
Jos{é} F. Fernando, Riccardo Ghiloni, Wiesław Pawłucki
Let $R$ be a real closed field expanded by an o-minimal structure, let $A$ be a definable, closed and bounded subset of $R^n$ and let $p$ be a positive integer. It was recently shown in \cite{pa2} that $A$ admits a strict ${\mathcal C}^p$-triangulation $({\mathcal T},h)$, i.e., there exist a finite simplicial complex ${\mathcal T}$ in $R^n$ and a homeomorphism $h:|{\mathcal T}|\to A$ that is definable and of class ${\mathcal C}^p$. The aim of this article is to analyze a generalization of the notion of strict ${\mathcal C}^p$-triangulation of subanalytic sets to the case $p=\infty$. Examples in dimension $n=3$ show that such a generalization is not always possible within subanalytic geometry, where the class ${\mathcal C}^\infty$ is equivalent to the class ${\mathcal C}^ω$. We formulate the conjecture that strict ${\mathcal C}^\infty$-triangulations of subanalytic sets always exist in…
We study the diameter function on the Teichmüller space of closed hyperbolic Riemann surfaces. Although the Bolza surface maximizes the systole among hyperbolic surfaces of genus 2, its extremal behavior with respect to the diameter function is less clear. Using first variations of distances at diameter pairs and linear programming duality, we establish a sufficient criterion for a surface not to be a local minimizer of the diameter function. More precisely, we show that if each diameter pair can be assigned a simple closed geodesic formed by two minimizing geodesic segments joining its endpoints, with distinct assigned geodesics pairwise disjoint, then a deformation varying only the length parameters in Fenchel-Nielsen coordinates strictly decreases the diameter. The assigned geodesics extend to a pants decomposition, and the decrease is detected by a strictly negative upper bound for…
Let $\mathcal{P}$ be a bounded Kleinian circle packing with symmetry group $Γ$, and let $N_{\mathcal{P}}(T)$ denote the number of circles in $\mathcal{P}$ of radius at least $T^{-1}$. We obtain an asymptotic formula for $N_{\mathcal{P}}(T)$ in which the eigenvalues of the Laplace operator below the continuous spectrum contribute a finite sum of main terms, with an error term having the same exponent as in the counting theorem of Lax--Phillips for $Γ$-orbits in $\mathbb H^3$.
We give a combinatorial condition ensuring global projective rigidity of simple hyperbolic Coxeter $3$-polytopes. As an application, we prove that every right-angled Löbell polytope is globally rigid.
These notes, which are based on four lectures delivered at the summer school "Knotted Surfaces in Four-Manifolds" at PCMI in 2026, discuss classifications of locally flat surfaces in simply-connected $4$-manifolds.
Jonah Gaster, Didac Martinez-Granado, Christopher-Lloyd Simon
We study multiplicity among lengths of simple closed geodesics on the principal congruence surfaces $X(n)=Γ(n)\backslash\mathbb{H}$. We show that for every $\varepsilon>0$ there are positive constants $n_\varepsilon,C_{\varepsilon}$ so that, for $n\ge n_\varepsilon$, there are at least $\exp((\frac{π^2}{12}-\varepsilon)n)$ simple closed geodesics on $X(n)$ of the same length $\ell<C_\varepsilon n$. We produce the same multiplicity for $λ$-length of simple arcs with distinct endpoints via the McShane identity, which is immediately relevant as the size of a McShane gap around such an arc is roughly the reciprocal square of its $λ$-length. Our method of proof relies on an independently interesting theorem about the McShane identity for $X(n)$: the total mass of the gaps of pants with two cusps tends to 1 as $n\to \infty$. We present a proof of this latter fact that relies on estimates for…
We derive formulas from Eisemann's formula for the second quandle homology of quandles. We prove that for a finite injective quandle $Q$, the second quandle homology $H_2(Q)$ can be computed in a representation group of $Q$, which is a finite quotient of the enveloping group of $Q$, by giving a formula for that. We use this to compute $H_2(Q)$ for $Q$ the subquandle of $k$-cycles of $S_n$ and $Q$ the quandle corresponding to the conjugacy class of a diagonalizable element of $SL(n,q)$, with some exceptions. For $G$ a finite group with trivial Bogomolov multiplier, as many classical groups, simple groups and (with exceptions) quasi-simple groups, we derive a formula for $H_2(Conj(G))$ that can be computed in $G$ alone. The formula relies on conjugacy classes of $G$, centralizers in $G$ of representative of such classes and the derived group of $G$. If $G$ is moreover perfect this formula…
Wai Yeung Lam, Carl O. R. Lutz
Rivin showed that every cusped hyperbolic metric on a punctured sphere is uniquely realized by a convex ideal polyhedron in hyperbolic space with possible degeneration. We consider the analogous problem for cusped hyperbolic metrics on a punctured surface of positive genus: locally convex ideal polyhedral surfaces in hyperbolic space. Each such surface determines a complex projective structure on the underlying closed surface. With a cusped hyperbolic metric $h$ prescribed, we investigate the space $\mathcal{P}(h)$ of such ideal polyhedral realizations and their possible degeneration. Particularly in the case of tori, we show that the space $\mathcal{P}(h)$ is homeomorphic to $\mathbb{R}^2$, and that the induced map to Teichmüller space of the closed torus is a $C^1$-embedding. This map extends to a bijection from the closure of $\mathcal{P}(h)$ onto the whole Teichmüller space, where…
Honghao Gao, Shijie Gu, Zhenkun Li +1 more
We prove that every iterated untwisted Whitehead double of a nontrivial two-bridge knot satisfies the meridional rank conjecture. More precisely, for such a knot $K$ and every $N\geq0$, the augmentation rank, meridional rank, and bridge number of $\operatorname{Wh}^N(K)$ are all $2^{N+1}$. We use microlocal sheaf theory and a doubling construction to produce a lower bound for the meridional rank of the Whitehead double, assuming the peripheral data satisfy suitable conditions. For two-bridge knots, the required curves arise from ideal points detecting nonzero boundary slopes. In contrast, the ordinary group rank of an $N$-fold Whitehead double is at most the rank of the companion group plus $N$. We also give a non-example when the doubling construction does not work -- the first Whitehead double of the square knot has augmentation rank at most 5, whereas its meridional rank and bridge…
Geometric chains are formal combinations of smooth maps from compact oriented manifolds or orbifolds with corners. In earlier work the author showed that, modulo a relation D that kills degenerate chains, they compute rational singular homology. We show that D can be replaced by a gluing relation, which identifies a chain with the sum of its restrictions to finitely many pieces whenever its source is glued from these pieces along whole codimension-one faces. With this relation the comparison map from singular homology is an isomorphism in all degrees for compact polyhedra and smooth manifolds without boundary, with rational and with integer coefficients. Unlike D, the gluing relation is defined through the sources alone, and chain-level identities such as the equivalence of a degree d covering with d times its base, which fails modulo D, and the correction terms of the chain map from a…
Ernesto Girondo, Cristian Reyes-Monsalve
A compact hyperbolic surface is $k$-extremal if it contains $k$ disjoint embedded discs of the largest possible radius; such surfaces are uniformized by surface subgroups of the triangle groups $Δ^{\pm}(2,3,N)$. We determine all extremal $k$-packings in every $k$-extremal surface of minimal genus, orientable of genus $2$ and non-orientable of genus $3$: $373$ surface groups in total, all treated in a unified way; $264$ of them had never been studied before. The computation is automatic and verified in exact arithmetic, each packing being certified by an element $α\in\mathrm{PGL}_2$ over an explicit number field with $α^{-1}Kα<Δ^{\pm}(2,3,N)$. We also obtain the full isometry groups of these surfaces. In every surface but one, all the extremal packings are related by isometries. The exception is the genus two surface $X_6$ of Girondo and González-Diez, which has exactly five extremal…
Miller and Piccirillo demonstrated the existence of non-concordant knots that share the same 0-trace. In this short note, we generalize their result by showing that every smooth concordance class contains a knot K such that, for every nonzero integer n, there exists a knot $K_n$ whose n-trace is orientation-preservingly diffeomorphic to that of K, but for which $p[K_n] \ne p[K]$ in the topological concordance group for every positive integer p. Furthermore, $p[K_n]$ is distinct from $p[K']$ for any knot K' obtained from K by mirroring and/or reversing its orientation.
For the family $\{\mathcal{M}_{g,k}\}_{g\geqslant k\geqslant 0}$ of orientable hyperbolic 3-manifolds with totally geodesic boundary and cusps introduced by R.~Frigerio, B.~Martelli, and C.~Petronio, the volume of the manifolds depends only on the non-negative integer parameters $g$ and $k$; thus the volume function $Vol(g,k)$ is well defined. The main result of the paper is an asymptotic description of this function: it is approximated by a linear function of $g$ and $k$ whose coefficients are explicitly expressed in terms of the volumes of the regular ideal tetrahedron and the regular ideal octahedron; moreover, the volume does not exceed the linear approximation by a difference of order $O(1/g)$. As consequences, three theorems comparing volumes are obtained: monotonicity under coordinatewise increase of the parameters, estimates for the passage from parameter $g$ to $g+1$, and…
The main flatness conjecture for $\mathrm{SL}_n(\mathbb{C})$-Fock bundles predicts the existence of a unique strongly positive flat compatible Hermitian metric for every $\mathrm{SL}_n(\mathbb{C})$-Fock bundle. We use cyclic Higgs bundles to disprove this conjecture for every rank $n \geq 3.$
In a recent paper by Dougherty and McCammond, the authors introduced a piecewise Euclidean cell structure for the space of monic centered polynomials. This was achieved by studying the relationship between the polynomials and their critical values, using the Lyashko-Looijenga (LL) map, as well as the noncrossing combinatorics of the polynomials. In this paper, we extend their results to the space of polynomials with rotationally symmetric roots by studying an appropriate generalisation of the LL map, which relates the polynomials and their reduced critical values. The combinatorics of the polynomials are noncrossing partitions of type $B_d$. This give us a piecewise Euclidean cell structure built using the order complex of the noncrossing partition of type $B_d$. Along the way, we also give a compactification of this space of polynomials.
Patricio Almirón, Julio José Moyano-Fernández, Adrián Olivares-Fernández
We prove that any complete intersection numerical semigroup can be realized as the value semigroup of an end curve in a splice quotient singularity. Therefore, providing a converse to the semigroup-theoretic statement of the End Curve Theorem of Neumann and Wahl for integral homology sphere links. Moreover, for a complete-intersection numerical semigroup, we define a family of knots such that the Alexander polynomial of any knot of the family coincides (up to a factor) with the generating series of the semigroup. Let $(X,0)$ be a splice quotient singularity with $\mathbb{Z}HS^3$ link $Σ$ and let $(C,0)$ be a reduced curve-germ embedded in $(X,0)$ defined as the zero locus of the product of end curve functions. We prove, thorugh our topological characterization of complete intersection semigroups, the coincidence between the Alexander polynomial of the knot cut out by $C$ in $Σ$ and the…
We prove that the Euler characteristic of the framed real monopole Floer homology of the double branched cover of a link is given by the Alexander polynomial evaluated at $\sqrt{-1}$. For knots $K$ with determinant one, this formula shows that Miyazawa's degree invariant of $K$ can be computed in terms of the Alexander polynomial of $K$. The proof involves a new connected-sum formula and oriented skein exact triangles for some new variants of real monopole Floer homology, called the diagonal and cone real monopole Floer homology, which admit mod-two gradings. This is the monopole counterpart of Srivastava's Euler characteristic formula in real Heegaard Floer homology.
We give three fundamental examples highlighting the relationship between loops of spheres in $\#^k S^2\times S^2$, pseudo-isotopies, and diffeomorphisms of the 4-sphere. First, we describe an explicit pseudo-isotopy and Hatcher-Wagoner family that realizes the barbell diffeomorphism $β$ of the 4-sphere by constructing a finger-Whitney system for the family. From the Hatcher-Wagoner family, we are able to conclude that the example in §7 of ``Pseudo-isotopies of simply connected 4-manifolds'' generates $β$. Next, it is known that the square of $β$ is isotopic to id. We reprove this by building an explicit 2-parameter family of Morse functions that trivializes the Hatcher-Wagoner family for $β^2$. We do this by utilizing exchange points and families of handle slides. In the final example, we show that another Hatcher-Wagoner family, affectionately called the double cross, also generates…
We find \emph{exotic} connected components of Anosov representations of surface groups in the higher rank group $G=G_2'$ that are neither $ι$-Fuchsian deformations nor higher rank Teichmüller spaces. These representations are found through the non-abelian Hodge correspondence via $G_2'$-Higgs bundles that we call \emph{$α$-bundles} and \emph{$β$-bundles}, which are particular cyclic Higgs bundles in the Slodowy slices of the $\mathfrak{sl}_2$-triples associated to the simple roots $α$ and $β$ of $\mathfrak{g}_2^{\mathbb{C}}$. We first prove that (most) $β$-bundles that are also Hodge bundles are $P_β$-Anosov and $α$-bundles are $P_α$-Anosov. The strategy employed is new, geometric, and general. For $σ\in \{α, β\}$, we then show the locally homogeneous $(G_2', G_2'/P_σ)$-manifold ${\mathscr{M}}_σ(ρ)$ recently described in arXiv:2510.12757, for the representation $ρ:π_1S\rightarrow G_2'$…
Following a program suggested by Dolgachev and Libgober in 1981, we study the topology of the locus of smooth sections of linear systems of hyperelliptic curves on Hirzebruch surfaces. Our primary interest is the computation of various flavors of ``enriched monodromy representations''. Within this class of examples, we find that a variety of behaviors occur - in some situations the enriched monodromy faithfully captures the fundamental group, and in others it does not. Our arguments mainly leverage algebro-geometric techniques to compute cohomological obstructions to families of embeddings.
Kühnel and Lassmann constructed a neighborly triangulation of the three-torus on 15 vertices, and Lutz conjectured that it is vertex-minimal. The standard lower-bound arguments exclude at most twelve vertices but do not decide the 13- and 14-vertex cases. We exclude the 13-vertex case. Our proof uses the Novik--Swartz $g_2$-inequality and a simplicial-complement reduction to a nine-vertex model of the punctured three-torus. By analyzing fundamental groups of small simplicial complexes and applying Alexander duality in a vertex link, we obtain a contradiction from the deficiency of $\Z^3$.