Characterizations of infinite circle patterns and convex polyhedra in hyperbolic 3-space

2026-04-28T14:31:37Z

Since Thurston pioneered the connection between circle packing (abbr. CP) and three-dimensional geometric topology, the characterization of CPs and hyperbolic polyhedra has become increasingly profound. Some milestones have been achieved, for example, Rodin-Sullivan \cite{Rodin-Sullivan} and Schramm \cite{schramm91} proved the rigidity of infinite CPs with the intersection angle $Θ=0$. Rivin-Hodgson \cite{RH93} fully characterized the existence and rigidity of compact convex polyhedra in $\mathbb{H}^3$. He \cite{He} proved the rigidity and uniformization theorem for infinite CPs with $0\leqΘ\leq π/2$. Therefore, the remaining unresolved issues are the rigidity and uniformization theorems for infinite CPs with $0\leqΘ<π$, as well as for infinite hyperbolic polyhedra. In fact, He specifically claimed in the abstract of \cite{He} that ``in a future paper, the techniques of this paper will be extended to the case when $0\leqΘ<π$. In particular, we will show a rigidity property for a class of infinite convex polyhedra in the 3-dimensional hyperbolic space". The objective of the article is to accomplish the work claimed in \cite{He} by proving the rigidity and uniformization theorem for infinite CPs with $0\leqΘ<π$, as well as infinite trivalent hyperbolic polyhedra. We will pay special attention to CPs whose contact graphs are disk triangulation graphs. Such CPs are called regular because they exclude some singular configurations and correspond well to hyperbolic polyhedra. We will establish the existence and rigidity of infinite regular CPs. Moreover, we will prove a uniformization theorem for regular CPs, which solves the classification problem for regular CPs. Thereby, the existence and rigidity of infinite convex trivalent polyhedra are obtained.

Essential tori associated with links of mixed singularities

2026-04-28T11:33:46Z

We establish a direct connection between the analytic data of weakly isolated mixed singularities and the topology of their associated links. More precisely, we prove that the existence of essential tori, topological information, in the complements of links arising from weakly isolated mixed singularities can be detected directly from properties of the defining mixed polynomial, provided that it is convenient, non-degenerate and $Γ$-nice. Our results provide explicit and computable criteria, expressed purely in terms of the polynomial data, that determine the presence of essential tori in the link exterior. In particular, these criteria yield effective conditions ensuring that such links are non-hyperbolic. This approach provides a new method to extract topological information about link complements without requiring an explicit determination of the link type, thereby establishing a concrete bridge between the analytic structure of mixed polynomials and the geometric topology of their associated links.

Immersions of $C_2$-projective spaces via $K\mathbb{R}$-theory

2026-04-28T06:09:14Z

We compute the Atiyah Real $K$-theory of $C_2$-equivariant projective spaces and construct immersions of such spaces into multiples of the regular representation. These computations are made tractable by the recent geometric filtration of equivariant projective spaces due to Bhattacharya-Waugh-Zeng-Zou, together with a variant of the localized slice spectral sequence introduced by Meier-Shi-Zeng. As an immediate corollary of these computations, we obtain an equivariant analogue of James periodicity.

Link homology and loop homology

2026-04-28T03:27:05Z

We compute the $k$-colored $\mathfrak{sl}(N)$ homology of the torus knot $T(2,2m+1)$, and we show that it stabilizes as $m\to\infty$ to the integral homology of the free loop space of the complex Grassmannian $\mathrm{Gr}(k,N)$. In particular, when $k = 1$ and $N = 2$, we observe that the Khovanov homology of $T(2,2m+1)$ stabilizes to the homology of the free loop space of the $2$-sphere.

Large flats in large subgraphs of fine curve graphs

2026-04-28T00:44:47Z

The fine curve graph of a surface is a graph whose vertices are essential simple closed curves and whose edges connect disjoint curves. Following a rich history of hyperbolicity of various graphs associated to surfaces, the fine curve graph was shown to be hyperbolic by Bowden-Hensel-Webb, while the curve graph, obtained from the fine curve graph by collapsing subgraphs corresponding to isotopy classes, was first proven to be hyperbolic by Masur-Minsky. We show that certain large subgraphs of fine curve graphs, including fibers over a vertex of the curve graph, are not hyperbolic. Indeed, such graphs contain flats of every finite dimension. We then compute bounds on distances in fibers over a vertex of the curve graph, which we call single-isotopy-class fine curve graphs.

