Search arXiv⌕ Search

arXiv · 0708.2051

Lefschetz fibrations, intersection numbers, and representations of the framed braid group

Abstract

We examine the action of the fundamental group $Γ$ of a Riemann surface with $m$ punctures on the middle dimensional homology of a regular fiber in a Lefschetz fibration, and describe to what extent this action can be recovered from the intersection numbers of vanishing cycles. Basis changes for the vanishing cycles result in a nonlinear action of the framed braid group $\widetilde{\mathcal B}$ on $m$ strings on a suitable space of $m\times m$ matrices. This action is determined by a family of cohomologous 1-cocycles ${\mathcal S}_c:\widetilde{\mathcal B}\to GL_m({\mathbb{Z}}[Γ])$ parametrized by distinguished configurations $c$ of embedded paths from the regular value to the critical values. In the case of the disc, we compare this family of cocycles with the Magnus cocycles given by Fox calculus and consider some abelian reductions giving rise to linear representations of braid groups. We also prove that, still in the case of the disc, the intersection numbers along straight lines, which conjecturally make sense in infinite dimensional situations, carry all the relevant information.

Explore related subjects

Keep this discovery

Explore connections, maps & timelines

BibTeXRIS

Gwenael Massuyeau, Alexandru Oancea, Dietmar A. Salamon. 2013-09-05. Lefschetz fibrations, intersection numbers, and representations of the framed braid group. https://arxiv.org/abs/0708.2051

Cite the original work for its findings. Save a collection to share your selection of sources.

KEEP EXPLORING

Related papers

Finite type invariants in low degrees and the Johnson filtration

We study the behaviour of the Casson invariant $λ$, its square, and Othsuki's second invariant $λ_2$ as functions on the Johnson subgroup of the mapping class group. We show that since $λ$ and $d_2 = λ_2 - 18 λ^2$ are invariants that are morphisms on respectively the second and the third level of the Johnson filtration they never vanish on any level of this filtration. In contrast we prove that the invariant $λ_2-18λ^2 +3λ$ vanishes on the fifth level of the Johnson filtration, $\mathcal{M}_{g,1}(5)$, and as a consequence we prove that, for instance, the Poincaré homology sphere does not admit any Heegaard splitting with gluing map an element in $\mathcal{M}_{g,1}(5)$. Finally we determine a surgery formula for Othsuki's second invariant $λ_2$.

math.GT↗

Profinite rigidity of Kähler groups: Riemann surfaces and subdirect products

This paper establishes strong profinite rigidity results for Kähler groups, showing that certain groups are determined within the class of residually finite Kähler groups by their profinite completion. Examples include products of surface groups and certain groups with exotic finiteness properties studied earlier by Dimca-Papadima-Suciu and Llosa Isenrich. Consequently, there are aspherical smooth projective varieties that are determined up to homeomorphism by their algebraic fundamental group. The main tool is the following: the holomorphic fibrations of a closed Kähler manifold over hyperbolic 2-orbifolds can be recovered from the profinite completion of its fundamental group. We also prove profinite invariance of the BNS invariant.

math.GT↗

Stable-norm boundary geometry on once-punctured tori

We use normal-turn estimates to study the local and global geometry of the boundaries of stable-norm balls $B_X$ for complete finite-area hyperbolic once-punctured tori $X$. We show that the boundary $\partial B_X$ is a convex-geometric detector of exponential Diophantine approximation: rational directions give genuine corners with exponentially small exterior angles, while at an irrational direction $β$ the graph-flatness order admits an explicit formula in terms of the exponential rate at which rational directions approach $β$ and the $\ell^\infty$-radius of $B_X$ in the projective direction $β$. Thus irrational directions are not uniformly flat to infinite order, correcting the McShane--Rivin local picture. We also determine all possible irrational flatness orders and the size of the corresponding level sets. The computation of the rational corners unexpectedly yields a new McShane-type identity for the area of the dual body $B_X^*$: $$ \operatorname{Area}(B_X^*) = 4\sum_γ \ell_X(γ) \log\coth\left(\frac{\ell_X(γ)}{2}\right), $$ where the sum is over unoriented simple closed geodesics on $X$. As another global application, the normal-turn estimates also give a logarithmic-square bound for the number of integer points on the boundary of each dilated norm ball. Consequently, the number of simple closed geodesics of length exactly $L\geq2$ is at most $C_X(\log L)^2$. For the modular torus this yields $$ \#λ_M^{-1}(m)\leq C(\log\log(3m))^2 $$ for every Markoff number $m$, improving the previous logarithmic bounds for Markoff fibers.

math.GT↗