On the structure of complete $G_2$-solitons

2026-06-04T18:11:34Z

In this work, we establish compactness theorems for complete gradient $G_2$-solitons under the assumptions of a lower bound on the scalar curvature and a broad growth condition on the potential function associated with the gradient vector field. After first proving Gromov-Hausdorff convergence for such sequences, we sharpen this result by deriving epsilon-regularity estimates. As a consequence, we obtain smooth convergence provided there is a uniform energy bound at half the dimension.

$d$-pleated surfaces and their shear-bend coordinates

2026-06-04T14:50:47Z

In this article, we single out representations of surface groups into $\mathsf{PSL}_d(\mathbb{C})$ which generalize the well-studied family of pleated surfaces into $\mathsf{PSL}_2(\mathbb{C})$. Our representations arise as sufficiently generic $λ$-Borel Anosov representations, which are representations that are Borel Anosov with respect to a maximal geodesic lamination $λ$. For fixed $λ$ and $d$, we provide a holomorphic parametrization of the space $\mathcal{R}(λ,d)$ of $(λ,d)$-pleated surfaces which extends both work of Bonahon for pleated surfaces and Bonahon and Dreyer for Hitchin representations.

Minimal Filling $K$-Systems of Curves

2026-06-04T13:20:11Z

In this paper, we determine the exact minimal number of curves in a filling $k$-system on an oriented surface of genus $g$ for any positive integers $k$ and $g$.

The stable Andrews-Curtis conjecture and thickenable presentations of the trivial group

2026-06-04T13:09:26Z

We establish an explicit upper bound on the number of stable Andrews-Curtis moves that convert thickenable balanced presentations of the trivial group to the standard one-generator presentation. We also present a proof that thickenable balanced presentations of the trivial group satisfy the (unstable) Andrews-Curtis conjecture.

Exotic disks and singular instanton Floer homology

2026-06-04T07:59:54Z

We show that singular instanton Floer homology with the Chern--Simons filtration can be used to produce exotic pairs of slice disks. We moreover construct a strongly invertible $\mathbb{Z}$-slice knot for which any symmetric pair of $\mathbb{Z}$-disks are exotic, and remain exotic after stabilizing by $n\smash{\mathbb{CP}}^2$ or $n\smash{\overline{\mathbb{CP}}}^2$ (or by standard $n\smash{\mathbb{RP}}^2$ or $-n\smash{\mathbb{RP}}^2$) for any $n$. Our methods apply more generally to stabilization by any simply connected definite manifold, or by any number of exotic embedded projective planes of the same sign. We also provide an example of a strongly invertible knot which is $\mathbb{Z}$-slice and equivariantly slice, but not equivariantly $\mathbb{Z}$-slice. Along the way, we partially compute various symmetry actions on the singular instanton Floer complexes of two-bridge knots via an explicit analysis of their traceless $\mathit{SU}(2)$-character varieties.

Bending, entropy and proper affine actions of surface groups

2026-06-04T03:05:21Z

We show that for any closed surface $S$ there is an explict neighborhood $V$ of the fuchsian locus in quasifuchsian space $\mathsf{QF}(S)$ such that for every representation $ρ\in V$ which is not fuchsian, there is a proper affine action on $\mathfrak{sl}(2,\mathbb{C})$ with linear part $\mathsf{Ad}(ρ)$. We further show that there is a larger neighborhood $U$ of the Fuchsian locus so that every critical point of the entropy function in $U$ lies on the Fuchsian locus.

Convergence of cataclysm deformations on Anosov representations and applications

2026-06-03T18:04:51Z

A cataclysm deformation, that shears and twists a given Anosov representation according to data known as a twisted transverse cocycle, is an intuitive and powerful tool for studying Anosov representations. We show that if a sequence of twisted transverse cocycles converges weakly, the sequence of corresponding cataclysm deformations on the space of Anosov representations converges uniformly on compact sets. This result leads to two applications. First, we obtain an extension of the Goldman product formula. Second, we consider strongly dense representations, introduced by Breuillard--Green--Guralnick--Tao and Long--Reid. Using cataclysm deformations, we show that, for a split real form $\mathsf{G}$ whose Weyl group contains $-1$, the set of strongly dense $\mathsf{G}$-Hitchin representations is not open in the $\mathsf{G}$-Hitchin component.

On Dehn functions for infinite group presentations

2026-06-03T17:03:55Z

We study the behavior of Dehn functions of finitely presentable groups for presentations with finite generating sets and possibly infinite sets of defining relators. For the free abelian group $\mathbb Z^2$ of rank two on generators $a,b$, we prove that the infinite presentation $\langle a,b \mid [a^{2^k},b],\ k=0,1,2,\ldots\rangle$ has Dehn function of order $n\log n$. We also prove that, for every $0<α<2$, the group $\mathbb Z^2$ admits an infinite presentation on the same two generators whose Dehn function satisfies a global upper bound $δ(n) \le C n^α+ C$ and has matching $n_i^α$-order lower-bound peaks along an infinite sequence of lengths $n_i$. We obtain a similar result, for all $0<α<1$ for torsion-free groups $G$ admitting a finite $C'(1/6)$ small cancellation presentation on the given generators $X$. We also show that the same conclusion holds for an arbitrary finitely generated group $G$ and for some finite generating set $X$ of $G$ and for all $0<α<1$. In particular, these produce continuum many distinct growth types of Dehn functions for presentations of $\mathbb Z^2$ on the standard generators $a,b$.

