Harmonic maps M^3 --> S^1 and 2-cycles, realizing the Thurston norm
Abstract
Description
Let $M^3$ be an oriented 3-manifold. We investigate when one of the fibers or a combination of fiber components, $F_{best}$, of a \emph{harmonic} map $f: M^3 \to S^1$ with Morse-type singularities delivers the Thurston norm $χ_-([F_{best}])$ of its homology class $[F_{best}] \in H_2(M^3; \Z)$.
In particular, for a map $f$ with connected fibers and any well-positioned oriented surface $Σ\subset M$ in the homology class of a fiber, we show that the Thurston number $χ_-(Σ)$ satisfies an inequality $$χ_-(Σ) \geq χ_-(F_{best}) - ρ^\circ(Σ, f)\cdot Var_{χ_-}(f).$$ Here the variation $Var_{χ_-}(f)$ is can be expressed in terms of the $χ_-$-invariants of the fiber components, and the twist $ρ^\circ(Σ, f)$ measures the complexity of the intersection of $Σ$ with a particular set $F_R$ of "bad" fiber components. This complexity is tightly linked with the optimal "$\tilde f$-height" of $Σ$, being lifted to the $f$-induced cyclic cover $\tilde M^3 \to M^3$.
Based on these invariants, for any Morse map $f$, we introduce the notion of its \emph{twist} $ρ_{χ_-}(f)$. We prove that, for a harmonic $f$, $χ_-([F_{best}]) = χ_-(F_{best})$, if and only if, $ρ_{χ_-}(f) = 0$.
13 figures
13 figures