数理解析研究所講究録
第 1707 巻 2010 年 125-134

125

平行曲面の特異点 II (Singularities of parallel surfaces

II)長谷川 大 (Masaru Hasegawa)

埼玉大学大学院理工学研究科

Department of Mathematics, Saitama University

はじめに

$0$

$\mathbb{R}^{2}$の開部分集合 $U$ に対して， -写像$C^{\infty}$$g$:$Uarrow \mathbb{R}^{3}$を正則曲面とする．このとき，実定数 to に対して，$g^{t}(u,v)=g(u, v)+t_{0}n(u, v)$

を初期曲面$g$に対する距離 to の平行曲面 (parallel surface of

ただし， は曲面$n$$g$$v_{0}$$g(u_{0}, v_{0})$at a distance to) と呼ぶ．の単位法ベクトルである．

$to=1/\kappa.;(u_{0},v_{0})$の主曲率とする．のとき，平行曲面におけるのヤコビ行列の階数は点) で特異点を持つ．このとき，$\kappa i(u, v)(i=1,2)$は (uo,$g$を曲面$g^{t}$$g$$(u_{0}, v_{0})$が曲面$g$の騰点でないときは 1 で，点$g(u_{0}, v_{0})$$g^{t}$が曲面$g$の膀点であるときは$0$となり，退化した特異点ということができる．このように，平行曲面の特異点は初期曲面の微分幾何学的な状況によって記述されることが期待される．

第 1 節では，平行曲面の特異点の初期曲面の微分幾何学的な情報による分類を紹介する．第 2 節では，平行曲面の特異点集合である初期曲面の主曲率一定曲線について紹介する．また，第 3 節では，平行曲面の特異点を解析する過程で出会った興味深い研究対象として，平行接平面関数について紹介する．
本研究は福井敏純氏との共同研究である．

1平行曲面の特異点
まずは，平行曲面の特異点の分類に必要な，微分幾何学的な概念を紹介する．
曲面$g$$(u_{0}, vo)$ における主曲率 $\kappa i(u_{0},vo)$ に対上の点 $g(u0, v_{0})$ が膀点ではないとき，応する主方向を$v_{i}$とする．

定義 1.1. 点 $g(u_{0},v_{0})$ は曲面が曲面 の主方向の膀点ではないとする．点に関する峰点 (ridge point) であるとは，を満たすときであり，峰点の集合$g(u_{0}, v_{0})$

$g$

$g$

$vi$

$v_{i}\kappa i(u_{0}, v_{0})=0$

を主方向$v_{i}$$v^{(m)}\kappa;(u0,vo)=0(1\leq m\leq k)$
に関する峰線 (ridge line) という．さらに，

126
かつ $v_{i}^{(k+1)}\kappa i(u0,v_{0})\neq 0$$v_{i}\kappa i$

は主方向主方向$v_{i}$$v_{i}$

を満たすとき，$g(u_{0}, v_{0})$による主曲率関数$\kappa i$

は$k$次の峰点であるという．ここで，の方向微分である．

に関する峰点は焦曲面 $g+n/\kappa_{i}$ の特異点に対応していることが知られている．

定義 1.2. 点 (uo,) は曲面が曲面 の主方向の鵬点ではないとする．点に関する劣放物点 (sub-parabolic point) であるとは，
uo, $vo)=0(i\neq j)$ を満たすときである．峰点と同様に劣放物線 (sub-parabolic line) や次数も定義できる．
$g$$v_{0}$$g$$g(u_{0},v_{0})$$g$$v;\kappa j($$vi$

主方向$v$; に関する劣放物点は焦曲面 $g+n/\kappa i$ の放物点に対応していることが知られている．

次のような距離 2 乗関数$d$を考える．

$d:U\cross \mathbb{R}^{3}arrow \mathbb{R};d(u, v,x)=\Vert x-g(u,v)\Vert^{2}$

点 $g(u_{0},v_{0})$ を曲面乗関数

$d$

$g$

.

$p_{0}=(u_{0}, v_{0})$ において，距離 2の平坦点ではない膀点とすると，が特異点を持ち，ヘッセ行列が零行列となる$x_{0}\in \mathbb{R}^{3}$が存在する．このとき，次のような 3 次形式を$C(u, v)=d_{uuu}(p_{0}, x_{0})u^{3}+3d_{uuv}(p_{0}, x_{0})u^{2}v+3d_{uvv}(p_{0}, x_{0})uv^{2}+d_{vvv}(p_{0},x_{0})v^{3}$を考える．
定義 1.3. 3 次形式 $C(u, v)$ が楕円的 (i.e. 異なる 3 つの実根を持っとき), 放物的 (i.e. 二重根を持つとき), 双曲的 (i.e. 実根を 1 つ持つとき), 完全立方 (i.e. 三重根を持つとき)であるとき，点$g(p_{0})$はそれぞれ楕円的膀点 (elliptic umbilic), 放物的膀点 (parabolicumbilic), 双曲的膀点 (hyperbolic umbilic), 完全晴点 (perfect umbilic) であるという．
$C(u, v)$ のヘッセ行列式で生成される 2 次形式の根方向が直交しているとき，直角また，瞬点 (right-angled umbilc) であるという．

楕円的鵬点を通る峰線は 3 本，双曲的膀点を通る峰線は 1 本であることが知られている．ただし，どちらの場合も峰線が膀点を通ると，もう一方の主方向に関する峰線へ移り変わる．

これら，峰点，劣放物点，膀点については [4,12,14] にまとめられている．
次に，平行曲面の特異点について得られた結果を紹介する．

127
曲面

$g$

に対して，関数$\Phi:U\cross \mathbb{R}^{4}arrow \mathbb{R};\Phi(u, v, x, y, z,t)=-\frac{1}{2}(\Vert(x,y,z)-g(u,v)\Vert^{2}-t^{2})$$t=t_{0}$ と固定して，関数と，: $U\cross \mathbb{R}^{3}arrow \mathbb{R};\Phi^{t}(u, v, x, y, z)=\Phi(u, v,x, y, z, t_{0})$$\Phi^{t}$を考える．これらを，拡大距離 2 乗関数と呼ぶこととする．
$\Phi$の判別集合は$\mathcal{D}(\Phi)=\{(x, y, z,t);\exists(u, v)s.t.

(x,y, z)=g(u, v)+tn(u,v)\}$と $t=t_{0}$ との切り口は曲面 $g$ に対する距離 to の平行曲面で与えられ，$\mathcal{D}(\Phi)$と一致$g^{t}$

する．
$\Phi^{t}$の判別集合は$\mathcal{D}(\Phi^{t})=\{(x, y, z);$で与えられ，曲面$g$

ョ $(u, v) st. (x, y,z)=g(u, v)+t_{0}n(u,v)\}$に対する距離 to の平行曲面$g^{t}$と一致する．

$\varphi(u,v)=\Phi(u, v, x0,y0, \sim 0,to)$ または，$(x0, y0, z0, to)$ を固定し，ここで，$\varphi(u, v)=$とおく．

$\Phi^{t}(,\vee$$\Phi,$$\Phi’$が$\varphi$の$\mathcal{K}$普遍開折であるとき，判別集合$D(\Phi)$.

$\mathcal{D}(\tilde{\Phi})$

はカスプ状曲面，ツバメの尾，蝶々， 特異点のいずれかと局所微分同相である．した$D_{4}$のが普遍開折であるかを調べることで，がって，「いつ」拡大距離 2 乗関数
次の平行曲面の特異点の分類を得た． 普遍開折性に関する証明の概略は前報 [8] を参照$\Phi,$$\Phi^{t}$$\mathcal{K}$$\varphi$$\mathcal{K}$

して頂きたい．
定理 1.4. $to=1/\kappa i(u_{0}, v_{0})$ とする．

(1) 点 $g(u_{0}, v_{0})$ が曲面$g$の峰点でも膀点でもないとき，平行曲面$g^{t}$

は点 $g^{t}(u_{0}, v_{0})$ でカスプ状曲面 (cuspidaledge) と局所微分同相である．

(2) 点 $g(u_{0}, v_{0})$ が曲面$g$の 1 次の峰点であるとき，もう一方の主方向に関する劣放物点でなければ，平行曲面$g^{t}$

は点 $g^{t}(u_{0}, v_{0})$ でツバメの尾 (swallowtail) と局所微分同相である．

(3) 点 $g(u_{0}, v_{0})$ が曲面
平行曲面$g^{t}$

は点口である．

$g^{t}$の 2 次の峰点であるとき，峰線が$g^{f}(u_{0}, v_{0})$(4) 点 $g(u_{0},v_{0})$ が曲面

き，平行曲面$g$$g$$(u_{0}, v_{0})$で正則であれば，で蝶々 (butterfly) と局所微分同相な切り口である．の楕円的膀点 (resp. 直角膀点ではない双曲的鵬点) であるとは点 $g^{t}(u_{0}, v_{0})$ で$D_{4}^{-}$(resp.

$D_{4}^{+}$) 特異点と局所微分同相な切り128

図1$g(u_{0}, v_{0})$$\mathcal{K}$

カスプ状曲面

図2ツバメの尾が峰点であり，もう一方の主方向に関する劣放物点であるときは， は$\Phi^{\ell}$$\varphi$の普遍開折とはならず，平行曲面の特異点は分類できない．

しかし，泉屋氏佐治氏高橋氏の [10] のフロントのカスプ状くちびる・くちばしの判定法を応用することで，平行曲面の特異点を分類することができる．
系 1.5. $t_{0}=1/\kappa i(u_{0}, v_{0})$ とする．点 $g(u_{0}, v_{0})$ が 1 次の主方向
もう一方の主方向(1)$(u_{0}, v_{0})$$v$$v_{i}$

に関する峰点であり，; に関する劣法物点であるとき，次が成り立つ．

で主曲率$\kappa_{i}$のヘッセ行列式が正のとき，平行曲面$g^{\ell}$は点$g^{t}$は点 $g^{t}(u_{0}, v_{0})$ でカ$g^{t}(u_{0}, v_{0})$でカスプ状くちびる (cuspidal lips) と局所微分同相である．

(2)$(u_{0}, v_{0})$で主曲率$\kappa$; のヘッセ行列式が負のとき，平行曲面スプ状くちばし (cuspidal beaks) と局所微分同相である．

主曲率のヘッセ行列式が 0 となるとき，平行曲面の特異点は判定できないが，そのときの初期曲面の幾何学的状況には興味がある．
命題 1.6.

$(u_{0}, v_{0})$で主曲率$\kappa$; のヘッセ行列式が$0$であることは，主方向線ともう一方の主方向 $vj$ に関する劣放物線が接することと同値である．

$v_{i}$に関する峰129

図32

図4

カスプ状くちびる

カスプ状くちばし

主曲率一定曲線
主曲率一定曲線は平行曲面の特異点集合であり，主曲率の等高線，すなわち，主曲率一定曲線の推移を見ることは平行曲面の特異点の推移を見ることになる．したがって，主曲率一定曲線の特徴を調べておくことは，平行曲面の特異点を研究することにおいて重要である．

本節では，主曲率一定曲線について得られた結果を紹介する．
命題 2.1. 点 $g(u_{0}, v_{0})$ を曲面

曲線$\kappa_{i}(u, v)\kappa_{i}(u_{0}, v_{0})$$g$に関する峰点とする．このとき，主曲率一定がもう一方の主方向で正則あることと，点の主方向が $(u_{0}, v_{0})$$v_{i}$$g(u_{0}, v_{0})$$vj$に関する劣放物点でないことは同値である．また，(1) 峰点の次数が 1 であるための必要十分条件は，主曲率一定曲線
は峰線と点$(u_{0}, v_{0})$$\kappa i(u, v)=\kappa i(u_{\mathfrak{d}},vo)$

交わることである．

(2) 峰点の次数が 2 以上であるための必要十分条件は，主曲率一定曲線 $\kappa_{i}(u, v)=$$\kappa_{i}(u_{0}, v_{0})$と峰線は点$(u_{0}, v_{0})$で接することである．

この命題と定理 14 より，距離 $to=1/\kappa;(u_{0}, v_{0})$ の平行曲面
一定曲線 $\kappa i(u, v)=\kappa_{i}(u_{0}, v_{0})$ と峰線が交わらないとき率一定曲線 $\kappa_{i}(u, v)=\kappa_{i}(u_{0}, v_{0})$ と峰線が交わるときがわかる．

$g^{t}$$g^{t}(u_{0}, v_{0})$$g^{t}(u_{0}, v_{0})$で主曲率は，でカスプ状曲面，主曲$(u_{0}, v_{0})$でツバメの尾ということ

130
命題 2.2. 点 $g(u0, v_{0})$ を曲面$g$の主方向 ; に関する 1 次の峰点とする．点 $g(u_{0},v_{0})$ が$v$

もう一方の主方向 ; に関する劣放物点であるとき，次が成り立っ．
$v$(1) $(u0, v_{0})$ で主曲率$\kappa_{i}$(uo,(2) (uo,$v_{0}$$v_{0}$$\kappa i(u_{0},v_{0})$のヘッセ行列式が負のとき，主曲率一定曲線$\kappa_{i}(u,v)$$\kappa_{i}(u, v)=$は，局所的に交わる 2 直線である．

定理 2.3. 点 $g(u0, vo)$ を曲面$g$$\kappa_{i}(u, v)=$

) は，局所的に孤立点である．

) で主曲率(1) 点 (uo,のヘッセ行列式が正のとき，主曲率一定曲線$\kappa_{i}(u, v)$$v_{0}$$g$$\kappa_{1}(u0, v_{0})=\kappa_{2}(u0,v_{0})=k$ とする．の鵬点とし，) が楕円的鵬点であるとき，主曲率一定曲線 $\kappa_{i}(u, v)=k$ は孤立点となる．

(2) 点 $g(u_{0},v_{0})$ が双曲的脾点であるとき，主曲率一定曲線は点曲線となる．ただし，点 (uo,$v_{0}$$(u_{0},v_{0})$を通る 2 本の) を通ると，もう一方の曲線へと移り変わる．

図 5 は膀点における主曲率一定曲線の推移を模式的にあらわしたものである．太実線
は主方向に関する峰線，太点線は主方向$v_{1}$$\kappa_{1}(u, v)=k$$v_{2}$

に関する峰線，細実線は主曲率一定曲線, 細点線は主曲率一定曲線 $\kappa_{2}(u, v)=k$ をあらわしている．

$to=1/\kappa_{i}(u0, vo),$を十分小さい正数とし，とする．図 5 よはの近くで 3 っのり．
が楕円的鵬点のとき，距離ちの平行曲面ツバメの尾を持つことがわかり，が双曲的鵬点のとき，距離 の平行曲面$t_{1}=1/(\kappa i(uo, v_{0})\pm\epsilon)$$\epsilon$$g(u_{0},v_{0})$$g^{t_{1}}$$g(u_{0}, v_{0})$$g^{t_{1}}(u0, v_{0})$$t_{1}$$g^{\ell_{1}}$は $g^{t_{1}}(u_{0}, v_{0})$ の近くでカスプ状曲面とツバメの尾を持っことがわかる．

3 平行接平面関数
平行曲面の特異点について，当初は國分氏．Rossman 氏・佐治氏・梅原氏・山田氏の[11] のフロントの特異点の判定定理の証明を参考にして，拡大距離 2 乗関数とは別の関数を用いて解析しようとしていた．

本節では，その関数 (平行接平面関数) について得られた結果を紹介したい．
曲面$g$に対して，関数$\Psi$: $U\cross \mathbb{R}^{4}arrow \mathbb{R};\Psi(u,v, x, y, z, t)=\langle(x, y, z)-g(u, v),$ $n(u, v)\rangle-t$と．
$t=t0$ と固定して，関数$\Psi^{t}$を考える．

: $U\cross \mathbb{R}^{4}arrow \mathbb{R};\Psi^{t}(u, v, x,y,z)=\langle(x, y, z)-g(u, v),$ $n(u, v)\rangle-t_{0}$

131

(1)

$\acute{\prime j}$$|$$|$(2)$-)\cdots:’’..\cdot’-\backslash ’.\cdot\cdot$

図5

正則曲面

$g$

麟点における主曲率一定曲線の推移 (1) 楕円的勝点 (2) 双曲的膀点の距離あの平行曲面$\Psi^{t}(u_{0}, v_{0}, x, y, z)=0$$g^{t}$上の点$g^{t}(u_{0}, \uparrow J_{0})$で与えられる．このことから，関数における接平面の方程式は$\Psi,$$\Psi^{t}$を平行接平面関数と呼ぶこととする．
平行曲面$g^{t}$

は，それ自身の接平面族 $\Psi^{t}=0$ の定める包絡面になっていて，$\Psi^{t}(u, v, x, y, z)=\Psi_{u}^{t}(u, v, x, y, z)=\Psi_{v}^{f}(u, v\prime x, y, z)=0$という形で書くことができる．これは， の判別集合と一致する．したがっが関数 $\psi(u, v)=$て，拡大距離 2 乗関数のときと同様に 「いつ」 平行接平面関数$\psi(u, v)=\Psi^{t}(u, v, x0, y0, zo)$ の普遍開折であるかを調べ
または，$\Psi^{t}$$\mathcal{D}(\Psi^{t})$$\Psi,$$\Psi(u, v, x0, y0, z_{0}, t_{0})$ることで，平行曲面

しかし，実際に$D(\Psi^{t})$は平行曲面$\mathcal{D}(\Psi^{t})=\{(x,$ $y,$$\Psi^{t}$$\mathcal{K}$$g^{t}$の特異点を分類できるはずである．

. の判別集合$\Psi^{f}$$g^{t}$$\mathcal{D}$$g(u, v)$ が放物的点ではないときは，( りを求めると，$\Psi$と一致するが，$g(u, v)$ が放物的点のときは，$z)=g(u,$ $v)+\lambda(u,$ $v)g_{u}(u,$ $v)+\mu(u,$ $v)g_{v}(u,$ $v)+t_{0}n(u,$ $v),$$(\lambda,$$\mu)$は漸近方向となり， と一致しない．
$g^{t}$

一般に放物的点の集合は放物的曲線 (parabolic line) としてあらわれるため放物的点における$\mathcal{D}(\Psi^{f}\cdot)$は空間曲線となる．ここで， 上の曲線
$U$$\alpha(s)=(\uparrow 4(s), v(s))$

を曲面物的曲線とし，$ANC(s)=g(\alpha(s))+\lambda(\alpha(s))g_{u}(\alpha(s))+\mu(\alpha(s))g_{v}(\alpha(s))+t_{0}n(\alpha(s))$$g$の放$\}$

132を曲面$g$の放物的点における漸近法曲線 (asymptotic-normal curve),

ANS $(s, t)=g(\alpha(s))+\lambda(\alpha(s))g_{u}(\alpha(s))+\mu(\alpha(s))g_{v}(\alpha(s))+tn(\alpha(s))$
を曲面$g$の放物的点における漸近法曲面 (asymptotic-normal surface) と呼ぶこととする．
例 3.1. 曲面$g(u, v)=(u,$を考える．放物的曲線$\alpha(s)$$v,$ $\frac{1}{2}u^{2}+\frac{1}{6}(u^{3}-3uv^{2}))$は$\alpha(s)=(\frac{1}{2}(\cos s-1),$ $\frac{1}{2}\sin s)$で与えられる．漸近方向$(\lambda, \mu)$

は $\lambda g_{u}+\mu g_{v}=1$ となるようにとると，$( \lambda,\mu)=\frac{8\sqrt{2}}{\sqrt{138-15\cos s+6\cos 2s-\cos 3s}}(\sin\frac{s}{2},$ $\cos\frac{s}{2})$となる．したがって， に対する漸近法曲線は$g$,$ANC( \epsilon)=(\frac{1}{2}(co\epsilon\epsilon-1)+\frac{8\sqrt{2}\epsilon in\frac{s}{2}}{\sqrt{138-15co\epsilon\epsilon+6co\epsilon 2\epsilon-co\epsilon 3s}}+t_{O}\frac{2\sqrt{2}(co\epsilon\iota+2)\epsilon in^{2}\frac{\epsilon}{2}}{\sqrt{39-6co\epsilon s-3co\epsilon 2\iota+2co\epsilon 3\iota}}$$\frac{\sin s}{2}+\frac{8\sqrt{2}co\epsilon\frac{l}{2}}{\sqrt{138-15co\epsilon\epsilon+6co\epsilon 2\epsilon-co\epsilon 3\epsilon}}+t_{O}\frac{\sqrt{2}(co\epsilon s-1)si\mathfrak{n}s}{\sqrt{39-6co\epsilon s-3co\epsilon 2s+2co\epsilon 3s}}$,$\frac{1}{3}(co\epsilon\epsilon+2)\epsilon i\mathfrak{n}^{4}\frac{l}{2}-\frac{4\sqrt{2}\epsilon\prime 1\mathfrak{n}^{\}\frac{\epsilon}{2}}{\sqrt{138-15\cos\epsilon+6co\epsilon 2s-\cos 3s}}+t_{O}\frac{4\sqrt{2}}{\sqrt{39-6co\epsilon\epsilon-3co\epsilon 2\epsilon+2co\epsilon 3\epsilon}})$となり，漸近法曲線の像は図 6 点線 $:t_{0}=1,$ 実線 $:t_{0}=0,$ 太線 $:t_{0}=-1)$ , 漸近法$($

曲面の像は図 7 となる．

最後に，平行接平面関数$\Psi,$$\Psi^{t}$の$\mathcal{K}$

普遍性についての結果を紹介する．

定理 3.2. $\psi(u, v)=\Psi(u, v, x0, y0, z0, to)$ または
点 $g(u_{0}, v_{0})$ が曲面$g$$($$\kappa_{2}(u0,$とき，点 $g(u0, v_{0})$ が曲面$\psi$の$\mathcal{K}$) $(u, v)=\Psi^{t}(u,v, x0,/\uparrow 0, z_{0})$とする．の放物的点であるとき，次が成り立っ．

(1) $\kappa_{1}(u0, vo)=0$ resp.
は$\psi$$g$

普遍開折である．

$vo)=0)$の主方向$v_{1}$

特異点を持つとする． が $(u0;v_{0})$ で) に関する峰点でなければ，(resp.
$\psi$$v_{2}$$A_{2}$$\Psi^{t}$

133

図6

(2)

$\kappa_{1}(u_{0}, v_{0})=0$

とき，点

図7

漸近法曲線

$($

resp.

$g(u_{0},v_{0})$$\kappa_{2}(u_{0},$が曲面$g$$v_{0})=0)$の主方向で特異点を持つとする． が) に関する峰点でなく，(resp.
$\psi$$v_{1}$

漸近法曲面$(u_{0}, v_{0})$$Aa$$v_{2}$$(u_{0},v_{0})$において$(v_{2}\kappa_{1})^{2}-(v_{1}\kappa_{1})(v_{2}\kappa_{2})\neq 0$であれば， は$\Psi^{t}$(3)$\psi)$

