Symplectic and isometric \(\mathrm{SL}(2,\mathbb{R})\)-invariant subbundles of the Hodge bundle (Q1674008)

Suppose \(N\) is an affine \(\mathrm{SL}(2,\mathbb{R})\)-invariant submanifold of the moduli space of pairs \((M,\omega)\), where \(M\) is a curve, and \(\omega\) is a holomorphic 1-form on \(M\). In article shown that the Forni bundle of \(N\) (i.e. the maximal \(\mathrm{SL}(2,\mathbb{R})\)-invariant isometric subbundle of the Hodge bundle of \(N\)) is always flat and is always orthogonal to the tangent space of \(N\). As a corollary, it follows that the Hodge bundle of \(N\) is semisimple. The structure of the paper is as follows. In Section 2, the definitions of the Kontsevich-Zorich cocycle and the Forni subspace are recalled, and some preliminary statements are considered. In Section 3, was defined the ``real-analytic envelope'', which is local real-analytic version of the Zariski closure of the support of an \(\mathrm{SL}(2,\mathbb{R})\)-invariant measure, and proved that it is locally affine. In Section 4, some additional local properties of the Forni subspace are stated. In Section 5, a connection along unstable (and stable) submanifolds which is different from the Gauss-Manin connection is defined and shown that the Forni subspace is equivariant and isometric with respect to this connection, and that the restriction of the connection to the Forni subspace is real-analytic. This allows, in Section 6, to prove a preliminary formula for the variation of the Forni subspace along stable and unstable leaves. Finally, in Section 7, with uses this formula was computed the parallel transport a vector in the Forni subspace along a closed path composed of segments along stable and unstable leaves, and shown that the resulting monodromy map is unipotent. Since the monodromy must also take values in a compact group, this shows that the monodromy map is the identity, from which can be deduced that the Forni subspace is flat.