4.2 平面領域のエネルギー、結び目とランダムな円との絡み数の二乗平均
4.2.1 平面領域の繰り込まれた r − 4 -ポテンシャルエネルギー、領域対の相互エネルギー
w∈Ω◦ に対して,wにおけるΩの繰り込まれた r−4-ポテンシャルを下で定める:
VΩ(−2)(w) := lim
ε→0
(∫
Ω\Bε(w)|w−z|−4dz− π ε2
) .
するとVΩ(−2)(w) =−
∫
Ωc|w−z|−4dz<0で,Ω∋◦ w→∂ΩならVΩ(−2)(w)→ −∞となる. 正確には、
Letδ=d(·, K) denote the distance function toKdefined on Ω. Letε >0 be such that, wheneverδ(w)< ε, there is a uniquep∈K withd(w, K) =|w−p|. For every suchw,
V(w,Ω) =− ( π
4δ(w)2 +κ(p)π 4δ(w)
)
+O(1), (38)
whereκ(p) is the curvature of Kat p, andO(1) stands for a bounded function on Ω.
VΩ(−2)をΩ上で積分しようとすると, 境界付近の寄与のため
∫
Ω
VΩ(−2)(w)dw=−
∫
Ω×Ωc
dwdz
|w−z|4 =−∞と発 散してしまう. そこで∂Ωで繰り込みをする。Ωδ := Ω\Nδ(K)とおいて、Ωの繰り込まれた r−4-エネルギーを 下で定める:
E(Ω) := lim
δ→0
(∫
Ωδ
VΩ(−2)(w)dw+ π 4δL(K)
) . ここで、
∫
Ωδ
VΩ(−2)(w)dw=−
∫
Ωδ×Ωc
dwdz
|z−w|4 で、Ωδ∩Ωc=∅となることから、まずR2⊃Ω1,Ω2(Ω1∩Ω2=∅) に対し、領域対の相互エネルギーを
E(Ω1,Ω2) :=
∫
Ω1×Ω2
dwdz
|z−w|4 で定める。この被積分関数は、複素球面の無限小非調和比
ω
cr:= dw∧dz(w−z)2 を用いて、
dwdz
|z−w|4 =1
2ℜe
ω
cr∧ ℜeω
cr =12ℑm
ω
cr∧ ℑmω
crと表わされる。このことからもR2×R2\ △上の4-formdwdz/|z−w|4はメビウス変換の対角作用で不変にな ることが分かる。命題3.14より、無限小非調和比の実部は
ℜe
ω
cr =−12
(Ts∗R2の標準的symplectic形式
ω
T∗R2
) をみたすので、
E(Ω1,Ω2) = 1 2
∫
Ω1×Ω2
ω
T∗R22 ∧
ω
T∗R22
となる。余接束のシンプレクティック形式は完全なので、Stokesの定理を2回使うと, (21)より、Ki=∂Ωiとして, E(Ω1,Ω2) =−1
2
∫
K1×K2
cosθ1cosθ2
dp1dp2
|p2−p1|2
=−1 2
∫
K1×K2
sinθ1sinθ2 dp1dp2
|p2−p1|2
=−1 4
∫
K1×K2
−→dp1·−→dp2
|p2−p1|2.
被積分関数のメビウス不変性より、E(Ω1,Ω2)はメビウス変換で不変であることが分かる。
E(Ω) = lim
δ→0
(
−
∫
Ωδ×Ωc
dwdz
|z−w|4 + π 4δL(K)
)
= lim
δ→0
(
−E(Ωδ,Ωc) + π 4δL(K))
だったので、E(Ωδ,Ωc)の境界積分表示でδ→0つまり∂Ωδ →∂Ωc=K として繰り込みを行い、積分幾何学で のBanchoff-Pohlの結果のM¨obius幾何版(Subsubsection 3.1.2)、積分幾何学の結果などを用いると、
µ
K
1
2
p Ω K µ
1
2
Ω1 p
2 1
2
µ K Ω p q µ
p
q
図40:
定理 4.15 θp (θq)をp(q)においてq−pと K がなす角, ∆ε:={(w, z)∈R2×R2| |z−w|< ε}とすると、
E(Ω)−π2
4 χ(Ω) = lim
ε→0
(
−
∫
Ω×Ωc\∆ε
dwdz
|w−z|4 +2L(K) ε
)
= lim
ε→0
(∫
Ω×Ω\∆ε
d2wd2z
|z−w|4 −πArea(Ω)
ε2 +2L(K) ε
)
= lim
ε→0
(
−1 2
∫
K×K\∆ε
cosθpcosθq dpdq
|q−p|2 +L(K) ε
)
=−1 2
∫
K×K
sinθpsinθq
dpdq
|q−p|2 (39)
= lim
ε→0
(
−1 4
∫
K×K\∆ε
−
→dp·−→dq
|q−p|2+L(K) 2ε
) . 境界K上の二重積分で表せるので、これをE(K)とおく。
Ωが凸ならば
E(Ω)−π2 4 =
∫
{ℓ:lines inR2|ℓ∩Ω̸=∅}
dℓ L(ℓ∩Ω),
ここで、L(ℓ∩Ω)は直線ℓがΩで切り取られたコードの長さ、dℓは平面内の直線全体の集合に入る、合同変換で 不変な測度である。
上の公式の3番目(39)より、E(Ω)は平面曲線Kの symmetric normal projection energy (18)と等しい。
R2をH3のPoincar´e上半空間モデルの理想境界とすると,SをH3の滑らかな曲面で,理想境界R2と理想境界 Kで直角に交わるようなものとする. すると,次のGauss-Bonnet公式が成立する:
∫
S
κ dS= 2πχ(S) + 2 π
∫
R2×R2
(♯(ℓwz∩S)−lk2(w,z;K)) dwdz
|z−w|4− 4
πE(Ω) +πχ(Ω),
ここで,κはSの外的曲率,ℓwz は理想端点w,zを結ぶH3の測地線,lk(w,z;K)はKと線分zw の代数的交点 数とする. これより
系 4.16 E(Ω)≥π2. 等号⇐⇒Ωが円板 系 4.17 E(Ω)はメビウス変換で不変
繰り込みの過程はメビウス変換と両立しないので、E(Ω)のメビウス不変性は自明ではない。繰り込みを使う公式 から直接メビウス不変性を示すこともできる。
未解決問題 4.18 αの値を変えると、今までの話はどこまで成立するか。(メビウス不変性は成立しなくなる)
未解決問題 4.19 次元を上げるとどうなるか?Ωが2次元のときには、繰り込みで必要な項は一つだけで、係数は 境界の長さになる。Ωが3次元のときには、繰り込みで必要な項は二つ以上出てきて、二番目の係数はWillmore 汎関数になると思われる。
4.2.2 2成分絡み目への拡張
L=K1∪K2をR3内の絡み目とする。ΩiをKiのザイフェルト面(つまりΩiは∂Ωi=Kiとなる向き付可能 な曲面)として上のE(Ω1,Ω2)をこのケースに適用したいのだが、一般にはΩ1とΩ2は交わってしまう可能性が ある。そこで、次元を余計にとって交わりを解消して、ザイフェルト面をRn (n≥3) でΩ1∩Ω2=∅となるよう にとる。
相互エネルギーを
E(K1, K2) := 1 2
∫
Ω1×Ω2
ω
T∗Rn2 ∧
ω
T∗Rn2
で定める。ここで
ω
T∗Rnは,T∗Rnの標準的シンプレクティック形式をRn×Rn\∆∼=T∗Rnなる同一視で引き戻 したもの(K1, K2⊂R2の場合の拡張になっていることに注意). 右辺は一見Ω1,Ω2の取り方に依るように見え るが、Stokesの定理2回適用し、Banchoff-Pohlの積分幾何(double fibration)を用いると、E(K1, K2) =−1 2
∫
K1×K2
cosθ1cosθ2
dp1dp2
|p2−p1|2
=−1 4
∫
K1×K2
−→dp1·−→dp2
|p2−p1|2
=− 3 16π
∫
{γ:ori. circles}
lk(γ, K1)lk(γ, K2)dγ
となり、Ω1,Ω2の取り方に依らずにK1, K2のみで定まることが分かる。定義と
ω
T∗Rn のメビウス不変性から、E(K1, K2)はメビウス変換で共変である。
注 4.20 上の2番目の式で、分母の指数を変えて
∫
K1×K2
−→dp1·−→dp2
|p2−p1|
とすると、二つの導線K1, K2の間の相互インダクタンスを与えるvon Neumannの公式になる。
4.2.3 2成分絡み目から結び目へ
ここで K1=K2として繰り込みを行うことにより,Kのエネルギーを下で定める:
定義 4.21 Sεを半径≥εなる向きづけられた円全体のなす集合、dγをR3内の円全体の集合上に入るM¨obius不 変な測度とする。
E(K) := lim
ε→0
(
− 3 16π
∫
Sε
lk2(γ, K)dγ+3πL(K) 8ε
) と定める。絡み目LのE(L)も同じ式で定める。
繰り込みの過程は距離を用いるためメビウス変換と両立しないが,
定理 4.22 (1) γを境界とする円盤を[γ]とすると、次が成立:
E(K) = 3 16π
∫
S(1,3)
(#(K∩[γ])−λ(γ, K)2) dγ.
(2) E(K)はC2-位相に関して連続である。
(3) 次のGauss-Bonnet 公式が成り立つ:
1 π
∫
N1S
κ de dS= 2πχ(S) + 3 4π2
∫
L+2
(♯(ℓ∩S)−lk2(ℓ, K))dℓ−2 πE(K), ここで,κは単位法束N1S のLipschitz-Killing曲率, deは Nx1S の体積要素をあらわす.
(4) E(K)はメビウス変換で不変である. (上の公式から、あるいは、繰り込みを用いた式から直接示すことも できる)
(5) E(K)は下に有界でないし、C2-self-repulsiveでもない。実際結び目が自己交叉しようとすると、その交点 の角度φに応じて, 0≤φ < π/2なら−∞に発散し、π/2< φ≤πなら+∞に発散し、φ=π/2なら発散 しない。
(6) p, q を通り,K とpで接する平面とq で接する平面のなす角をθpqとすると, E(K) =−1
2
∫
K×K
cosθpqsinθpsinθq
dpdq
|q−p|2.
(7) Let Kε be an ε-parallel curve given by Kε ={x+ε n(x)|x∈K}, where nis the unit principal normal vector to K.
E(K) = lim
ε→0
(
−1 2
∫
K×K\∆ε
cosθpcosθq
dpdq
|q−p|2 +L(K) ε
)
= lim
ε→0
(
−1 4
∫
K×K\∆ε
−
→dp·−→dq
|q−p|2 +L(K) 2ε
)
= lim
ε→0
(E(K, Kε) + π 4εL(K))
−π 8
∫
K
κ(p)dp.
(8) E◦(2)と同様Additive link property (25)が成立する。すなわち、
E(K1∪K2) =E(K1) +E(K2) + 2E(K1, K2).
図41: 図のτはθpqのこと
注 4.23 (1) 上の式でcosθpqをsinθpqに変えると,Kのwritheになる. これも(被積分関数自体はメビウス不 変ではないが)結び目のメビウス不変な量である.
(2) 分母の指数を1 に変えると,Kの長さになる.
(3) 分母の指数を0に変えると, Banchoff-Pohlによる,Kに囲まれた面積になる.
参考文献
[ACFGH] A. Abrams, J. Cantarella, J. G. Fu, M. Ghomi, and R. Howard,Circles minimize most knot energies, Topology42, 381 – 394.
[AS] D. Auckly and L. Sadun,A family of M¨obius invariant 2-knot energiesGeometric Topology (Proceedings of the 1993 Georgia International Topology Conference) AMS/IP Studies in Adv. Math., W. H. Kazez ed. Amer. Math. Soc. and International Press addr Cambridge, MA. (1997), 235 – 258
[BP] T. F. Banchoff, W. Pohl, A generalization of the isoperimetric inequality. J. Diff. Geom., 6 (1971), 175 – 192.
[Be] A. Besse, Manifolds of all Whose Geodesics are Closed, Ergebnisse der Mathematik und ihrer Grenzge-biete Vol. 93, Springer-Verlag, Berlin, 1978.
[B] S. Blatt, Boundedness and regularizing effects of O’Hara’s knot energies, to appear in J. Knot Theory Ramifications.
[BT] R. Bott and C. Taubes, On the self-linking of knots,J. of Math. Physics35(1994), 5247 – 5287.
[BM] L. Brasco, R. Magnanini,The heart of a convex body, arXiv:1202.5223.
[BMS] L. Brasco, R. Magnanini, P. Salani, The location of the hot spot in a grounded convex conductor, to appear on. Indiana Univ. Math. J., arXiv:1012.4742.
[Bry] J.-L. Brylinski,The beta function of a knot, Internat. J. Math.10(1999), 415 – 423.
[Bu2] G. Buck,Four-thirds power law for knots and links,Nature392(1998), 238 – 239.
[BO] G. Buck and J. Orloff,A simple energy function for knots,Topology Appl. 61(1995), 205 – 214.
[BS] G. Buck and J. Simon,Thickness and crossing number of knots,Topology Appl.91 (1999), 245 – 257.
[CDG1] J. Cantarella, D. DeTurck, and H. Gluck, Upper bounds for the writhing of knots and the helicity of vector fields,Knots, braids, and mapping class groups—papers dedicated to Joan S. Birman (New York, 1998), AMS/IP Stud. Adv. Math. 24, Amer. Math. Soc., Providence, RI (2001), 1 – 21.
[CKS1] J. Cantarella, R. B. Kusner, and J. M. Sullivan,Tight knot values deviate from linear relations,Nature 392(1998), 237 – 238.
[CM] Chui, A.Y.K. and Moffatt, H.K. The energy and helicity of knotted magnetic flux tubes Proc. R. Soc.
Lond. A 451 1995 609–629
[Cˇa1] G. Cˇalugˇareanu,L’int´egrale de Gauss et l’analyse des nœuds tridimensionnels, Rev. Math. Pures Appl.
4(1959), 5 – 20.
[Cˇa2] G. Cˇalugˇareanu, Sur les classes d’isotopie des noeuds tridimensionnels et leur invariants,Czechoslovak Math. J.11 (1961), 588 – 625.
[Cˇa3] G. Cˇalugˇareanu, O teoremˇa asupra ˆınlˇant¸uirilor tridimensionale de curbe ˆınchise, Comm. Acad. R. P.
Romˆıne (1961), 829 – 832.
[FH] M. H. Freedman and Z-X. He.Divergence-free fields: Energy and asymptotic crossing number,Ann. of Math. 134(1991) 189 – 229.
[FHW] M.H. Freedman, Z-X. He and Z. Wang,M¨obius energy of knots and unknots.Ann. of Math.139(1994), 1 – 50.
[GNN] B. Gidas, W. M. Ni, L. Nirenberg, Symmetry and related properties via the maximum principle, Comm. Math. Phys. 68 (1979), 209 – 243.
[GM] O. Gonzalez and J. H. Maddocks, Global curvature, thickness, and the ideal shapes of knots, Proc.
National. Acad. Sci. USA96(1999), 4769 – 4773.
[GMS] O. Gonzalez, J. H. Maddocks, and J. Smutny, Curves, circles and spheres, Physical Knots: Knotting, Linking, and Folding Geometric Objects inR3, J. A. Calvo, K. Millett, and E. Rawdon eds., Contemp.
Math. 304, Amer. Math. Soc., Providence, RI (2002), 195 – 215.
[G1] M. Gromov, Homotopical effects of dilatationJ. Differential Geom. 13 (1978), 303 – 310 [G2] M. Gromov, Filling Riemannian manifoldsJ. Differential Geom. 18 (1983), 1 – 147
[Ha] A. Hatcher,A proof of the Smale conjecture, Diff(S3)≃O(4),Ann. of Math.117(1983), 553 – 607.
[He] Z.-X. He,The Euler-Lagrange equation and heat flow for the M¨obius energy,Comm. Pure Appl. Math.
53(2000), 399 – 431.
[HMP] I. Herburt, M. Moszynska, Z. Peradzynski, Remarks on radial centres of convex bodies, Math. Phys.
Anal. Geom. 8 (2005), 157 – 172
[HJ] U. Hertrich-Jeromin,Introduction to M¨obius differential geometry, London Mathematical Society Lecture Note Series, 300. Cambridge University Press, Cambridge, xii+413 pages (2003).
[1] M. Kanai, Differential-geometric studies on dynamics of geodesic and frame flows, Japan J. Math. 19 (1993), 1–30.
[KBMSDS] Katritch, V., Bednar, J., Michoud, D., Scharein, R.G., Dubochet, J., and Stasiak, A.Geometry and physics of knotsNature 384 1996 142–145
[KOPDS] Katritch, V., Olson, W.K., Pieranski, P., Dubochet, J., and Stasiak, A.Properties of ideal composite knotsNature 388 1997 148–151
[KHG] L.H. Kauffman, M. Huang, and R. P. Greszczuk,Self-repelling knots and local energy minima,Topology and geometry in polymer science (Minneapolis, MN, 1996), IMA Vol. Math. Appl.,103, Springer, New York, 1998, 29 – 36.
[KK] Kim, D. and Kusner, R.Torus knots extremizing the M¨obius energyExper. Math. 2 1993 1–9
[Kawak1] S. Kawakubo, Stability and bifurcation of circular Kirchhoff elastic rods,Osaka J. Math. 37(2000), 93 – 137.
[Kawak2] S. Kawakubo, Kirchhoff elastic rods in a Riemannian manifold, Tohoku Math. J. (2) 54 (2002), 179 – 193.
[Kl] W. Klingenberg, Riemannian geometry, Walter de Gruyter, Berlin, 1982.
[KV] O. Kr¨otenheerdt and S. Veit, Zur theorie massiver Knoten, Wiss. Beitr. Martin-Luther-Univ. Halle-Wittenberg Reihe M Math.7(1976), 61 – 74.
[Kus] http://www.gang.umass.edu/˜kusner/knot−pix/.
[KS2] R. Kusner, and J. M. Sullivan, M¨obius-invariant Knot Energies, (Updated version of [?]) Ideal Knots.
A. Stasiak, V. Katrich, L. H. Kauffman eds., World Scientific, Singapore 1998, 315 – 352.
[KS2] R. Kusner, and J. M. Sullivan,On distortion and thickness of knots,Topology and geometry in polymer science (Minneapolis, MN, 1996), IMA Vol. Math. Appl.,103, Springer, New York, (1998), 67 – 78.
[La-Si1] J. Langer and D. A. Singer,Knotted elastic curves in R3,J. London Math. Soc.30(1984), 512 – 520.
[La-Si2] J. Langer and D. A. Singer, The total squared curvature of closed curves, J. Differential Geom. 20 (1984), 1 – 22.
[La-Si3] J. Langer and D. A. Singer, Curve straightening and a minimax argument for closed elastic curves, Topology24(1985), 75 – 88.
[LO] R. Langevin and J. O’Hara.Conformally invariant energies of knots,J. Institut Math. Jussieu 4 (2005), 219-280.
[LSDR] R. A. Litherland, J. Simon, O. Durumeric, and E. Rawdon, Thickness of knots, Topology Appl. 91 (1999), 233 – 244.
[L1] E. Lutwak, Dual mixed volumes, Pacific J. Math. 58 (1975), 531 – 538.
[L2] E. Lutwak, Intersection bodies and dual mixed volumes, Advances in Mathematics 71 (1988), 232 – 261.
[MN] Fernando C. Marques, Andr´e Neves, Min-Max theory and the Willmore conjecture, arXiv:1202.6036v1 [math.DG]
[Mof] Moffatt, H. K.The energy spectrum of knots and links Nature 347 1990 367–369
[Mor] F. Morgan, A round ball uniquely minimizes gravitational potential energy, Proc. Amer. Math. Soc.
133 (2005), 2733 – 2735.
[M1] M. Moszy´nska, . Quotient star bodies, intersection bodies and star duality, J. Math. Anal. Appl. 232 (1999), 45 – 60.
[M2] M. Moszy´nska, Looking for selectors of star bodies, Geom. Dedicata 81 (2000), 131 – 147.
[M3] M. Moszy´nska, Selected topics in convex geometry, Birkh¨auser, Boston, 2006.
[O1] J. O’Hara.Energy of a knot,Topology30 (1991) p.241 – 247.
[O2] J. O’Hara,Family of energy functionals of knots,Topology Appl.48(1992), 147 – 161.
[O3] J. O’Hara,Energy functionals of knots II,Topology Appl.56(1994), 45 – 61.
[O4] J. O’Hara, Energy of knots in a 3-manifold; The spherical and the hyperbolic cases, Lectures at Knots
’96, S. Suzuki ed., World Scientific, Singapore (1997), 449 – 464.