No Arabic abstract
For a germ of a smooth map f and a subgroup G_V of any of the Mather groups G for which the source or target diffeomorphisms preserve some given volume form V in the source or in the target we study the G_V-moduli space of f that parameterizes the G_V-orbits inside the G-orbit of f. We find, for example, that this moduli space vanishes for A-equivalence with volume-preserving target diffeomorphisms and A-stable maps f and for K-equivalence with volume-preserving source diffeomorphisms and K-simple maps f. On the other hand, there are A-stable maps f with infinite-dimensional moduli space for A-equivalence with volume-preserving source diffeomorphisms.
We extend V. Arnolds theory of asymptotic linking for two volume preserving flows on a domain in ${mathbb R}^3$ and $S^3$ to volume preserving actions of ${mathbb R}^k$ and ${mathbb R}^ell$ on certain domains in ${mathbb R}^n$ and also to linking of a volume preserving action of ${mathbb R}^k$ with a closed oriented singular $ell$-dimensional submanifold in ${mathbb R}^n$, where $n=k+ell+1$. We also extend the Biot-Savart formula to higher dimensions.
We consider the flow of closed convex hypersurfaces in Euclidean space $mathbb{R}^{n+1}$ with speed given by a power of the $k$-th mean curvature $E_k$ plus a global term chosen to impose a constraint involving the enclosed volume $V_{n+1}$ and the mixed volume $V_{n+1-k}$ of the evolving hypersurface. We prove that if the initial hypersurface is strictly convex, then the solution of the flow exists for all time and converges to a round sphere smoothly. No curvature pinching assumption is required on the initial hypersurface.
In the first part of this paper, we develop the theory of anisotropic curvature measures for convex bodies in the Euclidean space. It is proved that any convex body whose boundary anisotropic curvature measure equals a linear combination of other lower order anisotropic curvature measures with nonnegative coefficients is a scaled Wulff shape. This generalizes the classical results by Schneider [Comment. Math. Helv. textbf{54} (1979), 42--60] and by Kohlmann [Arch. Math. (Basel) textbf{70} (1998), 250--256] to the anisotropic setting. The main ingredients in the proof are the generalized anisotropic Minkowski formulas and an inequality of Heintze--Karcher type for convex bodies. In the second part, we consider the volume preserving flow of smooth closed convex hypersurfaces in the Euclidean space with speed given by a positive power $alpha $ of the $k$th anisotropic mean curvature plus a global term chosen to preserve the enclosed volume of the evolving hypersurfaces. We prove that if the initial hypersurface is strictly convex, then the solution of the flow exists for all time and converges to the Wulff shape in the Hausdorff sense. The characterization theorem for Wulff shapes via the anisotropic curvature measures will be used crucially in the proof of the convergence result. Moreover, in the cases $k=1$, $n$ or $alphageq k$, we can further improve the Hausdorff convergence to the smooth and exponential convergence.
In this paper, we study flows of hypersurfaces in hyperbolic space, and apply them to prove geometric inequalities. In the first part of the paper, we consider volume preserving flows by a family of curvature functions including positive powers of $k$-th mean curvatures with $k=1,cdots,n$, and positive powers of $p$-th power sums $S_p$ with $p>0$. We prove that if the initial hypersurface $M_0$ is smooth and closed and has positive sectional curvatures, then the solution $M_t$ of the flow has positive sectional curvature for any time $t>0$, exists for all time and converges to a geodesic sphere exponentially in the smooth topology. The convergence result can be used to show that certain Alexandrov-Fenchel quermassintegral inequalities, known previously for horospherically convex hypersurfaces, also hold under the weaker condition of positive sectional curvature. In the second part of this paper, we study curvature flows for strictly horospherically convex hypersurfaces in hyperbolic space with speed given by a smooth, symmetric, increasing and homogeneous degree one function $f$ of the shifted principal curvatures $lambda_i=kappa_i-1$, plus a global term chosen to impose a constraint on the quermassintegrals of the enclosed domain, where $f$ is assumed to satisfy a certain condition on the second derivatives. We prove that if the initial hypersurface is smooth, closed and strictly horospherically convex, then the solution of the flow exists for all time and converges to a geodesic sphere exponentially in the smooth topology. As applications of the convergence result, we prove a new rigidity theorem on smooth closed Weingarten hypersurfaces in hyperbolic space, and a new class of Alexandrov-Fenchel type inequalities for smooth horospherically convex hypersurfaces in hyperbolic space.
Smale-Barden manifolds are simply-connected closed 5-manifolds. It is an important and difficult question to decide when a Smale-Barden manifold admits a Sasakian or a K-contact structure. The known constructions of Sasakian and K-contact structures are obtained mainly by two techniques. These are either links (Boyer and Galicki), or semi-regular Seifert fibrations over smooth orbifolds (Kollar). Recently, the second named author of this article started the systematic development of quasi-regular Seifert fibrations, that is, over orbifolds which are not necessarily smooth. The present work is devoted to several applications of this theory. First, we develop constructions of a Smale-Barden manifold admitting a quasi-regular Sasakian structure but not a semi-regular K-contact structure. Second, we determine all Smale-Barden manifolds that admit a null Sasakian structure. Finally, we show a counterexample in the realm of cyclic Kahler orbifolds to the algebro-geometric conjecture that claims that for an algebraic surface with $b_1=0$ and $b_2>1$ there cannot be $b_2$ smooth disjoint complex curves of genus g>0 spanning the (rational) homology.