Infinity Class: Structures at Infinity

• Infinity Class is a concept that categorizes mathematical objects by their behavior at infinity, covering aspects such as coarse filling growth and higher connectivity in mapping class groups.
• It bridges diverse fields by uniting criteria from set theory’s Broad Infinity, basin dynamics in complex analysis, and classification frameworks in algebraic geometry and PDEs.
• The framework also extends to structural classifications in nonlinear PDEs and homotopy algebras, offering unified insight into infinite hierarchies and closure principles.

“Infinity class” does not denote a single canonical construction. In the works considered here, it names several distinct but structurally related ways of organizing mathematical objects by their behavior “at infinity”: coarse filling growth in mapping class groups, higher connectivity at infinity for groups, class-level infinity axioms in set theory, topological conjugacy classes of polynomial basin dynamics, function classes with controlled escape geometry in complex analysis, rational surfaces classified by semigroups at infinity, and operator classes built around the infinity Laplacian or curved $A_\infty/L_\infty$-structures (Abrams et al., 2011, Mihalik, 12 Feb 2026, Levy, 2021, DeMarco et al., 2011, Langley, 2021, Galindo et al., 2024, Oliveira, 2 Nov 2025, Lazarev et al., 2010).

1. Quantitative infinity classes in mapping class groups

For an orientable surface $S=S_{g,b}$, the mapping class group is written

$\mathrm{Mod}(S)=\mathrm{MCG}(S).$

In the work on filling loops at infinity, the relevant invariant is the Dehn function at infinity, equivalently the first divergence function $\operatorname{Div}^1$, defined by requiring filling disks to stay outside a large ball in the Cayley $2$-complex. A subset is $r$-avoidant if it is disjoint from the ball $B_r$, and the problem is to fill $r$-avoidant loops by disks remaining outside a slightly smaller ball (Abrams et al., 2011).

For surfaces of genus $g\ge 5$ and any number of punctures or boundary components, the central theorem states that there is a constant $c>0$ such that any $S=S_{g,b}$0-avoidant loop of length $S=S_{g,b}$1 has an $S=S_{g,b}$2-avoidant filling of area at most $S=S_{g,b}$3. When $S=S_{g,b}$4, this yields

$S=S_{g,b}$5

The same paper also records the Euclidean lower bound

$S=S_{g,b}$6

so for $S=S_{g,b}$7,

$S=S_{g,b}$8

It further remarks that there is evidence that the true growth might be $S=S_{g,b}$9 (Abrams et al., 2011).

The proof uses the Gervais presentation, in which generators are Dehn twists about explicit $\mathrm{Mod}(S)=\mathrm{MCG}(S).$0-, $\mathrm{Mod}(S)=\mathrm{MCG}(S).$1-, and $\mathrm{Mod}(S)=\mathrm{MCG}(S).$2-curves. The key combinatorial fact is that for every relation in the presentation there exists a common commuting Dehn twist, drawn from an abelian subgroup $\mathrm{Mod}(S)=\mathrm{MCG}(S).$3 generated by $\mathrm{Mod}(S)=\mathrm{MCG}(S).$4 mutually disjoint $\mathrm{Mod}(S)=\mathrm{MCG}(S).$5-curves. Together with the theorem of Farb–Lubotzky–Minsky that abelian subgroups of mapping class groups are undistorted, this makes it possible to push a quadratic van Kampen filling outward through rank-$\mathrm{Mod}(S)=\mathrm{MCG}(S).$6 flats, paying an additional quadratic area factor. The resulting heuristic is precisely the quartic estimate: ordinary quadratic filling, multiplied by quadratic Euclidean avoidance inside undistorted abelian flats (Abrams et al., 2011).

In this usage, an “infinity class” is a coarse growth class for avoidant fillings. Mapping class groups of genus at least $\mathrm{Mod}(S)=\mathrm{MCG}(S).$7 and arbitrary right-angled Artin groups share the same quartic upper bound,

$\mathrm{Mod}(S)=\mathrm{MCG}(S).$8

and are therefore placed in the same infinity class at the level of first divergence (Abrams et al., 2011).

2. Connectivity-at-infinity classes of mapping class groups

