Liftable Braid Groups

• Liftable braid groups are defined as subgroups of braid or mapping class groups where braids admit lifts through prescribed geometric structures, such as branched covers or Lefschetz fibrations.
• They serve as stabilizers for monodromy data, linking fiber-preserving diffeomorphisms and Hurwitz actions to braid-theoretic invariance.
• Recent research reveals that liftable braid groups often have infinite index in the ambient braid group, emphasizing their rigidity and significance in broader geometric and topological contexts.

Searching arXiv for papers on liftable braid groups and closely related braid lifting constructions. A liftable braid group is, in the most common sense, the subgroup of a braid or mapping class group consisting of braids that admit a lift through a prescribed geometric structure, typically a branched covering or a Lefschetz fibration. In the setting of a genus-$g$ Lefschetz fibration $\pi:M\to S^2$ with critical values $\Delta$, the liftable braid group is the image

$\Br(\pi)=\Im\bigl(\Mod(\pi)\to \Mod(S^2,\Delta)\bigr),$

also called the braid monodromy subgroup (Jackson, 5 Oct 2025). In the setting of a branched cover $\pi:\widetilde\Sigma\to D^2$, a braid $\beta\in B_n$ is liftable when there exists $\widetilde\beta\in\Mod(\widetilde\Sigma)$ with $\beta\circ\pi=\pi\circ\widetilde\beta$ (Licata et al., 7 Aug 2025). These formulations are equivalent in spirit but differ technically: one is an image subgroup of a fiber-preserving mapping class group, while the other is a stabilizer-type subgroup defined by a covering datum.

1. Basic definitions and principal frameworks

For a Lefschetz fibration $\pi:M\to S$ over a connected oriented surface $S$ with singular values $\pi:M\to S^2$0, one considers

$\pi:M\to S^2$1

and its mapping class group

$\pi:M\to S^2$2

Tracking how a fiber-preserving diffeomorphism permutes the fibers yields a natural homomorphism

$\pi:M\to S^2$3

When $\pi:M\to S^2$4 and $\pi:M\to S^2$5, one identifies $\pi:M\to S^2$6 with the spherical braid group $\pi:M\to S^2$7, and the image is denoted $\pi:M\to S^2$8 (Jackson, 5 Oct 2025).

For a simple $\pi:M\to S^2$9-fold branched cover $\Delta$0 with branch values $\Delta$1, “simple” means that each branch point has local monodromy a single transposition in $\Delta$2. The mapping class group of the $\Delta$3-marked disc is the Artin braid group $\Delta$4. A braid $\Delta$5 is liftable if there exists $\Delta$6 such that

$\Delta$7

In general, the lifting homomorphism is defined only on a proper subgroup of $\Delta$8 (Licata et al., 7 Aug 2025).

A third formulation appears for branched coverings $\Delta$9 of closed orientable surfaces. If $\Br(\pi)=\Im\bigl(\Mod(\pi)\to \Mod(S^2,\Delta)\bigr),$0 is the monodromy, then $\Br(\pi)=\Im\bigl(\Mod(\pi)\to \Mod(S^2,\Delta)\bigr),$1 is liftable to a braided surface in $\Br(\pi)=\Im\bigl(\Mod(\pi)\to \Mod(S^2,\Delta)\bigr),$2 precisely when $\Br(\pi)=\Im\bigl(\Mod(\pi)\to \Mod(S^2,\Delta)\bigr),$3 admits a lift $\Br(\pi)=\Im\bigl(\Mod(\pi)\to \Mod(S^2,\Delta)\bigr),$4 such that $\Br(\pi)=\Im\bigl(\Mod(\pi)\to \Mod(S^2,\Delta)\bigr),$5 and each meridian is sent to a non-trivial completely splittable braid (Funar et al., 2020).

The terminology is therefore uniform only at a high level: “liftable” always means compatibility with a covering or fibration, but the ambient group and the precise criterion depend on the geometric category.

2. Monodromy, Hurwitz action, and stabilizer descriptions

A fundamental structural theorem identifies liftable braid groups with stabilizers of monodromy data. For a Lefschetz fibration $\Br(\pi)=\Im\bigl(\Mod(\pi)\to \Mod(S^2,\Delta)\bigr),$6, let

$\Br(\pi)=\Im\bigl(\Mod(\pi)\to \Mod(S^2,\Delta)\bigr),$7

