Invariant multi-functions and Hamiltonian flows for surface group representations

Fernando Camacho-Cadena; James Farre; Anna Wienhard

Home/Archive/arXiv

arXiv · 2410.05154

Invariant multi-functions and Hamiltonian flows for surface group representations

Fernando Camacho-Cadena·James Farre·Anna Wienhard

View original source ↗Read source document ↗Export metadata ↓

Abstract

Goldman defined a symplectic form on the smooth locus of the $G$-character variety of a closed, oriented surface $S$ for a Lie group $G$ satisfying very general hypotheses. He then studied the Hamiltonian flows associated to $G$-invariant functions $G \to \mathbb R$ obtained by evaluation on a simple closed curve and proved that they are generalized twist flows. In this article, we investigate the Hamiltonian flows on (subsets of the) $G$-character variety induced by evaluating a $G$-invariant multi-function $G^k \to \mathbb R$ on a tuple $ \underlineα \in π_1(S)^k$. We introduce the notion of a subsurface deformation along a supporting subsurface $S_0$ for $\underlineα$ and prove that the Hamiltonian flow of an induced invariant multi-function is of this type. We also give a formula for the Poisson bracket between two functions induced by invariant multi-functions and prove that they Poisson commute if their supporting subsurfaces are disjoint. We give many examples of functions on character varieties that arise in this way and discuss applications, for example, to the flow associated to the trace function for non-simple closed curves on $S$.

Explore related subjects

math.GT

Keep this discovery

Explore connections, maps & timelines

BibTeX RIS

Fernando Camacho-Cadena, James Farre, Anna Wienhard. 2024-10-07. Invariant multi-functions and Hamiltonian flows for surface group representations. https://arxiv.org/abs/2410.05154

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

KEEP EXPLORING

Related papers

arXiv2026

Hyperbolic links associated to Hamiltonian subgraphs in simple $3$-polytopes

We build a large family of hyperbolic links with an explicit decomposition of the complement into right-angled hyperbolic polytopes of finite volume. Namely, in a series of papers A.D.Mednykn and A.Yu.Vesnin introduced a construction that for a given right-angled polytope $P$ in geometry $\mathbb L^3$, $\mathbb R^3$, $\mathbb S^3$, $\mathbb L^2\times \mathbb R$, $\mathbb S^2\times \mathbb R$ and a Hamiltonian cycle, theta-subgraph or $K_4$-subgraph $Γ$ in the $1$-skeleton of $P$ builds a geometric $3$-manifold $N(P,Γ)$ with an involution $τ$ such that $N(P,Γ)/\langleτ\rangle\simeq S^3$. The brach set of the corresponding $2$-sheeted branched covering $N(P,Γ)\to S^3$ is a link $C_Γ\subset S^3$ consisting of trivially embedded circles. This construction reformulated in the language of toric topology works for such a subgraph $Γ$ in any simple $3$-polytope $P$ and gives a topological $3$-manifold $N(P,Γ)$. We give a criterion when $S^3\setminus C_Γ$ has a complete hyperbolic structure of finite volume and generalize this criterion to similar links in $3$-manifolds different from $S^3$. We prove that hyperbolic links $C_Γ$ are parametrized by nonselfcrossing Eulerian cycles, Eulerian theta-subgraphs and Eulerian $K_4$-subgraphs in hyperbolic right-angled $3$-polytopes of finite volume in $\mathbb L^3$ with $0$, $2$ or $4$ finite vertices. The complement $S^3\setminus C_Γ$ is glued of $4$, $8$ or $16$ copies of the corresponding right-angled polytope. We give a criterion when the link $C_Γ$ consists of mutually unlinked circles and prove that if such a link is nontrivial, then it contains the Borromean rings. The latter problem is motivated by the Efimov effect in quantum mechanics.

math.GT↗

arXiv2026

Knots and the Sierpinski Tetrahedron

In this paper we prove that there are infinitely many knots that cannot be embedded in the 1-skeletons of the finite iterations of the Sierpinski tetrahedron fractal. We do this by proving that such an embedding induces a sphere decomposition of weight at most 6. There are infinitely many knots with spherewidth greater than this.