A second geometric-group-theoretic usage classifies mapping class groups by connectivity at infinity. For a locally finite connected CW-complex $\mathrm{Mod}(S)=\mathrm{MCG}(S).$9, simple connectivity at infinity means that for every $\operatorname{Div}^1$0 there exists $\operatorname{Div}^1$1 such that every loop in $\operatorname{Div}^1$2 is null-homotopic in $\operatorname{Div}^1$3. For finitely presented groups, this is defined on the universal cover of a finite $\operatorname{Div}^1$4-complex or equivalently on the Cayley $\operatorname{Div}^1$5-complex (Mihalik, 12 Feb 2026).

The main theorem of the 2026 paper gives a general criterion: if a finitely presented group has a free abelian subgroup $\operatorname{Div}^1$6 of rank at least $\operatorname{Div}^1$7 with generators $\operatorname{Div}^1$8 satisfying two commutation conditions with respect to every relator, then the group is simply connected at infinity. Applying this to Gervais presentations yields that the mapping class groups of closed surfaces of genus $\operatorname{Div}^1$9 are simply connected at infinity. Since these groups are duality groups of dimension $2$0, the Proper Hurewicz Theorem implies that they are $2$1-connected at infinity (Mihalik, 12 Feb 2026).

The same work combines this result with earlier classifications to obtain a complete case-by-case list of all mapping class groups $2$2 by their connectivity at infinity. With

$2$3

the generic case is that $2$4 is $2$5-connected at infinity (Mihalik, 12 Feb 2026).

Infinity class	Parameters	Infinity behavior
Finite	$2$6; $2$7	finite
Virtually free	$2$8	infinite, virtually free, simply connected at infinity
1-ended, not simply connected	$2$9	semistable at infinity, not simply connected at infinity
Highly connected at infinity	all remaining $r$0 with $r$1	$r$2-connected at infinity

This classification makes “infinity class” literal: every mapping class group belongs to one of four connectivity-at-infinity types, and the previously unsettled closed genus $r$3 and $r$4 cases are placed in the highly connected class (Mihalik, 12 Feb 2026).

3. Broad Infinity as a class-level infinity principle

In set theory, “Infinity Class” is realized by Broad Infinity, a class-level strengthening of the usual Axiom of Infinity. The basic data are a broad arity

$r$5

and the associated endofunctor

$r$6

A class $r$7 is $r$8-prefixed if $r$9 and whenever $B_r$0 and $B_r$1, one has $B_r$2. The least such class is $B_r$3, and the Simple Broad Infinity scheme asserts that $B_r$4 is a set for every broad arity $B_r$5 (Levy, 2021).

The slogan given in the paper is: “Every time we construct a new element, we gain a new arity.” In the broad setting, the next arity depends on the previously constructed node $B_r$6 through the set $B_r$7. The resulting objects are three-dimensional well-founded trees built from $B_r$8 and $B_r$9, with one “vertical” parent component and a family of “horizontal” children indexed by $r$0 (Levy, 2021).

This principle is much stronger than ordinary Infinity. It quantifies over all class functions $r$1, not just a fixed successor-like operation. Under AC or WISC, Broad Infinity is equivalent to Broad Set Generation, to Broad Supgeneration, and ultimately to Mahlo’s principle, namely that the class of regular limit ordinals is stationary. Under AC or Global WISC and Powerset, the equivalence chain is

$r$2

Thus Broad Infinity packages Mahlo strength as a concrete closure principle for class-controlled trees rather than as an ordinal reflection statement (Levy, 2021).

The same framework yields generation principles. Any broad rubric on a class generates a set of derivations; under AC or WISC it also generates a set of elements. In particular, Broad Set Generation implies the Axiom of Universes: for every set $r$3, there is a least Grothendieck universe containing $r$4. Without choice, Broad Infinity still implies Broad Derivation Set, which is sufficient to construct Tarski-style universes (Levy, 2021).

In this set-theoretic usage, “Infinity Class” is not an asymptotic invariant but a class-parametrized infinitary closure principle.

4. Basin dynamics and analytic escape classes

In complex dynamics, an infinity class can mean a topological conjugacy class of basin dynamics. For a polynomial $r$5 of degree $r$6, the escape-rate function is

$r$7

and the basin of infinity is

$r$8

When all critical points escape to infinity, the basin $r$9 is a rigid Riemann surface, and the restriction $g\ge 5$0 determines the conformal conjugacy class of the polynomial up to affine transformations. DeMarco–Pilgrim classify the dynamics on $g\ge 5$1 by combinatorial invariants built from trees, laminations, tableaux, and a new invariant called the pictograph (DeMarco et al., 2011).

