## WILLMORE SUBMANIFOLDS IN THE UNIT SPHERE VIA ISOPARAMETRIC FUNCTIONS

YUQUAN XIE

Abstract. This paper is a continuation of [TY12] and [QTY13]. We show that both focal submanifolds of each isoparametric hypersurface in the sphere with six distinct principal curvatures are Willmore.

## 1. Introduction

Let x : N n → S n + p be an immersion from an n -dimensional compact submanifold to an ( n + )-dimensional unit sphere. p Then N is called a Willmore submanifold in S n + p if it is an extremal submanifold of the Willmore functional ( cf. [Wan98])

$$W ( x ) = \int _ { N } ( S - n | H | ^ { 2 } ) ^ { \frac { n } { 2 } } d v.$$

Here S is the square norm of the second fundamental form of x , and H is the mean curvature vector field. In [GLW01] and [PW88], the authors gave an equivalent condition for N n to be Willmore. In particular, if N is minimal with constant S , the criterion for Willmore reduces to a simple equation (see (5) in section 2).

It follows immediately from the criterion (5) that all the Einstein manifolds minimally immersed in the unit sphere are Willmore submanifolds. However, there exist examples of minimal Willmore submanifolds which are not Einstein, for example, Cartan's minimal isoparametric hypersurfaces. In addition, [Li01] characterized all the isoparametric Willmore hypersurfaces in the unite sphere. In 2012, Tang and Yan [TY12] proved that one of the focal submanifolds of OT-FKM type is Willmore. Qian, Tang and Yan [QTY13] extended this result, they showed that

Theorem 1.1 ([QTY13]) . Both the focal submanifolds of every isoparametric hypersurface in S n +1 with four distinct principal curvatures are Willmore.

Furthermore, they completely determine the focal submanifolds which are Einstein except for one case (for details, see [QTY13]). Recently, Tang and Yan [TY13b] showed that the focal submanifolds with g = 4 are all Amanifolds but rarely Ricci parallel, except possibly for the only unclassified case. For the case g = 6, Li and Yan [LY14] proved that none of them are Ricci parallel.

2000 Mathematics Subject Classification. 53A30, 53C42.

Key words and phrases. Willmore submanifold, isoparametric hypersurface, focal submanifold.

The project is supported by the NSFC ( No.11326071 ).

In this paper, we will give a new proof of theorem 1.1. Moreover, we establish our result as follows

Theorem 1.2. Both the focal submanifolds of each isoparametric hypersurface in the unit sphere with six distinct principal curvatures are Willmore.

Recall that an isoparametric hypersurface M in the sphere is one whose principal curvatures and their multiplicities are fixed constants. In virtue of M¨ unzner's work [M¨ un80] [M¨ un81], the number g of distinct principal curvatures must be 1 2 3 4 or , , , 6, and there are at most two multiplicities { m ,m 1 2 } of principal curvatures ( m 1 = m 2 , if g is odd). The classification problem has been completed except for one case (see [Tho00] and [Cec08] for excellent surveys and [CCJ07], [Imm08], [Chi13],[Miy13], [TY13a], [TXY14] for recent progresses).

The isoparametric hypersurfaces with g = 1 2 3 were classified by Cartan to be , , homogeneous [Car39a] [Car39b]. Clearly, in these cases, the focal submanifolds are Willmore. For g = 6, Abresch [Abr83] proved that m 1 = m 2 = 1 or 2. Dorfmeister and Neher [DN85] showed that the isoparametric hypersurface is homogeneous in the first case and Miyaoka [Miy13] showed the same result in the second case.

Based on all the results mentioned above, we obtain the following

Theorem 1.3. All the focal submanifolds of the isoparametric hypersurfaces in the unit sphere are Willmore submanifolds.

## 2. Notation and preliminary results

Let N n be a minimal submanifold in the unit sphere S n + p with constant square norm S of the second fundamental form. We choose a local field of orthonormal frames e , 1 · · · , e n + p in S n + p such that, restricted to N , the vectors e , 1 · · · , e n are tangent to N and, consequently, the remaining vectors e n +1 , · · · , e n + p are normal to N . Throughout this paper we will adopt the following ranges of indices:

$$1 \leq i, j, \cdots \leq n, \quad n + 1 \leq \alpha, \beta, \gamma \cdots \leq n + p, \quad 1 \leq A, B, C, \cdots \leq n + p,$$

and we shall agree that repeated indices are summed over the respected ranges. With respect to the frame field in S n + p chosen above, let θ , 1 · · · , θ n + p be the field of dual frames. Then the structure equations of S n + p are given by