be the monodromy representation. Under the Hurwitz action of $\Br(\pi)=\Im\bigl(\Mod(\pi)\to \Mod(S^2,\Delta)\bigr),$8 on such representations, Moishezon and Matsumoto show

$\Br(\pi)=\Im\bigl(\Mod(\pi)\to \Mod(S^2,\Delta)\bigr),$9

When $\pi:\widetilde\Sigma\to D^2$0, a braid lies in $\pi:\widetilde\Sigma\to D^2$1 if and only if it preserves the conjugacy class of the factorization

$\pi:\widetilde\Sigma\to D^2$2

up to Hurwitz moves (Jackson, 5 Oct 2025).

For simple branched covers of the disc, Licata and Vértési formulate the analogous structure in terms of a coloured braid groupoid. An object is a labeling

$\pi:\widetilde\Sigma\to D^2$3

by transpositions whose product equals a fixed total monodromy $\pi:\widetilde\Sigma\to D^2$4. Morphisms are coloured braids acting on labelings by the Hurwitz rule

$\pi:\widetilde\Sigma\to D^2$5

The classical liftable braid group attached to a fixed cover is then the endomorphism group

$\pi:\widetilde\Sigma\to D^2$6

so classical liftability is exactly invariance of the branch-label tuple under Hurwitz action (Licata et al., 7 Aug 2025).

These two descriptions—stabilizer of Lefschetz monodromy and stabilizer of branch-label data—are formally parallel. In both cases, liftability is not primarily a local condition on a braid word; it is a global invariance condition on monodromy data.

3. The lifting homomorphism and its extensions

For simple branched covers of the disc, the classical lifting homomorphism sends a liftable braid to the induced mapping class on the covering surface. Licata and Vértési extend this construction from a subgroup to a groupoid-valued functor. They first define a graphical groupoid $\pi:\widetilde\Sigma\to D^2$7 built from canonical systems of lifted arcs and then construct

$\pi:\widetilde\Sigma\to D^2$8

Using an Alexander-method argument, they define a unique mapping class

$\pi:\widetilde\Sigma\to D^2$9

for each coloured braid $\beta\in B_n$0, satisfying

$\beta\in B_n$1

Thus every coloured braid is liftable as a morphism between possibly distinct covering surfaces, and the classical case is recovered precisely on endomorphisms of a fixed object (Licata et al., 7 Aug 2025).

This groupoid extension clarifies a recurrent source of confusion. A braid may fail to be classically liftable not because no lift exists in any sense, but because it changes the branch-labeling object. The obstruction is therefore often object preservation, not existence of a geometric lift per se.

The broader braided-surface criterion of Funar and Pagotto places this in an algebraic framework. For a degree-$\beta\in B_n$2 branched covering $\beta\in B_n$3 with monodromy $\beta\in B_n$4, liftability is equivalent to a braid-group lift of $\beta\in B_n$5 compatible with local branching. In that setting, the exact sequence

$\beta\in B_n$6

provides the basic algebraic interface between permutation monodromy and braid lifts (Funar et al., 2020).

4. Size, index, and low-genus behavior

Recent work shows that liftable braid groups are frequently of infinite index inside the ambient braid group. Jackson proves that for a genus-$\beta\in B_n$7 Lefschetz fibration $\beta\in B_n$8, the index

$\beta\in B_n$9

is infinite in three major cases: when $\widetilde\beta\in\Mod(\widetilde\Sigma)$0; when $\widetilde\beta\in\Mod(\widetilde\Sigma)$1 and $\widetilde\beta\in\Mod(\widetilde\Sigma)$2 is expressible as a self-fiber sum; and when $\widetilde\beta\in\Mod(\widetilde\Sigma)$3 is a holomorphic genus-$\widetilde\beta\in\Mod(\widetilde\Sigma)$4 Lefschetz fibration whose vanishing cycles are nonseparating (Jackson, 5 Oct 2025).

In genus $\widetilde\beta\in\Mod(\widetilde\Sigma)$5, the argument can be expressed via the $\widetilde\beta\in\Mod(\widetilde\Sigma)$6-character variety

$\widetilde\beta\in\Mod(\widetilde\Sigma)$7

