Austere and arid properties for PF submanifolds in Hilbert spaces

A new class of austere submanifolds

Austere submanifolds of Euclidean space were introduced in 1982 by Harvey and Lawson in their foundational work on calibrated geometries. In general, the austerity condition is much stronger than minimality since it express that the nonzero eigenvalues of the shape operator of the submanifold appear in opposite pairs for any normal vector at any point. Thereafter, the challenging task of finding non-trivial explicit examples, other than minimal immersions of Kaehler manifolds, only turned out submanifolds of rank two, and these are of limited interest in the sense that in this special situatio…

Twisted-Austere Submanifolds in Euclidean Space

A twisted-austere $k$-fold $(M, μ)$ in $\mathbb R^n$ consists of a $k$-dimensional submanifold $M$ of $\mathbb R^n$ together with a closed $1$-form $μ$ on $M$ such that the `twisted conormal bundle' $N^* M + μ$ is a special Lagrangian submanifold of $\mathbb C^n$. The 1-form $μ$ and the second fundamental form of $M$ must satisfy a particular system of coupled nonlinear second order PDE. We first review these twisted-austere conditions and give an explicit example. Then we focus on twisted-austere 3-folds, giving a geometric description of all solutions when the base $M$ is a cylinder and when…

Ruled Austere Submanifolds of Dimension Four

We classify 4-dimensional austere submanifolds in Euclidean space ruled by 2-planes. The algebraic possibilities for second fundamental forms of an austere 4-fold M were classified by Bryant, falling into three types which we label A, B, and C. We show that if M is 2-ruled of Type A, then the ruling map from M into the Grassmannian of 2-planes in R^n is holomorphic, and we give a construction for M starting with a holomorphic curve in an appropriate twistor space. If M is 2-ruled of Type B, then M is either a generalized helicoid in R^6 or the product of two classical helicoids in R^3. If M is…

Examples of austere orbits of the isotropy representations for semisimple pseudo-Riemannian symmetric spaces

Harvey-Lawson and Anciaux introduced the notion of austere submanifolds in pseudo-Riemannian geometry. We give an equivalent condition for an orbit of the isotropy representations for semisimple pseudo-Riemannian symmetric space to be an austere submanifold in a pseudo-sphere in terms of restricted root system theory with respect to Cartan subspaces. By using the condition we give examples of austere orbits.

Curvatures and austere property of orbits of path group actions induced by Hermann actions

It is known that an isometric action of a Lie group on a compact symmetric space gives rise to a proper Fredholm action of a path group on a path space via the gauge transformations. In this paper, supposing that the isometric action is a Hermann action (i.e. an isometric action of a symmetric subgroup of the isometry group) we give an explicit formula for the principal curvatures of orbits of the path group action and study the condition for those orbits to be austere, that is, the set of principal curvatures in the direction of each normal vector is invariant under the multiplication by minu…

Submanifolds with constant principal curvatures in symmetric spaces

We study submanifolds whose principal curvatures, counted with multiplicities, do not depend on the normal direction. Such submanifolds, which we briefly call CPC submanifolds, are always austere, hence minimal, and have constant principal curvatures. Well-known classes of examples include totally geodesic submanifolds, homogeneous austere hypersurfaces, and singular orbits of cohomogeneity one actions. The main purpose of this article is to present a systematic approach to the construction and classification of homogeneous submanifolds whose principal curvatures are independent of the normal …

Three-dimensional submanifolds of $\E^5$ with extremal normal curvature

The main result of this paper was already obtained in the paper `Some Remarks on the Geometry of Austere Manifolds', by Robert L. Bryant.

Moebius geometry of three dimensional Wintgen ideal submanifolds in S^5

Wintgen ideal submanifolds in space forms are those ones attaining equality at every point in the so-called DDVV inequality which relates the scalar curvature, the mean curvature and the normal scalar curvature. This property is conformal invariant; hence we study them in the framework of Moebius geometry, and restrict to three dimensional Wintgen ideal submanifolds in S^5. In particular we give Moebius characterizations for minimal ones among them, which are also known as (3-dimensional) austere submanifolds (in 5-dimensional space forms).

Variational formulas of higher order mean curvatures

In this paper, we establish the first variational formula and its Euler-Lagrange equation for the total $2p$-th mean curvature functional $\mathcal {M}_{2p}$ of a submanifold $M^n$ in a general Riemannian manifold $N^{n+m}$ for $p=0,1,...,[\frac{n}{2}]$. As an example, we prove that closed complex submanifolds in complex projective spaces are critical points of the functional $\mathcal {M}_{2p}$, called relatively $2p$-minimal submanifolds, for all $p$. At last, we discuss the relations between relatively $2p$-minimal submanifolds and austere submanifolds in real space forms, as well as a spec…

Geometric Properties of Orbits of Hermann actions

In this paper, we investigate properties of orbits of Hermann actions as submanifolds without assuming the commutability of involutions which define Hermann actions. In particular, we compute the second fundamental form of orbits of Hermann action, and give a sufficient condition for orbits of Hermann action to be weakly reflective (resp. arid) submanifolds.

非紧型且高秩对称空间中的等参超曲面

Isoparametric hypersurfaces in symmetric spaces of non-compact type and higher rank

本文提出一种将子流形从欧几里得空间扩展到非紧型对称空间的新方法，构造出高秩对称空间中具有非严峻焦集的首批非齐次等参超曲面族。

Complete minimal submanifolds with nullity in Euclidean spheres

In this paper we investigate $m$-dimensional complete minimal submanifolds in Euclidean spheres with index of relative nullity at least $m-2$ at any point. These are austere submanifolds in the sense of Harvey and Lawson \cite{harvey} and were initially studied by Bryant \cite{br}. For any dimension and codimension there is an abundance of non-complete examples fully described by Dajczer and Florit \cite{DF2} in terms of a class of surfaces, called elliptic, for which the ellipse of curvature of a certain order is a circle at any point. Under the assumption of completeness, it turns out that a…

Path group actions induced by sigma-actions and affine Kac-Moody symmetric spaces of group type

In 1995, C.-L. Terng associated to each hyperpolar action on a compact symmetric space, a hyperpolar proper Fredholm (PF) action on a Hilbert space. This is a group action by an infinite dimensional path group and it acts on a Hilbert space via the gauge transformations. Those two hyperpolar actions are related through an equivariant Riemannian submersion called the parallel transport map and they have close relations to the infinite dimensional symmetric spaces called affine Kac-Moody symmetric spaces. In this paper we define a linear isomorphism between Hilbert spaces and show that it is equ…