$$& d \theta _ { A } = \sum \omega _ { A B } \wedge \theta _ { B }, \quad \omega _ { A B } = - \omega _ { B A }, \\ & d \omega _ { A B } = \sum \omega _ { A C } \wedge \omega _ { C B } - \theta _ { A } \wedge \theta _ { B }. \\ \ni \text{form to } N, \text{ then }$$

We restrict these form to N , then

$$\theta _ { \alpha } = 0.$$

Since 0 = dθ α = -∑ ω iα ∧ θ i , by Cartan's lemma we may write

$$\omega _ { i \alpha } = \sum h _ { i j } ^ { \alpha } \theta _ { j }, \quad h _ { i j } ^ { \alpha } = h _ { j i } ^ { \alpha }.$$

From these formulas, we obtain

$$d \theta _ { i } = & \sum \omega _ { i j } \wedge \theta _ { j }, \quad \omega _ { i j } = - \omega _ { j i }, \\ \omega _ { i } \quad, \quad \varsigma \quad. \quad \varsigma \quad \varsigma \quad 1 \, \varsigma$$

$$& ( 3 ) R _ { i j k l } = \delta _ { i k } \delta _ { j l } - \delta _ { i l } \delta _ { j k } + \sum \left ( h ^ { \alpha } _ { i k } h ^ { \alpha } _ { j l } - h ^ { \alpha } _ { i l } h ^ { \alpha } _ { j k } \right ). \\ & \text{Hero, we... o... are the connection form and structure form of $N$ reconnect}$$

$$& d \omega _ { i j } = \sqrt { \sum } \omega _ { i k } \wedge \omega _ { k j } - \Omega _ { i j }, \quad \Omega _ { i j } = \frac { 1 } { 2 } \sum R _ { k l i j } \theta _ { k } \wedge \theta _ { l }, \\ & R _ { \dots } - \delta _ { \dots } \delta _ { \dots } - \delta _ { \dots } \delta _ { \dots } \perp \sum ( h ^ { \alpha } h ^ { \alpha } _ { \dots } - h ^ { \alpha } _ { \dots } h ^ { \alpha } _ { \dots } )$$

Here ω ij , Ω ij are the connection form and curvature form of N , respectively. The Ricci curvature of N is then given by

$$( 4 )$$

$$R _ { i j } & = \sum _ { k } R _ { i k j k } = ( n - 1 ) \delta _ { i j } + \sum _ { k, \alpha } \left ( h ^ { \alpha } _ { i j } h ^ { \alpha } _ { k k } - h ^ { \alpha } _ { i k } h ^ { \alpha } _ { k j } \right ) \\ & = ( n - 1 ) \delta _ { i j } - \sum _ { k, \alpha } h ^ { \alpha } _ { i k } h ^ { \alpha } _ { k j }.$$

The last equation successes, since N is minimal.

Recall that if N is minimal with constant S , the equivalent condition for N to be Willmore is given by ( cf. [GLW01],[TY12])

$$\sum _ { i, j } R _ { i j } h _ { i j } ^ { \alpha } = 0, \quad \text{ for any } \alpha = n + 1, \cdots, n + p.$$

Combining with (4), we conclude that N is a Willmore submanifold, if it satisfies

$$\sum _ { i, j, k, \beta } h _ { i k } ^ { \beta } h _ { k j } ^ { \beta } h _ { i j } ^ { \alpha } = 0, \quad \text{ for any } \alpha = n + 1, \cdots, n + p.$$

Let A α be the shape operator along the unit normal vector e α , that is, 〈 A α ( e i ) , e j 〉 = h α ij . We also denote by A α the corresponding matrix with respect to the orthonormal basis e , 1 · · · , e n . Since N is minimal, the trace of the shape operator is

$$\text{Tr} \, A _ { \alpha } = 0 \quad \text{ for any } \alpha = n + 1, \cdots, n + p.$$

Using the fact

Tr

A A

2

β

α

=

h

β

ik

h

β

kj

h

ij

,

β

{

∑

}

∑

i,j,k,β

we see that N is a Willmore submanifold in S n + p , if it satisfies

$$\text{Tr} \{ \sum _ { \beta } A _ { \beta } ^ { 2 } A _ { \alpha } \} = 0, \quad \text{ for any } \alpha = n + 1, \cdots, n + p.$$

## 3. Proof of the Theorem

Let N n be a focal submanifold of the isoparametric hypersurface in the sphere S n + p . It is well known that N is a minimal submanifold in S n + p with constant square norm S .

α

3.1. Case g = 4 . In this subsection, we shall give a new proof of Theorem 1.1.

