Proc. R. Soc. A (2008) 464, 2741–2757 doi:10.1098/rspa.2008.0128 Published online 3 June 2008

Universal growth law for knot energy of Faddeev type in general dimensions B Y F ANGHUA L IN 1

AND

Y ISONG Y ANG 2, * ,†

1

Courant Institute of Mathematical Sciences, New York University, New York, NY 10012, USA 2 Department of Mathematics, Polytechnic University, Brooklyn, NY 11201, USA

The presence of a fractional-exponent growth law relating knot energy and knot topology is known to be an essential characteristic for the existence of ‘ideal’ knots. In this paper, we show that the energy infimum EN stratified at the Hopf charge N of the knot energy of the Faddeev type induced from the Hopf fibration S 4nK1 / S 2n (n R1) in general dimensions obeys the sharp fractional-exponent growth law EN wjN jp , where the exponent p is universally rendered as pZ ð4nK1Þ=4n, which is independent of the detailed fine structure of the knot energy but determined completely by the dimensions of the domain and range spaces of the field configuration maps. Keywords: knot energy; ideal knots; Hopf fibration; Hopf invariant; energy–topology growth laws; Sobolev inequalities

1. Introduction The concept of knots is important to many subject areas in science including particle physics, condensed-matter physics, molecular biology, synthetic chemistry and cosmology. The geometric and physical contents of a knot may be measured by an energy functional, E, which is non-negative valued and sometimes assumed to be scale invariant, whose choice unambiguously reflects one’s standpoint on what properties of a knot are to be taken into account. Wellknown knot energies designed for measuring knotted/tangled space curves include the Gromov distortion energy (Gromov 1978, 1983), the Mo ¨bius energy (O’Hara 1991, 1992; Bryson et al. 1993; Freedman et al. 1994) and the ropelength energy (Nabutovsky 1995; Buck 1998; Cantarella et al., 1998, 2002; Gonzalez & Maddocks 1999). See Janse van Rensburg (2005) for a rather comprehensive survey of these and other knot energies and related interesting studies. On the other hand, combinatorial or topological classification of knots may be realized by various knot invariants, among the simplest ones are crossing/linking numbers, which provide qualitative/quantitative measurements of the complexity of the entanglement of knots. The values of knot energies depend on the * Author for correspondence ([email protected]). † Address from 1 September 2008: Department of Mathematics, Yeshiva University, New York, NY 10033, USA. Received 25 March 2008 Accepted 8 May 2008

2741

This journal is q 2008 The Royal Society

2742

F. Lin and Y. Yang

geometric and physical conformations of the knots but knot invariants characterize the topological types, and are independent of the detailed geometric and physical structures, of the knots. In other words, when considered at their initial definition levels, knot energies and knot invariants are two independent conceptual ‘quantities’, which measure different and seemingly irrelevant aspects of knots. However, at the groundstate levels where knot energies are minimized and the knots realizing such minimum energy values are commonly referred to as ‘ideal knots’ (Stasiak et al. 1998), these two types of quantities are expected to be closely related. In particular, Moffat (1990) articulates to use the minimum knot energy as a new type of topological invariant for knots and links, further emphasizes that any knot or link may be characterized by an ‘energy spectrum’, a set of positive real numbers determined solely by its topology, and proposes that the lowest energy provides a possible measure of knot or link complexity. Katritch et al. (1996) approach knot identification by considering the properties of specific geometric forms of knots that are defined as ideal so that for a knot with a given topology and assembled from a tube of uniform diameter, the ideal form is the geometrical configuration having the highest ratio of volume to surface area. Equivalently, this amounts to determining the shortest piece of tube that can be closed to form the knot. They report their results of computer simulations showing a linear relationship between the length-to-diameter ratio, or the ropelength energy, and the (averaged) crossing number, of the knot and indicating the practicality of using ropelength energy to detect knot type. Buck (1998) uses the minimum ropelength energy of a knot to measure the complexity of the knot conformation and investigates the reported linear relationship between ropelength energy and the average crossing number of knots. He shows that a linear relationship cannot hold in general and the ropelength required to tie an N-crossing knot or link varies at least between N 3/4 and N. Canterella et al. (1998) further show that for any power 3/4%p%1, there are infinite families of N-crossing knots and links that realize the minimum ropelength energy asymptotic relationship EwN p, that is, for each p, there are families of N-crossing knots and links whose minimum ropelength energy and p-powered crossing number ratio, E/N p, remains bounded from below and above as N/N. The common feature of these studies on the ideal or canonical conformations and complexity of knots and links is that they all originate from diagrammatic considerations of knotted space curves whose existence, however, is not based on the first principle (Niemi 1998; Janse van Rensburg 2005). Since knotted conformations are known to be fundamental entities in nature, it will be important to realize them based on a first principle approach (Niemi 1998), i.e. to obtain them in suitable Lagrangian field theory models as concentrated field formations or knotted solitonic configurations that appear as organized patterns evolved from the underlying interactions of physical fields. Indeed, the recent work of Faddeev & Niemi (1997) produces knotted solitons in the Faddeev relativistic quantum field theory model (Faddeev 1979, 2002) and opens a new area of mathematical pursuit for knotted solitons in field theory in general. The importance of the Faddeev model is that it is a refined Skyrme model (Skyrme 1961a,b, 1962, 1988; Cho 2001), which uses topological solitons to model unified baron and meson interactions. Unlike the Skyrme solitons that are topologically represented by the Brouwer degree and may be viewed as elements in p3(S 3), the Faddeev solitons are topologically represented by the Proc. R. Soc. A (2008)

Universal growth law for knot energy

2743

Hopf invariant and may be viewed as elements in p3(S 2). Although both homotopy groups are isomorphic to the set of all integers, Z, the dependence relationships between the corresponding minimum energies and topologies are drastically different, which lead to the existence of different types of solitons: point-like ones in the Skyrme theory but knot-like ones in the Faddeev theory. More precisely, let us use E and Q to collectively denote the energy and topological invariant in either the Skyrme theory or the Faddeev theory, u is any static field configuration, N is a given integer, and EN Z inffEðuÞjQðuÞ Z N g:

ð1:1Þ

Then, for the Skyrme theory case, we have the linear asymptotics EN wjN j:

