How does one know in general that the toric fibers of a Kahler toric manifold are Lagrangian submanifolds? I can roughly fathom this for e.g. a circle in $\mathbb{C}P^1$, but how about more general toric manifolds of higher dimension?



Why are the toric fibers of a toric manifold Lagrangian submanifolds?
By definition, a toric variety of complex dimension $n$ comes with an action of a complex torus $(\mathbb{C}^{\*})^n$. I guess that by Kähler toric manifold, you mean a toric variety $X$ equipped with a Kähler form $\omega$ which is preserved by a compact subgroup $U(1)^n$ of $(\mathbb{C}^{\*})^n$. The toric fibration $X \rightarrow \mathbb{R}^n$ is then the moment map of this action of $U(1)^n$ on $(X,\omega)$. More precisely, choosing Hamiltonian functions $H\_1$,...,$H\_n$ generating the action of $U(1)^n$ (i.e. such that the corresponding Hamiltonian vector fields generate the action of $U(1)^n$), then the toric fibration $X \rightarrow \mathbb{R}^n$ is given by $x \mapsto (H\_1(x),...,H\_n(x))$. Because $U(1)^n$ is abelian, the vector fields generating the action commute and so the Hamiltonian functions Poisson commute. It is a general fact that if one has a symplectic manifold of real dimension $2n$, with $n$ functions $H\_1,...,H\_n$ Poisson commuting (and with linearly independent differentials), then the common vanishing locus of these functions is a Lagrangian submanifold (for example, by Darboux lemma, you can locally complete these $n$ functions by $n$ other functions $\theta\_1$,...,$\theta\_n$ such that $H\_i$, $\theta\_j$ are local coorrdinates such that $\omega=\sum\_{i=1}^n dH\_i \wedge d\theta\_i$ and the result is then obvious).


