Source author record

Victor Goulart

Explore this author’s publications, collaborators and research topics. This catalog record has not been claimed by its author.

ResearcherUnclaimed source record

Catalog footprint

Research overview

2works
2topics
2close collaborators

Published work

2 publications

preprint2026arXiv

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

Locally convex (or nondegenerate) curves in the sphere SnS^n have been studied for several reasons, including the study of linear ordinary differential equations of order n+1n+1. Taking Frenet frames allows us to obtain corresponding curves ΓΓ in the group Spinn+1Spin_{n+1}. Let Ln(z0;z1)L_n(z_0;z_1) be the space of such curves ΓΓ with prescribed endpoints Γ(0)=z0Γ(0) = z_0, Γ(1)=z1Γ(1) = z_1. The aim of this paper is to determine the homotopy type of the spaces L3(z0;z1)L_3(z_0;z_1) for all z0,z1∈Spin4z_0, z_1 \in Spin_4. As a corollary, we obtain the homotopy type of the space of closed locally convex curves in either S3S^3 or P3P^3. There are many previous papers addressing related questions. An early paper solves the corresponding problem for curves in S2S^2. Another previous result (with B. Shapiro) reduces the problem to z0=1z_0 = 1 and z1∈Quat4z_1 \in Quat_4 where Quat4⊂Spin4Quat_4 \subset Spin_4 is a finite group of order 1616. A more recent paper shows that for z1∈Quat4∖Z(Quat4)z_1 \in Quat_4 \smallsetminus Z(Quat_4) we have a homotopy equivalence L3(1;z1)≈ΩSpin4L_3(1;z_1) \approx ΩSpin_4. In this paper we compute the homotopy type of L3(1;z1)L_3(1;z_1) for z1∈Z(Quat4)z_1 \in Z(Quat_4): it is equivalent to the wedge of ΩSpin4ΩSpin_4 with an infinite countable family of spheres (as for the case n=2n = 2). The structure of the proof can be compared to that of the case n=2n = 2 but some of the steps require the creation of new theories, involving algebra and combinatorics. We construct explicit subsets Y⊂Ln(z0;z1)Y \subset L_n(z_0;z_1) for which the inclusion Y⊂ΩSpinn+1(z0;z1)Y \subset ΩSpin_{n+1}(z_0;z_1) is a homotopy equivalence. For n=2n = 2, there is a simple geometric description of YY; for n=3n = 3, the far less natural construction is based on the theory of itineraries of such curves. The itinerary of a curve in Ln(1;z1)L_n(1;z_1) is a finite word in the alphabet Sn+1∖{e}S_{n+1} \smallsetminus \{e\} of nontrivial permutations.

preprint2020arXiv

Locally convex curves and the Bruhat stratification of the spin group

We study the lifting of the Schubert stratification of the homogeneous space of complete real flags of Rn+1R^{n+1} to its universal covering group Spinn+1Spin_{n+1}. We call the lifted strata the Bruhat cells of Spinn+1Spin_{n+1}, in keeping with the homonymous classical decomposition of reductive algebraic groups. We present explicit parameterizations for these Bruhat cells in terms of minimal-length expressions σ=ai1...aikσ=a_{i_1}... a_{i_k} for permutations σ∈Sn+1σ\in S_{n+1} in terms of the nn generators ai=(i,i+1)a_i=(i,i+1). These parameterizations are compatible with the Bruhat orders in the Coxeter-Weyl group Sn+1S_{n+1}. This stratification is an important tool in the study of locally convex curves; we present a few such applications.

Research graph

See the researcher in context

Open full explorer

Inspect adjacent papers, topics, institutions and collaborators without losing the researcher page.

Building this map preview

BZPEER is loading the nearby papers, people, topics and institutions for this page.