が$D_{4}$$F$$\psi$の$\mathcal{K}$

$($

resp.

$(v_{1}\kappa_{2})^{2}-(v_{2}\kappa_{2})(v_{2}\kappa_{1})\neq 0)$

普遍開折である．

特異点を持つとき， は$\Psi$)$\psi$の$\mathcal{K}$

普遍開折にはなり得ない．

参考文献[1] V. I. Arnol , S. M. Gusein-Zade and A. N. Varchenko, Singularities of differentiable maps I, $Birkhuser$ , 1986.
[2] J. W. Bruce and D. L. Fidal, On binary differential equations and umbilics, Proc.
$:d$Roy. Soc. Edinburgh, lllA, pp 147-168, 1989.

[3] J. W. Bruce, and P. J. Giblin, Curves and Singularities, Second edition, Cam-bridge University Press, Cambridge, 1992.
[4] J. W. Bruce, P. J. Giblin, and F. Tari, Families of surface: focal sets, ridges andumbilics, Math. Proc. Camb. Phil. Soc., Vol. 125, pp 243-268, 1999.
[5] J. W. Bmce, T. C. Wilkinson Folding maps and focal sets, Proceedings of Warwick Symposium on Singularities, Springer Lecture Notes in Math., vo11462, pp63-72, Springer-Verlag, Berlin and New York, 1991.

