Let $(X, \omega)$ be a closed symplectic manifold of dimension $2n$ and $\pi: X \rightarrow Q$ a Lagrangian torus fibration. Let $F\_q$ denote the fiber at $q \in Q$. It is claimed in a paper of Abouzaid "The Family Floer Functor is Faithful" that the Arnol'd-Liouville theorem furnishes an isomorphism $T\_q Q \cong H^1(F\_q, \mathbb{R})$. Has anyone seen an argument along these lines or is familiar with this paper? I do not see why Arnol'd-Liouville should apply here.



Lagrangian torus fibrations and Arnol'd-Liouville theorem
By the time I finished writing this answer someone has explained the whole idea in a comment, but I thought I'd post it anyway as there is some more detail here. I assume the version of Arnold-Liouville you're familiar with says something like this: of you have a complete system of commuting Hamiltonians $(H\_1,\ldots,H\_n)$ with compact, connected simultaneous level sets then, near some regular value, you can find some functions $(G\_1(H\_1,\ldots,H\_n),\ldots,G\_n(H\_1,\ldots,H\_n))$ which generate periodic flows with standard period lattice (so that in particular the regular level sets are tori).


Given a Lagrangian fibration $\pi:X\to Q$ and a regular value, pick local coordinates $(q\_1,\ldots,q\_n)$ on $Q$ near this regular value. Considered as functions on the total space of the fibration, the $q\_i$ Poisson commute because their simultaneous level sets are Lagrangians. Therefore they give you a complete commuting system of Hamiltonians to which you can apply the Arnold-Liouville theorem.


Since we know the fibres are Lagrangian tori, fibres near to $F\_q=\pi^{-1}(q)$ can be written as graphs of closed 1-forms in a Weinstein neighborhood of $F\_q$. By taking cohomology class of this class 1-form you get a map from a neighbourhood of $q\in Q$ to $H^1(F\_q;R)$. Since nearby fibres don't intersect, the 1-forms cannot be cohomologous (cohomologous 1-forms differ by $df$ for some function $f$ which necessarily has a critical point), so actually $Q$ is locally modelled on $H^1(F\_q;R)$. This is all canonical up to the action of $Diff(F\_q)$ on cohomology, so $Q$ inherits an integral affine structure as a result. Arnold-Liouville also gives a way of thinking of this integral affine structure: the Hamiltonians generating the periodic flows give local coordinates on $Q$ which are canonical up to changing Hamiltonians by an integral affine transformation (as such a transformation does not change the period lattice).


So actually Arnold-Liouville gives much more than this identification of tangent space with cohomology: it gives an identification of an open set in the base with an open set in the cohomology. That's what gives the integral affine structure.


There are many good places to read about this, but in addition to those, I have some notes about this:


<http://www.jde27.uk/misc/ltf.pdf>