In this case, as we know, the principal curvatures of N with respect to any unit normal vector are 1 0 , , -1. Therefore, if ξ = ∑ t α e α is any unit normal vector, and its shape operator is denoted by A , then A 3 = A .

By a further discussion (for details, one can find it in the previous version (arXiv0402272v1, Page 19) of [CCJ07]), we have

$$A _ { \alpha } = A _ { \alpha } ^ { 3 }, \quad \text{for all } \alpha,$$

$$A _ { \alpha } = A _ { \beta } ^ { 2 } A _ { \alpha } + A _ { \beta } A _ { \alpha } A _ { \beta } + A _ { \alpha } A _ { \beta } ^ { 2 }, \quad \text{for all } \alpha \neq \beta.$$

/negationslash

Hence for any α , Tr A α = Tr A 3 α , and for any α = β

/negationslash

$$\int _ { \substack { \int _ { \substack { \int _ { \substack { \int _ { \substack { \int _ { \beta } } } } } } } } } \tilde { \Gamma } \, A _ { \alpha } = \tilde { \Gamma } \{ A _ { \beta } ^ { 2 } A _ { \alpha } + A _ { \beta } A _ { \alpha } A _ { \beta } + A _ { \alpha } A _ { \beta } ^ { 2 } \} } = 3 \, \tilde { \Gamma } \, \{ A _ { \beta } ^ { 2 } A _ { \alpha } \}.$$

Combining with (7), we have for any α ,

/negationslash

$$+ ( 7 ), \, \text{we have for any } \alpha, \\ \text{Tr} \{ \sum _ { \beta } A _ { \beta } ^ { 2 } A _ { \alpha } \} & = \text{Tr} \{ A _ { \alpha } ^ { 3 } + \sum _ { \beta \neq \alpha } A _ { \beta } ^ { 2 } A _ { \alpha } \} \\ & = \text{Tr} \, A _ { \alpha } + \sum _ { \beta \neq \alpha } \text{Tr} \{ A _ { \beta } ^ { 2 } A _ { \alpha } \} \\ & = \text{Tr} \, A _ { \alpha } + \sum _ { \beta \neq \alpha } \frac { 1 } { 3 } \, \text{Tr} \, A _ { \alpha } \\ & = 0, \\ \text{t} \, N \, \text{is Willmore.\ } \text{This completes the proof of theorem}$$

/negationslash

/negationslash which yields that N is Willmore. This completes the proof of theorem 1.1.

3.2. Case g = 6 . As mentioned before, m 1 = m 2 = 1 or 2 and the isoparametric hypersurfaces in these two cases are homogeneous. Denote by M ,M 1 2 the corresponding focal submanifolds.

For m 1 = m 2 = 1, given p ∈ M 5 1 ⊂ S 7 , with respect to a suitable tangent orthonormal basis e , 1 · · · , e 5 of T M p 1 , Miyaoka [Miy93] showed that the shape operators of M 1 are given by

$$A _ { 6 } = \begin{pmatrix} \psi _ { 1 } & \psi _ { 2 } & \psi _ { 3 } & \psi _ { 4 } & \psi _ { 5 } & \psi _ { 6 } & \psi _ { 7 } \\ 0 & \frac { 1 } { \sqrt { 3 } } & 0 & 0 & 0 \\ 0 & \frac { 1 } { \sqrt { 3 } } & 0 & 0 & 0 \\ 0 & 0 & 0 & 0 & 0 \\ 0 & 0 & 0 & - \frac { 1 } { \sqrt { 3 } } & 0 \\ 0 & 0 & 0 & 0 & - \sqrt { 3 } \end{pmatrix}, \quad \begin{pmatrix} 0 & 0 & 0 & 0 & \sqrt { 3 } \\ 0 & 0 & 0 & \frac { 1 } { \sqrt { 3 } } & 0 \\ 0 & 0 & 0 & 0 \\ 0 & \frac { 1 } { \sqrt { 3 } } & 0 & 0 & 0 \\ \sqrt { 3 } & 0 & 0 & 0 & 0 \end{pmatrix}. \\ A \text{ direct computation leads to}$$

A direct computation leads to

$$A _ { 6 } ^ { 2 } + A _ { 7 } ^ { 2 } = \begin{pmatrix} 6 & 0 & 0 & 0 & 0 \\ 0 & \frac { 2 } { 3 } & 0 & 0 & 0 \\ 0 & 0 & 0 & 0 & 0 \\ 0 & 0 & 0 & \frac { 2 } { 3 } & 0 \\ 0 & 0 & 0 & 0 & 6 \end{pmatrix}.$$