134[6] G. Darboux, Legons sur la Th\’eorie g\’en\’erale des Surfaces, IV, Note 7, Gauthier-Villars, Paris, 1896.
[7] C. Gutierrez, J. Sotomayor, Stmctural stable configurations of lines of principal
curvature, Asterisque, Vol. 98-99, pp 195-215, Soc. Math. France, Paris, 1982.
[81 長谷川大，平行曲面の特異点，微分方程式と微分幾何学への応用特異点論，数理解析研究所講究録 1664, 京都大学数理解析研究所，pp 75-79, 2009.
[9] 泉屋周一佐野貴志佐伯修佐久間一浩，幾何学と特異点，共立出版，2002.

[10] S. Izumiya, K. Saji and M. Takahashi, Horospherical flat surfaces in hyperbolic
3-space, to appear in J. Math. Soc. Japan.
[11] M. Kokubu, W. Rossman, K. Saji, M. Umehara and K. Yamada, Singularities offlat fronts in hyperbolic 3-space, Pacific J. of Math. Vol. 221, pp 303-351, 2005.

[12] R. J. Morris, The sub-parablic lines of a surface, The mathematics of surfaes, VI(Uxbridge, 1994), pp. 79-102, Inst. Math. Appl. Conf. Ser. New Ser., 58, Oxford
University Press, New York, 1996.
[13] I. R. Porteous, The normal singularities of submanifold, J. Diff. Geom., Vol. 5,$pp$ $543-564$ , 1971.
[14] I. R. Porteous, Geometric differentiation for the intelligence of curves and surfaces, Cambridge University Press, Cambridge, 1994.