Source author record

Emília Alves

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

ResearcherUnclaimed source record

math.AT math.CO math.GT

Catalog footprint

Research overview

2works

3topics

2close collaborators

Actions

Is this your work?

Open graph Browse papers

preprint2026arXiv

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

Locally convex (or nondegenerate) curves in the sphere $S^n$ 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}$ . 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 \in Spin_4$ . As a corollary, we obtain the homotopy type of the space of closed locally convex curves in either $S^3$ or $P^3$ . There are many previous papers addressing related questions. An early paper solves the corresponding problem for curves in $S^2$ . Another previous result (with B. Shapiro) reduces the problem to $z_0 = 1$ and $z_1 \in Quat_4$ where $Quat_4 \subset Spin_4$ is a finite group of order $16$ . A more recent paper shows that for $z_1 \in Quat_4 \smallsetminus Z(Quat_4)$ we have a homotopy equivalence $L_3(1;z_1) \approx ΩSpin_4$ . In this paper we compute the homotopy type of $L_3(1;z_1)$ for $z_1 \in Z(Quat_4)$ : it is equivalent to the wedge of $ΩSpin_4$ with an infinite countable family of spheres (as for the case $n = 2$ ). The structure of the proof can be compared to that of the case $n = 2$ but some of the steps require the creation of new theories, involving algebra and combinatorics. We construct explicit subsets $Y \subset L_n(z_0;z_1)$ for which the inclusion $Y \subset ΩSpin_{n+1}(z_0;z_1)$ is a homotopy equivalence. For $n = 2$ , there is a simple geometric description of $Y$ ; for $n = 3$ , the far less natural construction is based on the theory of 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} \smallsetminus \{e\}$ of nontrivial permutations.

preprint2022arXiv

On the homotopy type of intersections of two real Bruhat cells

Real Bruhat cells give an important and well studied stratification of such spaces as $GL_{n+1}$ , $Flag_{n+1} = SL_{n+1}/B$ , $SO_{n+1}$ and $Spin_{n+1}$ . We study the intersections of a top dimensional cell with another cell (for another basis). Such an intersection is naturally identified with a subset of the lower nilpotent group $Lo_{n+1}^{1}$ . We are particularly interested in the homotopy type of such intersections. In this paper we define a stratification of such intersections. As a consequence, we obtain a finite CW complex which is homotopically equivalent to the intersection. We compute the homotopy type for several examples. It turns out that for $n \le 4$ all connected components of such subsets of $Lo_{n+1}^1$ are contractible: we prove this by explicitly constructing the corresponding CW complexes. Conversely, for $n \ge 5$ and the top permutation, there is always a connected component with even Euler characteristic, and therefore not contractible. This follows from formulas for the number of cells per dimension of the corresponding CW complex. For instance, for the top permutation $S_6$ , there exists a connected component with Euler characteristic equal to $2$ . We also give an example of a permutation in $S_6$ for which there exists a connected component which is homotopically equivalent to the circle $S^1$ .

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.