Improved algebraic fibrations of high-dimensional hyperbolic groups

2026-06-03T16:56:19Z

For every $d \geq 3$, we construct infinitely many quasi-isometry classes of hyperbolic groups $G$ of cohomological dimension $d$ that algebraically fibre with finitely presented kernel. All our groups arise as finite-index subgroups of right-angled Coxeter groups. In many cases, the $L^2$-Betti numbers of the groups $G$ provide obstructions to higher finiteness properties of the kernel. Our groups therefore expand the list of subgroups of hyperbolic groups with exotic finiteness properties.

Subgraph Entropy

2026-06-03T14:06:07Z

Given $r \geq 3$, we prove that there exists $λ>0$ depending only on $r$ so that if $G$ is a metric graph of rank $r$ with metric entropy $1$, then there exists a proper subgraph $H$ of $G$ with metric entropy at least $λ$. This answers a question of the second two authors together with Rieck. We interpret this as a graph theoretic version of the Bers Lemma from hyperbolic geometry, and explain some connections to the pressure metric on the Culler-Vogtmann Outer Space.

Classification of horospherical invariant measures in higher rank: The Full Story

2026-06-03T12:29:02Z

In this paper, we classify horospherical invariant Radon measures for Anosov subgroups of arbitrary semisimple real algebraic groups. This generalizes the works of Burger and Roblin in rank one to higher ranks. At the same time, this extends the works of Furstenberg, Veech, and Dani, and a special case of Ratner's theorem for finite-volume homogeneous spaces to infinite-volume Anosov homogeneous spaces. Especially, this resolves the open problems proposed by Landesberg--Lee--Lindenstrauss--Oh and by Oh. Our measure classification is in fact for a more general class of discrete subgroups, including relatively Anosov subgroups with respect to any parabolic subgroups, not necessarily minimal. We also obtain results for their normal subgroups. Our method is rather geometric, not relying on continuous flows or ergodic theorems.

A generalization of Seifert geometry based on the Siegel upper half-space

2026-06-03T12:06:00Z

The Seifert geometry, $\widetilde{\mathrm{SL}(2,\mathbb{R})}$-geometry, is one of Thurston's eight $3$-dimensional geometries. It fibers over the hyperbolic plane $\mathbb{H}^2$, which is a special case of the Siegel upper half-space $\mathrm{Sp}(2n,\mathbb{R})\curvearrowright {\mathfrak{H}}_n$. In this paper we construct an analogous geometry fibering over the Siegel upper half-space, and provide a volume formula for some manifolds with this geometry. For $n=2$, a prototype is constructed via the normal bundle of an equivariant embedding into a Grassmannian manifold. It turns out that this geometry is the homogeneous space given by a central extension of $\widetilde{\mathrm{Sp}(2n,\mathbb{R})}$, modulo its maximal compact subgroup. The volume of a Siegel--Seifert closed manifold of this geometry is shown to be the length of the fiber circle times the Euler characteristic of the base manifold, up to a sign. Examples of Siegel--Seifert manifolds are provided, and it is shown that the volume of representations for this geometry is constant on every path-connected component of the representation space.

Small Sets of Topological Generators for Big Mapping Class Groups

2026-06-03T11:26:14Z

Let $S(n)$ be the infinite-type surface with infinite genus and $n \in \mathbb{N}$ ends, all of which are accumulated by genus. The mapping class group of this surface, $\mathrm{Map}(S(n))$, is a Polish group that is not countably generated, but it is countably topologically generated. This paper focuses on finding minimal sets of generators for $\mathrm{Map}(S(n))$. We show that for $n \ge 8$, $\mathrm{Map}(S(n))$ is topologically generated by three elements, and for $n \ge 3$, it is topologically generated by four elements. We also establish a generating set of two elements for the Loch Ness Monster surface $S(1)$, and a generating set of three elements for the Jacob's Ladder surface $S(2)$.

Shapes of light: singularities of slant functions and the Gauss map of a surface

2026-06-03T10:29:41Z

The slant function on a regular surface in three-space, introduced by Koenderink, is the inner product of a fixed light direction with the unit normal; under the standard Lambertian model it gives the brightness of the surface illuminated from that direction. We study the singularities of this function and show that their type is characterised by the differential geometry of the parabolic set and its spherical image under the Gauss map. At every point of the surface, we first describe the light directions along which the slant function has a degenerate singularity; such singularities arise only at the parabolic points. We then determine the precise singularity type at representative parabolic points. At the first-order inflection and first-order vertex of Gauss, and at the cusp of Gauss at which the parabolic set is regular, the finer geometry of the spherical image is reflected in the singularity of the slant function.

3-braids with 4-valent vertices and knot invariant

2026-06-03T07:24:15Z

We construct a picture-valued invariant of classical knots by using the group $G_n^3$ and the plat closure of braids. We introduce a modification of the group $G_n^3$ and define a map from the braid group to framed 6-valent graphs with leaves. Each 6-valent vertex corresponds to the moment when three points become collinear. By using this construction, we obtain a knot invariant valued in equivalence classes of graphs modulo local moves. Our invariant provides a new graphical approach to the study of classical knots.