Searcharxiv⌕ Search

arXiv · 2610.17235

Turaev cobracket, synthetic geometry and applications

Abstract

A teardrop geodesic on a hyperbolic surface is a closed curve that is geodesic except at exactly one point, called its vertex. One imagines a closed curve with one point held down as it deforms to a geodesic. For each teardrop geodesic, we give an explicit geometric construction of the closed geodesic in its free homotopy class. This construction also yields a relation between the length of the teardrop geodesic, the angle at its vertex, and the length of its geodesic representative. We then apply the construction to a self-intersecting closed geodesic at a chosen self-intersection point. Since, at that point, the geodesic splits into two directed teardrop geodesics, our construction gives a geometric description of Turaev's cobracket in terms of geodesic representatives. Using this description we prove that if two self-intersection points yield a pair of canceling terms in the cobracket, then the angle at these points and the lengths of the small loops determined are the same.

Explore related subjects

Keep this discovery

Explore connections, maps & timelines

BibTeXRIS

Moira Chas, Arpan Kabiraj. 2026-10-12. Turaev cobracket, synthetic geometry and applications. https://arxiv.org/abs/2610.17235

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

KEEP EXPLORING

Related papers

Maps between circle bundles: Fiber-preserving, Finiteness and Realization of mapping degree sets

Let $E_i$ be an oriented circle bundle over a closed oriented $n$-manifold $M_i$ with $i=1,2$ and assume that $M_2$ is aspherical. We prove the following geometric realization result, which extends the classical result for maps between circle bundles over surfaces to all dimensions $\geq 2$. Let $f\colon E_1\to E_2$ be a map. If the induced homomorphism $f_*$ on $π_1$ sends the fiber subgroup of $π_1(E_1)$ to the fiber subgroup of $π_1(E_2)$, then there is a fiber-preserving map in the homotopy class of $f$. Using the above result and a computation of the mapping degree set of fiber-preserving maps between $E_1$ and $E_2$, we obtain the following results on the finiteness and the realization problems of mapping degree sets. ($\mathcal F$) The mapping degree set $D(E_1, E_2)$ is finite if $M_2$ is hyperbolic and the Euler class of $E_2$ is not torsion. ($\mathcal R$) For any finite set $A$ of integers containing $0$ and any $n>2$, $A$ is the mapping degree set $D(M,N)$ for some closed oriented $n$-manifolds $M$ and $N$. Item ($\mathcal F$) extends the previously known $3$-dimensional case to all dimensions $\geq 3$. Item ($\mathcal R$) gives a complete answer to the realization problem on finite sets of integers (containing 0) in all dimensions, including in particular the previously unknown cases in dimensions $ 4$ and $5$.

math.GT↗

Triple-cup product forms of 3-manifolds and Heegaard diagrams

The triple-cup product form $μ$ is a classical invariant of $3$-manifolds, determining the cohomology ring up to torsion. Given a closed, connected, oriented $3$-manifold $M$, we describe an explicit formula for computing $μ$ from a Heegaard diagram of $M$. Then, we show that the triple-cup product form $μ$ can be recovered as a reduction of Turaev's homotopy intersection form $η$ of the Heegaard surface.

math.GT↗

A topological interpretation of numbers

We survey recent advancements on the realisation problem for mapping degree sets. In particular, we explain that any finite set containing zero is the mapping degree set between some $n$-manifolds, for each $n\geq3$. Our building factors for the construction of the realising manifolds will be aspherical manifolds. Thus, along the way, we review a couple of open questions related to maps of non-zero degree for aspherical manifolds.

math.GT↗