Open main menu
Home
Random
Recent changes
Special pages
Community portal
Preferences
About Wikipedia
Disclaimers
Incubator escapee wiki
Search
User menu
Talk
Dark mode
Contributions
Create account
Log in
Editing
24-cell
(section)
Warning:
You are not logged in. Your IP address will be publicly visible if you make any edits. If you
log in
or
create an account
, your edits will be attributed to your username, along with other benefits.
Anti-spam check. Do
not
fill this in!
==== Isoclinic rotations ==== When the angles of rotation in the two completely orthogonal invariant planes are exactly the same, a [[Rotations in 4-dimensional Euclidean space#Special property of SO(4) among rotation groups in general|remarkably symmetric]] [[Geometric transformation|transformation]] occurs:{{Sfn|Perez-Gracia|Thomas|2017|loc=§2. Isoclinic rotations|pp=2−3}} all the great circle planes Clifford parallel{{Efn|name=Clifford parallels}} to the pair of invariant planes become pairs of invariant planes of rotation themselves, through that same angle, and the 4-polytope rotates [[Rotations in 4-dimensional Euclidean space#Isoclinic rotations|isoclinically]] in many directions at once.{{Sfn|Kim|Rote|2016|loc=§6. Angles between two Planes in 4-Space|pp=7-10}} Each vertex moves an equal distance in four orthogonal directions at the same time.{{Efn|In an [[#Isoclinic rotations|isoclinic rotation]], each point anywhere in the 4-polytope moves an equal distance in four orthogonal directions at once, on a [[8-cell#Radial equilateral symmetry|4-dimensional diagonal]]. The point is displaced a total [[Pythagorean distance]] equal to the square root of four times the square of that distance. All vertices are displaced to a vertex at least two edge lengths away.{{Efn|name=missing the nearest vertices}} For example, when the unit-radius 24-cell rotates isoclinically 60° in a hexagon invariant plane and 60° in its completely orthogonal invariant plane,{{Efn|name=pairs of completely orthogonal planes}} each vertex is displaced to another vertex {{radic|3}} (120°) away, moving {{radic|3/4}} ≈ 0.866 (half the {{radic|3}} chord length) in four orthogonal directions.{{Efn|{{radic|3/4}} ≈ 0.866 is the long radius of the {{radic|2}}-edge regular tetrahedron (the unit-radius 16-cell's cell). Those four tetrahedron radii are not orthogonal, and they radiate symmetrically compressed into 3 dimensions (not 4). The four orthogonal {{radic|3/4}} ≈ 0.866 displacements summing to a 120° degree displacement in the 24-cell's characteristic isoclinic rotation{{Efn|name=isoclinic 4-dimensional diagonal}} are not as easy to visualize as radii, but they can be imagined as successive orthogonal steps in a path extending in all 4 dimensions, along the orthogonal edges of a [[5-cell#Orthoschemes|4-orthoscheme]]. In an actual left (or right) isoclinic rotation the four orthogonal {{radic|3/4}} ≈ 0.866 steps of each 120° displacement are concurrent, not successive, so they ''are'' actually symmetrical radii in 4 dimensions. In fact they are four orthogonal [[#Characteristic orthoscheme|mid-edge radii of a unit-radius 24-cell]] centered at the rotating vertex. Finally, in 2 dimensional units, {{radic|3/4}} ≈ 0.866 is the area of the equilateral triangle face of the unit-edge, unit-radius 24-cell. The area of the radial equilateral triangles in a unit-radius radially equilateral polytope{{Efn|name=radially equilateral}} is {{radic|3/4}} ≈ 0.866.|name=root 3/4}}|name=isoclinic 4-dimensional diagonal}} In the 24-cell any isoclinic rotation through 60 degrees in a hexagonal plane takes each vertex to a vertex two edge lengths away, rotates ''all 16'' hexagons by 60 degrees, and takes ''every'' great circle polygon (square,{{Efn|In the [[16-cell#Rotations|16-cell]] the 6 orthogonal great squares form 3 pairs of completely orthogonal great circles; each pair is Clifford parallel. In the 24-cell, the 3 inscribed 16-cells lie rotated 60 degrees isoclinically{{Efn|name=isoclinic 4-dimensional diagonal}} with respect to each other; consequently their corresponding vertices are 120 degrees apart on a hexagonal great circle. Pairing their vertices which are 90 degrees apart reveals corresponding square great circles which are Clifford parallel. Each of the 18 square great circles is Clifford parallel not only to one other square great circle in the same 16-cell (the completely orthogonal one), but also to two square great circles (which are completely orthogonal to each other) in each of the other two 16-cells. (Completely orthogonal great circles are Clifford parallel, but not all Clifford parallels are orthogonal.{{Efn|name=only some Clifford parallels are orthogonal}}) A 60 degree isoclinic rotation of the 24-cell in hexagonal invariant planes takes each square great circle to a Clifford parallel (but non-orthogonal) square great circle in a different 16-cell.|name=Clifford parallel squares in the 16-cell and 24-cell}} hexagon or triangle) to a Clifford parallel great circle polygon of the same kind 120 degrees away. An isoclinic rotation is also called a ''Clifford displacement'', after its [[William Kingdon Clifford|discoverer]].{{Efn|In a ''[[William Kingdon Clifford|Clifford]] displacement'', also known as an [[Rotations in 4-dimensional Euclidean space#Isoclinic rotations|isoclinic rotation]], all the Clifford parallel{{Efn|name=Clifford parallels}} invariant planes are displaced in four orthogonal directions at once: they are rotated by the same angle, and at the same time they are tilted ''sideways'' by that same angle in the completely orthogonal rotation.{{Efn|name=one true circle}} A [[Rotations in 4-dimensional Euclidean space#Isoclinic rotations|Clifford displacement]] is [[8-cell#Radial equilateral symmetry|4-dimensionally diagonal]].{{Efn|name=isoclinic 4-dimensional diagonal}} Every plane that is Clifford parallel to one of the completely orthogonal planes (including in this case an entire Clifford parallel bundle of 4 hexagons, but not all 16 hexagons) is invariant under the isoclinic rotation: all the points in the plane rotate in circles but remain in the plane, even as the whole plane tilts sideways.{{Efn|name=plane movement in rotations}} All 16 hexagons rotate by the same angle (though only 4 of them do so invariantly). All 16 hexagons are rotated by 60 degrees, and also displaced sideways by 60 degrees to a Clifford parallel hexagon 120 degrees away. All of the other central polygons (e.g. squares) are also displaced to a Clifford parallel polygon 120 degrees away.|name=Clifford displacement}} The 24-cell in the ''double'' rotation animation appears to turn itself inside out.{{Efn|That a double rotation can turn a 4-polytope inside out is even more noticeable in the [[Rotations in 4-dimensional Euclidean space#Double rotations|tesseract double rotation]].}} It appears to, because it actually does, reversing the [[chirality]] of the whole 4-polytope just the way your bathroom mirror reverses the chirality of your image by a 180 degree reflection. Each 360 degree isoclinic rotation is as if the 24-cell surface had been stripped off like a glove and turned inside out, making a right-hand glove into a left-hand glove (or vice versa).{{Sfn|Coxeter|1973|p=141|loc=§7.x. Historical remarks|ps=; "[[August Ferdinand Möbius|Möbius]] realized, as early as 1827, that a four-dimensional rotation would be required to bring two enantiomorphous solids into coincidence. This idea was neatly deployed by [[H. G. Wells]] in ''The Plattner Story''."}} In a simple rotation of the 24-cell in a hexagonal plane, each vertex in the plane rotates first along an edge to an adjacent vertex 60 degrees away. But in an isoclinic rotation in ''two'' completely orthogonal planes one of which is a great hexagon,{{Efn|name=pairs of completely orthogonal planes}} each vertex rotates first to a vertex ''two'' edge lengths away ({{radic|3}} and 120° distant). The double 60-degree rotation's helical geodesics pass through every other vertex, missing the vertices in between.{{Efn|In an isoclinic rotation vertices move diagonally, like the [[bishop (chess)|bishop]]s in [[chess]]. Vertices in an isoclinic rotation ''cannot'' reach their orthogonally nearest neighbor vertices{{Efn|name=8 nearest vertices}} by double-rotating directly toward them (and also orthogonally to that direction), because that double rotation takes them diagonally between their nearest vertices, missing them, to a vertex farther away in a larger-radius surrounding shell of vertices,{{Efn|name=nearest isoclinic vertices are {{radic|3}} away in third surrounding shell}} the way bishops are confined to the white or black squares of the [[chessboard]] and cannot reach squares of the opposite color, even those immediately adjacent.{{Efn|Isoclinic rotations{{Efn|name=isoclinic geodesic}} partition the 24 cells (and the 24 vertices) of the 24-cell into two disjoint subsets of 12 cells (and 12 vertices), even and odd (or black and white), which shift places among themselves, in a manner dimensionally analogous to the way the [[Bishop (chess)|bishops]]' diagonal moves{{Efn|name=missing the nearest vertices}} restrict them to the black or white squares of the [[chessboard]].{{Efn|Left and right isoclinic rotations partition the 24 cells (and 24 vertices) into black and white in the same way.{{Sfn|Coxeter|1973|p=156|loc=|ps=: "...the chess-board has an n-dimensional analogue."}} The rotations of all fibrations of the same kind of great polygon use the same chessboard, which is a convention of the coordinate system based on even and odd coordinates. ''Left and right are not colors:'' in either a left (or right) rotation half the moving vertices are black, running along black isoclines through black vertices, and the other half are white vertices, also rotating among themselves.{{Efn|Chirality and even/odd parity are distinct flavors. Things which have even/odd coordinate parity are '''''black or white:''''' the squares of the [[chessboard]],{{Efn|Since it is difficult to color points and lines white, we sometimes use black and red instead of black and white. In particular, isocline chords are sometimes shown as black or red ''dashed'' lines.{{Efn|name=interior features}}|name=black and red}} '''cells''', '''vertices''' and the '''isoclines''' which connect them by isoclinic rotation.{{Efn|name=isoclinic geodesic}} Everything else is '''''black and white:''''' e.g. adjacent '''face-bonded cell pairs''', or '''edges''' and '''chords''' which are black at one end and white at the other. Things which have [[chirality]] come in '''''right or left''''' enantiomorphous forms: '''[[#Isoclinic rotations|isoclinic rotations]]''' and '''chiral objects''' which include '''[[#Characteristic orthoscheme|characteristic orthoscheme]]s''', '''[[#Chiral symmetry operations|sets of Clifford parallel great polygon planes]]''',{{Efn|name=completely orthogonal Clifford parallels are special}} '''[[fiber bundle]]s''' of Clifford parallel circles (whether or not the circles themselves are chiral), and the chiral cell rings found in the [[16-cell#Helical construction|16-cell]] and [[600-cell#Boerdijk–Coxeter helix rings|600-cell]]. Things which have '''''neither''''' an even/odd parity nor a chirality include all '''edges''' and '''faces''' (shared by black and white cells), '''[[#Geodesics|great circle polygons]]''' and their '''[[Hopf fibration|fibration]]s''', and non-chiral cell rings such as the 24-cell's [[#Cell rings|cell rings of octahedra]]. Some things have '''''both''''' an even/odd parity and a chirality: '''isoclines''' are black or white because they connect vertices which are all of the same color, and they ''act'' as left or right chiral objects when they are vertex paths in a left or right rotation, although they have no inherent chirality themselves. Each left (or right) rotation traverses an equal number of black and white isoclines.{{Efn|name=Clifford polygon}}|name=left-right versus black-white}}|name=isoclinic chessboard}}|name=black and white}} Things moving diagonally move farther than 1 unit of distance in each movement step ({{radic|2}} on the chessboard, {{radic|3}} in the 24-cell), but at the cost of ''missing'' half the destinations.{{Efn|name=one true circle}} However, in an isoclinic rotation of a rigid body all the vertices rotate at once, so every destination ''will'' be reached by some vertex. Moreover, there is another isoclinic rotation in hexagon invariant planes which does take each vertex to an adjacent (nearest) vertex. A 24-cell can displace each vertex to a vertex 60° away (a nearest vertex) by rotating isoclinically by 30° in two completely orthogonal invariant planes (one of them a hexagon), ''not'' by double-rotating directly toward the nearest vertex (and also orthogonally to that direction), but instead by double-rotating directly toward a more distant vertex (and also orthogonally to that direction). This helical 30° isoclinic rotation takes the vertex 60° to its nearest-neighbor vertex by a ''different path'' than a simple 60° rotation would. The path along the helical isocline and the path along the simple great circle have the same 60° arc-length, but they consist of disjoint sets of points (except for their endpoints, the two vertices). They are both geodesic (shortest) arcs, but on two alternate kinds of geodesic circle. One is doubly curved (through all four dimensions), and one is simply curved (lying in a two-dimensional plane).|name=missing the nearest vertices}} Each {{radic|3}} chord of the helical geodesic{{Efn|Although adjacent vertices on the isoclinic geodesic are a {{radic|3}} chord apart, a point on a rigid body under rotation does not travel along a chord: it moves along an arc between the two endpoints of the chord (a longer distance). In a ''simple'' rotation between two vertices {{radic|3}} apart, the vertex moves along the arc of a hexagonal great circle to a vertex two great hexagon edges away, and passes through the intervening hexagon vertex midway. But in an ''isoclinic'' rotation between two vertices {{radic|3}} apart the vertex moves along a helical arc called an isocline (not a planar great circle),{{Efn|name=isoclinic geodesic}} which does ''not'' pass through an intervening vertex: it misses the vertex nearest to its midpoint.{{Efn|name=missing the nearest vertices}}|name=isocline misses vertex}} crosses between two Clifford parallel hexagon central planes, and lies in another hexagon central plane that intersects them both.{{Efn|Departing from any vertex V<sub>0</sub> in the original great hexagon plane of isoclinic rotation P<sub>0</sub>, the first vertex reached V<sub>1</sub> is 120 degrees away along a {{radic|3}} chord lying in a different hexagonal plane P<sub>1</sub>. P<sub>1</sub> is inclined to P<sub>0</sub> at a 60° angle.{{Efn|P<sub>0</sub> and P<sub>1</sub> lie in the same hyperplane (the same central cuboctahedron) so their other angle of separation is 0.{{Efn|name=two angles between central planes}}}} The second vertex reached V<sub>2</sub> is 120 degrees beyond V<sub>1</sub> along a second {{radic|3}} chord lying in another hexagonal plane P<sub>2</sub> that is Clifford parallel to P<sub>0</sub>.{{Efn|P<sub>0</sub> and P<sub>2</sub> are 60° apart in ''both'' angles of separation.{{Efn|name=two angles between central planes}} Clifford parallel planes are isoclinic (which means they are separated by two equal angles), and their corresponding vertices are all the same distance apart. Although V<sub>0</sub> and V<sub>2</sub> are ''two'' {{radic|3}} chords apart,{{Efn|V<sub>0</sub> and V<sub>2</sub> are two {{radic|3}} chords apart on the geodesic path of this rotational isocline, but that is not the shortest geodesic path between them. In the 24-cell, it is impossible for two vertices to be more distant than ''one'' {{radic|3}} chord, unless they are antipodal vertices {{radic|4}} apart.{{Efn|name=Geodesic distance}} V<sub>0</sub> and V<sub>2</sub> are ''one'' {{radic|3}} chord apart on some other isocline, and just {{radic|1}} apart on some great hexagon. Between V<sub>0</sub> and V<sub>2</sub>, the isoclinic rotation has gone the long way around the 24-cell over two {{radic|3}} chords to reach a vertex that was only {{radic|1}} away. More generally, isoclines are geodesics because the distance between their successive vertices is the shortest distance between those two vertices in some rotation connecting them, but on the 3-sphere there may be another rotation which is shorter. A path between two vertices along a geodesic is not always the shortest distance between them (even on ordinary great circle geodesics).}} P<sub>0</sub> and P<sub>2</sub> are just one {{radic|1}} edge apart (at every pair of ''nearest'' vertices).}} (Notice that V<sub>1</sub> lies in both intersecting planes P<sub>1</sub> and P<sub>2</sub>, as V<sub>0</sub> lies in both P<sub>0</sub> and P<sub>1</sub>. But P<sub>0</sub> and P<sub>2</sub> have ''no'' vertices in common; they do not intersect.) The third vertex reached V<sub>3</sub> is 120 degrees beyond V<sub>2</sub> along a third {{radic|3}} chord lying in another hexagonal plane P<sub>3</sub> that is Clifford parallel to P<sub>1</sub>. V<sub>0</sub> and V<sub>3</sub> are adjacent vertices, {{radic|1}} apart.{{Efn|name=skew hexagram}} The three {{radic|3}} chords lie in different 8-cells.{{Efn|name=three 8-cells}} V<sub>0</sub> to V<sub>3</sub> is a 360° isoclinic rotation, and one half of the 24-cell's double-loop hexagram<sub>2</sub> Clifford polygon.{{Efn|name=Clifford polygon}}|name=360 degree geodesic path visiting 3 hexagonal planes}} The {{radic|3}} chords meet at a 60° angle, but since they lie in different planes they form a [[helix]] not a [[#Triangles|triangle]]. Three {{radic|3}} chords and 360° of rotation takes the vertex to an adjacent vertex, not back to itself. The helix of {{radic|3}} chords closes into a loop only after six {{radic|3}} chords: a 720° rotation twice around the 24-cell{{Efn|An isoclinic rotation by 60° is two simple rotations by 60° at the same time.{{Efn|The composition of two simple 60° rotations in a pair of completely orthogonal invariant planes is a 60° isoclinic rotation in ''four'' pairs of completely orthogonal invariant planes.{{Efn|name=double rotation}} Thus the isoclinic rotation is the compound of four simple rotations, and all 24 vertices rotate in invariant hexagon planes, versus just 6 vertices in a simple rotation.}} It moves all the vertices 120° at the same time, in various different directions. Six successive diagonal rotational increments, of 60°x60° each, move each vertex through 720° on a Möbius double loop called an ''isocline'', ''twice'' around the 24-cell and back to its point of origin, in the ''same time'' (six rotational units) that it would take a simple rotation to take the vertex ''once'' around the 24-cell on an ordinary great circle.{{Efn|name=double threaded}} The helical double loop 4𝝅 isocline is just another kind of ''single'' full circle, of the same time interval and period (6 chords) as the simple great circle. The isocline is ''one'' true circle,{{Efn|name=4-dimensional great circles}} as perfectly round and geodesic as the simple great circle, even through its chords are {{radic|3}} longer, its circumference is 4𝝅 instead of 2𝝅,{{Efn|All 3-sphere isoclines of the same circumference are directly congruent circles.{{Efn|name=not all isoclines are circles}} An ordinary great circle is an isocline of circumference <math>2\pi r</math>; simple rotations of unit-radius polytopes take place on 2𝝅 isoclines. Double rotations may have isoclines of other than <math>2\pi r</math> circumference. The ''characteristic rotation'' of a regular 4-polytope is the isoclinic rotation in which the central planes containing its edges are invariant planes of rotation. The 16-cell and 24-cell edge-rotate on isoclines of 4𝝅 circumference. The 600-cell edge-rotates on isoclines of 5𝝅 circumference.|name=isocline circumference}} it circles through four dimensions instead of two,{{Efn|name=Villarceau circles}} and it acts in two chiral forms (left and right) even though all such circles of the same circumference are directly congruent.{{Efn|name=Clifford polygon}} Nevertheless, to avoid confusion we always refer to it as an ''isocline'' and reserve the term ''great circle'' for an ordinary great circle in the plane.{{Efn|name=isocline}}|name=one true circle}} on a [[Skew polygon#Regular skew polygons in four dimensions|skew]] [[hexagram]] with {{radic|3}} edges.{{Efn|name=skew hexagram}} Even though all 24 vertices and all the hexagons rotate at once, a 360 degree isoclinic rotation moves each vertex only halfway around its circuit. After 360 degrees each helix has departed from 3 vertices and reached a fourth vertex adjacent to the original vertex, but has ''not'' arrived back exactly at the vertex it departed from. Each central plane (every hexagon or square in the 24-cell) has rotated 360 degrees ''and'' been tilted sideways all the way around 360 degrees back to its original position (like a coin flipping twice), but the 24-cell's [[Orientation entanglement|orientation]] in the 4-space in which it is embedded is now different.{{Sfn|Mebius|2015|loc=Motivation|pp=2-3|ps=; "This research originated from ... the desire to construct a computer implementation of a specific motion of the human arm, known among folk dance experts as the ''Philippine wine dance'' or ''Binasuan'' and performed by physicist [[Richard P. Feynman]] during his [[Dirac]] memorial lecture 1986{{Sfn|Feynman|Weinberg|1987|loc=The reason for antiparticles}} to show that a single rotation (2𝝅) is not equivalent in all respects to no rotation at all, whereas a double rotation (4𝝅) is."}} Because the 24-cell is now inside-out, if the isoclinic rotation is continued in the ''same'' direction through another 360 degrees, the 24 moving vertices will pass through the other half of the vertices that were missed on the first revolution (the 12 antipodal vertices of the 12 that were hit the first time around), and each isoclinic geodesic ''will'' arrive back at the vertex it departed from, forming a closed six-chord helical loop. It takes a 720 degree isoclinic rotation for each [[#Helical hexagrams and their isoclines|hexagram<sub>2</sub> geodesic]] to complete a circuit through every ''second'' vertex of its six vertices by [[Winding number|winding]] around the 24-cell twice, returning the 24-cell to its original chiral orientation.{{Efn|In a 720° isoclinic rotation of a ''rigid'' 24-cell the 24 vertices rotate along four separate Clifford parallel hexagram<sub>2</sub> geodesic loops (six vertices circling in each loop) and return to their original positions.{{Efn|name=Villarceau circles}}}} The hexagonal winding path that each vertex takes as it loops twice around the 24-cell forms a double helix bent into a [[Möbius strip|Möbius ring]], so that the two strands of the double helix form a continuous single strand in a closed loop.{{Efn|Because the 24-cell's helical hexagram<sub>2</sub> geodesic is bent into a twisted ring in the fourth dimension like a [[Möbius strip]], its [[screw thread]] doubles back across itself in each revolution, reversing its chirality{{Efn|name=Clifford polygon}} but without ever changing its even/odd parity of rotation (black or white).{{Efn|name=black and white}} The 6-vertex isoclinic path forms a Möbius double loop, like a 3-dimensional double helix with the ends of its two parallel 3-vertex helices cross-connected to each other. This 60° isocline{{Efn|A strip of paper can form a [[Möbius strip#Polyhedral surfaces and flat foldings|flattened Möbius strip]] in the plane by folding it at <math>60^\circ</math> angles so that its center line lies along an equilateral triangle, and attaching the ends. The shortest strip for which this is possible consists of three equilateral paper triangles, folded at the edges where two triangles meet. Since the loop traverses both sides of each paper triangle, it is a hexagonal loop over six equilateral triangles. Its [[aspect ratio]]{{snd}}the ratio of the strip's length{{efn|The length of a strip can be measured at its centerline, or by cutting the resulting Möbius strip perpendicularly to its boundary so that it forms a rectangle.}} to its width{{snd}}is {{nowrap|<math>\sqrt 3\approx 1.73</math>.}}}} is a [[Skew polygon|skewed]] instance of the [[Polygram (geometry)#Regular compound polygons|regular compound polygon]] denoted {6/2}{{=}}2{3} or hexagram<sub>2</sub>.{{Efn|name=skew hexagram}} Successive {{radic|3}} edges belong to different [[#8-cell|8-cells]], as the 720° isoclinic rotation takes each hexagon through all six hexagons in the [[#6-cell rings|6-cell ring]], and each 8-cell through all three 8-cells twice.{{Efn|name=three 8-cells}}|name=double threaded}} In the first revolution the vertex traverses one 3-chord strand of the double helix; in the second revolution it traverses the second 3-chord strand, moving in the same rotational direction with the same handedness (bending either left or right) throughout. Although this isoclinic Möbius [[#6-cell rings|ring]] is a circular spiral through all 4 dimensions, not a 2-dimensional circle, like a great circle it is a geodesic because it is the shortest path from vertex to vertex.{{Efn|A point under isoclinic rotation traverses the diagonal{{Efn|name=isoclinic 4-dimensional diagonal}} straight line of a single '''isoclinic geodesic''', reaching its destination directly, instead of the bent line of two successive '''simple geodesics'''.{{Efn||name=double rotation}} A '''[[geodesic]]''' is the ''shortest path'' through a space (intuitively, a string pulled taught between two points). Simple geodesics are great circles lying in a central plane (the only kind of geodesics that occur in 3-space on the 2-sphere). Isoclinic geodesics are different: they do ''not'' lie in a single plane; they are 4-dimensional [[helix|spirals]] rather than simple 2-dimensional circles.{{Efn|name=helical geodesic}} But they are not like 3-dimensional [[screw threads]] either, because they form a closed loop like any circle.{{Efn|name=double threaded}} Isoclinic geodesics are ''4-dimensional great circles'', and they are just as circular as 2-dimensional circles: in fact, twice as circular, because they curve in ''two'' orthogonal great circles at once.{{Efn|Isoclinic geodesics or ''isoclines'' are 4-dimensional great circles in the sense that they are 1-dimensional geodesic ''lines'' that curve in 4-space in two orthogonal great circles at once.{{Efn|name=not all isoclines are circles}} They should not be confused with ''great 2-spheres'',{{Sfn|Stillwell|2001|p=24}} which are the 4-dimensional analogues of great circles (great 1-spheres).{{Efn|name=great 2-spheres}} Discrete isoclines are polygons;{{Efn|name=Clifford polygon}} discrete great 2-spheres are polyhedra.|name=4-dimensional great circles}} They are true circles,{{Efn|name=one true circle}} and even form [[Hopf fibration|fibrations]] like ordinary 2-dimensional great circles.{{Efn|name=hexagonal fibrations}}{{Efn|name=square fibrations}} These '''isoclines''' are geodesic 1-dimensional lines embedded in a 4-dimensional space. On the 3-sphere{{Efn|All isoclines are [[geodesics]], and isoclines on the [[3-sphere]] are circles (curving equally in each dimension), but not all isoclines on 3-manifolds in 4-space are circles.|name=not all isoclines are circles}} they always occur in pairs{{Efn|Isoclines on the 3-sphere occur in non-intersecting pairs of even/odd coordinate parity.{{Efn|name=black and white}} A single black or white isocline forms a [[Möbius loop]] called the {1,1} torus knot or Villarceau circle{{Sfn|Dorst|2019|loc=§1. Villarceau Circles|p=44|ps=; "In mathematics, the path that the (1, 1) knot on the torus traces is also known as a [[Villarceau circle]]. Villarceau circles are usually introduced as two intersecting circles that are the cross-section of a torus by a well-chosen plane cutting it. Picking one such circle and rotating it around the torus axis, the resulting family of circles can be used to rule the torus. By nesting tori smartly, the collection of all such circles then form a [[Hopf fibration]].... we prefer to consider the Villarceau circle as the (1, 1) torus knot rather than as a planar cut."}} in which each of two "circles" linked in a Möbius "figure eight" loop traverses through all four dimensions.{{Efn|name=Clifford polygon}} The double loop is a true circle in four dimensions.{{Efn|name=one true circle}} Even and odd isoclines are also linked, not in a Möbius loop but as a [[Hopf link]] of two non-intersecting circles,{{Efn|name=Clifford parallels}} as are all the Clifford parallel isoclines of a [[Hopf fibration|Hopf fiber bundle]].|name=Villarceau circles}} as [[Villarceau circle]]s on the [[Clifford torus]], the geodesic paths traversed by vertices in an [[Rotations in 4-dimensional Euclidean space#Double rotations|isoclinic rotation]]. They are [[Helix|helices]] bent into a [[Möbius strip|Möbius loop]] in the fourth dimension, taking a diagonal [[Winding number|winding route]] around the 3-sphere through the non-adjacent vertices{{Efn|name=missing the nearest vertices}} of a 4-polytope's [[Skew polygon#Regular skew polygons in four dimensions|skew]] '''Clifford polygon'''.{{Efn|name=Clifford polygon}}|name=isoclinic geodesic}}
Edit summary
(Briefly describe your changes)
By publishing changes, you agree to the
Terms of Use
, and you irrevocably agree to release your contribution under the
CC BY-SA 4.0 License
and the
GFDL
. You agree that a hyperlink or URL is sufficient attribution under the Creative Commons license.
Cancel
Editing help
(opens in new window)