ð1:2Þ

Such a property is also commonly seen in previously well-studied gauge field theory soliton configurations including vortices and monopoles (Bogomol’nyi 1976; Actor 1979; Jaffe & Taubes 1980; Yang 2001) and instantons (Witten 1977; Atiyah et al. 1978; Actor 1979; Rajaraman 1982; Nash & Sen 1983; Freed & Uhlenbeck 1991; Yang 2001). On the other hand, however, for the Faddeev theory case, we have, instead, the sublinear asymptotics EN wjN j3=4 ; ð1:3Þ which is analogous to the ropelength energy, crossing number relation EwN p (3/4%p%1) stated earlier but is uncommonly seen in quantum field theory. Indeed, we have shown in (Lin & Yang 2004, 2007) that the sublinear growth law (1.3) dictates that tangled structures are energetically preferred over multiple soliton structures at high Hopf number N and, therefore, is essential for knotted configurations to form. Besides, the fine details of (1.3) are also recognized to be important for developing an existence theory concerning knotted solitons in the Faddeev field theory. In particular, the explicitly calculable lower estimate C0 jN j3=4 % EN ð1:4Þ allows us (Lin & Yang 2007) to establish that EG1 at the unit Hopf charge is attainable and the upper estimate EN % C1 jN j3=4 ; ð1:5Þ leads us (Lin & Yang 2004) to arrive at the conclusion that there is an infinite subset S3Z so that for any N2S, the energy infimum EN is attainable. Thus, we see that the fractionally powered energy–topology growth law of the Faddeev model gives rise to a series of important consequences to the formation of knots and deserves refreshed close attention and study. In this paper, we show that the growth law (1.3) for the Faddeev knot energy is universal in the sense that the topological growth factor jNj3/4 will be proven to stay unaffected by the fine structure change of the energy. More precisely, we show that when the L2 gradient term in the Faddeev energy is replaced by an L p gradient term with p satisfying 1!p!12/5, EN fulfils the lower bound (1.4) for which C 0O0 depends only on p; when the energy integrand is arbitrarily given, EN satisfies the upper bound (1.5) for which C 1O0 is independent of N. In fact, we shall establish our results for maps in the most general (Hopf ) dimensions, i.e. for maps from R4nK1 to S 2n so that our universal knot energy–knot topology Proc. R. Soc. A (2008)

2744

F. Lin and Y. Yang

growth law reads

EN wjN jð4nK1Þ=4n :

ð1:6Þ

