Symplectomorphic codimension 1 totally geodesic submanifolds (Q1842136)

We show that the coisotropic totally geodesic properly embedded submanifolds of codimension 1 of a simply connected complete Kähler manifold of non-positive sectional curvature are symplectically linearizable. First we show that such a submanifold is foliated by totally geodesic complex leaves transversal to an isometric flow, hence, by a result of E. Ghys, is a Riemannian product. We then apply a result of B. Reinhart concerning bundle like metrics.