The pictograph is a topological-conjugacy invariant. For a fixed pictograph $g\ge 5$2, the number $g\ge 5$3 of topological conjugacy classes of basins with pictograph $g\ge 5$4 is algorithmically computable from the discrete data of $g\ge 5$5. In the cubic case, explicit formulas are given in terms of marked levels, relative moduli, and the Branner–Hubbard tableau or Yoccoz $g\ge 5$6-sequence. Thus, in this setting, an infinity class is literally a topological conjugacy class of the dynamical system $g\ge 5$7 (DeMarco et al., 2011).

A different analytic usage appears in the study of entire functions and flows. For a transcendental entire function $g\ge 5$8, the holomorphic flow

$g\ge 5$9

always has infinitely many pairwise disjoint trajectories tending to infinity in finite increasing time. Nevertheless, for any small transversal segment through a point $c>0$0 with $c>0$1, the set of initial conditions whose trajectories escape to infinity in finite time has Lebesgue measure zero. The paper also constructs an example with uncountably many such trajectories (Langley, 2021).

For the antiholomorphic flow

$c>0$2

finite-time escape can fail completely for some transcendental entire functions, but it must occur when $c>0$3 belongs to the Eremenko–Lyubich class $c>0$4. Here $c>0$5 is the class of transcendental entire functions whose finite critical and asymptotic values form a bounded set. In that class, logarithmic tracts over infinity provide enough geometric control to produce pairwise disjoint trajectories escaping to infinity in finite time. The same tract geometry yields a path to infinity along which $c>0$6 and all its derivatives tend to infinity, giving a strong affirmative answer to Rubel’s question for $c>0$7 (Langley, 2021).

This analytic usage makes $c>0$8 an infinity class in the sense of controlled behavior near infinity, while the basin-dynamical usage makes infinity classes into topological conjugacy strata.

5. Surfaces at infinity and $c>0$9-semigroup classes

In algebraic geometry, a surface at infinity is a rational surface obtained from $S=S_{g,b}$00 by a simple chain of blow-ups along the branch at infinity of a plane curve with only one place at infinity. The starting curve $S=S_{g,b}$01 satisfies $S=S_{g,b}$02 for the line at infinity $S=S_{g,b}$03, and has only one rational branch at $S=S_{g,b}$04. Its semigroup at infinity

$S=S_{g,b}$05

is generated, under the stated characteristic hypothesis, by a $S=S_{g,b}$06-sequence $S=S_{g,b}$07 in the sense of Abhyankar–Moh (Galindo et al., 2024).

A divisorial valuation $S=S_{g,b}$08 of $S=S_{g,b}$09 is non-positive at infinity if

$S=S_{g,b}$10

For the blow-up surface $S=S_{g,b}$11 attached to such a valuation, Galindo–Monserrat’s criterion gives an equivalent geometric formulation: the cone of curves $S=S_{g,b}$12 is generated by the strict transform $S=S_{g,b}$13 of the line at infinity together with the exceptional divisors $S=S_{g,b}$14. Hence $S=S_{g,b}$15 is a finite rational polyhedral cone generated by natural curve classes (Galindo et al., 2024).

A surface at infinity is then such an $S=S_{g,b}$16 with $S=S_{g,b}$17, where $S=S_{g,b}$18 is the number of blow-ups in the minimal embedded resolution of the branch at infinity, and with $S=S_{g,b}$19 polyhedral and minimally generated. Its associated valuation semigroup at infinity is generated by a $S=S_{g,b}$20-sequence of type A,

$S=S_{g,b}$21

The underlying $S=S_{g,b}$22-semigroup of the surface is

$S=S_{g,b}$23

Fixing $S=S_{g,b}$24, the paper studies the class $S=S_{g,b}$25 of all surfaces at infinity with that same $S=S_{g,b}$26-semigroup (Galindo et al., 2024).

Within $S=S_{g,b}$27, different $S=S_{g,b}$28-sequences can generate the same semigroup. The paper develops operations that shorten $S=S_{g,b}$29-sequences to primitive ones and refinements that lengthen them while preserving the same semigroup. It proves finiteness statements: for fixed $S=S_{g,b}$30, there are finitely many $S=S_{g,b}$31-sequences whose first element is $S=S_{g,b}$32, and for a fixed $S=S_{g,b}$33-semigroup $S=S_{g,b}$34, there are finitely many relevant $S=S_{g,b}$35-sequences generating $S=S_{g,b}$36, up to the explicitly excluded trivial infinite process of multiplying the first generator. Consequently, the class $S=S_{g,b}$37 is a combinatorially finite family, and the generators of $S=S_{g,b}$38 vary in a controlled way inside that family (Galindo et al., 2024).