Note that an interesting thing about this asymptotic relation is that the universal fractional power (4nK1)/4n is such that its numerator 4nK1 is the dimensionality of the domain space and its denominator 4n is twice the dimensionality of the range space of the maps under consideration, which immediately explains why the fractional power in the knot energy–knot topology growth law for the classical Faddeev field theory model as stated in (1.3) is exactly 3/4. In §2, we extend the Faddeev knot energy into general dimensions governing maps from R4nK1 into S 2n and deduce an explicit topological lower bound of the form (1.4). In §3, we modify the L2 gradient term into an L p gradient term, in the generalized Faddeev knot energy and deduce the updated explicit topological lower bound. In particular, we show that the topological growth factor jN j(4nK1)/4n remains unchanged as asserted. In §4, we establish an arbitrary-dimensional version of (1.5) and thus arrive at the general universal growth law (1.6). The results of this paper sharpen those described in Lin & Yang (2006) by obtaining explicit numerical expressions of various proportionality coefficients in the growth laws. These concrete expressions are of importance for a more precise understanding of the relationship between the structure of the energy of knots and their topological characteristics. 2. Faddeev knot energy and Hopf invariant Recall that for a field configuration map nZ ðn 1 ; n 2 ; n 3 Þ : R3 / S 2 , the induced Faddeev magnetic field (Fjk(n)) has the components ð2:1Þ Fjk ðnÞ Z n$ðvj no vk nÞ; j; k Z 1; 2; 3; and, in normalized units, the Faddeev energy takes the form (Faddeev 1979, 2002; Faddeev & Niemi 1997; Battye & Sutcliffe 1998, 1999; Hietarinta ) & Salo 1999) ð ( X X 1 EðnÞ Z ð2:2Þ jvk nj2 C jFk [ ðnÞj2 dx: 3 2 R 1%k%3 1%k![ %3 The finite-energy condition implies that n approaches a constant vector at infinity of R3 so that n may be viewed as a map from S 3 Z R3 g fNg into S 2 and represented by a homotopy class in p3(S 2)ZZ which is an integer, say Q(n), known as the Hopf invariant. It is direct to examine that the vector field F Z ðð1=2Þe jk [ Fk [ ðnÞÞ is divergence free, or V$F Z 0. Hence, there is a vector field A such that F Z Vo A. It was Whitehead (1947) who showed that Q(n) could be expressed in the form of ð an integral, 1 QðnÞ Z A$F dx; ð2:3Þ 16p2 R3 which is a special form of the Chern–Simons class (Chern & Simons 1971, 1974) in three dimensions. The Whitehead representation of the Hopf invariant may naturally be carried over to general dimensions (Bott & Tu 1982). Indeed, if a is a generator of m the top de Rham cohomology group HdR ðS m Þ and f : S 2mK1 / S m an arbitrary differentiable map, then the pullback of a under f, namely f a, is necessarily m closed. Since HdR ðS 2mK1 ÞZ 0, there is an (mK1) form h on S 2mK1 such that Proc. R. Soc. A (2008)

2745

Universal growth law for knot energy

f  aZ dh. With these, the Hopf invariant of f is given by the expression ð ho f  a; Qðf Þ Z S 2mK1

ð2:4Þ

which is seen to be conformally invariant. Therefore, using a stereographic projection, we may delete a point on S 2mK1 to rewrite (2.4) as ð Qðf Þ Z ho f  a: ð2:5Þ R2mK1

It is well known that the Hopf invariant is trivial, i.e. Q( f )Z0, when m is an odd number. Hence, we are left with the even number case, mZ2n, to study. Thus, from now on, we consider maps from R4nK1 to S 2n. Recall that the canonical volume element of S 2n is the 2n form UZ

2nC1 X

ðK1ÞjC1 x j dx 1 o/o d dx j o/o dx 2nC1 ;

ð2:6Þ

jZ1 2nC1 and ‘ˆ’ denotes the factor that where x1, x 2, ., x 2nC1 are Ð the coordinates of R 2n is omitted. Let jS jZ S 2n U be the total volume of the sphere S 2n. Denote by  the Hodge dual induced from the Euclidean metric on R4nK1 and , h$ $i the associated pointwise inner product over the space of p forms, say Lpx , at any x 2 R4nK1 defined by ao bZ ha; bi  1; a; b 2 Lpx , where 1Z dx 1 o/o dx 4nK1 Z dx is the standard volume element of R4nK1 with the norm of a p form a is given by jaj2 Z ha; ai. For the pullback u(U) of U defined in (2.6) under uZ ðu1 ; u 2 ; .; u 2nC1 Þ : 4nK1 R / S 2n , we have 2  1  u u2 / u 2nC1      vi1 u 1 vi1 u 2 / vi1 u 2nC1    X   ju ðUÞj2 Z  vi u1 vi u 2 / vi u 2nC1  2 2 2   1%i1!i 2!/!i 2n%4nK1  / / /   /    v u 1 v u 2 / v u2nC1  i 2n

h

X

i 2n

D2i1 i 2/i 2n :

i 2n

ð2:7Þ

1%i1!i 2!/!i 2n%4nK1

Therefore, we see that the energy functional   ð 1  2 2 EðuÞ Z jduj C ju ðUÞj dx 2 R4nK1

ð2:8Þ

is a direct extension to all (4nK1) dimensions of the original Faddeev energy functional (2.2) in three dimensions. Since ju j2Z1, we see that for any iZ1, 2, ., 4nK1, uZ ðu1 ; u 2 ; .; u 2nC1 Þ is perpendicular to vi uZ ðvi u 1 ; vi u2 ; .; vi u2nC1 Þ. Proc. R. Soc. A (2008)

2746

F. Lin and Y. Yang

For fixed i1, i 2, ., i 2n, there are two possibilities, at any given point x 2 R4nK1 . (i) vi1 u; vi 2 u; .; vi 2n u are linearly dependent. Then, of course, Di1 i 2 .i 2n Z 0, and   v u1 v u2 / dk  i1 vi1 u i1    v u 1 vi u2 / d vi 2 u k 2 w k h  i 2 / / /  /    vi u1 vi u 2 / d vi 2n uk 2n 2n

 / vi1 u 2nC1    2nC1  / vi 2 u   / /    2nC1  / vi u 2n

Z0 ð2:9Þ for any kZ1, 2, ., 2nC1. (ii) vi1 u; vi 2 u; .; vi 2n u are linearly independent. Let U be the subspace of R2nC1 spanned by these vectors. Define v 2 R2nC1 by v k Z ðK1Þk w k ; k Z 1; 2; .; 2n C 1: ð2:10Þ t Then v 2 U because vtvik u for all kZ1, 2, ., 2n. Note also that u 2 U t . Since dimðU t ÞZ 1, we see that u is parallel to v. Consequently, hu; vi2 Z jv j2 . Therefore, we can rewrite ju ðUÞj2 as    v u 1 / dk / v u2nC1 2   i1 vi1 u i1     2nC1 1 2nC1  d X X k  v u / / v u v u  2 i i i2 :  2 2 ju ðUÞj Z ð2:11Þ   / / / /  1%i1!i 2!/!i 2n%4nK1 kZ1  /     1 2nC1 d k   vi u / v u / vi u i 2n 2n 2n In order to obtain an optimal bound of ju ðUÞj2 in terms of the usual gradient squared of the components of u, we adapt the method of Manton (1987) and Ward (1999) in three dimensions to general dimensions as follows. We claim that the r.h.s. of the expression (2.11) can be rewritten as   i1  Vu $Vui1 Vu i1 $Vu i 2 / Vu i1 $Vu i 2n      i X  Vu 2 $Vui1 Vu i 2 $Vu i 2 / Vu i 2 $Vu i 2n      / / / /   1%i1!i 2!/!i 2n%2nC1    Vu i 2n $Vui1 Vu i 2n $Vu i 2 / Vu i 2n $Vu i 2n 

ð2:12Þ

which is the sum of all principal minors of the order 2n!2n of the (2nC1)!(2nC1) matrix 0 1 1 Vu $Vu1 Vu1 $Vu2 / Vu1 $Vu2nC1 B 2 C B Vu $Vu1 C Vu2 $Vu2 / Vu2 $Vu2nC1 B C: AZB ð2:13Þ C / / / / @ A Vu 2nC1 $Vu1 Proc. R. Soc. A (2008)

Vu2nC1 $Vu 2 / Vu2nC1 $Vu 2nC1

2747

Universal growth law for knot energy

To prove this claim, we look at the relation at the matrix 0 v1 u 2 / v1 u 1 B B v2 u 1 v2 u 2 / B ZB B/ / / @ v4nK1 u1

the origin of R4nK1 . We consider 1

v1 u2nC1

C C C: C A

v2 u2nC1 /

ð2:14Þ

v4nK1 u2 / v4nK1 u2nC1

Then, it is clear that A Z B T B:

ð2:15Þ

At xZ0, we may use the singular value decomposition theorem (cf. Stoer & Burlirsch 1990, p. 332) to find two orthogonal matrices P and Q of sizes (4nK1)! (4nK1) and (2nC1)!(2nC1), respectively, so that P PBQ Z ða ð4n K1Þ !ð2n C 1Þ matrixÞ 1 0 s1 0 / 0 C B0 s / 0 C B 2 C B C B/ / / / C B C B ð2:16Þ Z B 0 0 / s2nC1 C; C B C B0 0 / 0 C B C B A @/ / / / 0

0

/ 0

where s1 R s2 R/R s2nC1 R 0. For (2.16), set G Z ST S Z diagðs21 ; s22 ; .; s22nC1 Þ:

ð2:17Þ

We see that the sum of all the 2n!2n principal minors of G is equal to the sum of the squares of all the 2n!2n minors of S. In order to prove the same relationship between A and B as defined in (2.15), we use a coordinate change in x 1, x 2, ., x 4nK1 and an orthogonal transformation on uZ ðu 1 ; u2 ; .; u2nC1 Þ to absorb the matrices P and Q on the l.h.s. of (2.16). Since (2.11) and (2.12) are invariant under such a coordinate change and orthogonal transformation, we again arrive at the simplified situation, (2.16) and (2.17). Consequently, we deduce that the quantities expressed in (2.11) and (2.12) are identical indeed. Let l1, ., l2nC1 be the eigenvalues of the matrix (2.13). Then X li1 li 2 .li 2n : ð2:18Þ ð2:12Þ Z 1%i 1!i 2!/!i 2n%2nC1

On the other hand, we have 2nC1 X

u i ðVu k $Vui Þ Z

i Z1

k Z 1; 2; .; 2n C 1; Proc. R. Soc. A (2008)

2nC1 X i;jZ1

u i ðvj u k vj u i Þ Z

2nC1 X jZ1

vj u k

2nC1 X

u i vj u i Z 0;

i Z1

ð2:19Þ

2748

F. Lin and Y. Yang

since ju j2 Z 1. Therefore, u belongs to the nullspace of the matrix A. As a consequence, one of the eigenvalues of A must vanish. We may assume l2nC1Z0. Using this fact in (2.18), we obtain the relation ju ðUÞj2 Z l1 l2 .l2n :

ð2:20Þ

Using now the arithmetic mean–geometric mean inequality, we have, in view of (2.20), the optimal upper bound !2n l C l C/C l 2 2n ju  ðUÞj2 % 1 2n !2n 2nC1 X 1 ð2:21Þ Z ðð2nÞ K1 TraceðAÞÞ2n Z jVu i j2 : 2n i Z1 Now recall the sharp Sobolev inequality (Aubin 1976; Talenti 1976; Lutwak et al. 2002): For a scalar function f 2 W 1;p ðRm Þ, if 1!p!m and 1=q Z ð1=pÞK ð1=mÞ, then ð 1=p p c 0 kf kq % jVf j dx ; ð2:22Þ Rm

where the best constant c 0 is given by     11=m 0  1Kð1=pÞ m m G G m C 1K p p mKp @um A ; c 0 Z m 1=p p K1 GðmÞ

ð2:23Þ

with um the m-dimensional volume enclosed by the unit sphere S mK1 in Rm . Specializing to pZ2, mZ4nK1 in (2.22) and (2.23), we have c 0 kf kq % kVf k2 ;

ð2:24Þ

1 1 1 4nK3 Z K Z ; q 2 4n K1 2ð4n K 1Þ

ð2:25Þ

where q satisfies

and c 0 Z ð½4n K1½4nK3Þ

1=2

  1=ð4nK1Þ  G 2nK 12 G 2n C 12 u4nK1 : Gð4n K1Þ

ð2:26Þ

Note that the conjugate exponent q 0 with respect to q defined in (2.25) is given by q0 Z

q 2ð4n K1Þ Z ; q K1 4n C 1

ð2:27Þ

which lies in the interval [6/5, 2). For any map u : R4nK1 / S 2n 3R2nC1 , we use v to denote a (2nK1) form v such that dv Z u ðUÞ: Proc. R. Soc. A (2008)

ð2:28Þ

2749

Universal growth law for knot energy

Since aZ

1 U jS 2n j

ð2:29Þ

2n is a generator of HdR ðS 2n Þ, we see that the Hopf invariant (2.5) is updated into ð 1 QðuÞ Z 2n 2 v o u  ðUÞ: ð2:30Þ jS j R4nK1

As usual, we may assume that v lies in the ‘Coulomb gauge’, d v Z 0. Then, we have (Morrey 1966) ku  ðUÞk22 Z kdvk22 Z kVvk22 ;

ð2:31Þ

where kVvk22 denotes the sum of the usual L2 norm squared of all the first derivatives of the components of the (2nK1)-form v. Again, as before, we have ð 2n 2 jvjju  ðUÞjdx jS j jQðuÞj% R4nK1

% kvk2ð4nK1Þ=ð4nK3Þ ku ðUÞk2ð4nK1Þ=ð4nC1Þ ðin view of ð2:24Þ; ð2:25Þ; ð2:27Þ; ð2:31ÞÞ 1   % cK 0 ku ðUÞk2 ku ðUÞk2ð4nK1Þ=ð4nC1Þ ;

ð2:32Þ

where, in deriving the last inequality, we used the fact that, treating v as a ‘vector’, we have 1 K1 K1  jjvjjq Z kjvjkq % cK 0 kVjvjk2 % c0 jjVvjj2 Z c0 jju ðUÞjj2 :

ð2:33Þ

For q 0 Z 2ð4n K 1Þ=ð4nC 1Þ in (2.32) (defined in (2.27)), we have, with q 0 Z q1 C q2 and s, tO1 satisfying ð1=sÞC ð1=tÞZ 1, the inequality 

ku ðUÞkq 0 %





R4nK1

ju ðUÞj

q1 s

1=sq 0 ð dx



R4nK1

q2 t

ju ðUÞj

1=tq 0 dx

ð2:34Þ

:

We may choose 2Kq 0 ; 2n K1

q2 Z

2n K1 ; ð2Kq 0 Þn

tZ

q1 Z sZ

2ðnq 0 K1Þ ; 2n K1 2n K 1 : nq 0 K1

Noting that q1 sZ 1=n and q 2 tZ 2, we obtain in view of (2.21) and (2.34) that 

1 ku ðUÞkq 0 % 2n 

Proc. R. Soc. A (2008)

1=sq 0 ð

2

R4nK1

jduj dx

1=sq 0 ð



R4nK1

2

ju ðUÞj dx

1=tq 0 :

ð2:35Þ

2750

F. Lin and Y. Yang

Inserting (2.35) into (2.32) and using q 0 Z 2ð4n K1Þ=ð4nC 1Þ again, we get 0

2=sq 0

c 0 jS 2n j2 jQðuÞj% ð2nÞKð1=sq Þ kduk2

1Cð2=tq 0 Þ

ku  ðUÞk2

Z ð2nÞ Kð2n=ðð4nK1Þð2nK1ÞÞÞ ð2½4nK3Þðð2nð4nK3ÞÞ=ðð2nK1Þð4nK1ÞÞÞ ! ðkduk22 Þ1=ð2ð2nK1ÞÞ



1 ku  ðUÞk22 2½4nK3

ðð4nK3Þ=ð2ð2nK1ÞÞÞ !4n=ð4nK1Þ :

ð2:36Þ

Using the fact that 2(2nK1) and 2(2nK1)/(4nK3) are conjugate exponents, we get from (2.36) and (2.8) that  4n=ð4nK1Þ 1 ð4nK3Þ=ð2ð2nK1ÞÞ EðuÞ$ $ð2½4nK3Þ 2ð2n K 1Þ R c 0 jS 2n j2 ð2nÞ2n=ðð4nK1Þð2nK1ÞÞ jQðuÞj:

ð2:37Þ

We can summarize the above into the following. Theorem 2.1. For maps in general dimensions from the Euclidean space R4nK1 into the unit sphere S 2n, let the static knot energy of the Faddeev type be given by (2.8) and the Hopf invariant defined by (2.30). Then, there holds the fractionalexponent topological lower bound EðuÞR C ðnÞjQðuÞjð4nK1Þ=4n ;

ð2:38Þ

where the constant C(n) is explicitly given by C ðnÞ Z 2ð2n K1Þð2½4nK3Þ Kðð4nK3Þ=ð2ð2nK1ÞÞÞ ð2nÞ1=ð2ð2nK1ÞÞ ðc 0 jS 2n j2 Þð4nK1Þ=4n ; ð2:39Þ in which the constant c0 is defined by the expression (2.26). In the special case (Faddeev 1979, 2002; Faddeev & Niemi 1997), nZ1, we have pffiffiffi ð2:40Þ Cð1Þ Z 33=8 8 2p2 which coincides with the earlier known result (cf. Lin & Yang 2007 and references therein) for the classical Faddeev knot energy model in three dimensions.

3. Universal lower bound In the last section, we have seen that the knot energy (2.8) is bounded from below by a quantity proportional to the absolute value of the Hopf invariant (2.30) to the power of (4nK1)/4n, which is the ratio of the dimension of the domain space over twice the dimension of the range space of the maps under consideration. In this section, we show that, modulo the proportionality constant, the fractional-powered topological lower bound does not change even when the static knot energy is modified to a certain extent. Proc. R. Soc. A (2008)

2751

Universal growth law for knot energy

For our purpose, we replace the L2 gradient term in (2.8) by an Lp gradient term and consider the following altered (or extended) knot energy:   ð 1  p 2 Ep ðuÞ Z ð3:1Þ jduj C ju ðuÞj dx; 2 R4nK1 where pO1 is to be specified later. For q 0 defined in (2.27), we start from (2.32) again. Write q 0 Z q1 C q2 and set p p 2K 2n 2K 2n sZ ; t Z ð3:2Þ p : 2Kq 0 q 0 K 2n Formally, we have ð1=sÞC ð1=tÞZ 1. Requiring sO1 gives the condition q 0 O p=2n or 1! p!

4nð4n K1Þ ; 4n C 1

ð3:3Þ

which is to be assumed throughout. Under (3.3), we may require q1 and q2 satisfy  p p pð2Kq 0 Þ 2 2 q 0 K 2n Z ; q2 Z Z q1 Z : ð3:4Þ p 2K 2n 2ns 4nK p t Inserting (3.4) into (2.34) and using (2.21), we have 

ku ðUÞkq 0 % ð2nÞ

Kðp=2sq 0 Þ



p

R4nK1

jduj dx

1=sq 0 ð



R4nK1

2

1=tq 0

ju ðUÞj dx

:

ð3:5Þ

Substituting (3.5) into (2.32), we arrive at 0

0

0

c 0 jS 2n j2 jQðuÞj% ð2nÞKðp=2sq Þ ðkdukpp Þ1=sq ðku  ðUÞk22 Þð1=2ÞCð1=tq Þ :

ð3:6Þ

Note that 1 4n 1 h $ ; sq 0 4n K1 a

1 1 4n 1 C h $ ; 2 tq 0 4n K1 b

ð3:7Þ

where a Z 4nK p;

bZ

8nð4nKpÞ ; ð4n K1Þð8nK pÞK pð4n C 1Þ

ð3:8Þ

ð3:9Þ

satisfy ð1=aÞC ð1=bÞZ 1 and, due to (3.3), aO 4nK Proc. R. Soc. A (2008)

4nð4n K1Þ 8n Z O 1: 4n C 1 4n C 1

ð3:10Þ

2752

F. Lin and Y. Yang

Using these facts in (3.6), we obtain  4n=ð4nK1Þ 0 c 0 jS 2n j2 jQðuÞj%ð2nÞ Kðp=2sq Þ ðkdukpp Þ1=a ðku ðUÞk22 Þ1=b "   1=b #4n=ð4nK1Þ b Kð1=bÞ b  Kðp=2sq 0 Þ p 1=a 2 ku ðUÞk2 Z ð2nÞ ðkdukp Þ 2a 2a "   #4n=ð4nK1Þ 2a 1=b 1 1  Kðp=2sq 0 Þ p 2 %ð2nÞ $ : kdukp C ku ðUÞk2 b a 2 ð3:11Þ In conclusion, we see that, after inserting the values of q0 given in (2.27) and a, b given in (3.8), (3.9), respectively, in the inequality (3.11), we arrive at the following. Theorem 3.1. Let the extended knot energy for a map u : R4nK1 / S 2n be defined by (3.1) so that the Hopf invariant is given by (2.30). Then there holds the universal lower bound Ep ðuÞR C ðn; pÞjQðuÞjð4nK1Þ=4n ; ð3:12Þ where the positive constant C(n, p) may be explicitly expressed as C ðn; pÞ Z ðc 0 jS 2n j2 Þð4nK1Þ=4n ð2nÞp=ð2ð4nKpÞÞ ð4nK pÞ  ðð4nK1Þð8nKpÞKpð4nC1ÞÞ=8nð4nKpÞ 4n ; ! ð4n K 1Þð8nKpÞKpð4n C 1Þ

ð3:13Þ

in which the constant c 0 is as given in (2.26 ). It is clear that, in the special case when pZ2, (3.13) reduces to (2.39), namely C ðn; 2ÞZ CðnÞ, as expected.

4. Universal upper bound We now consider the universal topological upper bound problem and assume that the energy functional takes the most general form ð EðuÞ Z HðVuÞdx; ð4:1Þ R4nK1

where the energy density H is only assumed to be continuous with respect to its arguments and satisfies Hð0Þ Z 0: ð4:2Þ Theorem 4.1. Let the static knot energy functional E for maps from R4nK1 / S 2n be defined by (4.1) and (4.2 ) and the Hopf invariant Q be defined by (2.30 ). Then for any given integer N that may be realized as the value of the Hopf invariant, i.e. QðuÞZ N for some differentiable map u : R4nK1 / S 2n , and EN Z inffEðuÞj QðuÞZ N g, we have the universal topological upper bound EN % CjN jð4nK1Þ=4n ; where CO0 is a constant independent of N. Proc. R. Soc. A (2008)

ð4:3Þ

Universal growth law for knot energy

2753

In order to prove the theorem, we need to recall the following facts concerning the possible values of the Hopf invariant (Bott & Tu 1982; Husemoller 1994). (i) For nZ1, 2, 4, there are maps S 4nK1 / S 2n of the Hopf invariant 1. In fact, there are maps with the Hopf invariant equal to any integers. (ii) Conversely, if there is a map S 4nK1 / S 2n of the Hopf invariant 1, then nZ1, 2, 4. This statement is known as Theorem of Adams and Atiyah (Adams 1960; Adams & Atiyah 1966; Husemoller 1994). (iii) For any n, there is always a map S 4nK1 / S 2n with the Hopf invariant equal to any even number. Consequently, we see that, except for nZ1, 2, 4, the smallest positive Hopf number is 2, but not 1, and the construction in Lin & Yang (2006; under the oversimplified assumption that the smallest positive Hopf number is 1) needs to be modified accordingly. We proceed as follows. Let m be a positive integer and use Br to denote the ball in R4nK1 centred at the origin and with radius rO0. For ns1, 2, 4, consider a map h : R4nK1 / S 2n ;

ð4:4Þ

such that h is a constant vector outside the ball Bm1=2n , jVhj%

C1 ; m1=2n

ð4:5Þ

for a constant C1O0 independent of m, and that Q(h)Z2. Given a positive integer N, we first assume that N can be expressed as NZ2m2 for some positive integer m. 2n We decompose the upper hemisphere SC of S 2n as 2n Zgm SC i Z1 BðiÞg D:

ð4:6Þ

2n , Here, B(i )’s are mutually disjoint geodesic balls of radius r Z C0 =m 1=2n inside SC for which C0O0 is a small number independent of m. Define a differentiable map v : S 2n / S 2n such that vðxÞZ ð0; .; 0; 1Þ for all x 2 S 2n ngm iZ1 BðiÞ, and on each B(i ), v satisfies vjvBðiÞ Z ð0; .; 0; 1Þ, vðBðiÞÞ covers S 2n exactly once, and v : BðiÞ/ S 2n is orientation preserving. In particular, the degree of v from BðiÞ (viewed topologically as a sphere) onto S 2n is exactly 1. Since B(i ) has geodesic radius r Z C0 =m 1=2n , we can further require that

jVvj% C 2 m 1=2n ;

ð4:7Þ

for some positive constant C2 independent of m. For uZ v+h : R4nK1 / S 2n , we have (Husemoller 1994) QðuÞ Z ðdegðvÞÞ2 QðhÞ Z 2m 2 Z N :

ð4:8Þ

The construction of v and h also gives us the bound jVuj% C1 C2 : Note that u is constant-valued outside Bm1=2n . Proc. R. Soc. A (2008)

ð4:9Þ

2754

F. Lin and Y. Yang

Hence, for the energy defined by (4.1) and (4.2), we have ð   EðuÞ% HðVuÞdx % C Bm1=2n  Z Cmð4nK1Þ=2n Z CN ð4nK1Þ=4n : jxj%m 1=2n

ð4:10Þ

Here and in the sequel, we use C to denote a generic positive constant that is independent of the Hopf number N and may assume different values at different places. For the general even case, NZ2MR2, we have m 2 % M ! ðm C 1Þ2 ;

ð4:11Þ

for some integer, mR1. We observe that

[ Z M Km 2 ! ðm C 1Þ2 Km 2 Z 2m C 1% 3m:

ð4:12Þ

Let h 0 : B1 / S 2n be a smooth map with h 0 jvB1 Z ð0; .; 0; 1Þ;

Qðh 0 Þ Z 2:

ð4:13Þ

and jxi K xj jO 2;

ð4:14Þ

Take [ points x 1 ; .; x[ 2 R4nK1 such that jxi jO 1 C m 1=2n

for all i, jZ1, 2, ., [, and isj. Define u~ : R4nK1 / S 2n by 8 uðxÞ Z ðv+hÞðxÞ; x 2 Bm1=2n ; > < u~ðxÞ Z h 0 ðx K xi Þ; x 2 B1 ðxi Þ; i Z 1; .; [ ; > : ð0; .; 0; 1Þ; otherwise:

ð4:15Þ

Here, u is constructed as in the case NZ2m2 before and Br(x0) denotes the ball in R4nK1 centred at x0 and with radius r. We have Qð~ uÞZ QðuÞC 2[ Z 2m 2 C 2[ Z 2M Z N . Besides, Eð~ uÞ Z EðuÞ C [ Eðh 0 Þ% C ð2m2 Þð4nK1Þ=4n C 3mEðh 0 Þ% CN ð4nK1Þ=4n

ð4:16Þ

as before. Finally, we consider the odd number case. Obviously, it suffices to work on the situation when N is large enough. Let N Z 2M C N0 , where N0 is the smallest positive odd integer so that the Hopf invariant may assume this value and MR1 is sufficiently large. Let u be a trial configuration so that suppðVuÞ 3B1 ðx 1 Þg B1 ðx 2 Þ; ð4:17Þ where jx 1 K x 2 jO 2 and there are maps u 1, u 2 from R4nK1 to S 2n defined by u 1 Z ujB1 ðx 1 Þ ;

suppðVu 1 Þ 3B1 ðx 1 Þ;

u 2 Z ujB1 ðx 2 Þ ;

suppðVu 2 Þ 3B1 ðx 2 Þ; ð4:18Þ

which satisfy Qðu 1 ÞZ 2M , Qðu 2 ÞZ N0 . Hence QðuÞZ Qðu 1 ÞC Qðu 2 ÞZ 2M C N0 Z N and EðuÞ Z Eðu 1 Þ C Eðu 2 Þ% C ð2M Þð4nK1Þ=4n C Eðu 2 Þ% CN ð4nK1Þ=4n ;

ð4:19Þ

since 2M!N and N is a large number. Hence, the theorem has been established. Proc. R. Soc. A (2008)

Universal growth law for knot energy

2755

Combining theorems 3.1 and 4.1 and setting Ep;N Z inffEp ðuÞjQðuÞZ N g, where the knot energy Ep is as defined in (3.1), we arrive at the following universal asymptotic growth law: Ep;N wjN jð4nK1Þ=4n ;

ð4:20Þ

where we emphasize that the r.h.s. of (4.20) is a quantity that is independent of the detailed fine structure of the knot energy functional and only comprised the topological invariant and dimension numbers of the domain and range spaces of the configuration maps from R4nK1 into S 2n. Sublinear growth laws of the form (4.20) have profound implications for the formation of knotted/tangled soliton structures. See Lin & Yang (2004, 2007) for details in the classical situation (Faddeev 1979, 2002; Faddeev & Niemi 1997) of three spatial dimensions (nZ1). F.L. was supported in part by NSF under grant DMS-0201443. Y.Y. was supported in part by NSF under grant DMS-0406446 and an Othmer senior faculty fellowship at Polytechnic University. Part of this work was carried out when Y.Y. was visiting the Chern Institute of Mathematics at Nankai University.

References Actor, A. 1979 Classical solutions of SU(2) Yang–Mills theories. Rev. Mod. Phys. 51, 461–525. (doi:10.1103/RevModPhys.51.461) Adams, J. F. 1960 On the non-existence of elements of Hopf invariant one. Ann. Math. 72, 20–104. (doi:10.2307/1970147) Adams, J. F. & Atiyah, M. F. 1966 K-theory and the Hopf invariant. Q. J. Math. 17, 31–38. (doi:10. 1093/qmath/17.1.31) Atiyah, M. F., Hitchin, N. J., Drinfeld, V. G. & Manin, Y. I. 1978 Construction of instantons. Phys. Lett. A 65, 185–187. (doi:10.1016/0375-9601(78)90141-x) Aubin, T. 1976 Proble`mes isope´rime´triques et espaces de Sobolev. J. Differ. Geom. 11, 573–598. Battye, R. A. & Sutcliffe, P. M. 1998 Knots as stable soliton solutions in a three-dimensional classical field theory. Phys. Rev. Lett. 81, 4798–4801. (doi:10.1103/PhysRevLett.81.4798) Battye, R. A. & Sutcliffe, P. M. 1999 Solitons, links and knots. Proc. R. Soc. A 455, 4305–4331. (doi:10.1098/rspa.1999.0502) Bogomol’nyi, E. B. 1976 The stability of classical solutions. Sov. J. Nucl. Phys. 24, 449–454. Bott, R. & Tu, L. W. 1982 Differential forms in algebraic topology. New York, NY: Springer. Bryson, S., Freedman, M. H., He, Z.-X. & Wang, Z. H. 1993 Mo ¨bius invariance of knot energy. Bull. Am. Math. Soc. 28 99–103. (doi:10.1090/S0273-0979-1993-00348-3) Buck, G. 1998 Four-thirds power law for knots and links. Nature 392, 238–239. (doi:10.1038/32561) Cantarella, J., Kusner, R. & Sullivan, J. 1998 Tight knots deviate from linear relation. Nature 392, 237. (doi:10.1038/32558) Cantarella, J., Kusner, R. & Sullivan, J. 2002 On the minimum ropelength of knots and links. Invent. Math. 150, 257–286. (doi:10.1007/s00222-002-0234-y) Chern, S. S. & Simons, J. 1971 Some cohomology classes in principal fiber bundles and their application to Riemannian geometry. Proc. Natl Acad. Sci. USA 68, 791–794. (doi:10.1073/pnas. 68.4.791) Chern, S. S. & Simons, J. 1974 Characteristic forms and geometric invariants. Ann. Math. 99, 48–69. (doi:10.2307/1971013) Cho, Y. M. 2001 Monopoles and knots in Skyrme theory. Phys. Rev. Lett. 87, 252 001. (doi:10.1103/ PhysRevLett.87.252001) Proc. R. Soc. A (2008)

2756

F. Lin and Y. Yang

Faddeev, L. D. 1979 Einstein and several contemporary tendencies in the theory of elementary particles. In Relativity, quanta, and cosmology, vol. 1 (eds M. Pantaleo & F. de Finis), pp. 247–266. New York, NY: Johnson Reprint Corp. Faddeev, L. D. 2002 Knotted solitons. In Proc. Int. Congress Mathematicians, vol. I, pp. 235–244. Beijing, China: Higher Education Press. Faddeev, L. D. & Niemi, A. J. 1997 Stable knot-like structures in classical field theory. Nature 387, 58–61. (doi:10.1038/387058a0) Freed, D. S. & Uhlenbeck, K. K. 1991 Instantons and four-manifolds, vol. 1, 2nd edn. New York, NY: MSRI Publications, Springer. Freedman, M. H., He, Z. X. & Wang, Z. H. 1994 Mo ¨bius energy of knots and unknots. Ann. Math. 139, 1–50. (doi:10.2307/2946626) Gonzalez, O. & Maddocks, J. H. 1999 Global curvature, thickness, and the ideal shapes of knots. Proc. Natl Acad. Sci. USA 96, 4769–4773. (doi:10.1073/pnas.96.9.4769) Gromov, M. 1978 Homotopical effects of dilation. J. Differ. Geom. 13, 303–310. Gromov, M. 1983 Filling Riemannian manifolds. J. Differ. Geom. 18, 1–147. Hietarinta, J. & Salo, P. 1999 Faddeev–Hopf knots: dynamics of linked un-knots. Phys. Lett. B 451, 60–67. (doi:10.1016/S0370-2693(99)00054-4) Husemoller, D. 1994 Fibre bundles, 3rd edn. New York, NY: Springer. Jaffe, A. & Taubes, C. H. 1980 Vortices and monopoles. Boston, MA: Birkha ¨user. Janse van Rensburg, E. J. 2005 A tutorial on knot energies. In Physical and numerical models in knot theory (eds J. A. Calvo, K. C. Millett, E. J. Rawdon & A. Stasiak), pp. 19–44. Singapore: World Scientific. Katritch, V., Bednar, J., Michoud, D., Scharein, R. G., Dubochet, J. & Stasiak, A. 1996 Geometry and physics of knots. Nature 384, 142–145. (doi:10.1038/384142a0) Lin, F. & Yang, Y. 2004 Existence of energy minimizers as stable knotted solitons in the Faddeev model. Commun. Math. Phys. 249, 273–303. (doi:10.1007/s00220-004-1110-y) Lin, F. & Yang, Y. 2006 Static knot energy, Hopf charge, and universal growth law. Nucl. Phys. B 747, 455–463. (doi:10.1016/j.nuclphysb.2006.05.005) Lin, F. & Yang, Y. 2007 Energy splitting, substantial inequality, and minimization for the Faddeev and Skyrme models. Commun. Math. Phys. 269, 137–152. (doi:10.1007/s00220-006-0123-0) Lutwak, E., Yang, D. & Zhang, G. 2002 Sharp affine Lp Sobolev inequalities. J. Differ. Geom. 62, 17–38. Manton, N. S. 1987 Geometry of skyrmions. Commun. Math. Phys. 111, 469–478. (doi:10.1007/ BF01238909) Moffat, H. K. 1990 The energy spectrum of knots and links. Nature 347, 367–369. (doi:10.1038/ 347367a0) Morrey Jr, C. B. 1966 Multiple integrals in the calculus of variations. New York, NY: Springer. Nabutovsky, A. 1995 Non-recursive functions, knots “with thick ropes” and self-clenching “thick” hyperspheres. Commun. Pure Appl. Math. 48, 381–428. Nash, C. & Sen, S. 1983 Topology and geometry for physicists. London, UK; New York, NY: Academic Press. Niemi, A. J. 1998 Hamiltonian approach to knotted solitons. In Ideal knots (eds A. Stasiak, V. Katritch & L. H. Kauffman), pp. 274–287. Singapore: World Scientific. (A contributed ch.) O’Hara, J. 1991 Energy of a knot. Topology 30, 241–247. (doi:10.1016/0040-9383(91)90010-2) O’Hara, J. 1992 Family of energy functionals of knots. Topol. Appl. 48, 147–161. (doi:10.1016/01668641(92)90023-S) Rajaraman, R. 1982 Solitons and instantons. Amsterdam, The Netherlands: North-Holland. Skyrme, T. H. R. 1961a A nonlinear field theory. Proc. R. Soc. A 260, 127–138. (doi:10.1098/rspa. 1961.0018) Skyrme, T. H. R. 1961b Particle states of a quantized meson field. Proc. R. Soc. A 262, 237–245. (doi:10.1098/rspa.1961.0115) Skyrme, T. H. R. 1962 A unified field theory of mesons and baryons. Nucl. Phys. 31, 556–569. (doi:10. 1016/0029-5582(62)90775-7) Proc. R. Soc. A (2008)

Universal growth law for knot energy

2757

Skyrme, T. H. R. 1988 The origins of skyrmions. Int. J. Mod. Phys. A 3, 2745–2751. (doi:10.1142/ S0217751X88001156) Stasiak, A. Katritch, V. & Kauffman, L. H. (eds) 1998 Ideal knots. Singapore: World Scientific. Stoer, J. & Burlirsch, R. 1990 Introduction to numerical analysis. Berlin, Germany: Springer. Talenti, G. 1976 Best constant in Sobolev inequality. Ann. Mat. Pur. Appl. 110, 353–372. (doi:10. 1007/BF02418013) Ward, R. S. 1999 Hopf solitons on S 3 and R3. Nonlinearity 12, 241–246. (doi:10.1088/0951-7715/12/ 2/005) Whitehead, J. H. C. 1947 An expression of Hopf’s invariant as an integral. Proc. Natl Acad. Sci. USA 33, 117–123. (doi:10.1073/pnas.33.5.117) Witten, E. 1977 Some exact multipseudoparticle solutions of classical Yang–Mills theory. Phys. Rev. Lett. 38, 121–124. (doi:10.1103/PhysRevLett.38.121) Yang, Y. 2001 Solitons in field theory and nonlinear analysis. New York, NY: Springer.

Proc. R. Soc. A (2008)

Universal growth law for knot energy of Faddeev type in ...

Jun 3, 2008 - energy as a new type of topological invariant for knots and links, further emphasizes that any knot or link may be characterized by an 'energy spectrum', ...... 1, 2nd edn. New York, NY: MSRI Publications, Springer. Freedman, M. H., He, Z. X. & Wang, Z. H. 1994 Mِbius energy of knots and unknots. Ann. Math.

215KB Sizes 1 Downloads 121 Views

Recommend Documents

Static Knot Energy, Hopf Charge, and Universal Growth ...
by knots or links and antiparticles by their mirror images [3]; knotted cosmic strings ... the initial matter accretion for galaxy formation [4, 5]; knotted structures may ...

Existence of Faddeev Knots in General Hopf ...
of the present work is to extend this existence theory for the Faddeev knot ...... uW. 1, np n−1 (Ω) ≤ c(p, Ω) fW1,p(Σ). Proof. We need the following basic fact ...

The Universal Dynamics of Tumor growth
Feb 18, 2005 - Matematica Aplicada, Facultad de de CC. Matemáticas, Avenida Complutense .... We here remind the reader that our work was experimentally ...

[Read] Ebook Scale: The Universal Laws of Growth ...
From one of the most influential scientists of our ... degree, scaled versions of each other. If you know the ... food it eats per day, what its heart-rate is, how long it ...