Calculating the second rational cohomology group of the Torelli group

2026-04-27T17:42:21Z

Minahan and the author recently proved results that allow the calculation of the second rational cohomology group of the Torelli group. This builds on two key ingredients: Hain's calculation of the image of the cup product pairing on the first cohomology group, and Kupers--Randal-Williams's calculation of the maximal algebraic subrepresentation of the second cohomology group. This paper gives an exposition of both of these results, including prerequisite material about the Johnson homomorphism.

A rational model for the fiberwise THH transfer II: $A_\infty$-algebras

2026-04-27T17:17:28Z

In Part I, we proved that a rational model for the fiberwise THH transfer of a map $f$ of fibrations over a base space is given by the Hochschild homology transfer of a cdga model of $f$. In this paper, we provide an explicit description of this Hochschild homology transfer in terms of $A_\infty$-algebras, generalizing work of Bouc. Using a result of Lind-Malkiewich, we deduce a rational model for the Becker-Gottlieb transfer. We furthermore use our results for the following applications to manifold topology. Firstly, we consider the rational characteristic classes constructed by Berglund for fibrations with fiber a Poincaré complex (which generalize classes found by Berglund-Madsen); they are defined via the Lie graph complex, and we prove that the classes corresponding to non-trivalent graphs with exactly one loop vanish when evaluated on fiber bundles with fiber a compact simply connected topological manifold. Secondly, we provide a rational model for the space of fiberwise THH-simple structures, which is a step towards obtaining rational models for the classifying spaces of diffeomorphisms and homeomorphisms of a compact simply connected manifold in the rational concordance stable range.

Equivalence of toral Chern-Simons and Reshetikhin-Turaev theories

2026-04-27T15:52:28Z

We prove a natural isomorphism between toral Chern-Simons theory with gauge group $\mathbb T=\mathfrak t/Λ\cong U(1)^n$ and the Reshetikhin-Turaev theory associated with the finite quadratic module determined by an even, integral, nondegenerate symmetric bilinear form $K:Λ\timesΛ\to\mathbb Z.$ More precisely, let $G_K=Λ^*/KΛ$ be the discriminant group of $K$, equipped with its induced quadratic form $q_K$, and let $C(G_K,q_K)$ be the corresponding pointed modular category. Using the geometric quantization formulation of toral Chern-Simons theory, we show that the resulting TQFT is naturally isomorphic to the Reshetikhin--Turaev TQFT determined by $C(G_K,q_K)$. The equivalence is established at the level of closed 3-manifold invariants, bordism operators for manifolds with boundary, and the extended $(2+1)$-dimensional structure, yielding a natural isomorphism of extended TQFTs.

CaTherine wheels

2026-04-27T15:47:36Z

A CaTherine wheel is a surjective continuous map $f:S^1 \to S^2$ such that for every closed interval $I\subset S^1$ the image $f(I)$ is homeomorphic to a disk, and $f(\partial I)$ is contained in the boundary of this disk. CaTherine wheels arise in many areas of low-dimensional geometry and topology, including conformal dynamics (expanding Thurston maps, expanding origamis), probability theory (whole plane ${\rm SLE}_κ$ for $κ\ge 8$, LQG metric trees) and elsewhere. We develop their theory in generality, and explain how CaTherine wheels and their associated structures can serve as a dictionary between these various fields. Our most substantial applications are to the theory of hyperbolic 3-manifolds. If $M$ is a closed hyperbolic 3-manifold and $G=π_1(M)$, we show that there is a canonical bijection between four kinds of structures associated to $M$: 1. orbit-equivalence classes of pseudo-Anosov flows on $M$ without perfect fits; 2. $G$-equivariant CaTherine wheels up to conjugacy; 3. minimal $G$-zippers; and 4. connected components of the space of uniform quasimorphisms on $G$. This generalizes and amplifies the theory of fiberings of hyperbolic 3-manifolds over the circle and the Thurston norm.

Equivalence of Extended $U(1)$ Chern-Simons and Reshetikhin-Turaev TQFTs

2026-04-27T15:45:08Z

