Characterization of some convex curves on the 3-sphere

Alves, Emília

doi:10.48550/arxiv.2002.03986

Cited by 1 publication

(2 citation statements)

References 29 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…for positive functions κ 1 , κ 2 , κ 3 : J → (0, +∞). Here a j can be interpreted as a matrix in so 4 (as in [7]) or as a pair of quaternions (as in [1,2]): (…”

Section: Introductionmentioning

confidence: 99%

See 1 more Smart Citation

Homotopy type of spaces of locally convex curves in the sphere S^3

Alves¹,

Goulart²,

Saldanha³

2022

Preprint

Self Cite

View full text Add to dashboard Cite

Locally convex (or nondegenerate) curves in the sphere S n (or the projective space) have been studied for several reasons, including the study of linear ordinary differential equations of order n + 1. Taking Frenet frames allows us to obtain corresponding curves Γ in the group Spin n+1 ; recall that Π : Spin n+1 → Flag n+1 is the universal cover of the space of flags. Let L n (z 0 ; z 1 ) be the space of such curves Γ with prescribed endpoints Γ(0) = z 0 , Γ(1) = z 1 . The aim of this paper is to determine the homotopy type of the spaces L 3 (z 0 ; z 1 ) for all z 0 , z 1 ∈ Spin 4 . Recall that Spin 4 = S 3 × S 3 ⊂ H × H, where H is the ring of quaternions.This paper relies heavily on previous publications by the authors. The earliest such paper solves the corresponding problem for n = 2 (i.e., for curves in S 2 ). Another previous result (with B. Shapiro) reduces the problem to z 0 = 1 and z 1 ∈ Quat 4 where Quat 4 ⊂ Spin 4 is a finite group of order 16 with center Z(Quat 4 ) = {(±1, ±1)}. A more recent paper shows that for z 1 ∈ Quat 4 Z(Quat 4 ) we have a homotopy equivalence L 3 (1; z 1 ) ≈ Ω Spin 4 . In this paper we compute the homotopy type of L 3 (1; z 1 ) for z 1 ∈ Z(Quat 4 ): it is equivalent to the infinite wedge of Ω Spin 4 with an infinite countable family of spheres (as for the case n = 2).The structure of the proof is roughly the same as for the case n = 2 but some of the steps are much harder. In both cases we construct explicit subsets Y ⊂ L n (z 0 ; z 1 ) for which the inclusion Y ⊂ Ω Spin n+1 (z 0 ; z 1 ) is a homotopy equivalence. For n = 3, this is done by considering the itineraries of such curves. The itinerary of a curve in L n (1; z 1 ) is a finite word in the alphabet S n+1 {e} of nontrivial permutations.

show abstract

“…for positive functions κ 1 , κ 2 , κ 3 : J → (0, +∞). Here a j can be interpreted as a matrix in so 4 (as in [7]) or as a pair of quaternions (as in [1,2]): (…”

Section: Introductionmentioning

confidence: 99%

“…Also here we can find a simpler version of the construction for the case n = 2 in [16]. Indeed, Figure 6 in [16] is essentially a drawing of the map α 1 1 : [0, 1] × S 1 → L 2 .…”

mentioning

confidence: 99%