Here the “class at infinity” is a semigroup-classified family of rational surfaces whose global birational geometry is governed by data encoded at infinity.

6. Infinity-class equations in nonlinear PDE

A further usage arises for second-order PDE of the form

$S=S_{g,b}$39

where the gradient term is not ad hoc but canonically derived from the operator: $S=S_{g,b}$40 The structural assumptions are a gradient homogeneity condition

$S=S_{g,b}$41

and a rank-one perturbation identity

$S=S_{g,b}$42

Under these hypotheses, the change of variables

$S=S_{g,b}$43

transforms the equation into one without the quadratic gradient term,

$S=S_{g,b}$44

both for $S=S_{g,b}$45 solutions and for viscosity solutions (Oliveira, 2 Nov 2025).

The central example is the infinity Laplacian. Taking

$S=S_{g,b}$46

one obtains the infinity-class equation

$S=S_{g,b}$47

The same change of variables reduces it to an inhomogeneous infinity-Laplace equation with no explicit $S=S_{g,b}$48-term (Oliveira, 2 Nov 2025).

This yields structural consequences. For the homogeneous equation

$S=S_{g,b}$49

on a connected domain, the paper proves an Aronsson-type result: either $S=S_{g,b}$50 in $S=S_{g,b}$51 or $S=S_{g,b}$52 is constant. For the Dirichlet problem

$S=S_{g,b}$53

it derives existence, uniqueness under a monotonicity assumption on $S=S_{g,b}$54 for constant boundary data, and a nonexistence criterion based on the in-ball radius of $S=S_{g,b}$55 (Oliveira, 2 Nov 2025).

In this setting, “infinity class” means a structurally stable class of equations centered on the infinity Laplacian and its natural gradient term, unified with the Laplacian, the $S=S_{g,b}$56-Laplacian, and the $S=S_{g,b}$57-Hessian operators by the same change-of-variables mechanism.

7. Curved $S=S_{g,b}$58-algebras and characteristic classes

A final usage comes from homotopy algebra. A curved $S=S_{g,b}$59-algebra on a finite-dimensional $S=S_{g,b}$60-graded vector space $S=S_{g,b}$61 is an odd continuous derivation

$S=S_{g,b}$62

with $S=S_{g,b}$63; a curved $S=S_{g,b}$64-algebra is defined similarly with $S=S_{g,b}$65. Curvature is the constant term

$S=S_{g,b}$66

and a nontrivially curved algebra is one with $S=S_{g,b}$67. In the cyclic case, the higher operations are compatible with a nondegenerate graded symmetric bilinear form (Lazarev et al., 2010).

Lazarev–Schedler extend Kontsevich’s characteristic-class construction from uncurved cyclic $S=S_{g,b}$68- and $S=S_{g,b}$69-algebras to curved ones by enlarging the graph complexes to allow vertices of valence $S=S_{g,b}$70. The resulting curved graph homology is explicitly computable. In the ribbon-graph case, its homology is governed by connected star-shaped graphs in which every vertex has valence $S=S_{g,b}$71 except possibly one vertex of odd valence; in the ordinary graph case, it is governed by the unique connected graph with two vertices and one edge (Lazarev et al., 2010).

The same paper also classifies nontrivially curved cyclic structures up to gauge equivalence. In the noncyclic case, a nonzero curvature makes all higher operations gauge trivial. In the cyclic $S=S_{g,b}$72 case, the same conclusion holds. In the cyclic $S=S_{g,b}$73 case, every nontrivially curved structure is gauge equivalent to one with only even-ary operations, determined by scalar invariants $S=S_{g,b}$74, and is essentially reduced to a model of dimension at most two. This is why the abstract states that nontrivially curved cyclic $S=S_{g,b}$75- and $S=S_{g,b}$76-algebras are essentially reduced to algebras of dimension at most two with only even-ary operations (Lazarev et al., 2010).

This algebraic usage is not a classification “at spatial infinity.” Rather, it concerns infinity-algebras themselves and the characteristic classes they define. Even so, it preserves the recurrent theme seen in the other usages: a complicated infinite hierarchy is organized by a rigid classifying mechanism, and in the curved case the surviving homology is concentrated in a remarkably small set of canonical models (Lazarev et al., 2010).