A smooth four manifold is of finite type $r$ if its Donaldson invariant satisfies D((x^2-4)^r)=0. We prove that every simply connected manifold is of finite type by using the structure of Donaldson invariants in the presence of immersed spheres. More precisely we prove that if a manifold X contains an immersed sphere with $p$ positive double points and a non-negative self-intersection $a$, then it is of finite type with r = [(2p+2-a)/4].
We show that the extrinsic diameter of immersed flat tori in the 3-sphere is $π$ under a certain topological condition for the projection of their asymptotic curves with respect to the Hopf fibration.
We provide a lower value for the volume of a unit vector field tangent to an antipodally Euclidean sphere $\mathbb{S}^2$ depending on the length of an ellipse determined by the indexes of its singularities. In addition, for minimizing vector fields having specific pair of indexes, we show that their image coincides with the image of minimally immersed Klein bottles.
As is known, the Blaschke tensor $A$ (a symmetric covariant $2$-tensor) is one of the fundamental Möbius invariants in the Möbius differential geometry of submanifolds in the unit sphere $\mathbb S^n$, and the eigenvalues of $A$ are referred to as the Blaschke eigenvalues. In this paper, we shall prove a classification theorem for immersed umbilic-free submanifolds in $\mathbb S^n$ with a parallel Blaschke tensor. For proving this classification, some new kinds of examples are first defined.
Using Morse-Bott techniques adapted to the gauge-theoretic setting, we show that the limiting boundary values of the space of finite energy monopoles on a connected 3-manifold with at least two cylindrical ends provides an immersed Lagrangian submanifold of the vortex moduli space at infinity. By studying the signed intersections of such Lagrangians, we supply the analytic details of Donaldson's TQFT construction of the Seiberg-Witten invariants of a closed 3-manifold.
As is known, the Blaschke tensor $A$ (a symmetric covariant $2$-tensor) is one of the fundamental Möbius invariants in the Möbius differential geometry of submanifolds in the unit sphere $\mathbb S^n$, and the eigenvalues of $A$ are referred to as the Blaschke eigenvalues. In this paper, we continue our job for the study on the submanifolds in $\bbs^n$ with parallel Blaschke tensors which we simply call {\em Blaschke parallel submanifolds} to find more examples and seek a complete classification finally. The main theorem of this paper is the classification of Blaschke parallel submanifolds in …
We prove a uniqueness theorem for immersed spheres of prescribed (non-constant) mean curvature in homogeneous three-manifolds. In particular, this uniqueness theorem proves a conjecture by A.D. Alexandrov about immersed spheres of prescribed Weingarten curvature in R3 for the special but important case of prescribed mean curvature. As a consequence, we extend the classical Hopf uniqueness theorem for constant mean curvature spheres to the case of immersed spheres of prescribed antipodally symmetric mean curvature in R3.
We study curvature functionals for immersed 2-spheres in a compact, three-dimensional Riemannian manifold M. Under the assumption that the sectional curvature of M is strictly positive, we prove the existence of a smoothly immersed sphere minimizing the L^{2} integral of the second fundamental form. Assuming instead that the sectional curvature is less than or equal to 2, and that there exists a point in M with scalar curvature bigger than 6, we obtain a smooth 2-sphere minimizing the integral of 1/4|H|^{2} +1, where H is the mean curvature vector.
Let $\mathcal{A}$ be a class of immersed surfaces in a three-manifold $M$, and assume that $\mathcal{A}$ is modeled by an elliptic PDE over each tangent plane. In this paper we solve the so-called Hopf uniqueness problem for the class $\mathcal{A}$ under the only mild assumption of the existence of a transitive family of candidate surfaces $\mathcal{S}\subset \mathcal{A}$. Specifically, we prove that any compact immersed surface of genus zero in the class $\mathcal{A}$ is a candidate sphere. This theorem unifies and extends many previous uniqueness results of different contexts. As an applicat…
A theorem by Almgren establishes that any minimal $2$-sphere immersed in $\mathbb{S}^3$ is a totally geodesic equator. In this paper we give a purely geometric extension of Almgren's result, by showing that any immersed, real analytic $2$-sphere in $\mathbb{S}^3$ that is saddle, i.e., of non-positive extrinsic curvature, must be an equator of $\mathbb{S}^3$. We remark that, contrary to Almgren's theorem, no geometric PDE is imposed on the surface. The result is not true for $C^{\infty}$ spheres.
We prove that under some assumptions on the mean curvature the set of umbilical points of an immersed surface in a $3$-dimensional space form has positive measure. In case of an immersed sphere our result can be seen as a generalization of the celebrated Hopf theorem.
Let $M$ be a simply connected homogeneous three-manifold with isometry group of dimension $4$, and let $Σ$ be any compact surface of genus zero immersed in $M$ whose mean, extrinsic and Gauss curvatures satisfy a smooth elliptic relation $Φ(H,K_e,K)=0$. In this paper we prove that $Σ$ is a sphere of revolution, provided that the unique inextendible rotational surface $S$ in $M$ that satisfies this equation and touches its rotation axis orthogonally has bounded second fundamental form. In particular, we prove that: (i) any elliptic Weingarten sphere immersed in $\mathbb{H}^2\times \mathbb{R}$ i…
Mannheim curves are defined for immersed curves in 3-dimensional sphere S^3 . The definition is given by considering the geodesics of S^3. First, two special geodesics, called principal normal geodesic and binormal geodesic, of S^3 are defined by using Frenet vectors of a curve immersed in S^3. Later, the curve alpha is called a Mannheim curve if there exits another curve beta in S^3 such that the principal normal geodesics of beta coincide with the binormal geodesics of S^3 . It is obtained that if alpha and beta form a Mannheim pair then there exist a constant lambda that is not equal 0 and …
We study the classification of immersed constant mean curvature (CMC) spheres in the homogeneous Riemannian 3-manifold Sol_3, i.e., the only Thurston 3-dimensional geometry where this problem remains open. Our main result states that, for every H>1/(\sqrt{3}), there exists a unique (up to left translations) immersed CMC H sphere S_H in Sol_3 (Hopf-type theorem). Moreover, this sphere S_H is embedded, and is therefore the unique (up to left translations) compact embedded CMC H surface in Sol_3 (Alexandrov-type theorem). The uniqueness parts of these results are also obtained for all real number…
We prove a theorem of Hadamard-Stoker type: a connected locally convex complete hypersurface immersed in $H^n \times R$ (n>1), where $H^n$ is n-dimensional hyperbolic space, is embedded and homeomorphic either to the n-sphere or to $R^n$. In the latter case it is either a vertical graph over a convex domain in $H^n$ or has what we call a simple end.
In 1968, Simons introduced the concept of index for hypersurfaces immersed into the Euclidean sphere S^{n+1}. Intuitively, the index measures the number of independent directions in which a given hypersurface fails to minimize area. The earliest results regarding the index focused on the case of minimal hypersurfaces. Many such results established lower bounds for the index. More recently, however, mathematicians have generalized these results to hypersurfaces with constant mean curvature. In this paper, we consider hypersurfaces of constant mean curvature immersed into the sphere and give low…
For an immersed Lagrangian submanifold, let $\check{A}$ be the Lagrangian trace-free second fundamental form. In this note we consider the equation $\nabla^*T=0$ on Lagrangian surfaces immersed in $\mathbb{C}^2$, where $T=-2\nabla^*(\check{A}\lrcornerω)$, and we prove a gap theorem for the Whitney sphere as a solution to this equation.
We give a complete classification of the immersed constant mean curvature spheres in a three-sphere with an arbitrary homogenous metric, by proving that for each $H\in\mathbb{R}$, there exists a constant mean curvature $H$-sphere in the space that is unique up to an ambient isometry.
We prove an existence theorem for gauge invariant $L^2$-normal neighborhoods of the reduction loci in the space ${\cal A}_a(E)$ of oriented connections on a fixed Hermitian 2-bundle $E$. We use this to obtain results on the topology of the moduli space ${\cal B}_a(E)$ of (non-necessarily irreducible) oriented connections, and to study the Donaldson $μ$-classes globally around the reduction loci. In this part of the article we use essentially the concept of harmonic section in a sphere bundle with respect to an Euclidean connection. Second, we concentrate on moduli spaces of instantons on defin…
We prove the existence of immersed closed curves of constant geodesic curvature in an arbitrary Riemannian 2-sphere for almost every prescribed curvature. To achieve this, we develop a min-max scheme for a weighted length functional.
In this paper, we obtain a sufficient and necessary condition for a simply connected Riemannian manifold $(M^n, g)$ to be isometrically immersed, as a submanifold with codimension $p\geq 1$, into the product $S^k\times H^{n+p-k}$ of sphere and hyperboloid.
Using a hyperKähler rotation on complex structures of a Calabi-Yau 2-fold and rolling of an isotropic 2-submanifold in a symplectic 6-manifold, we construct, by gluing, a natural family of immersed Lagrangian deformations of a branched covering of a special Lagrangian 3-sphere in a Calabi-Yau 3-fold and study how they deviate from being deformable to a family of special Lagrangian deformations by examining in detail Joyce's criteria on this family. The result suggests a potential image-support rigidity of A-branes that wrap around a special Lagrangian 3-sphere in a Calabi-Yau 3-fold, which res…
The space of all immersed closed curves of rotation degree 0 in the plane modulo reparametrizations has the same homotopy groups as the circle times the 2-sphere.
We prove that a sequence of possibly branched, weak immersions of the two-sphere $S^2$ into an arbitrary compact riemannian manifold $(M^m,h)$ with uniformly bounded area and uniformly bounded $L^2-$norm of the second fundamental form either collapse to a point or weakly converges as current, modulo extraction of a subsequence, to a Lipschitz mapping of $S^2$ and whose image is made of a connected union of finitely many, possibly branched, weak immersions of $S^2$ with finite total curvature. We prove moreover that if the sequence belongs to a class $γ$ of $π_2(M^m)$ the limiting lipschitz map…
Let $X$ denote a metric Lie group diffeomorphic to $\mathbb{R}^3$ that admits an algebraic open book decomposition. In this paper we prove that if $Σ$ is an immersed surface in $X$ whose left invariant Gauss map is a diffeomorphism onto $\mathbb{S}^2$, then $Σ$ is an embedded sphere. As a consequence, we deduce that any constant mean curvature sphere of index one in $X$ is embedded.
The quaternionic KP hierarchy is the integrable hierarchy of p.d.e obtained by replacing the complex numbers with the quaternions, mutatis mutandis, in the standard construction of the KP hierarchy equations and solutions; it is equivalent to what is often called the Davey-Stewartson II hierarchy. This article studies its relationship with the theory of quaternionic holomorphic 2-tori in HP^1 (which are equivalent to conformally immersed 2-tori in S^4). After describing how the Sato-Segal-Wilson construction of KP solutions (particularly solutions of finite type) carries over to this quaternio…
A correspondence is established between a class of minimal immersed surfaces of $\mathbb{S}^3(2)$ and area-minimizing unit vector fields defined on the antipodally punctured unit sphere $\mathbb{S}^2\backslash\{N,S\}$. As a consequence, we establish a stability relation for Lawson cylinders in $\mathbb{S}^3(2)$.
In this paper we study curvature types of immersed surfaces in three-dimensional (normed or) Minkowski spaces. By endowing the surface with a normal vector field, which is a transversal vector field given by the ambient Birkhoff orthogonality, we get an analogue of the Gauss map. Then we can define concepts of principal, Gaussian, and mean curvatures in terms of the eigenvalues of the differential of this map. Considering planar sections containing the normal field, we also define normal curvatures at each point of the surface, and with respect to each tangent direction. We investigate the rel…
We study curvature functionals for immersed 2-spheres in non-compact, three-dimensional Riemannian manifold $(M,h)$ without boundary. First, under the assumption that $(M,h)$ is the euclidean 3-space endowed with a semi-perturbed metric with perturbation small in $C^1$ norm and of compact support, we prove that if there is some point $\bar{x} \in M$ with scalar curvature $R^M(\bar{x})>0$ then there exists a smooth embedding $f:S^2 \hookrightarrow M$ minimizing the Willmore functional $1/4\int |H|^2$, where $H$ is the mean curvature. Second, assuming that $(M,h)$ is of bounded geometry (i.e. bo…
We prove that the least area of the non-contractible immersed spheres is no more than $4π$ in any oriented compact manifold with dimension $n+2\leq 7$ which satisfies $R\geq 2$ and admits a map to $\mathbf S^2\times T^n$ with nonzero degree. We also prove a rigidity result for the equality case. This can be viewed as a generalization of the result in [2] to higher dimensions.
The aim of this paper is to study Sasakian immersions of compact Sasakian manifolds into the odd-dimensional sphere equipped with the standard Sasakian structure. We obtain a complete classification of such manifolds in the Einstein and $η$-Einstein cases when the codimension of the immersion is $4$. Moreover, we exhibit infinite families of compact Sasakian $η$--Einstein manifolds which cannot admit a Sasakian immersion into any odd-dimensional sphere. Finally, we show that, after possibly performing a ${\mathcal {D}}$-homothetic deformation, a homogeneous Sasakian manifold can be Sasakian im…
Let $ X: M \hook S^5$ be a compact Legendrian surface in pseudoconformal(CR) 5-sphere. We introduce a pseudoconformally invariant Willmore type second order functional $ \W(X)$, and study its critical points called Willmore Legendrian surfaces. The fifth order structure equations show that Willmore dual can be defined for a class of Willmore Legendrian surfaces. Moreover when this dual is constant, Willmore Legendrian surface admits a Weierstraßtype representation in terms of immersed meromorphic curve in $ \C^2$ satisfying an appropriate real period condition via pseudoconformal stereographic…
We introduce the notion of translational Riemannian manifolds and define a Gauss map for orientable immersed hypersurfaces lying in these ambients, an associated translational curvature and prove a Gauss-Bonnet theorem. We also use this Gauss map to prove that if $M^{n}$ is a compact, connected and oriented immersed hypersurface of the unit sphere $\mathbb{S}^{n+1}$ ($n\geq2$) contained in a geodesic ball of radius $R$ and whose principal curvatures are strictly bigger than $\tan\left( R/2 \right)$, then $M$ is diffeomorphic to $\mathbb{S}^{n}$. Additionally, we show that for any $\varepsilon\…
We study the problem to extend an immersed circle f in the 2-dimensional sphere to an immersion of the disc. We analyze existence and uniqueness for this problems in terms of the combinatorial structure of a word assigned to f. Our techniques are based on ideas of Blank who studied the extension problem in case of a planar target.
Soliton spheres are immersed 2-spheres in the conformal 4-sphere S^4=HP^1 that allow rational, conformal parametrizations f:CP^1->HP^1 obtained via twistor projection and dualization from rational curves in CP^{2n+1}. Soliton spheres can be characterized as the case of equality in the quaternionic Pluecker estimate. A special class of soliton spheres introduced by Taimanov are immersions into R^3 with rotationally symmetric Weierstrass potentials that are related to solitons of the mKdV-equation via the ZS-AKNS linear problem. We show that Willmore spheres and Bryant spheres with smooth ends a…
We study immersed, connected, umbilic hypersurfaces in the Heisenberg group $H_{n}$ with $n$ $\geq $ $2.$ We show that such a hypersurface, if closed, must be rotationally invariant up to a Heisenberg translation. Moreover, we prove that, among others, Pansu spheres are the only such spheres with positive constant sigma-k curvature up to Heisenberg translations.
For all $k\in]0,1[$, we construct a canonical bijection between the space of ramified coverings of the sphere and the space of complete immersed surfaces in $3$-dimensional hyperbolic space of finite area and of constant extrinsic curvature equal to $k$. We show, furthermore, that this bijection restricts to a homeomorphism over each stratum of the space of ramified coverings of the sphere.
Let $M$ be a complete Riemannian $3$-manifold with sectional curvatures between $0$ and $1$. A minimal $2$-sphere immersed in $M$ has area at least $4π$. If an embedded minimal sphere has area $4π$, then $M$ is isometric to the unit $3$-sphere or to a quotient of the product of the unit $2$-sphere with $\mathbb{R}$, with the product metric. We also obtain a rigidity theorem for the existence of hyperbolic cusps. Let $M$ be a complete Riemannian $3$-manifold with sectional curvatures bounded above by $-1$. Suppose there is a $2$-torus $T$ embedded in $M$ with mean curvature one. Then the mean c…
We prove that two spheres of the same constant mean curvature in an arbitrary homogeneous three-manifold only differ by an ambient isometry, and we determine the values of the mean curvature for which such spheres exist. This gives a complete classification of immersed constant mean curvature spheres in three-dimensional homogeneous manifolds.
We consider closed immersed hypersurfaces evolving by surface diffusion flow, and perform an analysis based on local and global integral estimates. First we show that a properly immersed stationary (ΔH \equiv 0) hypersurface in \R^3 or \R^4 with restricted growth of the curvature at infinity and small total tracefree curvature must be an embedded union of umbilic hypersurfaces. Then we prove for surfaces that if the L^2 norm of the tracefree curvature is globally initially small it is monotonic nonincreasing along the flow. We also derive pointwise estimates for all derivatives of the curvatur…
We prove that finite area isolated singularities of surfaces with constant positive curvature in R^3 are removable singularities, branch points or immersed conical singularities. We describe the space of immersed conical singularities of such surfaces in terms of the class of real analytic closed locally convex curves in the 2-sphere with admissible cusp singularities, characterizing when the singularity is actually embedded. In the global setting, we describe the space of peaked spheres in R^3, i.e. compact convex surfaces of constant positive curvature with a finite number of singularities, …
We prove that in Euclidean space $R^{n+1}$ any compact immersed nonnegatively curved hypersurface $M$ with free boundary on the sphere $S^n$ is an embedded convex topological disk. In particular, when the $m^{th}$ mean curvature of $M$ is constant, for any $1\leq m\leq n$, $M$ is a spherical cap or an equatorial disk.
This article explains how to construct immersed Lagrangian submanifolds in C^2 that are asymptotic at large distance from the origin to a given braid in the 3-sphere. The self-intersections of the Lagrangians are related to the crossings of the braid. These Lagrangians are then used to construct immersed Lagrangians in the vector bundle O(-1) oplus O(-1) over the Riemann sphere which are asymptotic at large distance from the zero section to braids.
In this paper we prove rigidity results for two-dimensional, closed, immersed, non-necessarily convex, self-similar solutions of a wide class of fully non-linear parabolic flows in $\mathbb{R}^3$. We show this self-similar solutions are the round spheres centered at the origin provided it has genus zero and satisfies a suitable upper pinching estimate for the Gaussian curvature. As applications, we obtain rigidity results for the round sphere as the only closed, immersed, genus zero, self-similar solution of several well known flows, as the flow of the powers of mean curvature, the harmonic me…
We study the envelopes of meromorphy of neighborhoods of symplectically immersed two-spheres in complex Kähler surfaces using the Gromov's theory of pseudoholomorphic curves. The construction of a complete family of holomorphic deformations of a non-compact complex curve in a complex manifold, parametrized by a finite codimension analytic subset of a Banach ball, is given. The existence of this family is used to prove a generalization of Levi's continuity principle, which is applied to describe envelopes of meromorphy.
Mutation is an operation on 3-manifolds containing an embedded surface of genus 2. It is defined by cutting along the surface and regluing using the `hyperelliptic' involution, and is known to preserve many 3-manifold invariants. I show that mutation of a homology 3-sphere preserves its (instanton) Floer homology, and that a related operation on 4-manifolds preserves the Donaldson invariants. A companion article (in preparation) will treat invariants based on the Seiberg-Witten equations.