We establish the equivalence between $U(1)$ Chern-Simons and Reshetikhin-Turaev TQFTs associated with finite quadratic modules. For gauge group $U(1)$ and even level $k$, we prove that the corresponding Chern-Simons TQFT is naturally isomorphic to the Reshetikhin-Turaev TQFT determined by the pointed modular category $C(\mathbb Z_k,q_k)$. The equivalence holds both for closed $3$-manifolds and for bordisms with boundary, so that the two constructions define naturally isomorphic extended $(2+1)$-dimensional TQFTs. In particular, the finite quadratic module $(\mathbb Z_k,q_k)$ completely determines the $U(1)$ Chern-Simons theory.

A cusped hyperbolic 4-manifold without spin structures

2026-04-27T14:52:13Z

We build a non-compact, orientable, hyperbolic four-manifold of finite volume that does not admit any spin structure.

On the nonexistence of good involutions of symplectic quandles

2026-04-27T14:02:33Z

We investigate the necessary and sufficient condition for the existence of good involutions of symplectic quandles, which are defined on free $R$-modules with an antisymmetric bilinear form. In particular, we discuss the nonexistence of good involutions of symplectic quandles.

Siegel-Veech Measures of Convex Flat Cone Spheres

2026-04-27T07:15:57Z

A classical theorem of Siegel gives the average number of lattice points in bounded subsets of $\mathbb{R}^n$. Motivated by this result, Veech introduced an analogue for translation surfaces, known as the Siegel-Veech formula, which describes the average number of saddle connections of bounded length on the moduli space of translation surfaces. However, no such formula is known for flat surfaces with cone angles that are irrational multiples of $π$. A convex flat cone sphere is a Riemann sphere equipped with a conformal flat metric with conical singularities, all of whose cone angles lie in the interval $(0, 2π)$. In this paper, we extend the Siegel-Veech formula to this setting. We define a generalized Siegel-Veech transform and prove that it belongs to $L^\infty$ on the moduli space. This leads to the definition of a Siegel-Veech measure on $\mathbb{R}_{>0}$, obtained by integrating the Siegel-Veech transform over the moduli space. This measure can be viewed as a generalization of the classical Siegel-Veech formula. We show that it is absolutely continuous and piecewise real analytic. Finally, we study the asymptotic behavior of this measure on small intervals $(0,\varepsilon)$ as $\varepsilon \to 0$, providing an analogue of Siegel-Veech constants for convex flat cone spheres.

Flexible exponents of non-geometric 3-manifolds

2026-04-27T02:25:07Z

A classical question in quantitative topology is to bound the mapping degree $\operatorname{deg}(f)$ in terms of its Lipchitz constant $\text{Lip}(f)$. For a closed, orientable, Riemannian manifold $M$, the flexible exponent $α(M)$ is the infimum of $α\geqslant 0$ such that $|\text{deg}(f)|\leqslant C\cdot (\text{Lip}(f))^α$ holds for any Lipschitz map $f:M\to M$. For a geometric 3-manifold $M$ in the sense of Thurston, $α(M)$ is determined in \cite{DLWWW}. In this paper, we determine $α(M)$ for non-geometric 3-manifolds.

Invariants from involutory Hopf algebras of 3-manifolds with embedded framed links

2026-04-26T17:49:04Z

We give invariants of pairs $(M,L)$ consisting of a closed connected oriented three-manifold and an (oriented) framed link $L$ embedded in $M$. This invariant generalizes the Kuperberg and Hennings-Kauffman-Radford (HKR) invariants of three-manifolds. We define Heegaard-Link diagrams which represent the pair $(M,L)$ and use the data of an involutory Hopf algebra and a representation of the Drinfeld double to construct the invariant. We show that if $L$ is the empty link, then the invariant recovers the Kuperberg invariant, and if $M$ is the three-sphere and certain particular representation is chosen, then the invariant recovers the HKR invariant. We also show that if the representation is the left regular representation of the Drinfeld double, then we recover the Kuperberg invariant of the surgery manifold $M(L)$, contributing to a new proof of the relationship between the HKR and Kuperberg invariants in the semisimple setting. To this end, we give a Heegaard diagram for $M(L)$ coming from the Heegaard-Link diagram representing the pair $(M,L)$. We also introduce a colored link invariant extending the construction and show it recovers the Witten-Reshetikhin-Turaev colored link invariant.