Because each local monodromy is an infinite-order Dehn twist, Lam–Landesman–Litt’s classification implies that the $\widetilde\beta\in\Mod(\widetilde\Sigma)$8-orbit is infinite as soon as $\widetilde\beta\in\Mod(\widetilde\Sigma)$9, hence the liftable subgroup has infinite index (Jackson, 5 Oct 2025).

The self-fiber-sum case relies on Auroux’s fibre-sum criterion. For $\beta\circ\pi=\pi\circ\widetilde\beta$0, one obtains

$\beta\circ\pi=\pi\circ\widetilde\beta$1

and in particular the index is infinite whenever $\beta\circ\pi=\pi\circ\widetilde\beta$2 is nontrivial and $\beta\circ\pi=\pi\circ\widetilde\beta$3 (Jackson, 5 Oct 2025).

There are also finite-index exceptions in low complexity. For the disk fibrations

$\beta\circ\pi=\pi\circ\widetilde\beta$4

with alternating monodromy, Jackson computes

$\beta\circ\pi=\pi\circ\widetilde\beta$5

with explicit values

$\beta\circ\pi=\pi\circ\widetilde\beta$6

For $\beta\circ\pi=\pi\circ\widetilde\beta$7, the index is infinite (Jackson, 5 Oct 2025).

These results indicate that “most” braids are typically not liftable for a fixed geometric structure. A plausible implication is that liftable braid groups should usually be regarded as rigid monodromy stabilizers rather than as large ambient subgroups.

5. Hyperelliptic lifts, differentiable obstructions, and cohomology

The standard hyperelliptic embedding

$\beta\circ\pi=\pi\circ\widetilde\beta$8

provides a closely related but distinct lifting problem. It is obtained from the double-branched-cover construction

$\beta\circ\pi=\pi\circ\widetilde\beta$9

or equivalently by sending braid generators to Dehn twists along a standard $\pi:M\to S$0-chain of curves (Nariman, 2015).

Nariman shows that for $\pi:M\to S$1 there is no group homomorphism

$\pi:M\to S$2

lifting $\pi:M\to S$3. The obstruction uses the fact that the commutator subgroup of $\pi:M\to S$4 is finitely generated and perfect, while Thurston stability forces a nontrivial finitely generated subgroup of the $\pi:M\to S$5-stabilizer of a boundary point to surject onto $\pi:M\to S$6 (Nariman, 2015).

At the same time, there is no primary cohomological obstruction of the expected kind. Nariman proves that for every $\pi:M\to S$7 and every abelian group $\pi:M\to S$8,

$\pi:M\to S$9

is split-injective, and hence the cohomology of $S$0 appears as a direct summand in that of the discrete diffeomorphism group of the punctured disk (Nariman, 2015).

This is one of the main conceptual distinctions in the subject. Cohomological liftability, categorical liftability, and honest differentiable liftability are separate notions. The failure of a $S$1-valued lift does not imply failure of cohomological splitting, and conversely the existence of a cohomological section does not produce a genuine geometric lift.

6. Related lifting constructions and broader mathematical context

The notion of lifting braids extends beyond coverings of surfaces. In the symplectic and contact setting, Casals and Murphy construct an embedding

$S$2

for the $S$3-Milnor fiber $S$4, and combine it with a natural lifting homomorphism

$S$5

defined by

$S$6

The composition

$S$7

remains injective, yielding a braid-group embedding into a contact mapping class group (Lanzat et al., 2015). Although this is not the standard “liftable braid group” of a cover or fibration, it is a closely related lifting mechanism in which braid-theoretic generators persist under passage to a richer geometric category.

A different extension appears in loop-braid theory. Damiani, Faria Martins, and Martin construct an injection of the extended loop braid group into the automorphism group of a $S$8-module $S$9, extending Artin’s classical representation. In their formulation, an ordinary braid is “liftable” to a loop-braid automorphism precisely when its action preserves the $\pi:M\to S^2$00-module structure, equivalently when the element

$\pi:M\to S^2$01

is invariant (Damiani et al., 2019).

Taken together, these developments show that liftability is not a single theorem but a recurring structural theme. It links braid groups to monodromy factorizations, branched covers, mapping class groups, symplectic and contact topology, and higher homotopical automorphism data. The central invariant throughout is compatibility: a braid is liftable exactly when it preserves the geometric or algebraic datum that defines the covering, fibration, or enhanced target category.