Winding line on a torus

This notebook illustrates how to use the Atlas package to solve problems in elementary differential geometry. As an example we calculate the curvatures and moving frame of a winding line on a torus. This line is embedded into the Euclidian space, on the other hand the line is embedded into the torus. We assume that the torus is embedded into the Euclidian space and the metric tensor field of the torus is just the induced metric of the embedding.

What we do?

  • In the first case we calculate the moving frame: principal normal, binormal and tangent vector fields for the embedded curve.
  • We also calculate first and second curvatures of the embedded curve which are known as curvature and torsion of the curve.
  • In the second case we calculate the moving frame: principal normal and tangent vector fields for the embedded curve.
  • Besides that we calculate first curvature of the embedded curve.
  • As an intermediate result we obtain the first fundamental forms induced by the corresponding embedding on the curves and the torus (metric tensor field for the torus and squared differential of the curve's arc for curves).
    • Additionally we obtain the second fundamental form and mean curvature vector field of the embedded torus.
    Forms[f1n,f2k,...,fip]fip-rules where fi-form identifier and p is a variable or an integer-the form's degree.
    Vectors[v1,v2,...,vi,...,vn]vi - vector identivier.
    Coframe[id1expr1,id2expr2,...idnexprn]id - identifier for indexed variable - the coframe 1-forms, n - dimension of working manifold (a variable or integer), idiexpri - rule where idi is indexed variable - coframe 1-form and expri is decomposition of the 1-form on exact 1-forms.
    Invariants[f]f - mapping identifier.

    Necessary functions.

Solution:

Load atlas package:
In[7]:=
Click for copyable input
Just for right simplification:
In[8]:=
Click for copyable input

Description of the total space R3

First of all we have to describe the space we are working in. The space is 3-dimensional Euclidean (flat) space. To define the space we declare domain, forms, vectors, coframe, frame, flat metric and calculate connection (it is equal to zero of course).
Define Euclidean space as a manifold:
In[9]:=
Click for copyable input
Out[9]=
Declare 1-forms for the space coframe:
In[10]:=
Click for copyable input
Out[10]=
Declare vectors for the space frame:
In[11]:=
Click for copyable input
Out[11]=
Declare coframe on the space:
In[12]:=
Click for copyable input
Out[12]=
Declare frame on the space:
In[13]:=
Click for copyable input
Out[13]=
Declare flat metric on the space:
In[14]:=
Click for copyable input
Out[14]=
Calculate connection of the metric:
In[15]:=
Click for copyable input
Out[15]=

Description of the curve C (winding line on a torus)

Define the curve as a manifold:
In[16]:=
Click for copyable input
Out[16]=
Declare constants a, b and m, n:
In[17]:=
Click for copyable input
Out[17]=
Declare 1-form for curve's coframe:
In[18]:=
Click for copyable input
Out[18]=
Declare vectors for curve's frame:
In[19]:=
Click for copyable input
Out[19]=
Declare coframe on the curve:
In[20]:=
Click for copyable input
Out[20]=
Declare frame of the curve:
In[21]:=
Click for copyable input
Out[21]=

Mapping :CR3 and its invariants (metric, moving frame, curvature, torsion)

Declare mapping of the curve into R3:
In[22]:=
Click for copyable input
Out[22]=
Visualize the mapping:
In[23]:=
Click for copyable input
Out[23]=
One can also calculate metric induced on the curve by the mapping:
In[24]:=
Click for copyable input
Out[24]=
It is obvious that the metric gives squared differential of the curve's arc: d(l)2=(m2a2+2m2a b cos(n)+m2b2cos(n)2+b2n2)d()2
Calculate invariants of the mapping:
In[25]:=
Click for copyable input
Extract tangent normalized vector field:
In[26]:=
Click for copyable input
Out[26]=
Extract principal normal normalized vector field:
In[27]:=
Click for copyable input
Extract binormal normalized vector field:
In[28]:=
Click for copyable input
Extract curvature of the curve:
In[29]:=
Click for copyable input
Out[29]=
Extract torsion of the curve:
In[30]:=
Click for copyable input
Out[30]=
Let us check the "orthonormality" of the moving frame vectors. To do this we use metric tensor field gR:
In[31]:=
Click for copyable input
Out[31]=
In[32]:=
Click for copyable input
Out[32]=
In[33]:=
Click for copyable input
Out[33]=
In[34]:=
Click for copyable input
Out[34]=
In[35]:=
Click for copyable input
Out[35]=
In[36]:=
Click for copyable input
Out[36]=

Description of the torus T2

Define the torus as a manifold:
In[37]:=
Click for copyable input
Out[37]=
Declare 1-form for the torus coframe:
In[38]:=
Click for copyable input
Out[38]=
Declare vectors for the torus frame:
In[39]:=
Click for copyable input
Out[39]=
Declare coframe on the torus:
In[40]:=
Click for copyable input
Out[40]=
Declare frame of the torus:
In[41]:=
Click for copyable input
Out[41]=

Embedding f:TR3 and induced metric calculation

Declare mapping of the torus into R3:
In[42]:=
Click for copyable input
Out[42]=
Visualize the mapping:
In[43]:=
Click for copyable input
Out[43]=
Calculate metric (induced by the embedding) on the torus using Pullback operator:
In[44]:=
Click for copyable input
Out[44]=
Calculate connection on the torus:
In[45]:=
Click for copyable input
Out[45]=
Let us see the result:
In[46]:=
Click for copyable input
Out[46]//MatrixForm=
We can calculate the corresponding invariants of the mapping. The invarians are: second fundamental form and field of mean curvature vectors. We do not need these quantities anyway, but it's hard to keep from the calculation:
In[47]:=
Click for copyable input
Out[47]=

Embedding :CT2 and its invariants (metric, moving frame, curvature)

Declare mapping of the curve into T2:
In[48]:=
Click for copyable input
Out[48]=
Calculate metric (induced by the embedding) on the curve using Pullback operator:
In[49]:=
Click for copyable input
Out[49]=
Calculate invariants of the mapping:
In[50]:=
Click for copyable input
Out[50]=
Extract tangent normalized vector field:
In[51]:=
Click for copyable input
Out[51]=
Extract principal normal normalized vector field:
In[52]:=
Click for copyable input
Out[52]=
Extract curvature of the curve:
In[53]:=
Click for copyable input
Out[53]=
Let us check the "orthonormality" of the moving frame vectors. To do this we use metric tensor field gT, but in this case the metric is not flat and its components (in any coframe) are verify from one torus point to another:
In[54]:=
Click for copyable input
Out[54]=
Thus we have to make calculations on the curve C:
In[55]:=
Click for copyable input
Out[55]=
In[56]:=
Click for copyable input
Out[56]=
In[57]:=
Click for copyable input
Out[57]=
In[58]:=
Click for copyable input
Out[58]=
In[59]:=
Click for copyable input