It is not difficult to check that

$$\text{Tr} \{ ( A _ { 6 } ^ { 2 } + A _ { 7 } ^ { 2 } ) A _ { \alpha } \} = 0, \quad \alpha = 6 \text{ or } 7.$$

Hence M 1 is a Willmore submanifold in S 7 .

Similarly, for the focal submanifold M 5 2 , the shape operators are given by ( c.f. [Miy93] )

$$\psi$$

$$A _ { 6 } = \begin{pmatrix} \sqrt { 3 } & 0 & 0 & 0 & 0 \\ 0 & \frac { 1 } { \sqrt { 3 } } & 0 & 0 & 0 \\ 0 & 0 & 0 & 0 & 0 \\ 0 & 0 & 0 & - \frac { 1 } { \sqrt { 3 } } & 0 \\ 0 & 0 & 0 & 0 & - \sqrt { 3 } \end{pmatrix}, \quad \ \ A _ { 7 } = \begin{pmatrix} 0 & 1 & 0 & 0 & 0 \\ 1 & 0 & 0 & - \frac { 2 } { \sqrt { 3 } } & 0 \\ 0 & 0 & 0 & 0 & 0 \\ 0 & - \frac { 2 } { \sqrt { 3 } } & 0 & 0 & 1 \\ 0 & 0 & 0 & 1 & 0 \end{pmatrix}.$$

Consequently,

$$A _ { 6 } ^ { 2 } + A _ { 7 } ^ { 2 } = \begin{pmatrix} 4 & 0 & 0 & - \frac { 2 } { \sqrt { 3 } } & 0 \\ 0 & \frac { 8 } { 3 } & 0 & 0 & - \frac { 2 } { \sqrt { 3 } } \\ 0 & 0 & 0 & 0 & 0 \\ - \frac { 2 } { \sqrt { 3 } } & 0 & 0 & \frac { 8 } { 3 } & 0 \\ 0 & - \frac { 2 } { \sqrt { 3 } } & 0 & 0 & 4 \end{pmatrix} \,, \quad \text{$r\{(A _ { 6 } ^ { 2 } + A _ { 7 } ^ { 2 } ) A_{\alpha}\} =0$,} \quad \alpha = 6 \text{ or } 7, \\ \text{which implies that $M$ is Willmore in $\mathbb{S}^{7}$}$$

which implies that M 2 is Willmore in S 7 .

For the case m 1 = m 2 = 2, the focal submanifolds M ,M 10 1 10 2 are also homogeneous in S 13 . As asserted by Miyaoka [Miy13], the shape operators A 11 , A 12 , A 13 of M 1 are expressed respectively by diagonal matrix

$$\text{ly by diagonal matrix} \\ \begin{pmatrix} \sqrt { 3 } I & 0 & 0 & 0 & 0 \\ 0 & \frac { 1 } { \sqrt { 3 } } I & 0 & 0 & 0 \\ 0 & 0 & 0 & 0 & 0 \\ 0 & 0 & 0 & - \frac { 1 } { \sqrt { 3 } } I & 0 \\ 0 & 0 & 0 & 0 & - \sqrt { 3 } I \end{pmatrix},$$

and

