Secondary braid group conjecture for trigonal abelian-differential strata

Let kk be an integer for which the indicated trigonal stratum PH3k+1tri(4k,2k){\mathbf P}{\mathcal H}^{tri}_{3k+1}(4k,2k) is defined, and let 2Br(σ1(σ2σ1)3k+2){}^2Br\bigl(\sigma_1(\sigma_2\sigma_1)^{3k+2}\bigr) denote the secondary braid group associated with the displayed positive braid word. Secondary braid group conjecture. The orbifold fundamental group is isomorphic to

π1orbPH3k+1tri(4k,2k)2Br(σ1(σ2σ1)3k+2).\pi_1^{orb}{\mathbf P}{\mathcal H}^{tri}_{3k+1}(4k,2k)\cong{}^2Br\bigl(\sigma_1(\sigma_2\sigma_1)^{3k+2}\bigr).

Moreover, this secondary braid group has the finite presentation

t1,,t6k+3  titj=tjtiif ij>2titjti=tjtitjif ij2titi+1ti+2ti=ti+1ti+2titi+1.\left\langle t_1,\dots,t_{6k+3}\ \Bigg|\ \begin{array}{ll} t_i t_j=t_j t_i & \text{if } |i-j|>2 \\ t_i t_j t_i=t_j t_i t_j & \text{if } |i-j|\leq2 \\ t_i t_{i+1}t_{i+2}t_i=t_{i+1}t_{i+2}t_i t_{i+1} \end{array}\right\rangle.

The conjecture is motivated by interpolation between identifications of related orbifold fundamental groups with secondary braid groups and by the corresponding links at infinity; the source gives no proof or resolution.

Sources & referencesView supporting material

Primary source

Michael Lönne, “π_1 of trigonal loci of strata of abelian differentials”, arXiv:2510.06364 (2025).

Progress summary

Never refreshed

Nothing recorded yet. Refresh searches the literature and the public web for attempts on this problem, and writes the first summary here.

Solutions 0

No solutions have been posted yet.