$$\text{and} \\ \text{and} \\ \text{$\quad $\quad $\quad $\quad $\quad $\quad $\quad $\quad $\quad $\quad $\quad $\quad $\quad $\quad $\quad $\quad $\quad $\quad $\quad $\quad $\quad $\quad $\quad $\quad $\quad $\quad $\quad $\quad $\quad $\quad $\quad $\quad $\quad $\quad $\quad $\quad $\quad $\quad $\quad $\quad $\quad $\quad $\quad $\quad $\quad $\quad $\quad $\quad $\quad $\quad $\quad $\quad $\quad $\quad $\quad $\quad $\quad $\quad $\quad $\quad $\quad $\quad $\quad $\quad $\quad $\quad $\quad $\ \quad $\quad $\quad $\quad $\quad $\quad $\quad $\quad $\quad $\quad $\quad $\quad $\quad $\quad $\quad $\quad $\quad $\quad $\quad $\quad $\quad $\quad $\quad $\quad $\quad $\quad $\quad $\quad $\quad $\quad $\quad $\quad $\quad $\quad $\quad $\quad $\quad $\quad $\quad $\quad $\quad $\quad $\quad $\quad $\quad $\quad $\quad $\quad $\quad $\quad $\quad $\quad $\quad $\quad $\quad $\quad $\quad $\quad $\quad $\quad $\quad $\quad $\quad $\quad $\quad $\quad $\quad$\quad $\quad $\quad $\quad $\quad $\quad $\quad $\quad $\quad $\quad $\quad $\quad $\quad $\quad $\quad $\quad $\quad $\quad $\quad $\quad $\quad $\quad $\quad $\quad $\quad $\quad $\quad $\quad $\quad $\quad $\quad $\quad $\quad $\quad $\quad $\quad $\quad $\quad $\quad $\quad $\quad $\quad $\quad $\quad $\quad $\quad $\quad $\quad $\quad $\quad $\quad $\quad $\quad $\quad $\quad $\quad $\quad $\quad $\quad $\quad $\quad $\quad $\quad $\quad $\quad $\quad $ \quad $\quad $\quad $\quad $\quad $\quad $\quad $\quad $\quad $\quad $\quad $\quad $\quad $\quad $\quad $\quad $\quad $\quad $\quad $\quad $\quad $\quad $\quad $\quad $\quad $\quad $\quad $\quad $\quad $\quad $\quad $\quad $\quad $\quad $\quad $\quad $\quad $\quad $\quad $\quad $\quad $\quad $\quad $\quad $\quad $\quad $\quad $\quad $\quad $\quad $\quad $\quad $\quad $\quad $\quad $\quad $\quad $\quad $\quad $\quad $\quad $\quad $\quad $\quad $\quad $\quad $\ \text{and} \\ \text{$\quad $\quad $\quad $\quad $\quad $\quad $\quad $\quad $\quad $\quad $\quad $\quad $\quad $\quad $\quad $\quad $\quad $\quad $\quad $\quad $\quad $\quad $\quad $\quad $\quad $\quad $\quad $\quad $\quad $\quad $\quad $\quad $\quad $\quad $\quad $\quad $\quad $\quad $\quad $\quad $\quad $\quad $\quad $\quad $\quad $\quad $\quad $\quad $\quad $\quad $\quad $\quad $\quad $\quad $\quad $\quad $\quad $\quad $\quad $\quad $\quad $\quad $\quad $
\text{$\quad $\quad $\quad $\quad $\quad $\quad $\quad $\quad $\quad $\quad $\quad $\quad $\quad $\quad $\quad $\quad $\quad $\quad $\quad $\quad $\quad $\quad $\quad $\quad $\quad $\quad $\quad $\quad $\quad $\quad $\quad $\quad $\quad $\quad $\quad $\quad $\quad $\quad $\quad $\quad $\quad $\quad $\quad $\quad $\quad $\quad $\quad $\quad $\quad $\quad $\quad $\quad $\quad $\quad $\quad $\quad $\quad $\quad $\quad $\quad $\quad $\quad $\quad $\quad $\quad $\ \text{$\quad $\quad $\quad $\quad $\quad $\quad $\quad $\quad $\quad $\quad $\quad $\quad $\quad $\quad $\quad $\quad $\quad $\quad $\quad $\quad $\quad $\quad $\quad $\quad $\quad $\quad $\quad $\quad $\quad $\quad $\quad $\quad $\quad $\quad $\quad $\quad $\quad $\quad $\quad $\quad $\quad $\quad $\quad $\quad $\quad $\quad $\quad $\quad $\quad $\quad $\quad $\quad $\quad $\quad $\quad $\quad $\quad $\quad $\quad $\quad $\quad $\quad $\quad $\quad $\quad $
\text{$\quad $\quad \quad $\quad $\quad $\quad $\quad $\quad $\quad $\quad $\quad $\quad $\quad $\quad $\quad $\quad $\quad $\quad $\quad $\quad $\quad $\quad $\quad $\quad $\quad $\quad $\quad $\quad $\quad $\quad $\quad $\quad $\quad $\quad $\quad $\quad $\quad $\quad $\quad $\quad $\quad $\quad $\quad $\quad $\quad $\quad $\quad $\quad $\quad $\quad $\quad $\quad $\quad $\quad $\quad $\quad $\quad $\quad $\quad $\quad $\quad $\quad $\quad $\quad $\quad $\quad $\quad $\quad $\	$\quad $\quad $\quad $\quad $\quad $\quad $\quad $\quad $\quad $\quad $\quad $\quad $\quad $\quad $\quad $\quad $\quad $\quad $\quad $\quad $\quad $\quad $\quad $\quad $\quad $\quad $\quad $\quad $\quad $\quad $\quad $\quad $\quad $\quad $\quad $\quad $\quad $\quad $\quad $\quad $\quad $\quad $\quad $\quad $\quad $\quad $\quad $\quad $\quad $\quad $\quad $\quad $\quad $\quad $\quad $\quad $\quad $\quad $\quad $\quad $\quad $\quad $\quad $\quad $\quad $\quad $
\text{$.} \\ \text{$\quad \quad $\quad $\quad $\quad $\quad $\quad $\quad $\quad $\quad $\quad $\quad $\quad $\quad $\quad $\quad $\quad $\quad $\quad $\quad $\quad $\quad $\quad $\quad $\quad $\quad $\quad $\quad $\quad $\quad $\quad $\quad $\quad $\quad $\quad $\quad $\quad $\quad $\quad $\quad $\quad $\quad $\quad $\quad $\quad $\quad $\quad $\quad $\quad $\quad $\quad $\quad $\quad $\quad $\quad $\quad $\quad $\quad $\quad $\quad $\quad $\quad $\quad $\quad $\quad $\quad $\quad$\quad$\quad$\quad$\quad$\quad$\quad$\quad$\quad$\quad$\quad$\quad$\quad$\quad$\quad$\quad$\quad$\quad$\quad$\quad$\quad$\quad$\quad$\quad$\quad$\quad$\quad$\quad$\quad$\quad$\quad$\quad$\quad$\quad$\quad$\quad$\quad$\quad$\quad$\quad$\quad$\quad$\quad$\quad$\quad$\quad$\quad$\quad$\quad$\quad$\quad$\quad$\quad$\quad$\quad$\quad$\quad$\quad$\quad$\quad$\quad$\quad$\quad$\quad$\quad$\quad$\quad$\ \text{$\quad \quad $\quad $\quad $\quad $\quad $\quad $\quad $\quad $\quad $\quad $\quad $\quad $\quad $\quad $\quad $\quad $\quad $\quad $\quad $\quad $\quad $\quad $\quad $\quad $\quad $\quad $\quad $\quad $\quad $\quad $\quad $\quad $\quad $\quad $\quad $\quad $\quad $\quad $\quad $\quad $\quad $\quad $\quad $\quad $\quad $\quad $\quad $\quad $\quad $\quad $\quad $\quad $\quad $\quad $\quad $\quad $\quad $\quad $\quad $\quad $\quad $\quad $\quad $\quad $\ \text{$\quad $$\quad $\quad $\quad $\quad $\quad $\quad $\quad $\quad $\quad $\quad $\quad $\quad $\quad $\quad $\quad $\quad $\quad $\quad $\quad $\quad $\quad $\quad $\quad $\quad $\quad $\quad $\quad $\quad $\quad $\quad $\quad $\quad $\quad $\quad $\quad $\quad $\quad $\quad $\quad $\quad $\quad $\quad $\quad $\quad $\quad $\quad $\quad $\quad $\quad $\quad $\quad $\quad $\quad $\quad $\quad $\quad $\quad $\quad $\quad $\quad $\quad $\quad $\quad $\quad $\quad $\quad $$\quad $\quad $\quad $\quad $\quad $\quad $\quad $\quad $\quad $\quad $\quad $\quad $\quad $\quad $\quad $\quad $\quad $\quad $\quad $\quad $\quad $\quad $\quad $\quad $\quad $\quad $\quad $\quad $\quad $\quad $\quad $\quad $\quad $\quad $\quad $\quad $\quad $\quad $\quad $\quad $\quad $\quad $\quad $\quad $\quad $\quad $\quad $\quad $\quad $\quad $\quad $\quad $\quad $\quad $\quad $\quad $\quad $\quad $\quad $\quad $\quad $\quad $\quad $\quad $\quad $
\text$\quad \quad $\quad $\quad $\quad $\quad $\quad $\quad $\quad $\quad $\quad $\quad $\quad $\quad $\quad $\quad $\quad $\quad $\quad $\quad $\quad $\quad $\quad $\quad $\quad $\quad $\quad $\quad $\quad $\quad $\quad $\quad $\quad $\quad $\quad $\quad $\quad $\quad $\quad $\quad $\quad $\quad $\quad $\quad $\quad $\quad$\quad$\quad$\quad$\quad$\quad$\quad$\quad$\quad$\quad$\quad$\quad$\quad$\quad$\quad$\quad$\quad$\quad$\quad$\quad$\quad$\quad$\quad\quad$\quad$\quad$\quad$\quad$\quad$\quad$\quad$\quad$\quad$\quad$\quad$\quad$\quad$\quad$\quad$\quad$\quad$\quad$\quad$\quad$\quad$\quad$\quad$\quad$\quad$\quad$\quad$\quad$\quad$\quad$\quad$\quad$\quad$\quad$\quad$\quad$\quad$\quad$\quad$\quad$\quad$\quad$\quad$\quad$\quad$\quad$\quad$\quad$\quad$\quad$\quad$\quad$\quad$\quad$\quad$\quad$\quad$\quad$\quad$\quad$\quad$\quad$\quad$\quad$\quad$\	$\quad$\quad$\quad$\quad$\quad$\quad$\quad$\quad$\quad$\quad$\quad$\quad$\quad$\quad$\quad$\quad$\quad$\quad$\quad$\quad$\quad$\quad$\quad$\quad$\quad$\quad$\quad$\quad$\quad$\quad$\quad$\quad$\quad$\quad$\quad$\quad$\quad$\quad$\quad$\quad$\quad$\quad$\quad$\quad$\quad$\quad$\quad$\quad$\quad$\quad$\quad$\quad$\quad$\quad$\quad$\quad$\quad$\quad$\quad$\quad$\quad$\quad$\quad$\quad$\quad$\quad$
\text$\quad \quad $\quad $\quad $\quad $\quad $\quad $\quad $\quad $\quad$\quad$\quad $\quad$\quad $\quad$\quad$\quad$\quad$\quad$\quad$\quad$\quad$\quad$\quad$\quad$\ \quad$\quad$\quad$\quad$\quad$\quad$\quad$\quad$\quad$\quad$\ \quad$\quad$\quad$\quad$\quad$\quad$\quad$\quad$\quad$\quad$\quad$\quad$\quad$\quad$\quad$\quad$\quad$\quad$\quad$\quad$\quad$\quad$\ \quad$\ \quad$\ \quad$\ \quad$\quad$\ \quad$\ \quad$\ \quad$\ \quad$\ \quad$\ \quad$\ \quad$\ \quad$\ \quad$\ \quad$\ \quad$\ \quad$\ \quad$\ \quad$\ \quad$\ \quad$\ \quad$\ \quad$\ \quad$\ \quad$\ \quad$\ \quad$\ \quad$\ \quad$\ \quad$\ \quad$\ \quad$\ \quad$\ \quad$\ \quad$\ \quad$\ \quad$\ \quad$\ \quad$\ \quad$\ \quad$\ \quad$\ \quad$\ \quad$\ \$$

$$\text{where $I=\binom{1}{0}$}, J = \binom { 0 } { 1 }.$$

Hence

{ }

$$\text{e} \\ A _ { 1 1 } ^ { 2 } + A _ { 1 2 } ^ { 2 } + A _ { 1 3 } ^ { 2 } = \begin{pmatrix} 9 I & 0 & 0 & 0 & 0 \\ 0 & I & 0 & 0 & 0 \\ 0 & 0 & 0 & 0 \\ 0 & 0 & 0 & I & 0 \\ 0 & 0 & 0 & 0 & 9 I \end{pmatrix}, \\ \text{Ids } M _ { 1 } \text{ is Willmore in } S ^ { 1 3 }.$$

which yields M 1 is Willmore in S 13 .

For M 2 , the shaper operator A 11 is the same as in M 1 , and A 12 , A 13 are given respectively by,

$$\text{specuevely } \, \mathfrak { y }, \\ \text{hus}, \\ \text{s. } \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \ \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \  \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \end{cases}.$$

Thus,

$$A _ { 1 1 } ^ { 2 } + A _ { 1 2 } ^ { 2 } + A _ { 1 3 } ^ { 2 } = \begin{pmatrix} 5 I & 0 & 0 & 0 & 0 \\ 0 & 5 I & 0 & 0 & 0 \\ 0 & 0 & 0 & 0 & 0 \\ 0 & 0 & 0 & 5 I & 0 \\ 0 & 0 & 0 & 0 & 5 I \end{pmatrix}, \\ \text{Tr} \{ ( A _ { 1 1 } ^ { 2 } + A _ { 1 2 } ^ { 2 } + A _ { 1 3 } ^ { 2 } ) A _ { \alpha } \} = 0, \quad \alpha = 1 1, 1 2 \text{ or } 1 3.$$

This implies that M 2 is Willmore in S 13 .

Tr ( { A 2 11 + A 2 12 + A 2 13 ) A α } = 0 , α = 11 12 or 13 , .

In summery, we conclude the theorem 1.2.

Acknowledgements . The author would like to express his hearty thanks to Professor Zizhou Tang for valuable discussions and constant encouragement, and Dr. Wenjiao Yan and Chao Qian for their useful suggestions during the preparation of this paper.

## References

[Abr83] U. Abresch, Isoparametric hypersurfaces with four or six distinct principal curvatures , Math. Ann. 264 (1983), 283-302.

[Car39a] E. Cartan, Sur des familles remarquables d'hypersurfaces isoparam´triques dans les espaces e sph´riques e , Math. Z. 45 (1939), 335-367.

[Car39b] , Sur quelque familles remarquables d'hypersurfaces , C. R. Congr`s Math. Li`ge (1939), e e 30-41.

[CCJ07] T. E. Cecil, Q. S. Chi, and G. R. Jensen, Isoparametric hypersurfaces with four principal curvatures , Ann. Math. 166 (2007), 1-76.

[Cec08] T. E. Cecil, Isoparametric and Dupin hypersurfaces , SIGMA 4 (2008), Paper 062, 28 pages. [Chi13] Q. S. Chi, , J. Differential Geom.

Isoparametric hypersurfaces with four principal curvatures 94 (2013), 469-504.

[DN85] J. Dorfmeister and E. Neher, Isoparametric hypersurfaces, case g = 6 , m = 1, Comm. in Algebra 13 (1985), 2299-2368.

| [GLW01]             | Zhen Guo, Haizhong Li, and Changping Wang, The second variational formaula for Willmore submanifolds in S n , Results in Math. 40 (2001), 205-225.                                   |
|---------------------|--------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------|
| [Imm08]             | S. Immervoll, On the classification of isoparametric hypersurfaces with four distinct principal curvatures in spheres , Ann. Math. 168 (2008), 1011-1024.                            |
| [Li01]              | Haizhong Li, Willmore hypersurfaces in a sphere , Asian J. Math. 5 (2001), 365-377.                                                                                                  |
| [LY14]              | Qichao Li and Wenjiao Yan, On Ricci tensor of focal submanifolds of isoparametric hyper- surfaces , preprint, 2014.                                                                  |
| [Miy93]             | R. Miyaoka, The linear isotropy group of G 2 /SO (4) , the Hopf fibering and isoparametric hypersurfaces , Osaka J. Math 30 (1993), 179-202.                                         |
| [Miy13]             | , Isoparametric hypersurfaces with ( g, m ) = (6 , 2), Ann. Math. 177 (2013), 53-110.                                                                                                |
| [M¨n80] u [M¨n81] u | H. F. M¨nzer, u Isoparametrische hyperfl¨chen a in sph¨ren, a I , Math. Ann. 251 (1980), 57-71. , Isoparametrische hyperfl¨chen a in sph¨ren, a II , Math. Ann. 256 (1981), 215-232. |
| [PW88]              | F. J. Pedit and T. J. Willmore, Comformal geometry , Atti Sem. Mat. Fis. Univ. Modena 36 (1988), 237-245.                                                                            |
| [QTY13]             | Chao Qian, Zizhou Tang, and Wenjiao Yan, New examples of Willmore submanifolds in the unit sphere via isoparametric functions, II , Ann. Glob. Anal. Geom. 43 (2013), 47-62.         |
| [Tho00]             | G. Thorbergsson, A survey on isoparametric hypersurfaces and their generalizations , Hand- book of differential geometry, vol. 1, pp. 963-995, North-Holland, Amsterdam, 2000.       |
| [TXY14]             | Zizhou Tang, Yuquan Xie, and Wenjiao Yan, Isoparametric foliation and Yau conjecture on the first eigenvalue, II , J. Funct. Anal. 266 (2014), 6174-6199.                            |
| [TY12]              | Zizhou Tang and Wenjiao Yan, New examples of Willmore submanifolds in the unit sphere via isoparametric functions , Ann. Glob. Anal. Geom. 42 (2012), 403-410.                       |
| [TY13a]             | , Isoparametric foliation and Yau conjecture on the first eigenvalue , J. Differential Geom. 94 (2013), 521-540.                                                                     |
| [TY13b]             | , Isoparametric foliation and a problem of Besse on generalizations of Einstein condi- tion , arXiv:1307.3807v2, 2013.                                                               |
| [Wan98]             | Changping Wang, Moebius geometry of submanifolds in S n , Manu. Math. 96 (1998), 517-534.                                                                                            |

Department of Mathematics, Hangzhou Normal University, Zhejiang 310036, China E-mail address : yuqxie@pku.edu.cn
Yuquan Xie
Willmore submanifolds in the unit sphere via isoparametric functions
This paper is a continuation of [TY12] and [QTY13]. We show that both focal
submanifolds of each isoparametric hypersurface in the sphere with six distinct
principal curvatures are Willmore.